connected graph
2651 papers tagged with this keyword
On the gonality of Kneser graphs
The Kneser graphs $\text{KG}(n,k)$ are a classically studied family of graphs. One known invariant of graphs is gonality (also called divisorial gonality), which is the minimum degree of a rank 1 divisor on the graph. Using known bounds on gonality of simple, connected graphs, one may obtain that the gonality of $\text{KG}(n,k)$ is bounded above by $\binom{n-1}{k}$. In 2014, Harvey and Wood showed that the treewidth (a lower bound on gonality) for $\text{KG}(n,k)$ is $\binom{n-1}{k}-1$ for $n\geq 4k^2-3k+2$. In this paper, using scramble number, another lower bound on gonality, we improve this polynomial bound and show that the gonality of $\text{KG}(n,k)$ is exactly $\binom{n-1}{k}$ for $n\geq \frac{3k^2+k+2}{2}$, and conjecture an even stricter polynomial bound using the uniform edge scramble. We then extend our argument to the family of generalized Kneser Graphs, computing the scramble number and gonality using the same polynomial bound.
Unavoidable induced subgraphs forced by graphs with many vertices of prescribed properties
Given a function $p : V(G)\to \mathbb N$ and an integer $k\ge 0$, define $p_k(G)$ as the number of vertices with $p(v)\ge k$. We say that $p_k(G)$ is bounded for all $\HH$-free graphs if there exists a constant $c=c(\HH)$ such that $p_k(G)<c$ for all such graphs $G$. Here, a graph $G$ is said to be $\HH$-free if it contains no member of $\HH$ as an induced subgraph. When $p$ represents the degree of a vertex, Ramsey's theorem implies that $p_0(G)$ is bounded for all $\{K_n, \overline K_n\}$-free graphs, where $K_n$ and $\overline K_n$ denote the complete graph and the edgeless graph on $n$ vertices, respectively. The connected version of Ramsey's theorem says that $p_0(G)$ is bounded for all $\{K_n, P_n, K_{1,n}\}$-free connected graphs, where $P_n$ and $K_{1,n}$ are the $n$-vertex path and the star with $n$ leaves. In this paper, we extend Ramsey's theorem to $p_2(G)$ where $p$ denotes the degree, the local independence number, the local component number, and sharp degree, that is, we characterize the forbidden family of graphs $\HH$ such that $p_2(G)$ is bounded for all (connected) $\HH$-free graphs. Moreover, we also characterize the forbidden family of graphs $\HH$ for which there is a constant $c=c(\HH)$ such that $p_c(G)$ is bounded for all $\HH$-free graphs.
Independent Sets and Balanced Cycle-Linkings in 2-Connected Graphs
For every $α\ge3$ and all sufficiently large $n$, we identify a single graph that simultaneously maximizes the number of independent sets of every size among all $n$-vertex $2$-connected graphs with independence number $α$. This graph is unique up to isomorphism and is a balanced cycle-linking of the disjoint union of $α$ cliques whose orders differ by at most one. More precisely, for each $3\leβ\leα$, the graphs maximizing the number of independent $β$-sets are exactly the cycle-linkings whose clique-size cyclic words are $\lfloorβ/2\rfloor$-balanced. These results extend the corresponding extremal result for connected graphs to the $2$-connected setting. The proof combines generalized Turán-type clique counting and the edge-extremal theory of $2$-connected graphs with a coefficientwise balancing-switch argument. The switch also shows that a shortest imbalance of length $r$ first affects the independent-set count in degree $2r$.
Curvature-Distortion Numbers of Graphs: Nonnegative Lin--Lu--Yau Curvature
We introduce the curvature-distortion number, a scale-invariant parameter measuring the least multiplicative spread of positive edge weights required to make a weighted discrete curvature nonnegative everywhere. We develop the theory for Lin--Lu--Yau curvature when the transport distance is the fixed combinatorial graph distance.
For trees, the invariant admits an explicit nonlinear fixed-point description, which produces a canonical optimal weight that is unique up to scaling. More importantly, the curvature-distortion number controls the branching topology of the tree: for every finite tree $T$, \[ |B(T)|\le \left\lceil \DN_{\LLY}(T)\right\rceil, \] where $B(T)$ is the set of branch vertices. Thus the amount of weight distortion required to achieve nonnegative curvature imposes a direct quantitative restriction on the topological complexity of the tree. For locally finite infinite trees, finite distortion is classified completely: it occurs precisely for the double ray and for one-ended trees obtained from a finite tree by attaching a single ray.
This connection between curvature distortion and tree topology extends naturally to general connected graphs through the subgraph formed by edges lying in no cycle of length $3$, $4$, or $5$. Whenever the curvature-distortion number is finite, this tree-like part is a forest unless the whole graph is a cycle of length at least $6$, and each of its tree components inherits the corresponding distortion and topological bounds. In particular, the tree theory yields complete finite-distortion classifications for graphs of girth at least $6$.
Identifying domatic partitions via graph dynamical systems
For a graph $G=(V,E),$ a set of vertices $D\subseteq V $ is called a dominating set if every vertex in $V\backslash D$ is adjacent to a vertex in $D.$ A domatic-$2$-partition of $G$ is a partition of its vertices into two disjoint dominating sets. In this paper, for a finite simple connected graph $G,$ we construct a graph dynamical system $F$ and show that the set of dominating sets of $G$ are in one-to-one correspondence with the image of the action map of $F$. Moreover, we obtain the set of all domatic-$2$-partitions of $G$ from the set of all periodic orbits of $F.$ Finally, we extended actions of two dynamical systems to an action of a free semigroup on two letters, and determine independent dominating sets and idomatic partitions using its maximal invariant subset with a reversible action.
Loops in surfaces, chord diagrams, interlace graphs: operad factorisations and generating grammars
A filoop is a generic immersion of a circle in a closed oriented surface, whose complement is a disjoint union of discs, considered up to orientation preserving diffeomorphisms. It gives rise to a chord diagram C which has an interlace graph G, called a chordiagraph. For a graph G with even degrees, we compute a quantity mg(G) which yields, for every chord diagram $C$ with interlace graph G, the minimal genus of filoops with chord diagram C. If mg(G)=0 then C admits exactly two framings of genus 0, corresponding to spheriloops. After recalling the Cunningham factorisation of connected graphs, we describe a canonical factorisation of filoops into spheric sums followed by toric sums, for which the genus is additive. This is analogous to the factorisation of compact connected 3-manifolds along spheres and tori. We describe unambiguous context-sensitive grammars generating the set of all graphs and with mg(G)=0 and deduce stability properties with respect to spheric and toric factorisations. Similar results hold for chordiagraphs with mg(G) = 0 and their corresponding spheriloops.
Extremal function for rooted $K_5$ minors
We show that if an n-vertex 5-connected graph has at least 4n-10 edges, then for any choice of five of its vertices, we can contract disjoint connected subgraphs containing these vertices to obtain $K_5$ as a minor. The bound on the number of edges is the best possible.
Near-bipartite bricks in which every b-invariant edge is a forcing edge
A connected graph is matching covered if it has at least one edge and every edge lies in some perfect matching.Lovász proved that every matching covered graph G can be uniquely decomposed into a list of bricks and braces up to multiple edges. Denote by b(G) the number of bricks in such a decomposition. An edge e of G is removable if G-e is also matching covered; is b-invariant if e is removable and b(G-e)=b(G). Furthermore, an edge e of G is a forcing edge if it lies in precisely one perfect matching of G. 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 a forcing edge. In this paper, we solve this problem for near-bipartite bricks by providing a complete characterization.
Maximizing the signless Laplacian spectral radius of simplicial 2-complexes with a prescribed second Betti number
We study how a prescribed second Betti number constrains the largest eigenvalue of the signless Laplacian on edges of a pure two-dimensional simplicial complex. For each fixed positive second Betti number, we determine all maximizing complexes provided that the number of vertices is sufficiently large. Every maximizer consists of a full cone over a complete graph together with a family of triangles avoiding the apex, any two of which share an edge; the number of added triangles equals the prescribed Betti number. The maximizer is unique up to isomorphism except when this number is three or four, for which we describe all additional extremal complexes. The proof uses homological constraints and Perron vector estimates to establish the full cone structure, followed by an exact Schur complement comparison to classify the added triangles. We also obtain an asymptotic expansion of the maximum spectral radius and extend the extremal result to Betti numbers growing more slowly than the fourth root of the number of vertices. These results provide a two-dimensional counterpart of spectral extremal theorems for connected graphs with a prescribed cyclomatic number.
Edge-addition monotonicity of positive p-energy fails for every p >= 1
At a 2021 AIM workshop, Guo conjectured that the positive square energy s+ = E+_2 should inherit the familiar edge-addition monotonicity of the spectral radius, rho(G + uv) >= rho(G). That conjecture was subsequently shown to fail at p = 2. Tang, Liu, and Wang then introduced positive p-energy, proved nonmonotonicity for every 1 <= p < 3, and in version 3 of their preprint (26 March 2025) explicitly conjectured that monotonicity should hold for p >= 3. We disprove this conjectured high-exponent extension completely: for every real p > 2 there are infinitely many connected graphs G and nonedges uv such that E+_p(G + uv) < E+_p(G).
Together with the Tang-Liu-Wang counterexamples below 3, this shows that no exponent p >= 1 restores the spectral-radius-style monotonicity: positive p-energy can decrease under the addition of an edge for every real p >= 1.
The construction is a chain of clique blocks joined by regular bipartite graphs. An equitable quotient converges to Q = I + cA(P_k). For noninteger p, a binomial-series sign argument for a fractional power of I - cA(P_k) gives the required negative endpoint entry. At integer exponents, choosing c across the first spectral threshold leaves exactly one negative eigenvalue, and path locality forces the positive spectral contribution to have negative sign. We also give a fully rational 38-vertex certificate at p = 4 and determine the complete failure interval of a fixed 17-vertex counterexample at p = 3.
A Four-Connected Graph without a Legal System
In a 2021 paper, Jankiewicz, Norin, and Wise asked whether there exists a finite $4$-connected graph of girth at least four and nonnegative Charney--Davis curvature such that no $4$-connected ordinary subgraph admits a legal system. We construct such a graph by starting from the hexagonal prism and attaching three $K_{3,4}$-based caps along pairwise disjoint induced $4$-cycles. The key structural input is a restriction theorem showing that a legal system on an induced-$4$-cycle amalgam restricts to each side, so the obstruction carried by the negatively curved prism survives the attachments. The resulting $33$-vertex graph is $4$-regular and $4$-connected, has girth four and Charney--Davis curvature one, and, by $4$-regularity, is its own unique $4$-connected ordinary subgraph.
Settling the total domination-annihilation conjecture for graphs with minimum degree two
The total domination number $γ_t(G)$ of a graph $G$ is the minimum cardinality of a set $D\subseteq V(G)$ such that every vertex of $G$ has a neighbor in $D$. The annihilation number $a(G)$ is the largest integer $k$ for which the sum of the $k$ smallest degrees of $G$ is at most $|E(G)|$. A well-known conjecture, originating from Graffiti.pc and later formulated explicitly by Desormeaux, Haynes, and Henning, asserts that $γ_t(G)\le a(G)+1$ for every connected nontrivial graph $G$. The conjecture is known for graphs of minimum degree at least three and for several classes of graphs having vertices of degree one or two. In this paper we settle the minimum-degree-two case. More precisely, we prove $γ_t(G)\le a(G)+1$ for every connected graph $G$ with $δ(G)=2$. The proof combines two sharp bounds on the total domination number with an estimate for the annihilation number. Moreover, in some specific cases, the stronger inequality $γ_t(G)\le a(G)$ holds.
Long Cycles in 2-Connected Tough Graphs
Let $G$ be a graph. The circumference of $G$, denoted by $cir(G)$, is the length of a longest cycle in $G$, or zero if $G$ is acyclic. In 1993, Broersma, van den Heuvel, Jung, and Veldman conjectured that, for every $t>0$, there is a constant $A=A(t)>0$ such that every 2-connected $t$-tough graph of order $n$ has circumference at least $A\log n$; the conjecture is recorded as Conjecture~2 in the 2006 survey on toughness by Bauer, Broersma, and Schmeichel. In this note, we confirm the conjecture. More precisely, every 2-connected $t$-tough graph $G$ of order $n$ satisfies $cir(G)\ge \lceil \log_k((k-1)n+1)\rceil$, where $k=\lceil 1/t\rceil+2$. The proof combines Win's bounded-degree spanning tree theorem with the theorem of Briański, Joret, Majewski, Micek, Seweryn, and Sharma that the treedepth of a 2-connected graph is at most its circumference.
Kriesell's conjecture for infinite graphs
Let $G$ be a graph and $S\subseteq V(G)$ be a subset of vertices. An $S$-Steiner tree $T$ of $G$ is a tree of $G$ which contains $S$ in its vertex set $V(T)$. Kriesell conjectured that for every $2k$-edge-connected subset $S\subseteq V(G)$ in a finite connected graph $G$, there exist $k$ pairwise edge-disjoint $S$-Steiner trees. This conjecture is false for infinite graphs. We present a version of Kriesell's conjecture with topological $S$-Steiner trees for countable finitely edge-separable graphs and a version with $F$-limits of trees for rayless graphs.
We show that if Kriesell's conjecture holds for finite graphs, then it holds for every connected, rayless and finitely edge-separable graph. We also show that every $2k$-edge-connected rayless and finitely edge-separable graph contains $k$ pairwise edge-disjoint spanning trees.
Conditions for traceability under a bound on the size of even-distance sets
We make partial progress towards a proof of Conjecture 189 of Written on the Wall II by showing that a connected graph $G$ satisfying $\max\{\mathrm{dist_{even}}(v):v\in V(G)\}\le d_2+1$, where $\mathrm{dist_{even}}(v)$ is the number of vertices at an even distance from $v$ and $d_2$ is the second smallest degree of $G$, is traceable whenever at least one of four conditions holds. These conditions involve the vertex-connectivity, order, and diameter of $G$.
Fort Abundance in Zero Forcing
This paper paper concerns the study of forts, the sets that obstruct zero forcing. We show that every block graph on $n$ vertices has at least $n/3$ minimal forts, extending a recent bound for trees by Cameron and and Li (arXiv:2512.12874). The number of forts, and with it the number of compatible collections, grows exponentially for every tree, every connected non-star graph of bounded degree, and every connected graph of linear minimum degree, answering a question in the negative by Hicks et al. (INFORMS Journal on Computing 2022) for these graph classes. We finish by counting the minimal forts of a tree exactly, in linear time and space.
Distinguishing adjacent vertices by ordering edges
The 1-2-3 Conjecture states that for every graph without isolated edges, there exists an edge-weighting from $\{1,2,3\}$ such that adjacent vertices receive distinct sums of weights on their incident edges. In the sequence variant, adjacent vertices are to be distinguished by the sequences of weights on their incident edges. In this paper, we investigate whether, for every graph without isolated edges and for a fixed proper edge colouring (where colours are interpreted as weights), there exists a global total order of the edges such that the resulting sequences of incident weights distinguish adjacent vertices. For connected graphs, we prove that such an order exists whenever there exist two adjacent vertices that have distinct sets of incident weights. This yields a positive answer for every proper edge colouring of a connected non-regular graph or a connected graph of class two. Moreover, a probabilistic argument gives the same conclusion for connected regular graphs of degree at least six.
Lifting and Folding: A Framework for Unstable Graphs and TF-Cousins
A graph $G$ is unstable if its canonical double cover, CDC$(G)$, has strictly more automorphisms than Aut$(G)\times\mathbb{Z}_2$. A related question is whether two non-isomorphic graphs can share the same CDC. We place both problems in a unified framework of lifting and guided folding, showing that both are governed by conjugacy classes of strongly switching involutions in Aut(CDC$(G)$). Our approach uses two-fold isomorphisms (TF-isomorphisms), together with lifting and guided folding adapted from voltage-graph theory. Lifting a TF-isomorphism $(α,β):G\to H$ produces a digraph isomorphic to the alternating double cover of $G$. Folding it back yields a graph TF-isomorphic to $G$: if the result is non-isomorphic to $G$, the two form a TF-cousin pair; if it coincides with $G$, then $(α,β)$ is a non-trivial TF-automorphism and $G$ is unstable. Each guide corresponds to a switching involution of Aut(CDC$(G)$), and distinct conjugacy classes can produce distinct non-isomorphic base graphs sharing the same CDC. The framework generates TF-cousin pairs and unstable graphs from the seed pair $(C_k\cup C_k,C_{2k})$ for odd $k$. We introduce the claw graph family CG$(n)$ and prove that CG$(n)$ and its companion CG$'(n)$ are TF-cousins if and only if $n$ is odd. For $n=1$ the pair consists of the Petersen graph and a companion cubic graph on 10 vertices, with the Desargues graph as their common CDC. For each odd $n\geq3$ the construction yields a new pair of non-isomorphic cubic graphs sharing the same CDC. We conjecture that in every TF-cousin pair one member contains two vertex-disjoint copies of $C_k$ and the other contains $C_{2k}$ for some odd $k$, and that every unstable asymmetric graph contains both $C_k$ and $C_{2k}$ for some odd $k$. The first conjecture has been verified computationally for all connected graphs on at most 9 vertices.
Sequence b-colorings in graphs
We introduce and begin the study of sequence b-colorings, a natural generalization of the classical notion of b-colorings introduced by Irving and Manlove in 1999. In a sequence b-coloring, each color class is required to contain a prescribed minimum number of color-dominating vertices (CDVs). We establish several fundamental properties of the associated parameters, prove that every sequence is realizable, and show that the problem of deciding whether a particular graph realizes a particular sequence is NP-complete. We also characterize the sequences realized by cycles, obtain results on regular graphs with prescribed girth, and investigate colorings requiring one additional CDV, including a characterization of connected graphs with chromatic number $3$ for which no such coloring exists.
Removable matchings in $2$-connected graphs
A matching $M$ of a $2$-connected graph $G$ is removable if $G-M$ is $2$-connected, extending Halin's classical notion of a removable edge. We prove that for every integer $d\ge 5$, every $2$-connected graph $G$ with $δ(G)\ge d$ and $|V(G)|\ge 2d$ has a removable $d$-matching. This is best possible, since the complete bipartite graph $K_{d,\,n-d}$ on $n\,(\ge 2d)$ vertices has no $(d+1)$-matching. Consequently, our result gives a complete answer, for every $d\ge 5$, to a question of Li, Zhou, Fujita, and Mao on the maximum size of a removable matching guaranteed by the minimum degree. The previously best known bound, due to Li, Zhou, Fujita, and Mao and to Chu, Kim, and Park, guaranteed a removable $(d-2)$-matching under the same assumptions. Our proof is based on an analysis of \emph{minimal non-removable matchings}, matchings that are not removable although all of their proper submatchings are.