arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2591 papers tagged with this keyword
2026-03-29
Lifting and Folding: A Framework for Unstable Graphs and TF-Cousins
A graph $G$ is \emph{unstable} if its canonical double cover CDC$(G)$ has more automorphisms than Aut$(G)\times \mathbb{Z}_2$. A related problem asks when two non-isomorphic graphs share the same CDC. We unify both via \emph{lifting} and \emph{guided folding}, showing that they are governed by conjugacy classes of strongly switching involutions in Aut(\CDC$(G)$). Using \emph{two-fold isomorphisms} (TF-isomorphisms), lifting $(α,β):G\to H$ produces a digraph isomorphic to the alternating double cover of $G$, while folding yields a graph TF-isomorphic to $G$. If this graph is non-isomorphic to $G$, the pair forms TF-cousins; otherwise $(α,β)$ is a non-trivial TF-automorphism and $G$ is unstable. Distinct conjugacy classes of switching involutions in Aut$(CDC(G))$ produce non-isomorphic graphs with a common CDC, recovering a theorem of Pacco and Scapellato. The framework generates TF-cousin pairs and unstable graphs of arbitrary order from $(C_k\cup C_k,\, C_{2k})$. We introduce the \emph{claw graph} family CG$(n)$ and show that CG$(n)$ and CG'$(n)$ are TF-cousins iff $n$ is odd. For $n=1$, this yields the Petersen graph and a cubic companion on $10$ vertices, both with the Desargues graph as CDC. For odd $n\geq 3$, we obtain new non-isomorphic cubic graphs sharing a CDC. We conjecture that every TF-cousin pair and unstable graph contains cycles $C_k$ and $C_{2k}$ for some odd $k$, verified for all connected graphs on at most $9$ vertices.
2026-03-29
On four network monitoring parameters in graphs and their gaps
Let \( G \) be a finite simple undirected graph. Four graph parameters related to network monitoring are the \emph{geodetic set}, \emph{edge geodetic set}, \emph{strong edge geodetic set}, and \emph{monitoring edge geodetic set}, with corresponding minimum sizes, denoted by \( g(G), eg(G), seg(G) \), and \( meg(G) \), respectively. These parameters quantify the minimum number of vertices required to monitor all vertices and edges of \( G \) under progressively stricter path-based conditions. As established by Florent \textit{et al.}\ (CALDAM 2023), these parameters satisfy the chain of inequalities: \( g(G) \leq eg(G) \leq seg(G) \leq meg(G). \) In 2025, Florent \textit{et al.}\ posed the following question: given integers \( a, b, c, d \) satisfying \( 2 \leq a \leq b \leq c \leq d \), does there exist a graph \( G \) such that \( g(G) = a, \quad eg(G) = b, \quad seg(G) = c, \quad \text{and} \quad meg(G) = d? \) They partially answered this affirmatively under three specific hypotheses and gave some constructions to support it. In this article, we first identify quadruples of values that cannot be realized by any connected graph. For all remaining admissible quadruples, we provide explicit constructions of connected graphs that realize the specified parameters. These constructions are modular and efficient, with the number of vertices and edges growing linearly with the largest parameter, providing a complete and constructive characterization of such realizable quadruples.
2026-03-25
Characterizing tricyclic graphs with pendant vertices having largest $A_α$-spectral radius
For a graph $G$ with adjacency matrix $A(G)$ and degree diagonal matrix $D(G)$, the $A_α$-matrix of $G$ is defined as \begin{equation*} A_α(G) = αD(G) + (1- α) A(G), \text{ for any } α\in [0,1]. \end{equation*} The $A_α$-spectral radius of $G$ is the largest eigenvalue of the matrix $A_α(G)$. A tricyclic graph of order $n$ is a simple connected graph with $n+2$ edges. In this paper, we characterize the unique graph having the largest $A_α$-spectral radius for $α\in [\frac{1}{2}, 1)$ among all tricyclic graphs of order $n$ with $k (\geq 1)$ pendant vertices. As an application, we derive a sufficient spectral condition (alternate to the edge condition) to guarantee the absence of the tricyclic structure in a graph with $k$ pendant vertices.
2026-03-25
On tree-decompositions for infinite chordal graphs
A graph is chordal if it contains no induced cycle of length four or more. While finite chordal graphs are precisely those admitting tree-decompositions into cliques, this fails for infinite graphs. We establish two results extending the known theory to the infinite setting. Our first result strengthens sufficient conditions of Halin, Kříž-Thomas, and Chudnovsky-Nguyen-Scott-Seymour: We show that every chordal graph without a strict comb of cliques admits a tree-decomposition into maximal cliques. Our second result characterises the chordal graphs admitting tree-decompositions into finite cliques: a connected graph admits such a decomposition if and only if it is chordal, admits a normal spanning tree, and does not contain $\mathcal{H}$ $\unicode{x2013}$ an infinite clique with two non-adjacent dominating vertices $\unicode{x2013}$ as an induced minor. Combined with the characterisation of graphs with normal spanning trees, this yields a description by three types of forbidden minors. Both proofs proceed via greedy constructions of length $ω$, with the key new ingredient for the second result being an Extension Lemma that uses a finiteness theorem of Halin on minimal separators to produce suitable finite clique extensions at each step.
Constructive characterizations concerning total outer-independent domination in subdivision trees
Let $G$ be a nontrivial connected graph with vertex set $V(G)$. A set of vertices $D\subseteq V(G)$ is called a total outer-independent dominating set of $G$ if every vertex of $G$ is adjacent to at least one vertex in $D$, and $V(G)\setminus D$ is an independent set of $G$. The total outer-independent domination number of $G$, denoted by $γ_t^{oi}(G)$, is the minimum cardinality among all total outer-independent dominating sets of $G$. The subdivision graph of $G$, denoted by $\mathtt{S}(G)$, is the graph obtained from $G$ by subdividing every edge exactly once. Cabrera-Martínez et al. [On the total outer-independent domination number of subdivision graphs, Comput. Appl. Math. 45 (2026) 315] proved that $\tfrac{4n(T)-l(T)-s(T)}{3}\leq γ_{t}^{oi}(\mathtt{S}(T))\leq \tfrac{4n(T)-l(T)+s(T)-2}{3}$ for any nontrivial tree $T$ of order $n(T)$ with $l(T)$ leaves and $s(T)$ support vertices. In this paper, we provide constructive characterizations of the families of trees that attain these bounds.
2026-03-24
Construction of graph coverings with prescribed Iwasawa invariants
For a $\mathbb{Z}_p$-covering of connected graphs, an analogue of Iwasawa's class number formula describes the growth of the number of spanning trees in terms of Iwasawa $λ$- and $μ$-invariants. In this paper, we show that any pair $(λ, μ)$ can be realized as the Iwasawa invariants of an unramified $\mathbb{Z}_p$-covering of a bouquet, provided that the necessary condition that $λ$ is odd is satisfied. We further show that any pair $(λ, μ)$, without a parity condition, can be realized if we allow ramified $\mathbb{Z}_p$-coverings.
2026-03-23 v2
Characterization of strongly $\mathbb{Z}_\ell$-connected graphs of small order
A graph is strongly $\Z_{\ell}$-connected if for each boundary function $β: V(G)\mapsto \Z_{\ell}$ with $β(v) \equiv d(v) \pmod{2}$ for every vertex $v$ and $\sum_{v \in V(G)} β(v) \equiv 0 \pmod{2\ell}$, there exists an orientation $D$ of $G$ such that $d_D^+(v) - d_D^-(v) \equiv β(v) \pmod{2\ell}$ for each $v \in V(G)$. This is a useful notion for studying circular flows of graphs. This note presents a fully self-contained, manual proof of a characterization of $4$-vertex strongly $\mathbb{Z}_\ell$-connected graphs for any integer $\ell\geq 2$, which will be used in our further study in this topic.
2026-03-21
Spectral radii and star-factors with large components
Let $G$ be a connected graph with $n$ vertices. The isolated toughness of $G$, denoted by $I(G)$, is defined by $I(G)=\min\left\{\frac{|S|}{i(G-S)}:S\subseteq V(G) \ \mbox{and} \ i(G-S)\geq2\right\}$ if $G$ is not complete, or $I(G)=+\infty$ if $G$ is complete. A graph $G$ is called isolated $r$-tough if $I(G)\geq r$. A spanning subgraph $H$ of $G$ is called a $\{K_{1,j}:m\leq j\leq2m\}$-factor of $G$ if every component of $H$ is isomorphic to an element of $\{K_{1,j}:m\leq j\leq2m\}$. Let $ρ(G)$, $q(G)$ and $μ(G)$ denote the adjacency spectral radius, the signless Laplacian spectral radius and the distance spectral radius of $G$, respectively. Let $m$ and $b$ be two positive integers with $m\geq2$. In this paper, we first establish a lower bounds on the adjacency spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ to guarantees that $G$ contains a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Second, we establish a lower bounds on the signless Laplacian spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ to ensures that $G$ contains a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Finally, we create an upper bounds on the distance spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ with a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Furthermore, we construct some extremal graphs to claim that all the bounds obtained in this paper are sharp.
2026-03-21
Faber-Krahn inequalities of combinatorial Laplacian on graphs
In this paper, we obtain sharp Faber-Krahn inequalities for the first Dirichlet eigenvalue of the combinatorial Laplacian operator on connected graphs with a fixed number of vertices or with a fixed number of edges. More precisely, we show that the minimum of the first Dirichlet eigenvalues of connected graphs with boundary that consist of $n$ vertices or $n$ edges is achieved only on the tadpole graph $T_{n,3}$.
2026-03-19
A weighted cycle-localization inequality
In 1959, Erdős and Gallai showed that every $2$-connected graph $G$ contains a cycle of length at least $\frac{2|E(G)|}{|V(G)|-1}$. This result was subsequently extended to weighted graphs by Bondy and Fan in 1991. A natural local variant of this problem arises by considering, for each edge $e\in E(G)$, the quantity $c(e)$, defined as the length of the longest cycle in $G$ containing $e$ (with $c(e)=2$ if $e$ is a bridge). Zhao and Zhang recently proved that for every graph $G$ on $n$ vertices satisfies $\sum_{e\in E(G)}\frac{1}{c(e)}\le \frac{n-1}{2}.$ In this note, we establish a weighted generalization of this inequality. For a weighted graph $(G,w)$ with positive edge weights, let $C_w(e)$ denote the maximum weight of a cycle containing $e$ (setting $C_w(e)=2w(e)$ if $e$ is a bridge). We prove that $$ \sum_{e\in E(G)}\frac{w(e)}{C_w(e)}\le \frac{n-1}{2}. $$ Our result can be viewed as a weighted local analogue of the Bondy-Fan theorem, thereby establishing a correspondence between the global and local perspectives. Furthermore, we present a broad class of graphs attaining equality and derive necessary conditions for equality.
2026-03-18
Anticoncentration of random spanning trees in graphs with large minimum degree
A classical result by Otter shows that the complete graph has an exponential number of non-isomorphic spanning trees. This was recently extended by Lee to every almost regular graph of sufficiently large degree. In this paper, we consider graphs of large minimum degree. We show that every connected graph $G$ with $n$ vertices and minimum degree $d$ has at least $n^{Ω(d)}$ non-isomorphic spanning trees. This is tight up to the constant factor in the exponent. In fact, we prove the following anticoncentration result: if $\mathcal{T}$ is a uniformly random spanning tree of $G$, then for every tree $T$, the probability that $\mathcal{T}$ is isomorphic to $T$ is at most $n^{-Ω(d)}$. This proves a conjecture of Lee in a strong form.
2026-03-17
A Brooks-type theorem for the k-choosability of graphs with maximum local edge-connectivity k
For a graph $G$ with at least two vertices, the maximum local edge-connectivity of $G$ is the maximum number of edge-disjoint $(u,v)$-paths over all distinct pairs of vertices $(u,v)$ in $G$. Stiebitz and Toft (2018) proved a Brooks-type theorem for graphs with maximum local edge-connectivity $k$, showing that a graph with maximum local edge-connectivity $k$ is not $k$-colourable if and only if it has a block in $\mathcal{H}_k$, which is the class of graphs that can be obtained by taking Hajós joins of copies of $K_{k+1}$ and, when $k=3$, odd wheels. We prove that a $2$-connected graph with maximum local edge-connectivity $k$ is $k$-choosable if and only if it is not in $\mathcal{H}_k$. On the other hand, deciding $k$-choosability when restricted to graphs with maximum local edge-connectivity $k$ (that might not be $2$-connected) is $Π_2$-complete. To prove the former result, we first prove several generalisations of a well-known characterisation of degree-choosability; these may be of independent interest.
2026-03-17
Independence polynomials of graphs
In this paper, we study the independence polynomial $P_G(x)$ of a finite simple graph $G$, with emphasis on the evaluation at $x=-1$, symmetry, and its connection with the $h$-polynomial of the edge ideal of $G$. For big star graphs, we determine exactly when $P_G(-1)$ is $0, 1$, or $-1$, characterize the pseudo-Gorenstein$^*$ members, and show that there is a unique big star with symmetric independence polynomial. We also study graphs obtained from a graph $H$ by attaching leaves to selected vertices. We derive an explicit formula for the resulting independence polynomial, determine the corresponding value at $-1$, and prove that if every vertex of $H$ receives at least one leaf, then the independence polynomial is symmetric if and only if each vertex receives exactly two leaves. As an application, we obtain exact criteria for the values of $P_G(-1)$ and for the pseudo-Gorenstein$^*$ members of caterpillar graphs. For cochordal graphs, we classify all symmetric independence polynomials. Finally, for connected graphs on $n$ vertices with small independence numbers, we determine the exact range of possible values of $P_G(-1)$.
2026-03-16 v2
Connected graphs minimizing the spectral radius for given order and dissociation number
A dissociation set in a graph is a subset of vertices which induces a subgraph with maximum degree at most one. The dissociation number of a graph is the maximum cardinality of its dissociation sets. In this paper, we consider the $n$-vertex connected graphs with a given dissociation number that attain the minimum spectral radius. By using structure analysis and constructing difference equations, we characterize the extremal graphs with dissociation number $n-3$.
2026-03-16
Classifying Prime Character Degree Graphs With Eight Vertices
In this paper, an effort is made to classify which prime character degree graphs having eight vertices occur for some finite solvable group. To approach this, we compile known results and constructions from the literature which are used to develop a general algorithm to begin classifying graphs of any order. We then apply the algorithm to the graphs of order eight. Of the 12,346 non-isomorphic graphs with eight vertices, 1,229 are disconnected and are fully classified. Meanwhile, 37 of the 11,117 non-isomorphic connected graphs are shown to occur; 34 of which are constructed via direct products and 3 of which have diameter three. Fifty-six graphs are shown not to occur, several of which fall into previously studied families, while the classification of 206 graphs is still unknown.
2026-03-13
Every 3-connected $\{K_{1,4},K_{1,4}+e\}$-free split graph of order at least 13 is Hamilton-connected
A graph $G$ is $\{F_{1}, F_{2},\dots,F_{k}\}$-free if $G$ contains no induced subgraph isomorphic to any $F_{i}$ $(1\leq i \leq k)$. A connected graph $G$ is a split graph if its vertex set can be partitioned into a clique and an independent set. Ryjáček et al. [J. Comb. Theory, Ser. B 134 (2019) 239--263] conjectured that every $4$-connected $\{K_{1,4},K_{1,4}+e\}$-free graph with minimum degree at least 6 is Hamiltonian and they confirmed the case with connectivity at least 5, where $K_{1,4}+e$ is the graph obtained from $K_{1,4}$ by adding a new edge. In this paper, we show that every 3-connected $\{K_{1,4},K_{1,4}+e\}$-free split graph of order at least $13$ is Hamilton-connected. It implies that Ryjáček et al.'s conjecture holds for split graphs of order at least $13$.
2026-03-13
Chvátal-Erdős condition for 2-factors with at most two components in graphs
It is well-known that Chvátal and Erdős stated that any graph of order at least three whose independence number is no greater than its connectivity is Hamiltonian; that any graph whose independence number is no greater than its connectivity minus one is Hamilton-connected; and that any graph whose independence number is no greater than its connectivity plus one is traceable. Kaneko and Yoshimoto [J. Graph Theory 43 (2003) 269--279] showed that every 4-connected graph of order at least six has a 2-factor with two components if its independence number is no greater than its connectivity. In this paper, we show that any connected graph of order at least three times its connectivity plus three has a 2-factor with at most two components, except for one exceptional class, if its independence number is no greater than its connectivity plus one. Our result is best possible.
2026-03-12
An Improved Interpolation Theorem and Disproofs of Two Conjectures on 2-Connected Subgraphs
We prove that any \(2\)-connected graph \(G\) on \(n\) vertices with minimum degree \(δ(G) \ge \frac{n}{4}+2\) contains a \(2\)-connected subgraph of order \(k\) for every integer \(k\) with \(4 \le k \le n\). This improves a previous result of Yin and Wu. In \cite{YinWu-DAM-2026}, Yin and Wu proposed two conjectures. The first states that for any \(2\)-connected graph \(G\) of order \(n\) and size \(m\), there exists a \(2\)-connected subgraph of order \(k\) for each \(k \in \{4, \dots, n\}\) whenever \(m \ge \frac{1}{2} n^{3/2}\). The second conjecture asserts that the same conclusion holds under the alternative condition \(δ(G) \ge \sqrt{n}\). In this paper, we construct counterexamples that completely disprove the first conjecture. Furthermore, using the existence of \((v, k, 2)\)-Symmetric Balanced Incomplete Block designs (i.e., SBIBDs), we disprove the second conjecture for all \(n \in \{8, 14, 22, 32, 74, 112, 158\}\). Finally, we propose a conjecture of our own: for any \(2\)-connected graph \(G\) on \(n\) vertices with \(δ(G) \ge \frac{n}{k}\), where \(k \ge 3\) and \(n\) is sufficiently large, \(G\) contains a \(2\)-connected subgraph of every order from \(4\) to \(n\).
2026-03-10
On the Real Reliability Roots of Graphs
Consider a connected graph $G$, and assume that every edge fails independently with probability $q$. The {\em (all-terminal) reliability polynomial} is the probability in $q$ that the spanning connected subgraph of operational edges is connected. In this paper we focus on the real roots of reliability polynomials ({\em reliability roots}). We prove that almost every graph has a nonreal reliability root, and that the reliability polynomials of graphs have roots dense on the interval $[β,0]$ where $β\approx-0.5707202942$.
Patrolling cop vs omniscient robber
We study a variant of the classical Cops and Robbers game with one cop and one robber, in which the cop follows a fixed walk on the graph, a patrol, that is chosen before the game begins, while the robber is omniscient, he knows the entire patrol in advance. A capture occurs when the robber comes within a given radius of capture of the cop. This model arises naturally at the intersection of recent work on limited-visibility games and offline versions of pursuit-evasion problems. By $\tildeρ{(G)}$ we denote the minimum radius of capture that the cop must have to always capture the robber on $G$ in this setting, under optimal play, where $G$ is a connected graph. We initiate a systematic study of this parameter for several graph classes. We determine the exact value of $\tildeρ{(G)}$ for trees, establish upper and lower bounds for grids, and analyze the parameter for various families of chordal graphs, including interval graphs and caterpillars. Along the way, we develop general tools and structural results that may be of independent interest for the study of pursuit-evasion games with predetermined patrols and limited information.