connected graph
2678 papers tagged with this keyword
Upper tail large deviations of regular subgraph counts in sparse random regular graphs
For a $Δ$-regular connected graph $H$ we obtain the upper tail large deviations speed and rate function for the number of copies of $H$ in $\mathbb{G}_n^d$, a random $d$-regular graph on $n$ vertices, in the regime $np^{Δ/2} \gg (\log n)^{1/(v_H-2)}$ and $p \ll 1$, where $p:=d/n$ and $v_H$ is the number of vertices, and also identify the typical structure of $\mathbb{G}_n^d$ conditioned on this upper tail event. For $Δ\geq 3$, the speed and the rate function are same with those in the Erdős-Rényi setting. In contrast, for $Δ=2$ (i.e.~in case of cycles), due to the degree constraint in $\mathbb{G}_n^d$, although speed remains the same the rate function turns out to be different. Moreover, conditioned on the upper tail event of cycle counts in $\mathbb{G}_n^d$, we show that the random graph contains a disjoint collection of clique and biclique like structures with probability approaching to one, a stark contrast compared to the Erdős-Rényi setting.
In the complementary regime, i.e.~for $1 \ll n^{v_H}p^{e_H} \ll (\log n)^{α^*_H/(α^*_H-1)}$, where $e_H$ is the number of edges in $H$, $α^*_H$ is the fractional independence number of $H$, and $H$ is a strictly balanced graph (and thus including the regular case), we show that the upper tail large deviations speed and rate function for the number of copies of $H$ match with those in the Erdős-Rényi setting. In this regime, we further show that almost all of the unlabeled copies of $H$ conditioned on the upper tail event are edge disjoint.
On the maximum degree and order of $K_t$-minor-free graphs with positive Lin--Lu--Yau curvature
Motivated by recent results on the order of connected graphs with positive Lin--Lu--Yau Ricci curvature under forbidden minor or forbidden subgraph conditions and minimum degree assumptions, we prove that, for every integer $t\ge 5$, every locally finite graph $G$ with no $K_t$ minor, minimum degree at least $t-1$ and positive Lin--Lu--Yau Ricci curvature on every edge satisfies \[ Δ(G)=O(t^5\log^{3/2}t). \] The minimum degree condition $t-1$ is best possible. Moreover, if $G$ is connected, then $G$ is finite and \[|V(G)|<2tΔ(G)^6=O(t^{31}\log^9 t). \]
On the Realizability of Edge-Girth Sequences
The edge-girth of an edge $e$ in a simple connected graph is the length of a shortest cycle containing $e$, with $g_e = \infty$ if no such cycle exists, and the edge-girth sequence of a graph is the nondecreasing sequence of the edge-girths of its edges. We characterize the sequences that are realizable as the edge-girth sequence of a simple connected graph. A constant sequence $(g^{(m)})$ with $g$ finite and $m \geq 1$ is realizable if and only if $m = g$ or $m \geq \lceil 3g/2 \rceil$. Otherwise, writing $S = S_0 \uplus (g^{(m)})$, where $g$ is the maximum value of $S$ and $m$ its multiplicity, we prove that $S$ is realizable if and only if $S_0$ is realizable and $m$ lies in an explicit set determined by $g$ and by the maximum diameters of the graphs realizing $S_0$, alone or extended by fewer than $g$ edges of edge-girth $g$. The proof rests on a chaining lemma, which turns a shortest cycle of a realization into a lower bound on the maximum diameter of the realizations of a shorter sequence.
Modulating flow polynomials and parity bias in homological walk counting
Long weighted walks seem to sample mod-$t$ flows uniformly, but at even moduli a persistent parity bias survives. Writing $C_G(t)$ for the flow polynomial of a connected graph $G$ of genus $g$, the proportion of nowhere-zero flows under uniform sampling is $C_G(t)/t^g$. For arbitrary positive directed weights and all moduli, we determine the exact leading corrections for both closed walks and nonbacktracking closed walks, which we call circuits. Only the circuit result requires $g\ge2$. For closed walks, the canonical character governs the leading correction through the canonical modulating flow polynomial $D_G$; for circuits, the period character, when it exists, governs the leading correction through the period modulating flow polynomial $D_{G,η}$. At even moduli these give parity-dependent corrections: the two mechanisms coincide on nonbipartite graphs and separate only in the bipartite circuit problem. More generally, each integral-homology character $ζ$ determines a balanced-dichromatic specialization $D_{G,ζ}$. These polynomials form a character-indexed family whose finite-order members give Fourier coefficients of the nowhere-zero flow set and whose retained edge sets are the central sets of a gain semimatroid. We further show that $D_G$ is a cycle-matroid invariant and a signed-Tutte specialization satisfying signed deletion-contraction. Finally, an integral nowhere-zero approximation theorem implies that asymptotically almost every weighted circuit traverses every edge.
Connected Coloring Games on Corona Products of Graphs
We study the connected coloring game on corona products of graphs. For connected graphs $G$ and $H$, we prove the sharp upper bound $χ_{cg}(G\circ H)\leq\max\{Δ(G),Δ(H)+1\}+1$ and establish a further bound using the Bob-start ordinary coloring game on the second factor. We show that the difference between the Alice-start and Bob-start connected game chromatic numbers can be arbitrarily large in either direction. We further prove that a connected subgraph may have arbitrarily larger connected game chromatic number than its ambient connected graph, and that $χ_{cg}(G\circ H)$ cannot be bounded in terms of $χ_{cg}(G)$ and $χ_{cg}(H)$ alone, even when both factors have connected game chromatic number $2$. We also obtain corona products for which the difference $χ_g-χ_{cg}$ is arbitrarily large and construct infinitely many connected graphs with $χ_g<χ_{cg}$. Finally, for corona products of trees, we prove the universal upper bound $5$, characterize those attaining the value $3$, give structural sufficient conditions for the value $4$, and exhibit a broad family attaining the value $5$.
Extremal graphs without cycles of length 0 modulo 4
In a remarkable recent result, Győri, Li, Salia, Tompkins, Varga and Zhu determined the maximum size in a graph of given order and containing no cycle of length divisible by 4. In this paper, we give a complete characterization of all graphs attaining this maximum. This answers a question posed by Li, Pan and Shi. Very recently, Chu, Park and Ryu established a sharp upper bound on the number of edges in a 2-connected graph containing no cycle of length divisible by 4. We also give a complete characterization of all such graphs attaining this bound.
An Equivariant Main Conjecture for Branched $\mathbb Z_p$-Towers of Finite Graphs and Applications
Let $p$ be a prime and let $Y/X$ be a finite abelian branched cover of finite connected graphs. We consider a compatible branched $\mathbb Z_p$-tower above $Y$ whose total Galois group over $X$ is abelian. We construct an equivariant Picard Iwasawa module over the completed group ring of the total Galois group and give an explicit presentation of this module. On the analytic side, we construct an equivariant Artin--Ihara $L$-element at the top of the tower and isolate a modified factor whose value at $u=1$ is well defined. Our main result computes the Fitting ideal of the equivariant Picard Iwasawa module in terms of these special values and augmentation ideals determined by the inertia groups. As applications, we recover the main conjecture for branched $\mathbb Z_p$-towers from our earlier work and obtain finite-level Fitting-ideal and annihilation formulas which can be viewed as graph-theoretic analogues of the conjectures of Kurihara and Brumer--Stark.
On Entries of Spectral Decompositions and Applications
The entries of the spectral idempotents of a graph are its local and crossed local multiplicities. This paper uses these classical quantities in three applications. First, in a graph on $n$ vertices without isolated vertices, every local multiplicity is at most $\frac{n-1}{n}$, and every diagonal entry of the Cesaro average mixing matrix is at most $1-\frac{2}{n}+\frac{2}{n^2}$. In both bounds equality holds only for the complete graph. This proves the connected form of the complete graph trace conjecture of Godsil, Guo and Sobchuk together with its equality case, and component and degree refinements follow. The two upper bounds and their attainment by complete graphs also occur in a recent machine checked proof, without a formal characterization of when equality holds. Second, for the line graph of a connected graph $Γ$, the average return probability at a bridge with a bipartite component on one side is at least the reciprocal of the rank of the unsigned incidence matrix. Equality holds exactly for $P_2$ and $P_3$. The proof combines local moments with known inverse-incidence formulas. Finally, the paper gives a short proof of Godsil's entry criterion, which says that vertices $u$ and $v$ are strongly cospectral exactly when $\left|(E_θ)_{uv}\right|=(E_θ)_{uu}$ for every eigenvalue $θ$. The criterion recovers the known classification in connected noncomplete strongly regular graphs, where the strongly cospectral pairs are precisely the two-vertex parts of cocktail party graphs.
Isolation of non-triangle cycles in graphs
Published in Discrete Applied Mathematics 394 (2026), 261-268
• View Publication
• BIB
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 $N[D]$ 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 determined a set $\mathcal{E}_4$ of nine graphs such that $ι(G,\{C_4\}) \leq n/5$ if $G$ is not an $\mathcal{E}_4$-graph. Chen and Cui recently strengthened this result by proving that $ι(G, \mathcal{C}') \leq n/5$ if $G$ is not an $\mathcal{E}_4$-graph. This had been proved by Zhang and Wu for the case where $G$ contains no triangle. 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$ contains no triangle. 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.
The multiplicative Merino--Welsh inequality for chordal graphs
For a connected graph $G$, let $τ(G)$, $α(G)$ and $α^*(G)$ denote its numbers of spanning trees, acyclic orientations and totally cyclic orientations, respectively. We prove that $α(G)α^*(G)\geqτ(G)^2$ for every connected bridgeless chordal graph.
A Common neighborhood signed graph of a signed graph
Let G be a simple connected graph with the vertex set V (G) and the edge set E(G) such that |V (G)| = n and |E(G)| = q. The common neighborhood graph con(G) of G has the same set of vertices as that of G and uv is an edge in con(G) if u and v have at least one common neighbor in G. By a signed graph S, we mean a graph G whose edges has been assigned sign plus or minus. In this paper, the concept of common neighborhood graph has been initiated in the realm of signed graphs, that is, we define a common neighborhood signed graph of a signed graph.
Recovering Laplacian Lattices from $L$-Functions of Graphs
We introduce $L$-functions associated with characters of the Jacobian of a finite graph, as a graph-theoretic analogue of the $L$-functions arising from unramified coverings of algebraic curves. These $L$-functions are defined using the Riemann--Roch structure on the graph and extend Lorenzini's two-variable zeta function. We show that if two connected graphs without bridges have isomorphic Jacobians and their $L$-functions agree under the induced correspondence of characters, then their Laplacian lattices coincide. We also show that these $L$-functions satisfy a functional equation. Finally, we give examples showing that neither the Jacobian nor the Lorenzini zeta function alone determines the Laplacian lattice.
Solution to a problem on isolation of $3$-vertex paths
Published in Discrete Mathematics 349 (2026), article number 115312
• View Publication
• BIB
The $3$-path isolation number of a connected $n$-vertex graph $G$, denoted by $ι(G,P_3)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ intersects the vertex sets of the $3$-vertex paths of $G$, meaning that no two edges of $G-N[D]$ intersect. Zhang and Wu proved that $ι(G,P_3) \leq 2n/7$ unless $G$ is a $3$-path or a $3$-cycle or a $6$-cycle. The bound is attained by infinitely many graphs having induced $6$-cycles. Huang, Zhang and Jin proved that if $G$ has no $6$-cycles, or $G$ has no induced $5$-cycles and no induced $6$-cycles, then $ι(G, P_3) \leq n/4$ unless $G$ is a $3$-path or a $3$-cycle or a $7$-cycle or an $11$-cycle. They asked if the bound still holds asymptotically for connected graphs having no induced $6$-cycles. More precisely, taking $f(n)$ to be the maximum value of $ι(G,P_3)$ over all connected $n$-vertex graphs $G$ having no induced $6$-cycles, their question is whether $\limsup_{n \to\infty}\frac{f(n)}{n} = \frac{1}{4}$. We verify this by proving that $f(n) = \left \lfloor (n+1)/4 \right \rfloor$. Therefore, induced $6$-cycles solely account for the jump to the bound $2n/7$. The proof hinges on further proving that if $G$ is such a graph and $ι(G, P_3) = (n+1)/4$, then $ι(G-v, P_3) < ι(G, P_3)$ for each vertex $v$ of $G$. This new idea promises to be of further use. We also prove that if the maximum degree of such a graph $G$ is at least $5$, then $ι(G,P_3) \leq n/4$.
Unexpectedly, a symmetry on unlabeled graphs
We exhibit the joint symmetric distribution of the following two parameters on the set of unlabeled, simple, connected graphs with $n$ vertices. The first parameter is the maximal number of leaves attached to a vertex. The second parameter is the size of the largest set of vertices sharing the same closed neighborhood minus $1$.
Apparently, this is the first example of a natural, non-trivial equidistribution of graph parameters on unlabeled connected graphs on a fixed set of vertices.
Our proof is enumerative, using the theory of species. Exhibiting an explicit bijection interchanging the two parameters remains an open problem.
The Kemeny-Braess Paradox in Random Graphs
In 2016, Kirkland and Zeng initiated the mathematical treatment of Braess paradox for random walks on graphs using Kemeny's constant as the measure of travel time. We study this phenomenon for the Erdős-Rényi random graph $G(n,p)$. An edge in a connected graph is called Kemeny-Braess if its deletion preserves connectedness and decreases Kemeny's constant, while a nonedge is Kemeny-Braess if its insertion increases Kemeny's constant. Let $\bar d=(n-1)p$ be the expected degree of $G\sim G(n,p)$, and assume that $\bar d-\log n\to\infty$, so that $G$ is connected with high probability.
We determine the sharp asymptotic thresholds for the existence of both types of paradoxical behaviour. With $C^*=1/(1-\log 2)$, the threshold for Kemeny-Braess edges is $\bar d=C^*\log n$, whereas the threshold for Kemeny-Braess nonedges is $\bar d=2C^*\log n$. Hence, as the expected degree $\bar d$ increases, the connected regime exhibits three phases: first Kemeny-Braess paradox occurs for both edges and nonedges, then only for nonedges, and finally it disappears. In particular, in the dense regime, with high probability $G$ has no Kemeny-Braess edges or nonedges. This contrasts sharply with the spectral gap of the normalised Laplacian, for which Braess' paradox persists at constant edge density.
Our proof combines a spectral-moment expansion of Kemeny's constant with uniform edge-perturbation estimates. Near the thresholds, the sign of the perturbation is governed by the endpoint degrees, and binomial large deviations yield the constant $C^*$ and the factor of two between the two thresholds.
Curvature-Distortion Numbers of Graphs: Prescribed Lin--Lu--Yau Curvature Lower Bounds
We study an optimization problem for weighted Lin--Lu--Yau curvature. Given a graph $G=(V,E)$ and a prescribed lower curvature bound $k\ge0$, we ask for the smallest multiplicative distortion \[ \Dist(w):=\frac{\sup_{e\in E}w_e}{\inf_{e\in E}w_e} \] of the edge weights needed to make every edge have curvature at least $k$. This leads to the family \[ \DN_{\LLY}^{k}(G) := \inf\bigl\{ \Dist(w): κ_{\LLY}^{w}(e)\ge k \text{ for every }e\in E(G) \bigr\}, \] which extends the nonnegative-curvature invariant introduced in our preceding paper \cite{Xia2026InvariantI}. The edge weights change the transition probabilities, while the combinatorial graph distance remains fixed.
Positive prescribed curvature leads to a fundamental distinction from the case $k=0$. If $G$ is a connected locally finite infinite graph and $k>0$, then \[ \DN_{\LLY}^{k}(G)=\infty. \] Thus no finite multiplicative distortion of the edge weights can impose a uniform positive curvature lower bound on such a graph.
For a finite tree $T$ with $m$ edges, such weights exist exactly when $k\le2/m$. We prove that the minimum distortion is attained by a weight unique up to scaling, and that the normalized minimizer and its distortion depend continuously and nondecreasingly on $k$.
We then extend the finite-tree theory to general connected graphs. As an application, we characterize the graphs of girth at least six for which finite $k$-distortion is possible.
Structural Properties of DomiRank Centrality: Symmetry Axioms, an Entropy Bound, and Spectral Interpolation
DomiRank is a node-importance algorithm for unweighted networks, defined by a dynamical model governed by a competition-strength parameter, a dominance threshold, and a decay rate. We establish three structural results. First, on symmetry. Automorphism-related vertices share the same DomiRank value, and a graph whose values are pairwise distinct must be asymmetric. The orbit count bounds the number of distinct values, and regular and vertex-transitive graphs admit closed forms. Second, on entropy. The maximum of the DomiRank entropy over connected graphs, log_2 N, is attained if and only if the graph is regular. The initial entropy derivative is the degree-log-degree edge covariance, making the decrease rigorous near vanishing competition for structurally disassortative graphs, and an assortative counterexample shows it does not extend to all graphs; a sufficient-condition theorem and a refined conjecture cover the rest. Third, on spectrum. The normalized distribution is sigma-invariant if and only if the degree vector is an adjacency-matrix eigenvector. The parameter sigma interpolates continuously between degree and smallest-eigenvector centrality within the resolvent (Bonacich-type) family, its sensitivity being a second-order suppression operator on the degree vector. Graph transformations are also characterized, including the m-product. Experiments on four real networks and synthetic families up to 10^4 vertices confirm the interpolation and exhibit monotone entropy decrease, continuous ranking interpolation, decaying positive fraction and ranking reversals; where the positive fraction has decayed far from one, the limit describes the solution vector rather than the induced ranking. DomiRank is thus a tunable complement to principal-eigenvector centrality. A companion study quantifies how much of its task-level edge over a degree baseline survives degree correction.
Connected graphs with equal independence number and radius
A classical theorem states that the independence number of any connected graph is at least its radius. In 2007, DeLaViña, Pepper, and Waller proved that every connected graph with equal independence number and radius is traceable. We first give a new short proof of this theorem and then prove two results for graphs of higher connectivity. (1) Every 2-connected graph with equal independence number and radius is Hamiltonian. (2) Every 3-connected graph with equal independence number and radius is Hamiltonian-connected and pancyclic. Several lemmas used in the proofs are of independent interest.
Eccentricity Shortest Path: the structural parameter landscape
The Eccentricity Shortest Path problem asks, given a connected graph and a nonnegative integer $R$, whether some shortest path is within distance $R$ of every vertex. We study its structural parameterized complexity. We give fixed-parameter algorithms for vertex-deletion distance to cographs, vertex-deletion distance to interval graphs, and bandwidth. The interval-deletion result answers a question of Bhyravarapu et al. (IWOCA 2023). We obtain XP algorithms for vertex-deletion distance to chordal graphs, clique-width, and rank-width, without requiring expressions or decompositions for the latter two. Consequently, the problem is polynomial-time solvable for every fixed treewidth, answering a question of Chakraborty et al. (2026). We also derive fixed-parameter tractability for treedepth and XP membership for diameter from earlier algorithms.
We prove $\mathsf{W}[3]$-hardness for cutwidth, and hence pathwidth and treewidth, even on graphs of maximum degree at most five; $\mathsf{W}[2]$-hardness for vertex clique-cover number; and NP-hardness on graphs of tree-independence number at most two. For maximum leaf number $\ell$, we obtain an $O(\ell^4)$-bit compression and a polynomial kernel. Finally, unless $\mathsf{NP}\subseteq\mathrm{coNP}/\mathrm{poly}$, we exclude polynomial kernels for bandwidth, feedback edge number, vertex-deletion distance to a clique, and vertex cover number. The last bound also excludes polynomial kernels for vertex-deletion distance to proper interval graphs.
On the sum of eccentric subgraph numbers of the vertices of a connected graph
Let $G$ be a connected graph. The eccentric subgraph number $ε(v)$ of a vertex $v$ of $G$ is defined as $ε(v)=\min\{f_G(v,u): u\in V(G)\}$, where $f_G(v,u)$ is the number of connected subgraphs of $G$ containing both $v$ and $u$. The eccentric subgraph index $ES(G)$ of $G$ is defined as $ES(G)=\displaystyle\sum_{v\in V(G)}ε(v).$ In this paper, we obtain the unicyclic graph that maximizes the eccentric subgraph index among all unicyclic graphs on $n$ vertices with a fixed girth. The graph that maximizes the eccentric subgraph index among all unicyclic graphs on $n$ vertices is also obtained. We then characterize the trees that maximize the eccentric subgraph index over trees on $n$ vertices with fixed diameter. Among all connected graphs on $n$ vertices with a fixed number of pendant vertices, the graph which maximizes the eccentric subgraph index is also characterized.