connected graph
2591 papers tagged with this keyword
On the Maximum Number of Vertices that Belong to Every Metric Basis
Metric bases of graphs have been widely studied since their introduction in the 1970's by Slater and, independently, by Harary and Melter. In this paper, we concentrate on the existence of vertices in a graph $G$ that belong to all metric bases of $G$. We call these basis forced vertices, and denote the number of them by $\mathrm{bf}(G)$. We show that $\mathrm{bf}(G)\le 2/3(n-k-1)$ for any connected nontrivial graph $G$ of order $n$ having $k$ vertices in each metric basis. In addition, we show that this bound can be attained. Furthermore, the previous result implies the bound $\mathrm{bf}(G)\le 2/5(n-1)$ formulated in terms of the order $n$ of the graph for any nontrivial connected graph $G$. This result answers a question posed by Bagheri et al. in 2016. Moreover, we provide a complete realization of the parameters $n$, $\dim(G)$ and $\mathrm{bf}(G) \ge 1$ within the previous bounds. We consider some extremal cases related to basis forced vertices in a graph, in particular, we give a full characterization of the graphs with $\mathrm{bf}(G) = 2$ and $\dim(G) = n-4$.
Cocycles of determinantal hypertrees with small support
Let ${T}_n$ be a random $2$-dimensional determinantal hypertree on $n$ vertices. Given any prime $p$, we answer the following question: If a cocycle in $Z^1({T}_n,\mathbb{F}_p)$ has small support, what does the support typically look like? More precisely, we characterize all the finite connected graphs $G$ for which there is a constant $c_G>0$ with the following property: For all large enough $n$, with probability at least $c_G$, we have a cocycle $f\in Z^1({T}_n,\mathbb{F}_p)$ such that after removing all the isolated vertices, the support of $f$ is isomorphic to $G$. We prove that for $p>2$, we do not have any such graph. For $p=2$, a connected graph has the property above if and only if it has a unique cycle such that this unique cycle has odd length, moreover, if the unique cycle is a triangle, then we also need to require that all the vertices of the triangle have degree at least $3$.
Combinatorial explanation of the weighted Kirchhoff index of graphs
Let $G$ be a connected graph with vertex set $V(G)=\{v_1,v_2,\ldots,v_n\}$, and let $ω:V(G)\to \mathbb R^+$ be a positive vertex-weight function satisfying $ω(v_i)=x_i$ for each $v_i \in V(G)$. The weighted Kirchhoff index of $G$ is defined by $K(G;x_1,x_2,\ldots,x_n)=\sum_{1\le i<j\le n}x_i x_j r_G(v_i,v_j)$, where $r_G(v_i,v_j)$ denotes the resistance distance between $v_i$ and $v_j$. In this paper, we give a combinatorial interpretation of the weighted Kirchhoff index of an arbitrary connected graph. More precisely, we express $K(G;x_1,x_2,\ldots,x_n)$ in terms of the sums of weights of matchings in an appropriately weighted subdivision graph of $G$, and in the subgraphs obtained from this weighted subdivision graph by deleting the subdivision graphs corresponding to \(2\)-regular subgraphs of $G$. This gives an affirmative answer to a question posed by Li, Li and Yan [Discrete Math. 345 (2022) 113109] concerning a combinatorial explanation of the weighted Kirchhoff index of a general graph by using matchings in weighted subdivision graphs and their subgraphs. As special cases, our formula recovers the known formulas for the weighted Kirchhoff index of trees and unicyclic graphs, as well as the known formula for the ordinary Kirchhoff index of an arbitrary connected graph.
Laziness of Quantum Walks on Graphs
The trace of the average mixing matrix of a quantum walk measures the "laziness" of the walk: the higher the trace, the more likely that the walker returns home in the long run. In this paper, we develop tools to study this graph invariant arising from Laplacian quantum walks.
It is known that the complete graph $K_n$ is the laziest connected graph on $n$ vertices. Using our machinery, we show that the star $S_n$ is the second laziest connected graph on $n$ vertices (and hence the laziest tree on $n$ vertices), the complete multipartite graph $K_{n-2,1,1}$ is the third laziest connected graph on $n$ vertices, and the double star $DS(n-3,1)$ is the second laziest tree on $n$ vertices. We also show that on the same number of vertices, more unbalanced double stars are lazier.
Kahn--Lovász-type inequalities for graph factors
The Kahn--Lovász theorem gives a sharp upper bound on the number of perfect matchings in a graph in terms of its degree sequence, extending the classical Brégman--Minc inequality for bipartite graphs. In this paper, we establish an asymptotically sharp extension of the Kahn--Lovász theorem to $F$-factors for every Hamiltonian graph $F$. As a consequence, we asymptotically determine the maximum number of $F$-factors in an $n$-vertex $m$-edge graph, yielding an $F$-factor analogue of Kruskal--Katona-type theorems.
We also prove a multigraph analogue of the Kahn--Lovász theorem. Combining this with our results for Hamiltonian graphs, we obtain an asymptotically sharp Kruskal--Katona-type bound for a further class of connected graphs $F$, including those containing two vertex-disjoint cycles of equal length whose union spans $V(F)$.
From the Square-Energy Conjecture to Signed Graphs: Sharp Bounds for Positive Square Energy
Let $Σ=(G,σ)$ be a connected signed graph of order $n$ and size $m$, and let $s^{+}(Σ)$ and $s^{-}(Σ)$ denote the sums of the squares of its positive and negative adjacency eigenvalues, respectively. The square-energy conjecture of Elphick, Farber, Goldberg, and Wocjan states that every connected graph $G$ of order $n$ satisfies \[
\min\{s^{+}(G),s^{-}(G)\}\ge n-1. \] Liu and Ning~\cite{LiuNing2023} published a wide-ranging paper entitled ``Unsolved Problems in spectral graph theory", and this conjectures were placed first in their list of such problems. We prove that every signature $σ$ of a connected graph $G$ satisfies the sharp bound \[
s^{+}(Σ)\le 2m-n+1. \] For the all-positive signing this gives $s^{+}(G)\le 2m-n+1$, whereas for the all-negative signing it gives $s^{-}(G)\le 2m-n+1$. Since $s^{+}(G)+s^{-}(G)=2m$, these two special cases imply the square-energy conjecture; the present theorem is stronger in scope because the same bound holds for every signing of $G$. Applying the theorem to the negation $-Σ$ also yields \[
s^{+}(Σ)\ge n-1. \] Both bounds are sharp. The proof is based on a doubly nonnegative matrix inequality. We also shorten the proof of that inequality by replacing its final case distinction with a fixed convex combination.
An Improved Degree Condition for Connectivity-Preserving Spanning $(u,v)$-Paths
Teng and Tian proved the following result. Let $k\ge 2$ and $t\ge 3$, and let $G$ be a $k$-connected graph of order $n$. If $n\ge 6k+1$ and $δ(G)\ge \lceil(n+6)/2\rceil$ when $t=3$, while $n\ge 6k+7t-17$ and $δ(G)\ge \lceil(n+t+2)/2\rceil$ when $t\ge 4$, then, for any two distinct vertices $u,v$ and every integer $s$ with $1\le s\le t$, there exist $s$ internally vertex-disjoint $(u,v)$-paths $P_1,\dots,P_s$ whose union spans $G$ and such that $G-E(P_1\cup\cdots\cup P_s)$ is $k$-connected. They asked whether the minimum-degree condition could be lowered to $δ(G)\ge \lceil(n+t)/2\rceil$ for every $t\ge 3$. We answer this question affirmatively and further reduce the required order to $n\ge \max\{6k+9-3t,\,2k+t+3\}$.
Reduction Operations and Structural Characterizations of $S^1$-Flows in Graphs
While every graph admitting a nowhere-zero $3$-flow also admits an $S^1$-flow, the converse does not hold in general as shown by Thomassen (2014). In this paper, we develop reduction techniques for $S^1$-flows based on graph operations including bull-growth, $2$-sums, and wheel contractions. A key tool is the two-terminal $S^1$-preflow, which enables us to prove that if a $2$-connected graph contains an odd wheel as a proper subgraph and contracting the wheel yields a graph with a nowhere-zero $3$-flow, then the original graph admits an $S^1$-flow. As applications, we completely characterize $S^1$-flows in two graph classes: a triangularly connected graph admits an $S^1$-flow if and only if it is not an odd wheel; and a graph containing a spanning triangle-tree admits an $S^1$-flow if and only if it is not an odd crystal.
Binary Voltage Covers of $K(10,3)$: Cohomology, Symmetry Orbits, and a Locally $K(7,3)$ Graph
We construct a connected graph on 240 vertices in which every open neighborhood is isomorphic to $K(7,3)$. The graph arises as a binary voltage cover of $K(10,3)$. More generally, the gauge classes of local-neighborhood-preserving binary voltage covers over the fixed labeled base $K(10,3)$ are naturally identified with $H^1(M_3(10);\mathbb{F}_2)$, a vector space of dimension 42. Quotienting by the natural $S_{10}$ action gives 1,245,395 orbits, including 1,245,394 nonzero orbits, each consisting of connected covers. The cohomology class $[α]$ of the displayed 240-vertex graph has $S_{10}$-orbit size 126 and $\operatorname{Stab}_{S_{10}}([α])\cong S_5\wr C_2$. Thus fixed-base covers are classified cohomologically, while allowing base relabeling gives the stated $S_{10}$-orbit set.
Counterexample to the Bougard-Joret Conjecture
For admissible integers $n,α,k$, let $f(n,α,k)$ be the minimum number of edges in a $k$-connected graph of order $n$ and independence number $α$. A conjecture of Bougard and Joret predicts that $f(n,α,k)=\lceil nk/2\rceil$ when $n\leq kα$, under the assumptions $n\geq2α$, $n\geqα+k$, $α\geq2$, and $k\geq3$. We disprove this prediction, determine $f(n,α,k)$ throughout the boundary $n=α+k$, and characterize every extremal graph on that boundary. In particular, for every $k\geq4$, \[
f(2k-1,k-1,k)=k^2-1, \] whereas the conjectured value is $k^2-\lfloor k/2\rfloor$. The extremal graphs in this family are precisely $\overline K_{k-1}\join T$, where $T$ is an arbitrary tree of order $k$. The smallest-order failure has parameters $(n,α,k)=(7,3,4)$, and no admissible counterexample has smaller order.
Hitting Maximum Independent Sets in Dense and Highly Connected Graphs
For a graph $G$, let $h(G)$ be the minimum cardinality of a vertex set meeting every maximum independent set of $G$. We establish two complementary reduction principles for the Bollobás--Erdős--Tuza conjecture: the conjecture for arbitrary graphs is equivalent to its restriction to regular graphs of any fixed positive linear degree, and, within every hereditary graph class, a uniform sublinear bound is equivalent to a sublinear bound on graphs of every fixed positive linear vertex connectivity. We prove the sharp general estimate \[
h(G)\le \left\lfloor\frac{|V(G)|}{2α(G)+δ(G)-|V(G)|}\right\rfloor \] whenever the denominator is positive, with equality for balanced complete multipartite graphs. Consequently, every $3$-colorable graph of order $n$ with $κ(G)\geρn$ and $ρ>1/3$ has a hitting set of size at most $\lfloor(ρ-1/3)^{-1}\rfloor$; direct use of a $3$-coloring improves this to $6$ when $κ(G)>4n/9$ and to the sharp bound $3$ when $κ(G)>n/2$. For dense regular graphs with independence ratio greater than $1/4$, we obtain a logarithmic bound, while constructions with linear degree and linear independence number show that $h(G)=Ω(\sqrt n)$ can still occur. We also prove a logarithmic bound for near-regular $3$-colorable graphs and exhibit a critical family at connectivity $n/3$ that explains the limitations of the degree-surplus and degree-ratio methods.
A transfer principle for Steklov eigenvalue estimates of graphs
In this paper, we establish a new variant of the Burger-Brooks transfer principle, which allows us to apply spectral estimates for measured Riemannian surfaces to obtain the following result: There exists a universal constant $C>0$ such that, for every connected graph $G=(V, E)$ with boundary $B$, maximum degree $d_{\max}$ and genus $g$,
\[σ_k(G, B)\leq C d_{\max}\frac{g+k}{|B|},\] where $1\leq k\leq |B|$ and $σ_k(G, B)$ denotes the $k$-th Steklov eigenvalue of $G$ with boundary $B$. This bound is sharp up to a universal constant, thereby resolving a problem raised by Lin and Zhao [J. Lond. Math. Soc. (2) 112 (2025), Paper No. e70238]. Furthermore, when $B=V$, the above result yields an upper bound for the Laplacian eigenvalues of graphs, improving the previously known bounds of Kelner, Lee, Price and Teng [Geom. Funct. Anal. 21 (2011), 1117--1143] and Amini and Cohen-Steiner [Comment. Math. Helv. 93 (2018), 203--223].
The Distance Spectrum Does Not Determine Bipartiteness
Over a decade ago, Koolen, Hayat, and Iqbal posed the problem of whether the distance spectrum determines bipartiteness within the class of connected graphs. In this paper, we resolve this problem in the negative: we explicitly construct an infinite family of counterexamples, where each pair comprises a connected bipartite graph and a connected non-bipartite graph with equal distance spectra.
Extremal graphs for a conjecture on the square energy of graphs
For a graph $G$, let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of its positive and negative adjacency eigenvalues. We determine all equality cases in the conjecture of Elphick, Farber, Goldberg, and Wocjan that every connected graph $G$ on $n$ vertices satisfies \[
\min \{s^+(G),s^-(G)\}\ge n-1. \] Namely, equality for $s^+$ holds exactly for trees, whereas equality for $s^-$ holds exactly for trees and complete graphs. The proof combines the $P_3$-removal lemma in the no-cut-vertex case with a detailed equality analysis of the underlying doubly nonnegative matrix inequality. Every block is forced to be complete, and a minimal-counterexample argument gives an exact rank-one decomposition of the folded matrix $M^c$. The resulting non-edge vanishings, together with $AX=XA$, rule out an interface between a bridge and a nontrivial block.
A Sublinear Minimum-Degree Condition for $2$-Connected Subgraphs of All Orders
Motivated by an analogue of pancyclicity, we study minimum-degree conditions ensuring that a $2$-connected graph $G$ of order $n$ contains a $2$-connected subgraph of every order $\ell\in\{4,5,\ldots,n\}$. Yin and Wu [A minimum degree condition for a 2-connected graph containing all possible orders of 2-connected subgraphs, Discrete Appl. Math. 387 (2026), 129-136] initiated the study of this problem and showed that the condition $δ(G)\ge \lceil n/3\rceil+1$ is sufficient. Kashima conjectured that the condition $δ(G)\ge \sqrt{3n}$ is sufficient. In this paper, we prove that every $2$-connected graph $G$ of order $n$ with $δ(G)\ge 2n^{2/3}+6n^{1/3}+2$ contains a $2$-connected subgraph of every order from $4$ to $n$. In particular, this gives the first sufficient minimum-degree condition of sublinear order in $n$.
Depth and Krull dimension of Binomial edge ideals
Let $J_G$ denote the binomial edge ideal of a finite graph $G$ in the polynomial ring $S$. We determine all triples $(n,t,d)$ with $n\geq 3$ for which there exists a finite connected graph $G$ on $n$ vertices with ${\mathrm{depth}}(S/J_{G})=t$ and $\dim(S/J_G)=d$.
Tree-partitions of graphs with bounded tree-depth
Wood~ recently showed that every graph $G$ of pathwidth $h$ and $Δ(G)\ge1$ admits a $T$-partition of width at most $4(h+1)^2Δ(G)$ for some tree $T$ with $pw(T)\leq2h+1$. In this paper, we establish an analogous result for tree-depth, which is a stronger parameter than pathwidth. We prove that every connected graph with tree-depth $h$ admits a $T$-partition of width at most $\mathrm{max}\{1, (4h-10)Δ(G)+1\}$ for some tree $T$ with $\operatorname{rad}(T)\leq h-1$.
Necessary and sufficient conditions of a class of bipartite graphs with local antimagic chromatic number 2 - an algebraic approach
For a connected graph $G = (V, E)$, a bijective edge labeling $f:E \to\{1,\ldots ,|E|\}$ is a local antimagic labeling of $G$ if it induces a vertex labeling $f^+$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(xu)$, with $u$ ranging over all the vertices adjacent to $x$. The minimum number of distinct induced vertex labels over all local antimagic labelings of $G$ is the local antimagic chromatic number of $G$, denoted $χ_{la}(G)$. In this paper, we make use of algebraic analysis to obtain necessary and sufficient conditions for every bipartite graph with all vertices of degree 2 except exactly three vertices of degree at least 3 to have local antimagic chromatic number 2. Moreover, we showed that the consecutive edge labels of every induced path of each case is unique.
Bricks that every removable edge is solitary
A brick is a 3-connected graph $G$ such that $G-u-v$ has a perfect matching for any two distinct vertices $u,v\in V(G)$. An edge $e$ in a matching covered graph $G$ is removable if $G-e$ is matching covered. We say that a removable edge $e$ in a brick $G$ is $b$-invariant if $b(G-e)=b(G)=1$, where $b(H)$ denotes the number of bricks in the tight cut decomposition of a matching covered graph $H$. An edge of a graph is solitary if it lies in precisely one perfect matching.
Lucchesi and Murty proposed the problem of characterizing bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. Note that every $b$-invariant edge is removable. In this paper, we strengthen the condition by requiring that every removable edge is solitary. We show that every nonsolid brick satisfying this strengthened condition can be obtained by repeatedly splicing odd wheels (up to multiple edges). Moreover, properties of such bricks imply that "repeatedly splicing odd wheels" cannot be replaced by "repeatedly splicing copies of $K_4$".
On spanning trees whose degrees are congruent to one modulo $\ell$
An $\ell$-congruent spanning tree of a nontrivial connected graph is a spanning tree in which every vertex has degree congruent to one modulo $\ell$. This notion provides a common generalization of classical spanning trees and odd spanning trees. We show, via a constructive greedy algorithm, that every $n$-vertex graph $G$ satisfying $n\equiv2\pmod{\ell}$ and $δ(G)>\frac{(\ell-1)n}{\ell}$ has an $\ell$-congruent spanning tree. For the special case of odd spanning trees ($\ell=2$), our algorithmic approach simplifies the original proof by Zheng and Wu. We also derive formulas for the numbers of $\ell$-congruent spanning trees in complete graphs and complete bipartite graphs. These formulas specialize to the classical spanning-tree formulas when $\ell=1$ and to the corresponding odd-spanning-tree formulas when $\ell=2$.