connected graph
2651 papers tagged with this keyword
Extremal problems for the eccentricity matrices of complements of trees
Published
• View Publication
• BIB
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 $\mathcal{E}$-eigenvalues of $G$ are the eigenvalues of $\mathcal{E}(G)$, in which the largest one is the $\mathcal{E}$-spectral radius of $G$. The $\mathcal{E}$-energy of $G$ is the sum of the absolute values of all $\mathcal{E}$-eigenvalues of $G$. In this article, we study some of the extremal problems for eccentricity matrices of complements of trees and characterize the extremal graphs. First, we determine the unique tree whose complement has minimum (respectively, maximum) $\mathcal{E}$-spectral radius among the complements of trees. Then, we prove that the $\mathcal{E}$-eigenvalues of the complement of a tree are symmetric about the origin. As a consequence of these results, we characterize the trees whose complement has minimum (respectively, maximum) least $\mathcal{E}$-eigenvalues among the complements of trees. Finally, we discuss the extremal problems for the second largest $\mathcal{E}$-eigenvalue and the $\mathcal{E}$-energy of complements of trees and characterize the extremal graphs. As an application, we obtain a Nordhaus-Gaddum type lower bounds for the second largest $\mathcal{E}$-eigenvalue and $\mathcal{E}$-energy of a tree and its complement.
Graphs with girth $2\ell+1$ and without longer odd holes are $3$-colorable
Published
• View Publication
• BIB
For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of graphs which have girth $2\ell+1$ and have no odd hole with length greater than $2\ell+1$. Plummer and Zha conjectured that every 3-connected and internally 4-connected graph in $\mathcal{G}_2$ is 3-colorable. Wu, Xu, and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$ is 3-colorable. Chudnovsky et al. and Wu et al., respectively, proved that every graph in $\mathcal{G}_2$ and $\mathcal{G}_3$ is 3-colorable. In this paper, we prove that every graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ is 3-colorable.
A hypergraph analog of Dirac's Theorem for long cycles in 2-connected graphs
Published
• View Publication
• BIB
Dirac proved that each $n$-vertex $2$-connected graph with minimum degree at least $k$ contains a cycle of length at least $\min\{2k, n\}$. We consider a hypergraph version of this result. A Berge cycle in a hypergraph is an alternating sequence of distinct vertices and edges $v_1,e_2,v_2, \ldots, e_c, v_1$ such that $\{v_i,v_{i+1}\} \subseteq e_i$ for all $i$ (with indices taken modulo $c$). We prove that for $n \geq k \geq r+2 \geq 5$, every $2$-connected $r$-uniform $n$-vertex hypergraph with minimum degree at least ${k-1 \choose r-1} + 1$ has a Berge cycle of length at least $\min\{2k, n\}$. The bound is exact for all $k\geq r+2\geq 5$.
The average connectivity matrix of a graph
Published
• View Publication
• BIB
For a graph $G$ and for two distinct vertices $u$ and $v$, let $κ(u,v)$ be the maximum number of vertex-disjoint paths joining $u$ and $v$ in $G$. The average connectivity matrix of an $n$-vertex connected graph $G$, written $A_{\barκ}(G)$, is an $n\times n$ matrix whose $(u,v)$-entry is $κ(u,v)/{n \choose 2}$ and let $ρ(A_{\barκ}(G))$ be the spectral radius of $A_{\barκ}(G)$. In this paper, we investigate some spectral properties of the matrix. In particular, we prove that for any $n$-vertex connected graph $G$, we have $ρ(A_{\barκ}(G)) \le \frac{4α'(G)}n$, which implies a result of Kim and O \cite{KO} stating that for any connected graph $G$, we have $\barκ(G) \le 2 α'(G)$, where $\barκ(G)=\sum_{u,v \in V(G)}\frac{κ(u,v)}{n\choose 2}$ and $α'(G)$ is the maximum size of a matching in $G$; equality holds only when $G$ is a complete graph with an odd number of vertices. Also, for bipartite graphs, we improve the bound, namely $ρ(A_{\barκ}(G)) \le \frac{(n-α'(G))(4α'(G) - 2)}{n(n-1)}$, and equality in the bound holds only when $G$ is a complete balanced bipartite graph.
The optimal bound on the 3-independence number obtainable from a polynomial-type method
Published in Discrete Mathematics 346 (2023) 113471
• View Publication
• BIB
A $k$-independent set in a connected graph is a set of vertices such that any two vertices in the set are at distance greater than $k$ in the graph. The $k$-independence number of a graph, denoted $α_k$, is the size of a largest $k$-independent set in the graph. Recent results have made use of polynomials that depend on the spectrum of the graph to bound the $k$-independence number. They are optimized for the cases $k=1,2$. There are polynomials that give good (and sometimes) optimal results for general $k$, including case $k=3$. In this paper, we provide the best possible bound that can be obtained by choosing a polynomial for case $k=3$ and apply this bound to well-known families of graphs including the Hamming graph.
The structure connectivity of Data Center Networks
Published
• View Publication
• BIB
Last decade, numerous giant data center networks are built to provide increasingly fashionable web applications. For two integers $m\geq 0$ and $n\geq 2$, the $m$-dimensional DCell network with $n$-port switches $D_{m,n}$ and $n$-dimensional BCDC network $B_{n}$ have been proposed. Connectivity is a basic parameter to measure fault-tolerance of networks. As generalizations of connectivity, structure (substructure) connectivity was recently proposed. Let $G$ and $H$ be two connected graphs. Let $\mathcal{F}$ be a set whose elements are subgraphs of $G$, and every member of $\mathcal{F}$ is isomorphic to $H$ (resp. a connected subgraph of $H$). Then $H$-structure connectivity $κ(G; H)$ (resp. $H$-substructure connectivity $κ^{s}(G; H)$) of $G$ is the size of a smallest set of $\mathcal{F}$ such that the rest of $G$ is disconnected or the singleton when removing $\mathcal{F}$. Then it is meaningful to calculate the structure connectivity of data center networks on some common structures, such as star $K_{1,t}$, path $P_k$, cycle $C_k$, complete graph $K_s$ and so on. In this paper, we obtain that $κ(D_{m,n}; K_{1,t})=κ^s (D_{m,n}; K_{1,t})=\lceil \frac{n-1}{1+t}\rceil+m$ for $1\leq t\leq m+n-2$ and $κ(D_{m,n}; K_s)= \lceil\frac{n-1}{s}\rceil+m$ for $3\leq s\leq n-1$ by analyzing the structural properties of $D_{m,n}$. We also compute $κ(B_n; H)$ and $κ^s(B_n; H)$ for $H\in \{K_{1,t}, P_{k}, C_{k}|1\leq t\leq 2n-3, 6\leq k\leq 2n-1 \}$ and $n\geq 5$ by using $g$-extra connectivity of $B_n$.
Matching Cuts in Graphs of High Girth and H-Free Graphs
Published
• View Publication
• BIB
The (Perfect) Matching Cut problem is to decide if a connected graph has a (perfect) matching that is also an edge cut. The Disconnected Perfect Matching problem is to decide if a connected graph has a perfect matching that contains a matching cut. Both Matching Cut and Disconnected Perfect Matching are NP-complete for planar graphs of girth 5, whereas Perfect Matching Cut is known to be NP-complete even for subcubic bipartite graphs of arbitrarily large fixed girth. We prove that Matching Cut and Disconnected Perfect Matching are also NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Our result for Matching Cut resolves a 20-year old open problem. We also show that the more general problem $d$-Cut, for every fixed $d \geq 1$, is NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Furthermore, we show that Matching Cut, Perfect Matching Cut and Disconnected Perfect Matching are NP-complete for $H$-free graphs whenever $H$ contains a connected component with two vertices of degree at least 3. Afterwards, we update the state-of-the-art summaries for $H$-free graphs and compare them with each other, and with a known and full classification of the Maximum Matching Cut problem, which is to determine a largest matching cut of a graph $G$. Finally, by combining existing results, we obtain a complete complexity classification of Perfect Matching Cut for $H$-subgraph-free graphs where $H$ is any finite set of graphs.
Bounding the multiplicities of eigenvalues of graph matrices in terms of circuit rank using a new approach
Published
• View Publication
• BIB
Let $G$ be a simple undirected graph, $θ(G)$ be the circuit rank of $G$, $η_M(G)$ and $m_M(G,λ)$ be the nullity and the multiplicity of eigenvalue $λ$ of a graph matrix $M(G)$, respectively. In the case $M(G)$ is the adjacency matrix $A(G)$, (the Laplacian matrix $L(G)$, the signless Laplacian matrix $Q(G)$) we find bounds to $m_M(G,λ)$ in terms of $θ(G)$ when $λ$ is an integer (even integer, respectively). We also show that when $α$ and $λ$ are rational numbers similar bounds can be found for $m_{A_α}(G,λ)$ where $A_α(G)$ is the generalized adjaceny matrix of $G$. Our bounds contain only $θ(G)$, not a multiple of it. Up to now only bounds of $m_A(G,λ)$ (and later $m_{A_α}(G,λ)$) have been found in terms of the circuit rank and all of them contains $2θ(G)$. There is only one exception in the case $λ=0$. Wong et al. (2022) showed that $η_A(G_c)\leq θ(G_c)+1$, where $G_c$ is a connected cactus whose blocks are even cycles. Our result, in particular, generalizes and extends this result to the multiplicity of any even eigenvalue of A(G) of any even connected graph $G$, and of any even eigenvalue of $L(G)$ and $Q(G)$ of any connected graph $G$. They also showed that $η_A(G_c)\leq 1$ when every block of the cactus is an odd cycle. This also corresponds a special case of our bound.
On conflict-free proper colourings of graphs without small degree vertices
Published
• View Publication
• BIB
A proper vertex colouring of a graph $G$ is referred to as conflict-free if in the neighbourhood of every vertex some colour appears exactly once, while it is called $h$-conflict-free if there are at least $h$ such colours for each vertex of $G$. The least numbers of colours in such colourings of $G$ are denoted $χ_{\rm pcf}(G)$ and $χ_{\rm pcf}^h(G)$, respectively. It is known that $χ_{\rm pcf}^h(G)$ can be as large as $(h+1)(Δ+1)\approx Δ^2$ for graphs with maximum degree $Δ$ and $h$ very close to $Δ$. We provide several new upper bounds for these parameters for graphs with minimum degrees $δ$ large enough and $h$ detached from $δ$. In particular we show that $χ_{\rm pcf}^h(G)\leq (1+o(1))Δ$ if $δ\gg\lnΔ$ and $h\ll δ$, and that $χ_{\rm pcf}(G)\leq Δ+O(\ln Δ)$ for regular graphs. These specifically refer to the conjecture of Caro, Petruševski and Škrekovski that $χ_{\rm pcf}(G)\leq Δ+1$ for every connected graph $G$ of maximum degree $Δ\geq 3$, towards which they proved that $χ_{\rm pcf}(G)\leq \left\lfloor\frac{5Δ}{2}\right\rfloor$ if $Δ\geq 1$.
Cherry picking in forests: A new characterization for the unrooted hybrid number of two phylogenetic trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 20, 2025) dmtcs:11633
• View Publication
• BIB
Phylogenetic networks are a special type of graph which generalize phylogenetic trees and that are used to model non-treelike evolutionary processes such as recombination and hybridization. In this paper, we consider {\em unrooted} phylogenetic networks, i.e. simple, connected graphs $\mathcal{N}=(V,E)$ with leaf set $X$, for $X$ some set of species, in which every internal vertex in $\mathcal{N}$ has degree three. One approach used to construct such phylogenetic networks is to take as input a collection $\mathcal{P}$ of phylogenetic trees and to look for a network $\mathcal{N}$ that contains each tree in $\mathcal{P}$ and that minimizes the quantity $r(\mathcal{N}) = |E|-(|V|-1)$ over all such networks. Such a network always exists, and the quantity $r(\mathcal{N})$ for an optimal network $\mathcal{N}$ is called the hybrid number of $\mathcal{P}$. In this paper, we give a new characterization for the hybrid number in case $\mathcal{P}$ consists of two trees. This characterization is given in terms of a cherry picking sequence for the two trees, although to prove that our characterization holds we need to define the sequence more generally for two forests. Cherry picking sequences have been intensively studied for collections of rooted phylogenetic trees, but our new sequences are the first variant of this concept that can be applied in the unrooted setting. Since the hybrid number of two trees is equal to the well-known tree bisection and reconnection distance between the two trees, our new characterization also provides an alternative way to understand this important tree distance.
Determinantal random subgraphs
Published
• View Publication
• BIB
We define two families of determinantal random spanning subgraphs of a finite connected graph, one supported by acyclic spanning subgraphs (spanning forests) with fixed number of connected components, the other by connected spanning subgraphs with fixed number of independent cycles. Each family generalizes the uniform spanning tree and the generating functions of these probability measures generalize the classical Kirchhoff and Symanzik polynomials.
We call Symanzik spanning forests the elements of the acyclic spanning subgraphs family, and single out a particular determinantal mixture of these, having as kernel a normalized Laplacian on $1$-forms, which we call the Laplacian spanning forest.
Our proofs rely on a set of integral and real or complex (which we call geometric) multilinear identies involving cycles, coboundaries, and forests on graphs. We prove these identities using classical pieces of the algebraic topology of graphs and the exterior calculus applied to finite determinantal point processes, both of which we treat in a self-contained way.
We emphasize the matroidal nature of our constructions, thereby showing how the above two families of random spanning subgraphs are dual to one another, as well as possible generalisations.
On a property of $2$-connected graphs and Dirac's Theorem
Published
• View Publication
• BIB
We refine a property of $2$-connected graphs described in the classical paper of Dirac from 1952 and use the refined property to somewhat shorten Dirac's proof of the fact that each $2$-connected $n$-vertex graph with minimum degree at least $k$ has a cycle of length at least $\min\{n,2k\}$.
Spectral radius and spanning trees of graphs
Published
• View Publication
• BIB
For integer $k\geq2,$ a spanning $k$-ended-tree is a spanning tree with at most $k$ leaves. Motivated by the closure theorem of Broersma and Tuinstra [Independence trees and Hamilton cycles, J. Graph Theory 29 (1998) 227--237], we provide tight spectral conditions to guarantee the existence of a spanning $k$-ended-tree in a connected graph of order $n$ with extremal graphs being characterized. Moreover, by adopting Kaneko's theorem [Spanning trees with constraints on the leaf degree, Discrete Appl. Math. 115 (2001) 73--76], we also present tight spectral conditions for the existence of a spanning tree with leaf degree at most $k$ in a connected graph of order $n$ with extremal graphs being determined, where $k\geq1$ is an integer.
The degree-distance and transmission-adjacency matrices
Published
• View Publication
• BIB
Let $G$ be a connected graph with adjacency matrix $A(G)$. The distance matrix $D(G)$ of $G$ has rows and columns indexed by $V(G)$ with $uv$-entry equal to the distance $\mathrm{dist}(u,v)$ which is the number of edges in a shortest path between the vertices $u$ and $v$. The transmission $\mathrm{trs}(u)$ of $u$ is defined as $\sum_{v\in V(G)}\mathrm{dist}(u,v)$. Let $\mathrm{trs}(G)$ be the diagonal matrix with the transmissions of the vertices of $G$ in the diagonal, and $\mathrm{deg}(G)$ the diagonal matrix with the degrees of the vertices in the diagonal. In this paper we investigate the Smith normal form (SNF) and the spectrum of the matrices $D^{\mathrm{deg}}_+(G):=\mathrm{deg}(G)+D(G)$, $D^{\mathrm{deg}}(G):=\mathrm{deg}(G)-D(G)$, $A^{\mathrm{trs}}_+(G):=\mathrm{trs}(G)+A(G)$ and $A^{\mathrm{trs}}(G):=\mathrm{trs}(G)-A(G)$. In particular, we explore how good the spectrum and the SNF of these matrices are for determining graphs up to isomorphism. We found that the SNF of $A^{\mathrm{trs}}$ has an interesting behaviour when compared with other classical matrices. We note that the SNF of $A^{\mathrm{trs}}$ can be used to compute the structure of the sandpile group of certain graphs. We compute the SNF of $D^{\mathrm{deg}}_+$, $D^{\mathrm{deg}}$, $A^{\mathrm{trs}}_+$ and $A^{\mathrm{trs}}$ for several graph families. We prove that complete graphs are determined by the SNF of $D^{\mathrm{deg}}_+$, $D^{\mathrm{deg}}$, $A^{\mathrm{trs}}_+$ and $A^{\mathrm{trs}}$. Finally, we derive some results about the spectrum of $D^{\mathrm{deg}}$ and $A^{\mathrm{trs}}$.
Minimum algebraic connectivity and maximum diameter: Aldous--Fill and Guiduli--Mohar conjectures
Published
• View Publication
• BIB
Aldous and Fill (2002) conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^{2}}{2π^{2}}$. A conjecture by Guiduli and Mohar (1996) predicts the structure of graphs whose algebraic connectivity $μ$ is the smallest among all connected graphs whose minimum degree $δ$ is a given $d$. We prove that this conjecture implies the Aldous--Fill conjecture for odd $d$. We pose another conjecture on the structure of $d$-regular graphs with minimum $μ$, and show that this also implies the Aldous--Fill conjecture for even $d$. In the literature, it has been noted empirically that graphs with small $μ$ tend to have a large diameter. In this regard, Guiduli (1996) asked if the cubic graphs with maximum diameter have algebraic connectivity smaller than all others. Motivated by these, we investigate the interplay between the graphs with maximum diameter and those with minimum algebraic connectivity. We show that the answer to Guiduli problem in its general form, that is for $d$-regular graphs for every $d\ge 3$ is negative. We aim to develop an asymptotic formulation of the problem. It is proven that $d$-regular graphs for $d\ge 5$ as well as graphs with $δ=d$ for $d\ge 4$ with asymptotically maximum diameter, do not necessarily exhibit the asymptotically smallest $μ$. We conjecture that $d$-regular graphs (or graphs with $δ=d$) that have asymptotically smallest $μ$, should have asymptotically maximum diameter. The above results rely heavily on our understanding of the structure as well as optimal estimation of the algebraic connectivity of nearly maximum-diameter graphs, from which the Aldous--Fill conjecture for this family of graphs also follows.
Induced subgraphs and tree-decompositions VII. Basic obstructions in $H$-free graphs
Published in Journal of Combinatorial Theory, Series B, Volume 164, January 2024, Pages 443-472
• View Publication
• BIB
We say a class $\mathcal{C}$ of graphs is clean if for every positive integer $t$ there exists a positive integer $w(t)$ such that every graph in $\mathcal{C}$ with treewidth more than $w(t)$ contains an induced subgraph isomorphic to one of the following: the complete graph $K_t$, the complete bipartite graph $K_{t,t}$, a subdivision of the $(t\times t)$-wall or the line graph of a subdivision of the $(t \times t)$-wall. In this paper, we adapt a method due to Lozin and Razgon (building on earlier ideas of Weißauer) to prove that the class of all $H$-free graphs (that is, graphs with no induced subgraph isomorphic to a fixed graph $H$) is clean if and only if $H$ is a forest whose components are subdivided stars.
Their method is readily applied to yield the above characterization. However, our main result is much stronger: for every forest $H$ as above, we show that forbidding certain connected graphs containing $H$ as an induced subgraph (rather than $H$ itself) is enough to obtain a clean class of graphs. Along the proof of the latter strengthening, we build on a result of Davies and produce, for every positive integer $η$, a complete description of unavoidable connected induced subgraphs of a connected graph $G$ containing $η$ vertices from a suitably large given set of vertices in $G$. This is of independent interest, and will be used in subsequent papers in this series.
Restriction on minimum degree in the contractible sets problem
Published in Zap. Nauchn. Sem. POMI, 518, 114-123, 2022
• View Publication
• BIB
Let $G$ be a $3$-connected graph. A set $W \subset V(G)$ is contractible if $G(W)$ is connected and $G - W$ is a $2$-connected graph. In 1994, McCuaig and Ota formulated the conjecture that, for any $k \in \mathbb{N}$, there exists $m \in \mathbb{N}$ such that any 3-connected graph $G$ with $v(G) \geqslant m$ has a $k$-vertex contractible set. In this paper we prove that, for any $k \geqslant 5$, the assertion of the conjecture holds if $δ(G) \geqslant \left[ \frac{2k + 1}{3} \right] + 2$.
The minimum spectral radius of graphs with a given domination number
Published
• View Publication
• BIB
Let $\mathbb{G}_{n,γ}$ be the set of simple and connected graphs on $n$ vertices and with domination number $γ$. The graph with minimum spectral radius among $\mathbb{G}_{n,γ}$ is called the minimizer graph. In this paper, we first prove that the minimizer graph of $\mathbb{G}_{n,γ}$ must be a tree. Moreover, for $γ\in\{1,2,3,\lceil\frac{n}{3}\rceil,\lfloor\frac{n}{2}\rfloor\}$, we characterize all minimizer graphs in $\mathbb{G}_{n,γ}$.
Graphs with equal Grundy domination and independence number
The Grundy domination number, ${γ_{\rm gr}}(G)$, of a graph $G$ is the maximum length of a sequence $(v_1,v_2,\ldots, v_k)$ of vertices in $G$ such that for every $i\in \{2,\ldots, k\}$, the closed neighborhood $N[v_i]$ contains a vertex that does not belong to any closed neighborhood $N[v_j]$, where $j<i$. It is well known that the Grundy domination number of any graph $G$ is greater than or equal to the upper domination number $Γ(G)$, which is in turn greater than or equal to the independence number $α(G)$. In this paper, we initiate the study of the class of graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and its subclass consisting of graphs $G$ with $α(G)={γ_{\rm gr}}(G)$. We characterize the latter class of graphs among all twin-free connected graphs, provide a number of properties of these graphs, and prove that the hypercubes are members of this class. In addition, we give several necessary conditions for graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and present large families of such graphs.
Tutte Embeddings of Tetrahedral Meshes
Published in Discrete Comput Geom (2023)
• View Publication
• BIB
Tutte's embedding theorem states that every 3-connected graph without a $K_5$ or $K_{3,3}$ minor (i.e. a planar graph) is embedded in the plane if the outer face is in convex position and the interior vertices are convex combinations of their neighbors. We show that this result extends to simply connected tetrahedral meshes in a natural way: for the tetrahedral mesh to be embedded if the outer polyhedron is in convex position and the interior vertices are convex combination of their neighbors it is sufficient (but not necessary) that the graph of the tetrahedral mesh contains no $K_6$ and no $K_{3,3,1}$, and all triangles incident on three boundary vertices are boundary triangles.