connected graph
2678 papers tagged with this keyword
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.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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).
A $q$-analogue of distance matrix of bi-block graphs
A $q$-analogue of the distance matrix, referred to as the \emph{$q$-distance matrix}, is obtained from the distance matrix by replacing each nonzero entry $α$ with the sum $1+q+\cdots+q^{α-1}$. This notion was introduced independently by Bapat, Lal, and Pati~\cite{Ba-Lal-Pati}, and by Yan and Yeh~\cite{Yan}. A connected graph is called a \emph{bi-block graph} if each of its blocks is a complete bipartite graph. In this paper, we derive explicit formulas for the determinant and the inverse of the $q$-distance matrix of bi-block graphs. These results both generalize the corresponding formulas for the distance matrix of bi-block graphs obtained in~\cite{Hou3} and extend the results for block graphs in~\cite{Xing} to the class of bi-block graphs.
On Independent Spanning Trees in Random and Pseudorandom Graphs
In 1989, Zehavi and Itai conjectured that every $k$-connected graph contains $k$ independent spanning trees rooted at any prescribed vertex $r$. That is, for each vertex $v$, the unique $r$-$v$ paths within these $k$ spanning trees are internally disjoint. This fundamental problem has received much attention, in part motivated by its applications to network reliability, but despite that has only been resolved for $k \le 4$ and certain restricted graph families.
We establish the conjecture for almost all graphs of essentially any relevant density. Specifically, we prove that there exists a constant $C > 1$ such that, with high probability, the random graph $G(n,p)$ contains $δ(G)$ independent spanning trees rooted at any vertex whenever $C \log n/n \leq p < 0.99$. Since the lower bound on $p$ coincides (up to the constant $C$) with the connectivity threshold of $G(n,p)$, this result is essentially optimal. In addition, we show that $(n,d,λ)$-graphs with fairly mild bounds on the spectral ratio $d/λ$ contain $(1-o(1))d$ independent spanning trees rooted at each vertex, thereby settling the conjecture asymptotically for random $d$-regular graphs as well.
Radio gracefulness of Moore graphs and beyond
The study of radio graceful labelings is motivated by modeling efficient frequency assignment to radio towers, cellular towers, and satellite networks. For a simple, connected graph $G = (V(G), E(G))$, a radio labeling is a mapping $f: V(G) \rightarrow \mathbb{Z}^+$ satisfying (for any distinct vertices $u,v$) $$|f(u)-f(v)| + d(u,v) \geq diam(G)+1,$$ where $d(u,v)$ is the distance between $u$ and $v$ in $G$ and $diam(G)$ is the diameter of $G$. A graph is radio graceful if there is a radio labeling such that $f(V(G)) = \{1, \dots, |V(G)|\}$. In this paper, we determine the radio gracefulness of low-diameter graphs with connections to high-performance computing, including Moore graphs, bipartite Moore graphs, and approximate Moore graphs like $(r,g)-$cages, Erdős-Rényi polarity graphs, and McKay-Miller-Širáň graphs. We prove a new necessary and sufficient condition for radio graceful bipartite graphs with diameter $3$. We compute the radio number of $(r,g)-$cages arising from generalized $n-$gons. Additionally, we determine Erdős-Rényi polarity graphs and McKay-Miller-Širáň graphs are radio graceful.
Advances in the Shannon Capacity of Graphs
Published
• View Publication
• BIB
We derive exact values and new bounds for the Shannon capacity of two families of graphs: the $q$-Kneser graphs and the tadpole graphs. We also construct a countably infinite family of connected graphs whose Shannon capacity is not attained by the independence number of any finite strong power. Building on recent work of Schrijver, we establish sufficient conditions under which the Shannon capacity of a polynomial in graphs, formed via disjoint unions and strong products, equals the corresponding polynomial of the individual capacities, thereby reducing the evaluation of such capacities to that of their components. Finally, we prove an inequality relating the Shannon capacities of the strong product of graphs and their disjoint union, which yields alternative proofs of several known bounds as well as new tightness conditions. In addition to contributing to the computation of the Shannon capacity of graphs, this paper is intended to serve as an accessible entry point to those wishing to work in this area.