connected graph
2591 papers tagged with this keyword
Chords of longest cycles in graphs with large circumferences
A long-standing conjecture of Thomassen says that every longest cycle of a $3$-connected graph has a chord. Thomassen (2018) proved that if $G$ is a $2$-connected cubic graph, then any longest cycle must have a chord. He also showed that in any 3-connected graph with minimum degree at least four, some longest cycle must contain a chord. Harvey proved that every longest cycle has a chord for graphs with a large minimum degree. He also conjectured that any longest cycle in a 2-connected graph with minimum degree at least three has a chord. In this paper, we prove that both Thomassen's and Harvey's conjectures are true for graphs with large circumferences. We also prove a more general result for the existence of chords in longest cycles containing a linear forest.
On the enumeration of connected sets in finite cylindrical lattice graphs
A connected set in a graph is a non-empty set of vertices that induces a connected subgraph. In an infinite lattice, a connected set is often referred to as a lattice animal, whose enumeration up to isomorphism is a classical problem in both combinatorics and statistical physics. In this paper, we focus on the enumeration of connected sets in finite lattice graphs, providing a link between combinatorial counting and structural connectivity in the system.
For any positive integers $m,n$, let $N(P_m\times P_n)$ and $N(C_m\times P_n)$ denote the number of all connected sets in the $(m\times n)$-lattice graph $P_m\times P_n$ and $(m\times n)$-cylindrical lattice graph $C_m\times P_n $, respectively. In 2020, Vince derived enumeration formulas for $N(P_m\times P_2)$ and $N(C_m\times P_2)$, and highlighted the increasing difficulty of extending these calculation results to larger (cylindrical) lattice graphs. Recently, the authors of this paper have developed a method based on multi-step recurrence formulas to obtain the enumeration formula for $N(P_m\times P_n)$ with $m\le 4$. In this article, we apply a similar approach to derive the enumeration formula for $N(C_m\times P_n)$ with $m\le 7$. Further, for the general case, we establish an explicit and tight lower bound on the number of connected sets in the Cartesian product graph $G\times P_n $ for any connected graph $G$, by employing the transfer matrix method on a subclass of connected sets. Based on this, we perform an asymptotic analysis on several lattice graphs and show that $O(N(P_3\times P_n))=1.6694^{3n}$, $O(N(C_4\times P_n))=1.8014^{4n}$, and $O(N(C_5\times P_n))=1.7877^{5n}$.
Exact Turán numbers of two vertex-disjoint paths
The Turán number of a graph $H$ is the maximum number of edges in any graph of order $n$ that does not contain $H$ as a subgraph. In 1959, Erd\H os and Gallai obtained a sharp upper bound of Turán numbers for a path of arbitrary length. In 1975, Faudree and Schelp, and independently in 1977, Kopylov determined the exact values of Turán numbers of paths with arbitrary length. In this paper, we determine the Turán number of two vertex-disjoint paths of odd order at least 4. Together with previous works, we determine the exact Turán numbers of two vertex-disjoint paths completely. This confirms the first $k=2$ case of a conjecture proposed by Yuan and Zhang in 2021, which generalizes the Turán number formula of paths due to Faudree-Schelp, and Kopylov in a broader setting. Our main tools include a refinement of Pósa's rotation lemma, a stability result of Kopylov's theorem on cycles, and a recent inequality on circumference, minimum degree, and clique number of a 2-connected graph.
Bipartite holes, degree sums and Hamilton cycles
The {\em bipartite-hole-number} of a graph $G$, denoted as $\widetildeα(G)$, is the minimum number $k$ such that there exist integers $a$ and $b$ with $a + b = k+1$ such that for any two disjoint sets $A, B \subseteq V(G)$, there is an edge between $A$ and $B$.
McDiarmid and Yolov initiated research on bipartite holes by extending Dirac's classical theorem on minimum degree and Hamiltonian cycles.
They showed that a graph on at least three vertices with $δ(G) \ge \widetildeα(G)$ is Hamiltonian.
Later, Draganić, Munhá Correia and Sudakov proved that $δ\ge \widetildeα(G)$ implies that $G$ is pancyclic, unless $G = K_{\frac n2, \frac n2}$. This extended the result of McDiarmid and Yolov and generalized a theorem of Bondy on pancyclicity.
In this paper, we show that a $2$-connected graph $G$ is Hamiltonian if $σ_2(G) \ge 2 \widetildeα(G) - 1$, and that a connected graph $G$ contains a cycle through all vertices of degree at least $\widetildeα(G)$.
Both results extended McDiarmid and Yolov's result.
As a step toward proving pancyclicity, we show that if an $n$-vertex graph $G$ satisfies $σ_2(G) \ge 2 \widetildeα(G) - 1$, then it either contains a triangle or it is $K_{\frac n2, \frac n2}$.
Finally, we discuss the relationship between connectivity and the bipartite hole number.
Sufficient conditions for bipartite rigidity, symmetric completability and hyperconnectivity of graphs
We consider three matroids defined by Kalai in 1985: the symmetric completion matroid $\mathcal{S}_d$ on the edge set of a looped complete graph; the hyperconnectivity matroid $\mathcal{H}_d$ on the edge set of a complete graph; and the birigidity matroid $\mathcal{B}_d$ on the edge set of a complete bipartite graph. These matroids arise in the study of low rank completion of partially filled symmetric, skew-symmetric and rectangular matrices, respectively. We give sufficient conditions for a graph $G$ to have maximum possible rank in these matroids. For $\mathcal{S}_d$ and $\mathcal{H}_d$, our conditions are in terms of the minimum degree of $G$ and are best possible. For $\mathcal{B}_d$, our condition is in terms of the connectivity of $G$. Our results are analogous to recent results for rigidity matroids due to Krivelevich, Lew and Michaeli, and Villányi, respectively, but our proofs require new techniques and structural results. In particular, we give an almost tight lower bound on the vertex cover number in critically $k$-connected graphs.
Minimum spectral radius of graphs of fixed order and dissociation number and its connection to Turán problems
Let $\mathcal{D}_{n,τ}$ be the set of all simple connected graphs of order $n$ and dissociation number $τ.$ In this paper, we study the minimum size and the minimum spectral radius of graphs in $\mathcal{D}_{n,τ}$ in connection with Turán-type problems for complete multipartite graphs. We characterize the Tur\' an graphs for several complete multipartite graphs where the size of one of the partite sets is much smaller than the size of the remaining partites. This extends a result of Erdős and Simonovits [16]. Additionally, we prove some stability results to get the structure of graphs without such a forbidden complete multipartite subgraph, and close to Turán number of edges. As an application, we show that a graph with the minimum spectral radius in $\mathcal{D}_{n,τ}$ must be a graph with the minimum size in $\mathcal{D}_{n, τ}$ when $n$ is sufficiently large and satisfies some parity conditions. We then describe a few structural properties of graphs with the minimum spectral radius in $\mathcal{D}_{n,τ}$. For even dissociation numbers and any order $n$, we compute the minimum size of a graph in $\mathcal{D}_{n,τ}$ and use it to characterize the graphs in $\mathcal{D}_{n, 4}$ that attain the minimum size and the minimum spectral radius. We also apply the stability results to upper bound the minimum number of edges and spectral radius for connected graphs with a given $d$-independence number when the order of the graph is sufficiently large. Finally, we derive two new bounds on the value of $τ(G)$ for a given graph $G$.
The circumference of a graph with given minimum degree and clique number
The circumference denoted by $c(G)$ of a graph $G$ is the length of its longest cycle. Let $δ(G)$ and $ω(G)$ denote the minimum degree and the clique number of a graph $G$, respectively. In [\emph{Electron. J. Combin.} 31(4)(2024) $\#$P4.65], Yuan proved that if $G$ is a 2-connected graph of order $n$, then $c(G)\geq \min\{n,ω(G)+δ(G)\}$ unless $G$ is one of two specific graphs. In this paper, we prove a stability result for the theorem of Erd\H os and Gallai, thereby helping us to characterize all $2$-connected non-hamiltonian graphs whose circumference equals the sum of their clique number and minimum degree. Combining this with Yuan's result, one can deduce that if $G$ is a $2$-connected graph of order $n$, then $c(G)\geq \min\{n,ω(G)+δ(G)+1\}$, unless $G$ belongs to certain specified graph classes.
Constrained Ramsey numbers for rainbow $P_5$
Given a graph $H$ and a positive integer $k$, the {\it $k$-colored Ramsey number} $R_k(H)$ is the minimum integer $n$ such that in every $k$-edge-coloring of the complete graph $K_{n}$, there is a monochromatic copy of $H$. Given two graphs $H$ and $G$, the {\it constrained Ramsey number} (also called {\it rainbow Ramsey number}) $f(H,G)$ is defined as the minimum integer $n$ such that, in every edge-coloring of $K_{n}$ with any number of colors, there is either a monochromatic copy of $H$ or a rainbow copy of $G$. Let $P_t$ be the path on $t$ vertices. Gyárfás, Lehel and Schelp proved that $f(H,P_5)=R_3(H)$ when $H$ is a path or a cycle. Li, Besse, Magnant, Wang and Watts conjectured that $f(H,P_5)=R_3(H)$ for any graph $H$, and confirmed this for all connected graphs and all bipartite graphs. In this paper, we address this conjecture for multiple classes of disconnected graphs with chromatic number at least 3. Our newly established general results encompass all known results on this problem. We also obtain several results for a bipartite variation of the problem. In addition, we propose a series of questions concerning this problem from multiple distinct aspects for further research.
Hitting all longest paths in $H$-free graphs and $H$-graphs
The \textit{longest path transversal number} of a connected graph $G$, denoted by $lpt(G)$, is the minimum size of a set of vertices of $G$ that intersects all longest paths in $G$. We present constant upper bounds for the longest path transversal number of \textit{hereditary classes of graphs}, that is, classes of graphs closed under taking induced subgraphs. Our first main result is a structural theorem that allows us to \textit{refine} a given longest path transversal in a graph using domination properties. This has several consequences: First, it implies that for every $t \in \{5,6\}$, every connected $P_t$-free graph $G$ satisfies $lpt(G) \leq t-2$. Second, it shows that every $(\textit{bull}, \textit{chair})$-free graph $G$ satisfies $lpt(G) \leq 5$. Third, it implies that for every $t \in \mathbb{N}$, every connected chordal graph $G$ with no induced subgraph isomorphic to $K_t \mat \overline{K_t}$ satisfies $lpt(G) \leq t-1$, where $K_t \mat \overline{K_t}$ is the graph obtained from a $t$-clique and an independent set of size $t$ by adding a perfect matching between them. Our second main result provides an upper bound for the longest path transversal number in \textit{$H$-intersection graphs}. For a given graph $H$, a graph $G$ is called an \textit{$H$-graph} if there exists a subdivision $H'$ of $H$ such that $G$ is the intersection graph of a family of vertex subsets of $H'$ that each induce connected subgraphs. The concept of $H$-graphs, introduced by Biró, Hujter, and Tuza, naturally captures interval graphs, circular-arc graphs, and chordal graphs, among others. Our result shows that for every connected graph $H$ with at least two vertices, there exists an integer $k = k(H)$ such that every connected $H$-graph $G$ satisfies $lpt(G) \leq k$.
Sufficient conditions for even factors in graphs
Let $G$ be a graph. We denote by $e(G)$ and $ρ(G)$ the size and the spectral radius of $G$. A spanning subgraph $F$ of $G$ is called an even factor of $G$ if $d_F(v)\in\{2,4,6,\ldots\}$ for every $v\in V(G)$. Yan and Kano provided a sufficient condition using the number of odd components in $G-S$ for a graph $G$ of even order to contain an even factor, where $S$ is a vertex subset of $G$ [Z. Yan, M. Kano, Strong Tutte type conditions and factors of graphs, Discuss. Math. Graph Theory 40 (2020) 1057--1065]. In this paper, motivated by Yan and Kano's above result, we present some tight sufficient conditions to guarantee that a connected graph $G$ with the minimum degree $δ$ contains an even factor with respect to its size and spectral radius.
Distance mutual-visibility coloring: relations with (total) domination, exact distance graphs and graph products
The concept of mutual-visibility (MV) has been extended in several directions. A vertex subset $S$ of a graph $G$ is a $k$-distance mutual-visibility ($k$DMV) set if for any two vertices in $S$, there is a geodesic between them of length at most $k$ whose internal vertices are not in $S$. In this paper, we combine this with the MV coloring as follows. For any integer $k\geq1$, a $k$DMV coloring of $G$ is a partition of $V(G)$ into $k$DMV sets, and the $k$DMV chromatic number $χ_{μ_k}(G)$ is the minimum cardinality of such a partition. When $k=1$ or $k\ge {\rm diam}(G)$, it equals the clique cover number $θ(G)$ or the MV chromatic number $χ_μ(G)$, respectively. So, our attention is given to $1<k<{\rm diam}(G)$ with $k=2$ producing the most interesting results. We prove that $χ_{μ_2}(G)\le|V(G)|/2$ and present large families of graphs that attain the bound. In addition, $χ_{μ_2}(G)$ is bounded from above by the total domination number $γ_t(G)$ if $G$ is isolate-free, while in graphs $G$ with girth $g(G)\geq7$, $χ_{μ_2}(G)$ is bounded from below by the domination number $γ(G)$. A surprising relation with the exact distance-2 graphs is found, which results in $θ(G^{[\natural2]})=γ_{t}(G)$ for any isolate-free graph $G$ with $g(G)\geq7$. The relation is explored further in lexicographic product graphs, where we prove the sharp inequalities $χ_{μ_{2}}(G\circ H)\leq θ(G^{[\natural2]})\leq θ\big{(}(G\circ H)^{[\natural2]}\big{)}$. We also prove a sharp lower (resp. upper) bound on $χ_{μ_2}$ (resp. $χ_{μ_k}$) for the Cartesian (resp. strong) product of two connected graphs and show that they are widely sharp. Finally, we characterize the block graphs $G$ with $χ_{μ_k}(G)=χ_μ(G)$, where $k={\rm diam}(G)-1$.
Multiparty equality in the local broadcast model
In this paper we consider the multiparty equality problem in graphs, where every vertex of a graph $G$ is given an input, and the goal of the vertices is to decide whether all inputs are equal. We study this problem in the local broadcast model, where a message sent by a vertex is received by all its neighbors and the total cost of a protocol is the sum of the lengths of the messages sent by the vertices. This setting was studied by Khan and Vaidya, who gave in 2021 a protocol achieving a 4-approximation in the general case.
We study this multiparty communication problem through the lens of network topology. We design a new protocol for 2-connected graphs, whose efficiency relies on the notion of total vertex cover in graph theory. This protocol outperforms the aforementioned 4-approximation in a number of cases. To demonstrate its applicability, we apply it to obtain optimal or asymptotically optimal protocols for several natural network topologies such as cycles, hypercubes, and grids. On the way we also provide new bounds of independent interest on the size of total vertex covers in regular graphs.
A neighborhood union condition for the existence of a spanning tree without samll degree vertices
For an integer k\ge2, a [2,k]-ST of a connected graph G is a spanning tree of G in which there are no vertices of degree between 2 and k. A [2,k]-ST is a natural extension of a homeomorphically irreducible spanning tree (HIST), which is a spanning tree without vertices of degree 2. In this paper, we give a neighborhood union condition for the existence of a [2,k]-ST in G. We generalize a known degree sum condition that guarantees the existence of a [2,k]-ST in G.
Isolation of non-triangle cycles in graphs
Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G, \mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G-N[D]$ contains no $\mathcal{F}$-graph). Let $\mathcal{C}$ be the set of cycles, and let $\mathcal{C}'$ be the set of non-triangle cycles (that is, cycles of length at least $4$). Let $G$ be a connected graph having exactly $n$ vertices and $m$ edges. The first author proved that $ι(G,\mathcal{C}) \leq n/4$ if $G$ is not a triangle. Bartolo and the authors proved that $ι(G,\{C_4\}) \leq n/5$ if $G$ is not a copy of one of nine graphs. Various authors proved that $ι(G,\mathcal{C}) \leq (m+1)/5$ if $G$ is not a triangle. We prove that $ι(G,\mathcal{C}') \leq (m+1)/6$ if $G$ is not a $4$-cycle. Zhang and Wu established this for the case where $G$ is triangle-free. Our result yields the inequality $ι(G,\{C_4\}) \leq (m+1)/6$ of Wei, Zhang and Zhao. These bounds are attained by infinitely many (non-isomorphic) graphs. The proof of our inequality hinges on also determining the graphs attaining the bound.
Super-minimally $3$-connected graphs
In this paper, we introduce super-minimally $k$-connected graphs, those $k$-connected graphs in which no proper subgraph is $k$-connected. For $k$ greater than or equal to three, this class lies strictly between the classes of minimally $k$-connected graphs and uniformly $k$-connected graphs. In particular, we determine the minimum number of degree-$3$ vertices in a super-minimally $3$-connected graph, thereby extending a result of Halin on minimally $3$-connected graphs. In addition, we determine the maximum number of edges in a super-minimally $3$-connected graph, extending Xu's result for uniformly $3$-connected graphs, and providing an analogue of Halin's result for minimally $3$-connected graphs.
Obstructions for normally spanned sets of vertices
Halin conjectured that a graph has a normal spanning tree if and only if every minor of it has countable colouring number. This has recently been proven by the second author.
In this paper, we strengthen this result by establishing the following local version of it: Given a prescribed set of vertices $U$ in a connected graph $G$, there is a normal tree in $G$ that includes $U$ if and only if every $U$-rooted minor of $G$ (i.e. a minor every branch set of which meets $U$) has countable colouring number.
Our proof relies on a novel approach that combines normal partition trees as introduced by Brochet and Diestel with a suitable closure argument developed by Robertson, Seymour and Thomas in their discussion of infinite graphs of finite tree width.
Path decompositions of Eulerian graphs
Gallai's conjecture asserts that every connected graph on $n$ vertices can be decomposed into $\frac{n+1}{2}$ paths. For general graphs (possibly disconnected), it was proved that every graph on $n$ vertices can be decomposed into $\frac{2n}{3}$ paths. This is also best possible (consider the graphs consisting of vertex-disjoint triangles). Lovász showed that every $n$-vertex graph with at most one vertex of even degree can be decomposed into $\frac{n}{2}$ paths. However, Gallai's conjecture is difficult for graphs with many vertices of even degrees. Favaron and Kouider verified Gallai's conjecture for all Eulerian graphs with maximum degree at most $4$. In this paper, we show if $G$ is an Eulerian graph on $n \ge 4$ vertices and the distance between any two triangles in $G$ is at least $3$, then $G$ can be decomposed into at most $\frac{3n}{5}$ paths.
The cost of symmetry for tailed stars
It is known that if $n$ vertices can be removed from a connected graph $Γ$ so that no subgraphs isomorphic to the graph $K$ remain, then no more than $|V(K)|\cdot n$ vertices can be removed, forming a set invariant with respect to all automorphisms of the graph $Γ$, so that no subgraphs isomorphic to the graph $K$ remain. We construct an infinite set of (connected) graphs $K$ for which this estimate is not exact.
The minimum degree of minimal 2-extendable claw-free graphs
A connected graph $G$ with a perfect matching is said to be $k$-extendable for integers $k$, $1 \leq k\leq \frac{|V(G)|}{2}-1$, if any matching in $G$ of size $k$ is contained in a perfect matching of $G$. A $k$-extendable graph is minimal if the deletion of any edge results in a graph that is not $k$-extendable. In 1994, Plummer proved that every $k$-extendable claw-free graph has minimum degree at least $2k$. Recently, He et al. showed that every minimal 1-extendable graph has minimum degree 2 or 3. In this paper, we prove that the minimum degree of a minimal 2-extendable claw-free graph is either $4$ or $5$.
A degree sum condition for the existence of a quasi 5-contractible edge in a quasi 5-connected graph
An edge of a quasi $k$-connected graph is said to be quasi $k$-contractible if the contraction of the edge results in a quasi $k$-connected graph. We show that every 5-connected graph contains a quasi 5-contractible edge. Furthermore, we prove that a quasi 5-connected graph possesses a quasi 5-contractible edge, if the degree sum of any two vertices with distance at most two is at least 9. This result strengthens a theorem proved by Kriesell when $k=4$ (M. Kriesell, A degree sum condition for the existence of a contractible edge in a $k$-connected graph, J. Combin. Theory Ser. B 82(2001)81-101).