connected graph
2591 papers tagged with this keyword
Degree 2 vertices in minimal prime graph complements
Minimal prime graphs are connected graphs on at least two vertices whose complements satisfy the following conditions: triangle-freeness, 3-colorability, and edge-maximality with respect to the latter two properties. These graphs are prime graphs (or Gruenberg-Kegel graphs) of finite solvable groups with the maximum number of Frobenius actions among their Sylow subgroups, and as such minimal prime graph complements have been shown to be highly structured, including, for instance, the presence of induced 5-cycles. It is also known that the minimum degree of minimal prime graph complements is 2. In this note, we show that the existence of a degree 2 vertex in a minimal prime graph complement determines its whole structure: it is simply a 5-cycle with three vertices, exactly two of which are adjacent to each other, being duplicated finitely often. In particular, such graphs belong to a class of graphs known as reseminant.
The exponential distance matrix of bi-block graphs
Let $G$ be a connected graph with vertex set $\{v_1, v_2, \ldots, v_\mathbf{n}\}$. As a variant of the classical distance matrix, the \emph{exponential distance matrix} was introduced independently by Yan and Yeh, and by Bapat et al. For a nonzero indeterminate $q$, the exponential distance matrix $\mathscr{F} = (\mathscr{F}_{ij})_{\mathbf{n} \times \mathbf{n}}$ of $G$ is defined by $\mathscr{F}_{ij} = q^{d_{ij}},$ where $d_{ij}$ denotes the distance between vertices $v_i$ and $v_j$ in $G$. A connected graph is said to be a \emph{bi-block graph} if each of its blocks is a complete bipartite graph, possibly of varying bipartition sizes. In this paper, we obtain explicit expressions for the determinant, inverse, and cofactor sum of the exponential distance matrix of bi-block graphs. As a consequence, some known results concerning the exponential distance matrix and the $q$-Laplacian matrix are generalized.
On the Augmented Sombor Index of Graphs
Let $G$ be a connected graph having more than two vertices and let $d_i$ denote the degree of vertex $v_i$ in $G$. Let $E(G)$ represent the edge set of $G$. Then, the augmented Sombor (ASO) index of $G$ is defined as $ASO(G) = \sum_{v_i v_j \in E(G)} \sqrt{(d_i + d_j - 2)^{-1}(d_i^2 + d_j^2)}.$ It is known that the cycle graph $C_n$ uniquely minimizes the ASO index in the class of all $n$-order unicyclic graphs. In this paper, we prove that the unique $n$-order unicyclic graph of maximum degree $n-1$ maximizes the ASO index in the aforementioned unicyclic graph class. We also prove that $ASO(G-v_iv_j)<ASO(G)$ whenever neither of the graphs $G-v_iv_j$ and $G$ contains any isolated edge. Utilizing this edge-deletion property, we characterize the unique graph maximizing the ASO index among all fixed-order connected graphs with a specified vertex connectivity (or edge connectivity).
Signless Laplacian spectral conditions for even factors in graphs
A spanning subgraph $F$ of a graph $G$ is defined as an even factor of $G$, if the degree $d_F(v)=2k, k\in\mathbb{N}^+$ for every vertex $v\in V(G)$. This note establishes a sufficient condition to ensure that a connected graph $G$ of even order with the minimum degree $δ$ contains an even factor based on the signless Laplacian spectral radius.
On the Steiner $k$-diameter and Steiner ($k,k^{\prime}$)-radius of trees
Given a connected graph $G=(V,E)$ and a $k$-set $S\subseteq V(G)$, the $Steiner$ $distance$ $d_{G}(S)$ of $S$ is defined as the size of a minimum tree including $S$ in $G$. The $Steiner$ $k$-$eccentricity$ of a vertex $v$ in $G$ is the maximum value of $d_G(S)$ over all $S\subseteq V(G)$ with $|S|=k$ and $v\in S$. The minimum Steiner $k$-eccentricity over all vertices, denoted by $Sr_k(G)$, is called the $Steiner$ $k$-$radius$ of $G$ and the maximum Steiner $k$-eccentricity over all vertices, denoted by $Sd_k(G)$, is its $Steiner$ $k$-$diameter$. The $Steiner$ $(k,k^{\prime})$-$eccentricity$ of a $k^{\prime}$-subset $S^{\prime}$ of $V(G)$, which is an extension of the Steiner $k$-eccentricity of a vertex $v$, is defined as the maximum Steiner distance over all $k$-subsets of $V(G)$ containing $S^{\prime}$. The minimum Steiner $(k,k^{\prime})$-eccentricity among all $k^{\prime}$-subsets of $V(G)$, denoted by $Sr_{k,k^{\prime}}(G)$, is called the $Steiner$ $(k,k^{\prime})$-$radius$ of $G$. In 1989, Chartrand, Oellermann, Tian and Zou showed that for any $k\geq3$, $Sd_k(T)\leq \frac{k}{k-1}Sr_k(T)$ for any tree $T$. In this paper, we generalize this result and show that $Sd_k(T)\leq \frac{k}{k-k^{\prime}}Sr_{k,k^{\prime}}(T)$ for any $k\geq3$, $k>k^{\prime}\geq1$. Furthermore, for $k^{\prime}=2$ and $k^{\prime}=3$, we obtain a tight upper bound of the Steiner $k$-diameter by the Steiner $(k,k^{\prime})$-radius for all trees.
The 3-restricted edge-connectivity of the direct product graphs
An edge subset \( S \subseteq E(G) \) is called a 3-restricted edge-cut if \( G - S \) is disconnected and each component of \( G - S \) contains at least three vertices. The 3-restricted edge-connectivity of a graph \( G \), denoted by \( λ_3(G) \), is defined as the minimum cardinality among all 3-restricted edge-cuts if there are at least one; otherwise, \( λ_3(G) = +\infty \). It is proved that $λ_3(G)\leqξ_3(G)$ if $G$ has a 3-restricted edge-cut, where $ξ_3(G) = \min \left\{ |[X, V(G) \setminus X]_G|:|X| = 3 \text{ and } G[X] \text{ is connected} \right\}.$ If \( λ_3(G) = ξ_3(G) \), then \( G \) is said to be maximally 3-restricted edge-connected. The direct product of two graphs $G$ and $H$, denoted by $G \times H$, is defined as the graph with vertex set \( V(G \times H) = V(G) \times V(H) \), where two vertices \( (u_1, v_1) \) and \( (u_2, v_2) \) are adjacent in \( G \times H \) if and only if \( u_1u_2 \in E(G) \) and \( v_1v_2 \in E(H) \). In this paper, we determine, for a regular connected graph \( G\), the 3-restricted edge-connectivity of \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \), where \( C_n \), \( K_n \) and \( T_n \) are the cycle, the complete graph and the total graph with \( n \) vertices, respectively. As corollaries, we establish sufficient conditions for the direct product graphs \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \) to be maximally 3-restricted edge-connected.
Odd and even cycle lengths, minimum degree and chromatic number in graphs
In this paper, we prove similar results for odd and even cycle lengths. Let $L_o(G)$ denote the set of odd cycle lengths of $G$ and $\ell_o(G)$ denote the longest odd cycle length. In 1992, Gyárfás proved that $χ(G)\leq 2|L_o(G)|+2$, and if $w(G)\leq 2|L_o(G)|+1$, then $χ(G)\leq 2|L_o(G)|+1$. We first prove that if $G$ is a 2-connected non-bipartite graph with $δ(G)\geq 2k$, then $|L_o(G)|\geq k$. Moreover, if $|L_o(G)|=k$, then $2|L_o(G)|+1=\ell_o(G)$, and either $K_{2k+1}\subseteq G$ or $χ(G)\leq 2k$. Applying this result, we prove that if $w(G)\leq 2|L_o(G)|$, then $χ(G)\leq 2|L_o(G)|$ for $|L_o(G)|\geq 2$, improving the result of Gyárfás. We also construct a class of graphs with $w(G)=2|L_o(G)|-1$ but $χ(G)=2|L_o(G)|$ for every $|L_o(G)|\geq 2$. Using our result, we give a short proof of a similar result of $χ(G)$ and $\ell_o(G)$ proved by Kenkre and Vishwanathan.
Our second part is about even cycle lengths. Let $L_e(G)$ denote the set of even cycle lengths of $G$ and $\ell_e(G)$ denote the longest even cycle length. In 2004, Mihók and Schiermeyer proved that $χ(G)\leq 2|L_e(G)|+3$, and if $w(G)\leq 2|L_e(G)|+2$, then $χ(G)\leq 2|L_e(G)|+2$. We first prove that if $G$ is a 2-connected graph with $δ(G)\geq 2k+1$, then $|L_e(G)|\geq k$. Moreover, if $|L_e(G)|=k$, then $2|L_e(G)|+2=\ell_e(G)$, and either $K_{2k+2}\subseteq G$ or $χ(G)\leq 2k+1$. Applying this result, we prove that if $w(G)\leq 2|L_e(G)|+1$, then $χ(G)\leq 2|L_e(G)|+1$ for $|L_e(G)|\geq 2$, improving the result of Mihók and Schiermeyer. We also construct a class of graphs with $w(G)=2|L_e(G)|$ but $χ(G)=2|L_e(G)|+1$ for every $|L_e(G)|\geq 2$. Our result can deduce a similar result of $χ(G)$ and $\ell_e(G)$.
The above results also improve some results of consecutive odd or even cycle lengths.
Distance spectral radius for a graph to be k-critical with respect to [1,b]-odd factor
Let $G$ be a connected graph, and let $b$ and $k$ be two positive integers with $b\equiv1$ (mod 2). A $[1,b]$-odd factor of $G$ is a spanning subgraph $F$ of $G$ with $d_F(v)\equiv1$ (mod 2) and $1\leq d_F(v)\leq b$ for every $v\in V(G)$. A graph $G$ is called $k$-critical with respect to $[1,b]$-odd factor if $G-X$ contains a $[1,b]$-odd factor for every $X\subseteq V(G)$ with $|X|=k$. Let $\mathcal{D}(G)$ denote the distance matrix of $G$. The largest eigenvalue of $\mathcal{D}(G)$, denoted by $μ(G)$, is called the distance spectral radius of $G$. In this paper, we prove an upper bound for $μ(G)$ in a connected graph $G$ which guarantees $G$ to be $k$-critical with respect to $[1,b]$-odd factor.
Extending two results on hamiltonian graphs involving the bipartite-hole-number
The bipartite-hole-number of a graph $G$, denoted by $\widetildeα(G)$, is the minimum number $k$ such that there exist positive integers $s$ and $t$ with $s+t=k+1$ with the property that for any two disjoint sets $A,B\subseteq V(G)$ with $|A|=s$ and $|B|=t$, there is an edge between $A$ and $B$. In this paper, we first prove that any $2$-connected graph $G$ satisfying $d_G(x)+d_G(y)\ge 2\widetildeα(G)-2$ for every pair of non-adjacent vertices $x,y$ is hamiltonian except for a special family of graphs, thereby extending results of Li and Liu (2025), and Ellingham, Huang and Wei (2025). We then establish a stability version of a theorem by McDiarmid and Yolov (2017): every graph whose minimum degree is at least its bipartite-hole-number minus one is hamiltonian except for a special family of graphs.
The existence of even factors based on spectral conditions of graphs
Let $G=(V(G),E(G)) $ be a graph with vertex set $V(G)$ and edge set $E(G)$. An even factor of $G$ is a spanning subgraph $F$ such that every vertex in $F$ has a nonzero even degree. Note that $δ(G)\geq 2$ is a trivial necessary condition for a graph to have an even factor, where \( δ(G) \) is the minimum degree of \( G \). In this paper, for a connected graph $G$ with minimum degree $δ$, we establish a lower bound on the signless
Laplacian spectral radius of $G$ and an upper bound on the distance spectral radius of $G$ such
that $G$ contains an even factor.
The class of $(2P_3,C_4,C_6)$-free graphs, part I: $(2P_3,C_4,C_6)$-free graphs that contain an induced $C_7$ or an induced $T_0$
This is the first in a series of two papers dealing with $(2P_3,C_4,C_6)$-free graphs, or equivalently, $(2P_3,\text{even hole})$-free graphs. In this two-paper series, we give a full structural description of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. This implies that Graph Coloring can be solved in polynomial time for $(2P_3,C_4,C_6)$-free graphs. In this paper, we describe the structure of $(2P_3,C_4,C_6)$-free graphs that contain an induced $C_7$ or an induced $T_0$ (where $T_0$ is a certain 2-connected graph on nine vertices in which all holes are of length five), and we show that such graphs either contain a simplicial vertex or have bounded clique-width. In the second part of this series, we describe the structure of all $(2P_3,C_4,C_6,C_7,T_0)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. The full statement of the theorem describing the structure of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices is given in the second paper of this series.
The class of $(2P_3,C_4,C_6)$-free graphs, part II: $(2P_3,C_4,C_6,C_7,T_0)$-free graphs
This is the second in a series of two papers dealing with $(2P_3,C_4,C_6)$-free graphs, or equivalently, $(2P_3,\text{even hole})$-free graphs. In this two-paper series, we give a full structural description of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. This implies that Graph Coloring can be solved in polynomial time for $(2P_3,C_4,C_6)$-free graphs. In the first paper of the series, we described the structure of $(2P_3,C_4,C_6)$-free graphs that contain an induced $C_7$ or an induced $T_0$ (where $T_0$ is a certain 2-connected graph on nine vertices in which all holes are of length five), and we showed that such graphs either contain a simplicial vertex or have bounded clique-width. In the present paper (the second part of the series), we describe the structure of $(2P_3,C_4,C_6,C_7,T_0)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. Finally this paper gives the full statement of the theorem describing the structure of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices.
Number of Edges in 3-Connected Graphs with Cyclic Neighborhoods
Chernyshev, Rauch and Rautenbach [Discrete Math., 2025] introduce forest cuts, i.e., vertex separators that induce a forest. They conjecture that, similar to a result by Chen and Yu [Discrete Math., 2002], every $n$-vertex graph with less than $3n-6$ edges has a forest cut. As an intermediate goal they ask how many edges an $n$-vertex $3$-connected graph must have such that the neighborhood of every vertex contains a cycle. Li, Tang and Zhan [arXiv, 2024] resolve this problem by showing that every such graph has at least $15n/8$ edges, while there are examples of such graphs with exactly $15n/8$ edges. We give a much shorter proof for this.
Every $2$-connected $[4, 2]$-graph of order at least seven contains a pancyclic edge
A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ An edge $e$ in a graph $G$ of order $n$ is called pancyclic if for every integer $k$ with $3\le k\le n,$ $e$ lies in a $k$-cycle. We prove that every $2$-connected $[4, 2]$-graph of order at least seven contains a pancyclic edge. This strengthens an existing result. We also determine the minimum size of a $[4, 2]$-graph of a given order and show that any $[4, 2]$-graph of order at least eight is not uniquely hamiltonian.
Connectivity keeping trees in triangle-free graphs
In 2012, Mader conjectured that for any tree $T$ of order $m$, every $k$-connected graph $G$ with minimum degree at least $\lfloor \frac{3k}{2}\rfloor+m-1$ contains a subtree $T'\cong T$ such that $G-V(T')$ remains $k$-connected. In 2022, Luo, Tian, and Wu considered an analogous problem for bipartite graphs and conjectured that for any tree $T$ with bipartition $(X,Y)$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+\max\{|X|,|Y|\}$ contains a subtree $T'\cong T$ such that $G-V(T')$ remains $k$-connected. In this paper, we relax the bipartite assumption by considering triangle-free graphs and prove that for any tree $T$ of order $m$, every $k$-connected triangle-free graph $G$ with minimum degree at least $2k+3m-4$ contains a subtree $T' \cong T$ such that $G-V(T')$ remains $k$-connected. Furthermore, we establish refined results for specific subclasses such as bipartite graphs or graphs with girth at least five.
Extremal graphs for the maximum $A_α$-spectral radius of graphs with order and size
In 1986, Brualdi and Solheid firstly proposed the problem of determining the maximum spectral radius of graphs in the set $\mathcal{H}_{n,m}$ consisting of all simple connected graphs with $n$ vertices and $m$ edges, which is a very tough problem and far from resolved. The $A_α$-spectral radius of a simple graph of order $n$, denoted by $ρ_α(G)$, is the largest eigenvalue of the matrix
$A_α(G)$ which is defined as $αD(G)+(1-α)A(G)$ for $0\le α< 1$, where $D(G)$ and $A(G)$ are the degree diagonal and adjacency matrices of $G$, respectively. In this paper, if $r$ is a positive integer, $n>30r$ and $n-1\leq m \le rn-\frac{r(r+1)}{2}$, we characterize all extremal graphs which have the maximum $A_α$-spectral radius of graphs in the set $\mathcal{H}_{n,m}$. Moreover, the problem on $A_α$-spectral radius proposed by
Chang and Tam [T.-C. Chang and B.-T. Tam, Graphs of fixed order and size with maximal $A_α$-index. Linear Algebra Appl. 673 (2023), 69-100] has been solved.
Bipartite Turán number of paths and other trees
We solve a recent question of Caro, Patkós and Tuza by determining the exact maximum number of edges in a bipartite connected graph as a function of the longest path it contains as a subgraph and of the number of vertices in each side of the bipartition. This was previously known only in the case where both sides of the bipartition have equal size and the longest path has size at most $5$. We also discuss possible generalizations replacing "path" with some specific types of trees.
A step toward Chen-Lih-Wu conjecture
An equitable $k$-coloring of a graph is a proper $k$-coloring where the sizes of any two different color classes differ by at most one. In 1973, Meyer conjectured that every connected graph $G$ has an equitable $k$-coloring for some $k\leq Δ(G)$, unless $G$ is a complete graph or an odd cycle. Chen, Lih, and Wu strengthened this in 1994 by conjecturing that for $k\geq 3$, the only connected graphs of maximum degree at most $k$ with no equitable $k$-coloring are the complete bipartite graph $K_{k,k}$ for odd $k$ and the complete graph $K_{k+1}$. A more refined conjecture was proposed by Kierstead and Kostochka, relaxing the maximum degree condition to an Ore-type condition. Their conjecture states the following: for $k\geq 3$, if $G$ is an $n$-vertex graph such that $d(x) + d(y)\leq 2k$ for every edge $xy\in E(G)$, and $G$ admits no equitable $k$-coloring, then $G$ contains either $K_{k+1}$ or $K_{m,2k-m}$ for some odd $m$. We prove that for any constant $c>0$ and all sufficiently large $n$, the latter two conjectures hold for every $k\geq cn$. Our proof yields an algorithm with polynomial time that decides whether $G$ has an equitable $k$-coloring, thereby answering a conjecture of Kierstead, Kostochka, Mydlarz, and Szemerédi when $k \ge cn$.
Cycle lengths in graphs of given minimum degree
In a graph, $k$ cycles are {\em admissible} if their lengths form an arithmetic progression with common difference one or two. Let $G$ be a 2-connected graph with minimum degree at least $k\geqslant 4$. We prove that
\begin{itemize}
\item [(1)] $G$ contains $k$ admissible cycles, unless $G\cong K_{k+1}$ or $K_{k,n-k}$;
\item [(2)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$, unless $G\cong K_{k+1}$ or $K_{k,n-k}$;
\item [(3)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all $\ell$, unless $G\cong K_{k+1}$ or $G$ is bipartite.
\end{itemize} In addition, we show that if $k$ is even and $G$ is 2-connected with minimum degree at least $k-1$ and order at least $k+2$, then $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$. These findings provide a stability analysis of the main results on cycle lengths in graphs of given minimum degree in [J. Gao, Q. Huo, C. Liu, J. Ma, A unified proof of conjectures on cycle lengths in graphs, International Mathematics Research Notices 2022 (10) (2022) 7615--7653]. As a corollary, we determine the maximum number of edges in a graph that does not contain a cycle of length 0 modulo $k$ for all odd $k$.
Uniqueness of the second eigenspace of the interchange process
The spectral gap theorem of Caputo, Liggett, and Richthammer states that on any connected graph equipped with edge weights, the 2nd eigenvalue of the interchange process equals the 2nd eigenvalue of the random walk process. In this work we characterize the 2nd eigenspace of the interchange process. We prove that this eigenspace is uniquely determined by the 2nd eigenvectors of the random walk process on every connected weighted graph except the $4$-cycle with uniform edge weights. The key to our proof is an induction scheme on the number of vertices, and involves the octopus (in)equality, representation theoretic computations, and graph Laplacian computations.