Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Diameter and connectivity of finite simple graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple non-complete connected graph on $\{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. Being motivated by the computation of the depth of the binomial edge ideal of $G$, the possible sequences $(n, q, f, d)$ of integers for which there is a finite simple non-complete connected graph $G$ on $\{1, \ldots, n\}$ with $q = κ(G), f = f(G), d = \mathrm{diam}(G)$ satisfying $f + d = n + 2 - q$ will be determined. Furthermore, finite simple non-complete connected graphs $G$ on $\{1, \ldots, n\}$ satisfying $f(G) + \mathrm{diam}(G) = n + 2 - κ(G)$ will be classified.
On Co-Maximal Subgroup Graph of a Group
Published
• View Publication
• BIB
The co-maximal subgroup graph $Γ(G)$ of a group $G$ is a graph whose vertices are non-trivial proper subgroups of $G$ and two vertices $H$ and $K$ are adjacent if $HK=G$. In this paper, we continue the study of $Γ(G)$, especially when $Γ(G)$ has isolated vertices. We define a new graph $Γ^*(G)$, which is obtained by removing isolated vertices from $Γ(G)$. We characterize when $Γ^*(G)$ is connected, a complete graph, star graph, has an universal vertex etc. We also find various graph parameters like diameter, girth, bipartiteness etc. in terms of properties of $G$.
The spanning $k$-trees, perfect matchings and spectral radius of graphs
Published
• View Publication
• BIB
A $k$-tree is a spanning tree in which every vertex has degree at most $k$. In this paper, we provide a sufficient condition for the existence of a $k$-tree in a connected graph with fixed order in terms of the adjacency spectral radius and the signless Laplacian spectral radius, respectively. Also, we give a similar condition for the existence of a perfect matching in a balanced bipartite graph with fixed order and minimum degree.
Exchange properties of finite set-systems
Published
• View Publication
• BIB
In a recent breakthrough, Adiprasito, Avvakumov, and Karasev constructed a triangulation of the $n$-dimensional real projective space with a subexponential number of vertices. They reduced the problem to finding a small downward closed set-system $\cal F$ covering an $n$-element ground set which satisfies the following condition: For any two disjoint members $A, B\in\cal F$, there exist $a\in A$ and $b\in B$ such that either $B\cup\{a\}\in\cal F$ and $A\cup\{b\}\setminus\{a\}\in\cal F$, or $A\cup\{b\}\in\cal F$ and $B\cup\{a\}\setminus\{b\}\in\cal F$. Denoting by $f(n)$ the smallest cardinality of such a family $\cal F$, they proved that $f(n)<2^{O(\sqrt{n}\log n)}$, and they asked for a nontrivial lower bound. It turns out that the construction of Adiprasito et al. is not far from optimal; we show that $2^{(1.42+o(1))\sqrt{n}}\le f(n)\le 2^{(1+o(1))\sqrt{2n\log n}}$.
We also study a variant of the above problem, where the condition is strengthened by also requiring that for any two disjoint members $A, B\in\cal F$ with $|A|>|B|$, there exists $a\in A$ such that $B\cup\{a\}\in\cal F$. In this case, we prove that the size of the smallest $\cal F$ satisfying this stronger condition lies between $2^{Ω(\sqrt{n}\log n)}$ and $2^{O(n\log\log n/\log n)}$.
Loop-erased partitioning of a network: monotonicities & analysis of cycle-free graphs
We consider random partitions of the vertex set of a given finite graph that can be sampled by means of loop-erased random walks stopped at a random exponential time of parameter $q>0$. The related random blocks tend to cluster nodes visited by the random walk on time scale $1/q$. This random partitioning is induced by a measure of rooted spanning forest of the graph, which generalizes the classical uniform spanning tree measure and which can be obtained as a zero-limit of FK-percolation with an external cemetery state. Some general properties of this rooted forest measure and related determinantal observables, along with a number of applications in data analysis have been recently explored. We are here mainly interested in the structure the emergent partitioning, referred to as loop-erased partitioning, as the scale parameter $q$ varies.
We first present two general results shedding light on subtle monoticity properties in $q$ of these rooted forest and loop-erased partitioning measures. The first theorem characterizes monotone events in $q$ by deriving a Russo-like formula. Our second general result concerns two-point correlations defined by the probability that two vertices do not belong to the same block of the partitioning. It states that, on undirected graphs, these correlation functions are increasing in $q$. We then explore other types of results aiming at understanding the emerging asymptotic clusters on simple growing graph models, as $q$ scales with the graph size. Some first results in this direction have been investigated in the recent [arXiv:1906.03858] on dense geometries. Here we look at very sparse graphs. We offer a detailed analysis of the resulting partitioning on line segments and we look at trees and other tree-like geometries, without and with implanted modular structures. For the latter, we characterize the asymptotic detection of these implanted modules.
Some properties of the parking function poset
Published in Electronic Journal of Combinatorics 29(4) (2022), Article P4.42
• View Publication
• BIB
In 1980, Edelman defined a poset on objects called the noncrossing 2-partitions. They are closely related with noncrossing partitions and parking functions. To some extent, his definition is a precursor of the parking space theory, in the framework of finite reflection groups. We present some enumerative and topological properties of this poset. In particular, we get a formula counting certain chains, that encompasses formulas for Whitney numbers (of both kinds). We prove shellability of the poset, and compute its homology as a representation of the symmetric group. We moreover link it with two well-known polytopes : the associahedron and the permutohedron.
Some resolving parameters with the minimum size for two specific graphs
Published
• View Publication
• BIB
A resolving set for a graph $G$ is a set of vertices $Q = \{q_1, ..., q_k\}$ such that, for all $p\in V(G)$ the $k$-tuple $(d(p, q_1), ..., d(p, q_k ))$ uniquely determines $p$, where $d(p, q_i)$ is considered as the minimum length of a shortest path from $p$ to $q_i$ in graph $G$. In this paper, we consider the computational study of some resolving sets with the minimum size for the $m$-cylinder graph $(C_n\Box P_k)\Box P_m$. The Boolean lattice $BL_n$, $n\geq 1$, is the graph whose vertex set is the set of all subsets of $[n]=\{1,2,...,n\}$, where two subsets $X$ and $Y$ are adjacent if their symmetric difference has precisely one element. In the graph $BL_n$, the layer $L_i$ is the family of $i$-subsets of $[n]$. The subgraph $BL_n(i,i+1)$ is the subgraph of $BL_n$ induced by layers $L_i$ and $L_{i+1}$. Usually the graph $BL_n(1,2)$ is denoted by $H(n)$. We study the minimum size of a resolving set, doubly resolving set and strong resolving set for the graph $L(n)$, which is the line graph of $H(n)$.
Minimum Scan Cover and Variants -- Theory and Experiments
Published
• View Publication
• BIB
We consider a spectrum of geometric optimization problems motivated by contexts such as satellite communication and astrophysics. In the problem Minimum Scan Cover with Angular Costs, we are given a graph $G$ that is embedded in Euclidean space. The edges of $G$ need to be scanned, i.e., probed from both of their vertices. In order to scan their edge, two vertices need to face each other; changing the heading of a vertex incurs some cost in terms of energy or rotation time that is proportional to the corresponding rotation angle. Our goal is to compute schedules that minimize the following objective functions: (i) in Minimum Makespan Scan Cover (MSC-MS), this is the time until all edges are scanned; (ii) in Minimum Total Energy Scan Cover (MSC-TE), the sum of all rotation angles; (iii) in Minimum Bottleneck Energy Scan Cover (MSC-BE), the maximum total rotation angle at one vertex.
Previous theoretical work on MSC-MS revealed a close connection to graph coloring and the cut cover problem, leading to hardness and approximability results. In this paper, we present polynomial-time algorithms for 1D instances of MSC-TE and MSC-BE, but NP-hardness proofs for bipartite 2D instances. For bipartite graphs in 2D, we also give 2-approximation algorithms for both MSC-TE and MSC-BE. Most importantly, we provide a comprehensive study of practical methods for all three problems. We compare three different mixed-integer programming and two constraint programming approaches, and show how to compute provably optimal solutions for geometric instances with up to 300 edges. Additionally, we compare the performance of different meta-heuristics for even larger instances.
Palindromic Length and Reduction of Powers
Published
• View Publication
• BIB
Given a nonempty finite word $v$, let $PL(v)$ be the palindromic length of $v$; it means the minimal number of palindromes whose concatenation is equal to $v$. Let $v^R$ denote the reversal of $v$. Given a finite or infinite word $y$, let $Fac(y)$ denote the set of all finite factors of $y$ and let $maxPL(y)=\max\{PL(t)\mid t\in Fac(y)\}$. Let $x$ be an infinite non-ultimately periodic word with $maxPL(x)=k<\infty$ and let $u\in Fac(x)$ be a primitive nonempty factor such that $u^5$ is recurrent in $x$. Let $Ψ(x,u)=\{t\in Fac(x)\mid u,u^R\not\in Fac(t)\}\mbox{.}$ We construct an infinite non-ultimately periodic word $\overline x$ such that $u^5, (u^R)^5\not\in Fac(\overline x)$, $Ψ(x,u)\subseteq Fac(\overline x)$, and $maxPL(\overline x)\leq 3k^3$. Less formally said, we show how to reduce the powers of $u$ and $u^R$ in $x$ in such a way that the palindromic length remains bounded.
On objects dual to tree-cut decompositions
Tree-cut width is a graph parameter introduced by Wollan that is an analogue of treewidth for the immersion order on graphs in the following sense: the tree-cut width of a graph is functionally equivalent to the largest size of a wall that can be found in it as an immersion. In this work we propose a variant of the definition of tree-cut width that is functionally equivalent to the original one, but for which we can state and prove a tight duality theorem relating it to naturally defined dual objects: appropriately defined brambles and tangles. Using this result we also propose a game characterization of tree-cut width.
On an application of higher energies to Sidon sets
Published
• View Publication
• BIB
We show that for any finite set $A$ and an arbitrary $\varepsilon>0$ there is $k=k(\varepsilon)$ such that the higher energy ${\mathsf{E}}_k(A)$ is at most $|A|^{k+\varepsilon}$ unless $A$ has a very specific structure. As an application we obtain that any finite subset $A$ of the real numbers or the prime field either contains an additive Sidon--type subset of size $|A|^{1/2+c}$ or a multiplicative Sidon--type subset of size $|A|^{1/2+c}$.
Füredi-Hajnal and Stanley-Wilf conjectures in higher dimensions
In this paper we discuss analogs of Füredi-Hajnal and Stanley-Wilf conjectures for $t$-dimensional matrices with $t>2$.
Shadows of 3-uniform hypergraphs under a minimum degree condition
We prove a minimum degree version of the Kruskal--Katona theorem: given $d\ge 1/4$ and a triple system $F$ on $n$ vertices with minimum degree at least $d\binom n2$, we obtain asymptotically tight lower bounds for the size of its shadow. Equivalently, for $t\ge n/2-1$, we asymptotically determine the minimum size of a graph on $n$ vertices, in which every vertex is contained in at least $\binom t2$ triangles. This can be viewed as a variant of the Rademacher--Turán problem.
Spanning tree enumeration via triangular rank-one perturbations of graph Laplacians
Published
• View Publication
• BIB
We present new short proofs of known spanning tree enumeration formulae for threshold and Ferrers graphs by showing that the Laplacian matrices of such graphs admit triangular rank-one perturbations. We then characterize the set of graphs whose Laplacian matrices admit triangular rank-one perturbations as the class of special 2-threshold graphs, introduced by Hung, Kloks, and Villaamil. Our work introduces (1) a new characterization of special 2-threshold graphs that generalizes the characterization of threshold graphs in terms of isolated and dominating vertices, and (2) a spanning tree enumeration formula for special 2-threshold graphs that reduces to the aforementioned formulae for threshold and Ferrers graphs. We consider both unweighted and weighted spanning tree enumeration.
Handle decompositions for a class of closed orientable PL 4-manifolds
Published in Indian J. Pure Appl. Math. 55 (2024), no. 4, 1166--1172
• View Publication
• BIB
In this article, we study a class of closed connected orientable PL $4$-manifolds admitting a semi-simple crystallization and which have an infinite cyclic fundamental group. We show that the manifold in the class admits a handle decomposition in which the number of $2$-handles depends upon its second Betti number and other $h$-handles ($h \leq 4$) are at most $2$. More precisely, our main result is the following. For a closed connected orientable PL $4$-manifold having a semi-simple crystallization with the fundamental group as $\mathbb{Z}$, we have constructed a handle decomposition for $M$ as one of the following types:
$(1)$ one $0$-handle, two $1$-handles, $1+β_2(M)$ $2$-handles, one $3$-handle and one $4$-handle,
$(2)$ one $0$-handle, one $1$-handle, $β_2(M)$ $2$-handles, one $3$-handle and one $4$-handle,
where $β_2(M)$ denotes the second Betti number of manifold $M$ with $\mathbb{Z}$ coefficients.
Asymptotic formula for balanced words
Published
• View Publication
• BIB
We give asymptotic formulas for the number of balanced words whose slope $α$ and intercept $ρ$ lie in a prescribed rectangle. They are related to uniform distribution of Farey fractions and Riemann Hypothesis. In the general case, the error term is deduced using an inequality of large sieve type.
Switching equivalence of Hermitian adjacency matrices of mixed graphs
Let $0 \in Γ$ and $Γ\setminus \{0\}$ be a subgroup of the complex numbers of unit modulus. Define $\mathcal{H}_{n}(Γ)$ to be the set of all $n\times n$ Hermitian matrices with entries in $Γ$, whose diagonal entries are zero. The matrices $A,B\in \mathcal{H}_{n}(Γ)$ are said to be switching equivalent if there is a diagonal matrix $D$, in which the diagonal entries belong to $Γ\setminus \{0\}$, such that $D^{-1} A D=B$. We find a characterization, in terms of fundamental cycles of graphs, of switching equivalence of matrices in $\mathcal{H}_{n}(Γ)$. We give sufficient conditions to characterize the cospectral matrices in $\mathcal{H}_{n}(Γ)$. We find bounds on the number of switching equivalence classes of all mixed graphs with the same underlying graph. We also provide the size of all switching equivalence classes of mixed cycles, and give a formula that calculates the size of a switching equivalence class of a mixed plane graph. We also discuss an action of the automorphism group of a graph on switching equivalence classes of matrices in $\mathcal{H}_{n}(Γ)$.
The independence coloring game on graphs
We propose a new coloring game on a graph, called the independence coloring game, which is played by two players with opposite goals. The result of the game is a proper coloring of vertices of a graph $G$, and Alice's goal is that as few colors as possible are used during the game, while Bob wants to maximize the number of colors. The game consists of rounds, and in round $i$, where $i=1,2,,\ldots$, the players are taking turns in selecting a previously unselected vertex of $G$ and giving it color $i$ (hence, in each round the selected vertices form an independent set). The game ends when all vertices of $G$ are selected (and thus colored), and the total number of rounds during the game when both players are playing optimally with respect to their goals, is called the independence game chromatic number, $χ_{ig}(G)$, of $G$. In fact, four different versions of the independence game chromatic number are considered, which depend on who starts a game and who starts next rounds. We prove that the new invariants lie between the chromatic number of a graph and the maximum degree plus $1$, and characterize the graphs in which each of the four versions of the game invariant equals $2$. We compare the versions of the independence game chromatic number among themselves and with the classical game chromatic number. In addition, we prove that the independence game chromatic number of a tree can be arbitrarily large.
Sombor Index of Polymers
Let $G=(V,E)$ be a finite simple graph. The Sombor index $SO(G)$ of $G$ is defined as $\sum_{uv\in E(G)}\sqrt{d_u^2+d_v^2}$, where $d_u$ is the degree of vertex $u$ in $G$. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identifying these two vertices. Then continue in this manner inductively. We say that $G$ is a polymer graph, obtained by point-attaching from monomer units $G_1,...,G_k$. In this paper, we consider some particular cases of these graphs that are of importance in chemistry and study their Sombor index.
Conway's spiral and a discrete Gömböc with 21 point masses
Published
• View Publication
• BIB
We show an explicit construction in 3 dimensions for a convex, mono-monostatic polyhedron (i.e., having exactly one stable and one unstable equilibrium) with 21 vertices and 21 faces. This polyhedron is a 0-skeleton, with equal masses located at each vertex. The above construction serves as an upper bound for the minimal number of faces and vertices of mono-monostatic 0-skeletons and complements the recently provided lower bound of 8 vertices. This is the first known construction of a mono-monostatic polyhedral solid. We also show that a similar construction for homogeneous distribution of mass cannot result in a mono-monostatic solid.