connected graph
2651 papers tagged with this keyword
A Two-Player Zero Forcing Game
We introduce a competitive two-player zero forcing game on a connected graph. Alice and Bob alternately seed white vertices or perform legal zero forces in their own colours, and each player seeks to minimise their own number of seeds. A force preservation rule prevents avoidable blocking of an opponent's established force. Because distinct continuations can be equally good for the player to move, optimal play is defined by a set-valued backward induction, and \(Z_g(G)\) is the minimum total number of seeds among the resulting optimal outcomes. We prove that \(Z_g(G)\geq Z(G)\), determine \(Z_g\) for paths, cycles, stars, complete graphs, and complete bipartite graphs, and characterise the graphs with \(Z_g(G)=2\) by an alternating two-chain forcing schedule. We also show that \(Z_g\) is not minor-monotone and that edge subdivision can either increase or decrease the parameter. Exact computation verifies \(Z_g(G)\leq2Z(G)\) through order nine.
The Aldous property for normal Cayley graphs on symmetric groups
Aldous' spectral gap conjecture states that the random walk and the interchange process on any connected graph have the same spectral gap, or, equivalently, the second largest eigenvalue of any connected Cayley graph on the symmetric group $S_n$ with respect to a set of transpositions is achieved by the standard representation of $S_n$. This celebrated conjecture, proved in its general form in 2010, has inspired much interest in searching for other Cayley graphs on $S_n$ possessing this property, now known as the Aldous property. In this paper, we first prove that for $n \ge 5$ at most one of a normal Cayley graph on $S_n$ and its complement can possess the Aldous property except when these two graphs are $2K_{n!/2}$ and $K_{n!/2,n!/2}$ respectively. We then determine, for sufficiently large $n$, all normal Cayley graphs $\mathrm{Cay}(S_n, S)$ that have the Aldous property, except for the case when $S$ contains a permutation with support size in $\{2, 3, \dots, n-2\}$ and a permutation with support size in $\{n-1, n\}$, but not all permutations with support size $n$ are contained in $S$. In particular, we show that a non-complete normal Cayley graph $\mathrm{Cay}(S_n, S)$ does not have the Aldous property if all permutations in $S$ have support size $n-1$ or $n$, or all permutations with support size $n$ are contained in $S$, thereby solving an open problem posed by Li, Xia and Zhou in 2023. Along the way we determine all normal Cayley graphs on $S_n$ that are line graphs, and classify all normal Cayley graphs on $S_n$ with the strictly second largest eigenvalue at most $1$.
Mixed metric dimension of $2$-connected graphs
We show that for a $2$-connected graph $G$ which is not a cycle, the mixed metric dimension of $G$ is at most $2c(G)$, where $c(G)$ is cyclomatic number of $G$. As an immediate application, we prove a conjecture proposed by Sedlar and Škrekovski.
Short Cycles Decide P-versus-NPC Status ofHamiltonicity on Bisplit Graphs
A connected graph G is said to be a bisplit graph if the vertex set of G can be partitioned into a stable set and a complete bipartite graph. We establish the following dichotomy with chordality being the parameter; for chordal bisplit graphs, Hamiltonian cycle (HCYCLE) and Hamiltonian path (HPATH) problems are polynomial-time solvable, and for chordal bipartite bisplit graphs, HCYCLE (HPATH) is NP-complete. We further strengthen the result of [1] and show that HCYCLE (HPATH) is polynomial-time solvable on P5-free chordal bipartite graphs (bipartite chain graphs) and NP-complete on P10-free chordal bipartite graphs. By using our polynomial results on HCYCLE (HPATH) as a framework, we solve many variants and generalizations of HCYCLE (HPATH), which are also reported in this paper.
Counterexamples, Spectral Obstructions, and Deletion Stability for WOW-284
WOW-284 asserts that the minimum dual degree of every connected graph of order at least three and girth at least five does not exceed the negative of its least distance eigenvalue. We refute it with exact counterexamples of orders $38,39,40,42$, and $50$, and develop a structural theory of the failure. For a connected $k$-regular graph of girth at least five and diameter three, we prove $δ^*(G)+λ_{\min}(D(G))=2k-2-\max_{θ\ne k}(θ+1)^2$. Here $θ$ ranges over the nonprincipal adjacency eigenvalues. We further prove that every regular strict counterexample has degree at least six and diameter at most four, while diameter four forces degree at least ten. We solve the associated one-variable nonbacktracking linear program exactly, including optimizer rigidity. For regular strict counterexamples of diameter three, the optimizer yields a positive-semidefinite slack matrix whose integral excess gives the stronger bound $|V(G)|\le\left\lfloor 3(k+2)^2(k^2+3)/(18k+41)\right\rfloor$; this follows from a three-to-one quantization theorem for the integral excess. The slack matrix's principal minors also recover local cycle constraints. In particular, regular degree-six counterexamples have order at most $50$, and at the degree-six, order-$50$ boundary the associated signed complement is necessarily disconnected. We determine the distance spectra of one- and two-vertex punctures of Moore graphs and establish a uniform deletion-stability bound: every deletion of at most five vertices from the Hoffman--Singleton graph remains a strict counterexample, whereas an explicit six-vertex deletion does not. All theorem-level computations use exact arithmetic. Lean 4.31 kernel-checks the explicit $50$-vertex Hoffman--Singleton counterexample at graph level, finite spectral certificates at orders $38,39,40,42$, and the analytic LP optimum and rigidity for every integer $k\ge4$.
Dynamical phase retrieval for Schr{ö}dinger evolution on finite graphs
We study dynamical phase retrieval for Schr\''odinger evolutions on finite connected graphs. Let \[ H\_Q=Δ\_G+Q \] be a graph Schr\''odinger operator with a real diagonal potential. We investigate when phaseless data obtained from the associated Schr\''odinger evolution \[ |e^{-itH\_Q}u\_0(j)|, \qquad 0\leq t\leq T,\ j\in V, \] determines the initial state $u\_0\in\C^V$ up to a global phase. We give a uniqueness criterion in terms of the eigenvalues and eigenvectors of $H\_Q$. The assumptions are a $B\_2$ condition on the spectrum, meaning that the sums $λ\_j+λ\_k$ determine the unordered pair $\{j,k\}$, invertibility of the squared-eigenvector matrix $\bigl(φ\_k(j)^2\bigr)\_{j,k}$ and an overlap condition on the supports of pairs of eigenvectors. Under these hypotheses, the phaseless Schr\''odinger data determine every initial state uniquely, modulo global phase. We then show that the criterion is both realized and generic. Every finite connected graph admits an explicit real diagonal potential for which the criterion holds. Moreover, for every finite connected graph, dynamical phase retrieval holds for Lebesgue-almost every real potential $Q\in\R^V$ and every $T>0$. We also give several obstructions to uniqueness.
General position sets in strong products with paths and cycles
We study general position sets in strong products involving paths and cycles. For every connected graph $H$ and every $s\ge 2$, we prove that gp$(P_s \boxtimes H)=2$gp$(H)$. We also determine the corresponding values when the path is replaced by $C_4$, $C_5$, or $C_6$, and establish a general upper bound for gp$(C_s \boxtimes H)$. These results are then applied to strong products of two cycles. We determine several exact values, construct infinite families attaining the general upper bound, and provide counterexamples to the conjectured multiplicativity of the general position number under the strong product.
Average Local Independence and the Spanning-Tree Leaf Number: A Proof of Graffiti.pc Conjecture 2
We prove Graffiti.pc Conjecture 2, a 1996 conjecture listed as open on the \emph{Written on the Wall II} page marked ``Last update 7/23/26.'' Let $G$ be a finite simple connected graph. For $v\in V(G)$, let $I(v)=α(G[N_G(v)])$, and let $I_{\mathrm{avg}}(G)$ be the average of these local independence numbers. The conjecture states that the maximum number $L_s(G)$ of leaves in a spanning tree of $G$ satisfies $L_s(G)\ge 2\bigl(I_{\mathrm{avg}}(G)-1\bigr)$. We establish this inequality by extracting a triangle-free spanning subgraph that retains at least half of the total local-independence mass. A degree-square argument then produces a double star with sufficiently many leaves, and this tree extends to a spanning tree without losing leaves. Balanced complete bipartite graphs show that the bound is sharp.
A counterexample to the zero forcing versus independence conjecture for cubic and subcubic graphs
We exhibit a connected graph on 24 vertices with maximum degree 3, independence number 9 and zero forcing number 11, refuting a 2017 conjecture of TxGraffiti recorded as Conjecture 2 of the survey of Davila, Brimkov and Pepper. The same construction with a different gadget gives a connected cubic graph on 36 vertices with independence number 15 and zero forcing number 17; the conjecture therefore fails also in the cubic form in which the survey's Lean 4 appendix states it. In particular Z <= alpha + 1 is not a universal bound for connected cubic graphs, and the value Z = alpha + 2 is attained.
The Exact Maximum of the Spectral Sum of Graphs
For a simple graph $G$ of order $n$, let $S_2(G)=λ_1(G)+λ_2(G)$ denote its spectral sum. We determine, for every $n\geq5$, the exact maximum of $S_2(G)$ and all equality cases. The unique maximizer, up to isomorphism, is the complement of the disjoint union of a suitably balanced complete bipartite graph and isolated vertices, with the sizes of its three parts determined by $n$ modulo $7$. Denoting this graph by $K_n^\star$, we further show that $ S_2(K_n^\star)\leq\frac{8n}{7}-2,$ with equality exactly when $7\mid n$. This proves a conjecture of Kumar, Liu, Monterde, Pragada and Tait, which strengthens the Aouchiche--Hansen 2010 conjecture by extending it from connected graphs to all graphs and by asserting uniqueness of the extremal graph. The result also subsumes the 2008 conjecture of Ebrahimi B., Mohar, Nikiforov, and Ahmady. The proof combines Ky Fan's variational principle with a spectral inequality for weighted Ferrers quotients to reduce the problem to an explicit family whose complements have incidence rank one. Exact integer optimization and a separate equality analysis then yield the maximum and uniqueness.
Adjacency-degree algebras and spectral determination of graphs
McKay proved that the spectra of all polynomial functions of the adjacency matrix $A$ and the diagonal degree matrix $D$ determine a tree. We prove a principal version of this theorem. Let $\mathcal A(G)=\langle I,A_G,D_G\rangle$ and let $M_G=\mathcal A(G)\mathbf1$ be the cyclic module generated by the all-ones vector. For connected graphs the ideal $\mathcal A(G)J\mathcal A(G)$, where $J=\mathbf1\mathbf1^T$, acts on $M_G$ as the full endomorphism algebra. We show that every forest satisfies $M_G=U_G$, the automorphism-orbit module, and that the induced algebra on the orbit quotient of a tree is a full matrix algebra. It follows that the scalar moments $\mathbf1^Tw(A_T,D_T)\mathbf1$ determine every tree. For general graphs these moments are degree-decorated caterpillar homomorphism counts. The resulting moment-rigidity class lies inside the amenable, compact, refinable hierarchy of color refinement, and its first small-order failures are ten-vertex integral switchings invisible to $M_G$.
Generic properties of discrete Steklov eigenfunctions
Let $G=(V,E)$ be a finite connected graph with boundary $B$. We prove that for a generic positive edge weight function $w \in \mathbb{R}^{|E|}$, the Steklov eigenvalues of $(G,B,w)$ are simple and every Steklov eigenfunction does not vanish on the boundary. More precisely, the exceptional weights are contained in a zero set of a non-identically zero polynomial and hence form a set of Lebesgue measure zero and Hausdorff dimension at most $|E|-1$. Our results provide a discrete extension of the genericity theorem for the Steklov problem on compact manifolds.
The inverse problem for the Steiner-Wiener index of trees
For a connected graph $G$ and a set $S\subset V(G)$, the Steiner distance $d_G(S)$ is the minimum number of edges in a connected subgraph of $G$ containing $S$. The Steiner-Wiener $k$ index is defined by $\mathrm{SW}_k(G) = \sum_{S\subset V(G), |S|=k} d_G(S)$. We study the inverse problem for this invariant restricted to trees: for fixed $k$, which positive integers occur as $\mathrm{SW}_k(T)$ for a finite tree $T$? We prove that all sufficiently large positive integers occur as $\mathrm{SW}_k(T)$ for some finite tree $T$ if and only if $k$ is even. For odd $k$, we further show that the set of attainable values has asymptotic density of order $k^{-δ}(\log k)^{-3/2}$, where $δ$ is the Erdős-Tenenbaum-Ford constant.
2-Connected Subgraphs of All Orders in Large Graphs with Minimum Degree at Least n/q
We confirm a conjecture of Liu and Ning\cite{LiuNing}: for every fixed integer $q\ge 3$, there exists an integer $n_0(q)$ such that every $2$-connected graph $G$ of order $n\ge n_0(q)$ with minimum degree $δ(G)\ge n/q$ contains a $2$-connected subgraph of order $\ell$ for each $\ell\in\{4,5,\ldots,n\}$. The proof has two main components. First, we construct a small $2$-connected subgraph $D$ such that every vertex outside $D$ has at least two neighbors in $D$. By successively adding the vertices outside $D$, we obtain $2$-connected subgraphs of every order from $|V(D)|$ to $n$. Second, an averaging argument on common neighborhoods yields a large complete bipartite subgraph $K_{2,t}$, which provides $2$-connected subgraphs of all the remaining orders.Finally, we propose the following conjecture: for every pair of fixed integers $r\ge 2$ and $q\ge 3$, every $r$-connected graph $G$ of sufficiently large order $n$ with $δ(G)\ge n/q$ contains an $r$-connected subgraph of every order from $2r$ to $n$.
Some New Sufficient Conditions for a Graph to be $l$-Deficient
For a (molecular) graph $G$ and any real number $α\ne 0$ , the zero-order general Randić index , denote by $^0R_α$, is defined by the following equation: \begin{align*}
{^0R_α} (G) =\sum_{v\in G}d_G (v) ^α (α\in \mathbb{R}-\left\{0\right\}) . \end{align*} The deficiency of $G$, denoted by $def(G)$, is equal to the cardinality of vertices which are not covered by a maximum matching in $G$. A graph G is called $l$-deficient if $def(G)\le l$.
In this paper, we use this index to give sufficient conditions for a connected graph, bipartite graph and a balanced bipartite graph $G$ to satisfy the $l$-deficient property, and show that none of these conditions can be dropped. We will also use these results to enhance and generalise the results that already obtained by M. An and K. C. Das in 2018 and G. Su et al. in 2022.
Minimum degree conditions for removable matchings in $k$-connected graphs
In 1969, Halin proved that every $k$-connected graph $G$ with minimum degree at least $k+1$ contains an edge $e$ such that $G-e$ is $k$-connected. As an edge is a matching of size one, it is natural to ask whether Halin's result extends to matchings of larger size, a question recently investigated by Li, Zhou, Fujita, and Mao. A matching $M$ of a $k$-connected graph $G$ is called \emph{$k$-removable} if $G-M$ is $k$-connected. In this paper, we study minimum degree conditions that guarantee the existence of a $k$-removable matching of prescribed size. Specifically, we prove that for all positive integers $k$ and $m$, every $k$-connected graph $G$ with at least $2m$ vertices contains a $k$-removable matching of size $m$ if \[δ(G)\ \ge\ \begin{cases} \max\bigl\{k+\bigl\lceil\tfrac m2\bigr\rceil,\ 2m\bigr\} & \text{if } k\ge m,\\[2pt] k+m & \text{if } k<m. \end{cases}\] As a consequence, every $k$-connected graph $G$ with $δ(G)\ge2k+1$ contains a $k$-removable matching of size $\bigl\lceil(δ(G)+1)/2\bigr\rceil$, unless $δ(G)$ is even and $G\cong K_{δ(G)+1}$. This verifies a conjecture of Li, Zhou, Fujita, and Mao in the range $δ(G)\ge2k+1$. Our main tool, of independent interest, is a strengthening of Halin's result producing a $k$-removable edge that avoids a prescribed set of vertices.
The positive and negative square-energy conjecture
Let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of the positive and negative adjacency eigenvalues of a graph $G$, respectively. We prove 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. $$ The proof introduces a new framework for square-energy estimates, in which the Hadamard squares of positive semidefinite matrices that encode these spectral quantities are relaxed to the full doubly nonnegative cone.
The number of perfect matchings in 3-connected planar graphs
A graph is matchable if it admits a perfect matching. Recently, Goedgebeur et al. asked whether there exists a constant $c<12$ such that infinitely many matchable planar $3$-connected graphs, each with exactly $c$ perfect matchings. We prove that every matchable planar $3$-connected graphs on at least 40 vertices has at least 12 perfect matchings, and this lower bound is sharp. This answers the question negatively.
On the Wiener and Harary Indices of Generalized Splitting and Shadow-Splitting Graphs
In this paper, we determine the Wiener index and the Harary index for the $(p,q)$-generalized splitting graph $S_{p,q}(G)$ and the $(c,k)$-shadow-splitting graph $H_{c,k}(G)$ for a connected graph $G$.
Tight lower bound for the spectral radius of connected graphs with given matching number
Let $\mathscr{G}_{n,k}$ denote the family of all connected graphs of order $n$ with matching number $k$. Liu, Lou, and Trevisan~(Linear Algebra Appl., 2026) posed the following problem: Determine the spectrally minimal graphs in $\mathscr{G}_{n,k}$. In this paper we prove that for every graph $G \in \mathscr{G}_{n,k}$, $
ρ(G) \ge \sqrt{\frac{n + 2k - 3}{k}}, $
and we completely characterize the extremal graphs when $k \mid (n-3)$. As applications, we establish $ρ(G) + k \ge 3\sqrt[3]{n/4}$ for $k \ge 2$, settling the asymptotic order of $ρ+ k$ as $Θ(n^{1/3})$ -- strictly smaller than the $Θ(\sqrt{n})$ order suggested by the disproved Aouchiche--Hansen conjecture.