arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2596 papers tagged with this keyword
2022-09-28 v2
Cubic bipartite graphs with minimum spectral gap
The difference between the two largest eigenvalues of the adjacency matrix of a graph $G$ is called the spectral gap of $G.$ If $G$ is a regular graph, then its spectral gap is equal to algebraic connectivity. Abdi, Ghorbani and Imrich, in [European J. Combin. 95 (2021) 103328], showed that the minimum algebraic connectivity of cubic connected graphs on $2n$ vertices is $(1+o(1))\frac{π^{2}}{2n^{2}}$, which is attained on non-bipartite graphs. Motivated by the above result, we in this paper investigate the algebraic connectivity of cubic bipartite graphs. We prove that the minimum algebraic connectivity of cubic bipartite graphs on $2n$ vertices is $(1+o(1))\frac{π^{2}}{n^{2}}$. Moreover, the unique cubic bipartite graph with minimum algebraic connectivity is completed characterized. Based on the relation between the algebraic connectivity and spectral gap of regular graphs, the cubic bipartite graph with minimum spectral gap and the corresponding asymptotic value are also presented. In [J. Graph Theory 99 (2022) 671--690], Horak and Kim established a sharp upper bound for the number of perfect matchings in terms of the Fibonacci number. We obtain a spectral characterization for the extremal graphs by showing that a cubic bipartite graph has the maximum number of perfect matchings if and only if it minimizes the algebraic connectivity.
2022-09-25
Edge-fault-tolerance about the SM-λ property of hypercube-like networks
The edge-fault-tolerance of networks is of great significance to the design and maintenance of networks. For any pair of vertices $u$ and $v$ of the connected graph $G$, if they are connected by $\min \{ °_G(u),°_G(v)\}$ edge-disjoint paths, then $G$ is strong Menger edge connected (SM-$λ$ for short). The conditional edge-fault-tolerance about the SM-$ λ$ property of $G$, written $sm_λ^r(G)$, is the maximum value of $m$ such that $G-F$ is still SM-$λ$ for any edge subset $F$ with $|F|\leq m$ and $δ(G-F)\geq r$, where $δ(G-F)$ is the minimum degree of $G-F$. Previously, most of the exact value for $sm_λ^r(G)$ is aimed at some well-known networks when $r\leq 2$, and a few of the lower bounds on some well-known networks for $r\geq 3$. In this paper, we firstly determine the exact value of $sm_λ^r(G)$ on class of hypercube-like networks (HL-networks for short, including hypercubes, twisted cubes, crossed cubes etc.) for a general $r$, that is, $sm_λ^r(G_n)=2^r(n-r)-n$ for every $G_n\in HL_n$, where $n\geq 3$ and $1\leq r \leq n-2$.
2022-09-22
Kemeny's constant and Wiener index on trees
Published • View PublicationBIB
On trees of fixed order, we show a direct relation between Kemeny's constant and Wiener index, and provide a new formula of Kemeny's constant from the relation with a combinatorial interpretation. Moreover, the relation simplifies proofs of several known results for extremal trees in terms of Kemeny's constant for random walks on trees. Finally, we provide various families of co-Kemeny's mates, which are two non-isomorphic connected graphs with the same Kemeny's constant, and we also give a necessary condition for a tree to attain maximum Kemeny's constant for trees with fixed diameter.
2022-09-21
Extremal octagonal chains with respect to the Kirchhoff index
Let $G$ be a connected graph. The resistance distance between any two vertices of $G$ is equal to the effective resistance between them in the corresponding electrical network constructed from $G$ by replacing each edge with a unit resistor. The Kirchhoff index is defined as the sum of resistance distances between all pairs of the vertices. These indices have been computed for many interesting graphs, such as linear polyomino chain, linear/Möbius/cylinder hexagonal chain, and linear/Möbius/cylinder octagonal chain. In this paper, we characterized the maximum and minimum octagonal chains with respect to the Kirchhoff index.
2022-09-15
Universal end-compactifications of locally finite graphs
Published • View PublicationBIB
We construct a locally finite connected graph whose Freudenthal compactification is universal for the class of completely regular continua, a class also known in the literature under the name thin or graph-like continua.
2022-09-13 v2
Count and cofactor matroids of highly connected graphs
Published in Journal of Combinatorial Theory, Series B, 2024 • View PublicationBIB
We consider two types of matroids defined on the edge set of a graph $G$: count matroids ${\cal M}_{k,\ell}(G)$, in which independence is defined by a sparsity count involving the parameters $k$ and $\ell$, and the (three-dimensional generic) cofactor matroid $\mathcal{C}(G)$, in which independence is defined by linear independence in the cofactor matrix of $G$. We give tight lower bounds, for each pair $(k,\ell)$, that show that if $G$ is sufficiently highly connected, then $G-e$ has maximum rank for all $e\in E(G)$, and ${\cal M}_{k,\ell}(G)$ is connected. These bounds unify and extend several previous results, including theorems of Nash-Williams and Tutte ($k=\ell$), and Lovász and Yemini ($k=2, \ell=3$). We also prove that if $G$ is highly connected, then the vertical connectivity of $\mathcal{C}(G)$ is also high. We use these results to generalize Whitney's celebrated result on the graphic matroid of $G$ (which corresponds to ${\cal M}_{1,1}(G)$) to all count matroids and to the three-dimensional cofactor matroid: if $G$ is highly connected, depending on $k$ and $\ell$, then the count matroid ${\cal M}_{k,\ell}(G)$ uniquely determines $G$; and similarly, if $G$ is $14$-connected, then its cofactor matroid $\mathcal{C}(G)$ uniquely determines $G$. We also derive similar results for the $t$-fold union of the three-dimensional cofactor matroid, and use them to prove that every $24$-connected graph has a spanning tree $T$ for which $G-E(T)$ is $3$-connected, which verifies a case of a conjecture of Kriesell.
2022-09-12
Inertia and spectral symmetry of eccentricity matrices of some clique trees
Published • View PublicationBIB
The eccentricity matrix $\mathcal E(G)$ of a connected graph $G$ is obtained from the distance matrix of $G$ by leaving unchanged the largest nonzero entries in each row and each column, and replacing the remaining ones with zeros. In this paper, we consider the set $\mathcal C \mathcal T$ of clique trees whose blocks have at most two cut-vertices \textcolor{blue}{of the clique tree}. After proving the irreducibility of the eccentricity matrix of a clique tree in $\mathcal C \mathcal T$ and finding its inertia indices, we show that every graph in $\mathcal C \mathcal T$ with more than $4$ vertices and odd diameter has two positive and two negative $\mathcal E$-eigenvalues. Positive $\mathcal E$-eigenvalues and negative $\mathcal E$-eigenvalues turn out to be equal in number even for graphs in $\mathcal C \mathcal T$ with even diameter; that shared cardinality also counts the \textcolor{blue}{`diametrally distinguished'} vertices. Finally, we prove that the spectrum of the eccentricity matrix of a clique tree $G$ in $\mathcal C \mathcal T$ is symmetric with respect to the origin if and only if $G$ has an odd diameter and exactly two adjacent central vertices.
Ramsey numbers with prescribed rate of growth
Published • View PublicationBIB
Let $R(G)$ be the two-colour Ramsey number of a graph $G$. In this note, we prove that for any non-decreasing function $n \leq f(n) \leq R(K_n)$, there exists a sequence of connected graphs $(G_n)_{n\in\mathbb N}$, with $|V(G_n)| = n$ for all $n \geq 1$, such that $R(G_n) = Θ(f(n))$. In contrast, we also show that an analogous statement does not hold for hypergraphs of uniformity at least $5$. We also use our techniques to answer a question posed by DeBiasio about the existence of sequences of graphs whose $2$-colour Ramsey number is linear whereas their $3$-colour Ramsey number has superlinear growth.
2022-09-09 v2
On stability of spanning tree degree enumerators
Published • View PublicationBIB
We show that the spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial if and only if $G$ is distance-hereditary.
Computer assisted discovery: Zero forcing vs vertex cover
In this paper, we showcase the process of using an automated conjecturing program called \emph{TxGraffiti} written and maintained by the second author. We begin by proving a conjecture formulated by \emph{TxGraffiti} that for a claw-free graph $G$, the vertex cover number $β(G)$ is greater than or equal to the zero forcing number $Z(G)$. Our proof of this result is constructive, and yields a polynomial time algorithm to find a zero forcing set with cardinality $β(G)$. We also use the output of \emph{TxGraffiti} to construct several infinite families of claw-free graphs for which $Z(G)=β(G)$. Additionally, inspired by the aforementioned conjecture of \emph{TxGraffiti}, we also prove a more general relation between the zero forcing number and the vertex cover number for any connected graph with maximum degree $Δ\ge 3$, namely that $Z(G)\leq (Δ-2)β(G)$+1.
2022-09-08
Routing permutations on spectral expanders via matchings
Published • View PublicationBIB
We consider the following matching-based routing problem. Initially, each vertex $v$ of a connected graph $G$ is occupied by a pebble which has a unique destination $π(v)$. In each round the pebbles across the edges of a selected matching in $G$ are swapped, and the goal is to route each pebble to its destination vertex in as few rounds as possible. We show that if $G$ is a sufficiently strong $d$-regular spectral expander then any permutation $π$ can be achieved in $O(\log n)$ rounds. This is optimal for constant $d$ and resolves a problem of Alon, Chung, and Graham [SIAM J. Discrete Math., 7 (1994), pp. 516--530].
2022-09-05
Ordering $Q$-indices of graphs: given size and girth
Published • View PublicationBIB
The signless Laplacian matrix in graph spectra theory is a remarkable matrix of graphs, and it is extensively studied by researchers. In 1981, Cvetković pointed $12$ directions in further investigations of graph spectra, one of which is "classifying and ordering graphs". Along with this classic direction, we pay our attention on the order of the largest eigenvalue of the signless Laplacian matrix of graphs, which is usually called the $Q$-index of a graph. Let $\mathbb{G}(m, g)$ (resp. $\mathbb{G}(m, \geq g)$) be the family of connected graphs on $m$ edges with girth $g$ (resp. no less than $g$), where $g\ge3$. In this paper, we firstly order the first $(\lfloor\frac{g}{2}\rfloor+2)$ largest $Q$-indices of graphs in $\mathbb{G}(m, g)$, where $m\ge 3g\ge 12$. Secondly, we order the first $(\lfloor\frac{g}{2}\rfloor+3)$ largest $Q$-indices of graphs in $\mathbb{G}(m, \geq g)$, where $m\ge 3g\ge 12$. As a complement, we give the first five largest $Q$-indices of graphs in $\mathbb{G}(m, 3)$ with $m\ge 9$. Finally, we give the order of the first eleven largest $Q$-indices of all connected graphs with size $m$.
On the Vertex Position Number of Graphs
Published • View PublicationBIB
In this paper we generalise the notion of visibility from a point in an integer lattice to the setting of graph theory. For a vertex $x$ of a connected graph $G$, we say that a set $S \subseteq V(G)$ is an \emph{$x$-position set} if for any $y \in S$ the shortest $x,y$-paths in $G$ contain no point of $S\setminus \{ y\}$. We investigate the largest and smallest orders of maximum $x$-position sets in graphs, determining these numbers for common classes of graphs and giving bounds in terms of the girth, vertex degrees, diameter and radius. Finally we discuss the complexity of finding maximum vertex position sets in graphs.
Graphes dans les surfaces et ergodicité topologique
Published • View PublicationBIB
The simplest way to make a dynamical system out of a finite connected graph $G$ is to give it a polarization, that is to say a cyclic ordering of the edges incident to a vertex, for each vertex. The phase space $\mathcal{P}(G)$ then consists of all pairs $(v,e)$ where $v$ is a vertex and $e$ is an edge incident to $v$. Such an initial condition gives a position and a momentum. The data $(v,e)$ is of course equivalent to an edge endowed with an orientation $e_{\mathcal O}$. With the polarization, each initial data leads to a leftward walk defined by turning left at each vertex, or making a rebound if there is no other edge. A leftward walk is called complete if it goes through all edges of $G$, not necessarily in both directions. As usual, we define the valence of a vertex as the number of edges incident to it, and we define the valence of a graph as the average of the valences of its vertices. In this article, we prove that if a graph which is embedded in a closed oriented surface of genus $g$ admits a complete leftward walk, then its valence is at most $1 + \sqrt{6g+1}$. We prove furthermore that this result is sharp for infinitely many genera $g$, and that it is asymptotically optimal as $g \to + \infty$. This leads to obstructions for the embeddability of graphs on a surface in a way which admits a complete leftward walk. Since checking that a polarized graph admits a complete leftward walk or not is done in time $4N$, where $N$ is the cardinality of the edges, this obstruction is particularly efficient in terms of computability. This problem has its origins in interesting consequences for what we will call here the topological ergodicity of conservative systems, especially Hamiltonian systems $H$ in two dimensions where the existence of a complete leftward walk corresponds to a topologically ergodic orbit of the system, i.e. an orbit of $H$ visiting all the topology of the surface.
2022-09-01 v2
Subgraph distributions in dense random regular graphs
Published • View PublicationBIB
Given connected graph $H$ which is not a star, we show that the number of copies of $H$ in a dense uniformly random regular graph is asymptotically Gaussian, which was not known even for $H$ being a triangle. This addresses a question of McKay from the 2010 International Congress of Mathematicians. In fact, we prove that the behavior of the variance of the number of copies of $H$ depends in a delicate manner on the occurrence and number of cycles of length $3,4,5$ as well as paths of length $3$ in $H$. More generally, we provide control of the asymptotic distribution of certain statistics of bounded degree which are invariant under vertex permutations, including moments of the spectrum of a random regular graph. Our techniques are based on combining complex-analytic methods due to McKay and Wormald used to enumerate regular graphs with the notion of graph factors developed by Janson in the context of studying subgraph counts in $\mathbb{G}(n,p)$.
2022-08-31 v2
Mixing time bounds for edge flipping on regular graphs
Published • View PublicationBIB
The edge flipping is a non-reversible Markov chain on a given connected graph, which is defined by Chung and Graham. In the same paper, its eigenvalues and stationary distributions for some classes of graphs are identified. We further study its spectral properties to show a lower bound for the rate of convergence in the case of regular graphs. Moreover, we show that a cutoff occurs at 1/4 n log n for the edge flipping on the complete graph by a coupling argument
2022-08-30
The Existence of Graph whose Vertex Set Can be Partitioned into a Fixed Number of Domination Strong Critical Vertex-sets
Published • View PublicationBIB
Let $γ(G)$ denote the domination number of a graph $G$. A vertex $v\in V(G)$ is called a \emph{critical vertex} of $G$ if $γ(G-v)=γ(G)-1$. A graph is called \emph{vertex-critical} if every vertex of it is critical. In this paper, we correspondingly introduce two such definitions: (i) a set $S\subseteq V(G)$ is called a \emph{strong critical vertex-set} of $G$ if $γ(G-S)=γ(G)-|S|$; (ii) a graph $G$ is called \emph{strong $l$-vertex-sets-critical} if $V(G)$ can be partitioned into $l$ strong critical vertex-sets of $G$. Whereafter, we give some properties of strong $l$-vertex-sets-critical graphs by extending the previous results of vertex-critical graphs. As the core work, we study on the existence of this class of graphs and obtain that there exists a strong $l$-vertex-sets-critical connected graph if and only if $l\notin\{2,3,5\}$.
2022-08-29
Minimizers for the energy of eccentricity matrices of trees
Published • View PublicationBIB
The eccentricity matrix of a connected graph $G$, denoted by $\mathcal{E}(G)$, is obtained from the distance matrix of $G$ by keeping the largest nonzero entries in each row and each column and leaving zeros in the remaining ones. The eigenvalues of $\mathcal{E}(G)$ are the $\mathcal{E}$-eigenvalues of $G$. The eccentricity energy (or the $\mathcal{E}$-energy) of $G$ is the sum of the absolute values of all $\mathcal{E}$-eigenvalues of $G$. In this article, we determine the unique tree with the minimum second largest $\mathcal{E}$-eigenvalue among all trees on $n$ vertices other than the star. Also, we characterize the trees with minimum $\mathcal{E}$-energy among all trees on $n$ vertices.
2022-08-28
On the distribution of eigenvalues of the reciprocal distance Laplacian matrix of graphs
Published • View PublicationBIB
The reciprocal distance Laplacian matrix of a connected graph $G$ is defined as $RD^L(G)=RT(G)-RD(G)$, where $RT(G)$ is the diagonal matrix of reciprocal distance degrees and $RD(G)$ is the Harary matrix. Since $RD^L(G)$ is a real symmetric matrix, we denote its eigenvalues as $λ_1(RD^L(G))\geq λ_2(RD^L(G))\geq \dots \geq λ_n(RD^L(G))$. The largest eigenvalue $λ_1(RD^L(G))$ of $RD^L(G)$ is called the reciprocal distance Laplacian spectral radius. In this article, we prove that the multiplicity of $n$ as a reciprocal distance Laplacian eigenvalue of $RD^L(G)$ is exactly one less than the number of components in the complement graph $\bar{G}$ of $G$. We show that the class of the complete bipartite graphs maximize the reciprocal distance Laplacian spectral radius among all the bipartite graphs with $n$ vertices. Also, we show that the star graph $S_n$ is the unique graph having the maximum reciprocal distance Laplacian spectral radius in the class of trees with $n$ vertices. We determine the reciprocal distance Laplacian spectrum of several well known graphs. We prove that the complete graph $K_n$, $K_n-e$, the star $S_n$, the complete balanced bipartite graph $K_{\frac{n}{2},\frac{n}{2}}$ and the complete split graph $CS(n,α)$ are all determined from the $RD^L$-spectrum.
2022-08-18
On decomposing multigraphs into locally irregular submultigraphs
Published • View PublicationBIB
A locally irregular multigraph is a multigraph whose adjacent vertices have distinct degrees. The locally irregular edge coloring is an edge coloring of a multigraph $G$ such that every color induces a locally irregular submultigraph of $G$. We say that a multigraph $G$ is locally irregular colorable if it admits a locally irregular edge coloring and we denote by ${\rm lir}(G)$ the locally irregular chromatic index of $G$, which is the smallest number of colors required in a locally irregular edge coloring of a locally irregular colorable multigraph $G$. We conjecture that for every connected graph $G$, which is not isomorphic to $K_2$, multigraph $^2G$ obtained from $G$ by doubling each edge admits ${\rm lir}(^2G)\leq 2$. This concept is closely related to the well known 1-2-3 Conjecture, Local Irregularity Conjecture, (2, 2) Conjecture and other similar problems concerning edge colorings. We show this conjecture holds for graph classes like paths, cycles, wheels, complete graphs, complete $k$-partite graphs and bipartite graphs. We also prove the general bound for locally irregular chromatic index for all 2-multigraphs using our result for bipartite graphs.