graph
35150 papers tagged with this keyword
Field independence of the first seven Betti numbers of flag complexes
In 2006, Katzman showed that the first six Betti numbers of the Stanley--Reisner ring of a flag complex are field independent. He also found flag complexes on eleven vertices whose eighth Betti number depends on the field, and asked whether the seventh is always field independent. We answer this affirmatively by proving a stronger, purely topological result. Let $τ(d)$ be the least number of vertices of a flag complex whose $d$-th reduced integral homology has torsion. We prove that $τ(d)\geq d+10$ for every $d\ge0$. This bound yields the field independence of the seventh Betti number. Equivalently, combining our result with Katzman's, for every finite simple graph $G$, the first seven Betti numbers of the edge ideal $I(G)$ are field independent.
Evaluating $\mathrm {SU}(3)$ Verlinde sums using spectral graph theory
We realize the $\mathrm{SU}(3)$ Verlinde sums $V_n(m)$, up to an explicit factor, as the values at $n$ of the spectral zeta function of a higher-order Laplace operator on the triangular discrete torus on $m^2$ vertices. For fixed $m$, we express their generating function in terms of the logarithmic derivative of an associated even spectral polynomial and express this polynomial as an explicit iterated resultant. Exploiting permutation symmetry, we prove that this polynomial is a cube over $\mathbb{Q}$, apart from an explicit quadratic factor when $3\mid m$. This factorization yields shorter linear recurrences satisfied by $V_n(m)$ with constant coefficients. We also derive Binet-type formulas expressing $V_n(m)$ as finite linear combinations of powers of rescaled inverse squares of the roots of the spectral polynomial. These results provide an efficient algorithm for computing these Verlinde sums. Several fully developed examples demonstrating computational efficiency of the method are given, including expressions in terms of Fibonacci and Lucas numbers.
Sharp Bounds for Kulli-Basava Indices of Graphs
In this paper, we establish formulas and sharp bounds for general Kulli-Basava indices and characterize graphs that attain these bounds. These indices have been shown to possess strong discriminating power for distinguishing nonisomorphic chemical structures. They are based on the edge neighborhood degrees of vertices in a graph. We also establish bounds for several classes of graphs, including triangle- and quadrangle-free graphs and graphs with a prescribed clique number. The formulas and bounds depend on the numbers of vertices and edges, the minimum and maximum edge neighborhood degrees, and the first Zagreb index.
A tris of perfect matchings in bridgeless claw-free cubic graphs
A proof of the cycle double cover conjecture was recently announced, yielding an $8$-cycle double cover for every bridgeless graph. The stronger $5$-cycle double cover conjecture, which is still open, is equivalent to the statement that the edge set of every bridgeless claw-free cubic graph can be covered by at most four perfect matchings. Perfect matchings in bridgeless cubic graphs have been studied extensively, with two of the main conjectures in this area being the Berge--Fulkerson and the Fan--Raspaud conjectures. The latter, a consequence of the former, states that every bridgeless cubic graph admits three perfect matchings $M_1, M_2, M_3$ such that $M_1\cap M_2\cap M_3=\emptyset$. Here we show that the Fan--Raspaud conjecture is true for bridgeless claw-free cubic graphs. This also gives further information on the interaction of perfect matchings in a class where the $5$-cycle double cover conjecture requires control of four of them.
Biplanar graphs with independence number two are 9-colorable
A graph is biplanar if it is the union of two planar graphs on the same vertex set. The largest chromatic number of a biplanar graph is known to lie between 9 and 12. The lower bound comes from Sulanke's graph, which has independence number 2, and a biplanar graph on 19 vertices with independence number 2 would have chromatic number at least 10. Gethner and Sulanke asked in 2009 whether such a graph exists. We show that it does not, and more generally that every biplanar graph with independence number at most 2 is 9-colorable. The proof embeds a hypothetical counterexample in the union of two sphere triangulations, enumerates with SAT modulo symmetries the 3271 graphs that pass a necessary filter for the complement of such a union, and shows with a SAT solver that none of them is such a complement; a matching argument reduces the general statement to this computation and one further case on 18 vertices. The computational part of the proof, including the completeness of the enumeration and every refutation, is checked in Lean 4, assuming three classical facts about planar graphs. The Lean development, the SAT instances, and the enumeration certificates are available on Zenodo.
A General Upper Bound on Multicolor Ordered Ramsey Numbers
We provide a general upper bound on multicolor ordered Ramsey numbers in terms of the interval chromatic number and the degeneracy of an ordered graph. We extend previous results by Conlon, Fox, Lee, and Sudakov (2017) by showing that for every $n$-vertex ordered graph $G^<$ with degeneracy $d\geq2$, and interval chromatic number $χ$, its $q$-color ordered Ramsey number satisfies $r_<(G^<;q) \in n^{O(d^{q-1}\lceil \logχ\rceil^{q-1})}$ for every $q \geq 2$. For fixed parameters $q,d,χ$, the resulting estimate is polynomial in $n$. For triangle-free ordered graphs $G^<$, we also provide the stronger estimate $n^{O(q^2d {\lceil \log χ\rceil}^{q-1})}$. It also follows from a recent result by Li (2026) that our upper bound is almost tight for ordered matchings.
Typical properties of countable graphs: flows and bridges
This paper has two aims. First, we study nowhere-zero flows in countably infinite graphs, observing the different roles played by two types of bridge. Second, we ask how typical graphs with such bridges are. Since there is no canonical probability measure on countable graphs, we explore an analytic approach and study which graph classes are nowhere dense and which are meager for two different definitions of a distance. We characterize in this sense graphs with a bridge (separating a finite component, or two infinite ones), $D$-edge-colorable graphs, etc.
The integrability of sesqui-regular graphs with smallest eigenvalue at least $-3$
In this paper, we prove that every connected sesqui-regular graph with parameters $(n,k,c)$, where $c\geq3$, and with smallest eigenvalue in $[-3,-2)$ is $1$-integrable if its valency is sufficiently large. The bound on $c$ is optimal: for every integer $t\geq2$, the Cartesian product of the Shrikhande graph and $K_t$ is a connected sesqui-regular graph with parameters $(16t,t+5,2)$ and smallest eigenvalue $-3$, but it is not $1$-integrable.
A Bondy-type theorem for rainbow pancyclicity in graph systems
We establish a Hamiltonian-to-pancyclic analogue of Bondy's theorem for graph systems under an aggregate degree condition. Let $\G=(G_1,\ldots,G_n)$ be a graph system on a common $n$-vertex set $V$, and write $δ(v)=\min_{i\in[n]}d_{G_i}(v)$. If $\G$ contains a rainbow Hamilton cycle and \[
\sum_{v\in V}δ(v)\ge
\left\lceil\frac{n^2}{2}\right\rceil-1, \] then $\G$ is rainbow pancyclic, unless $n$ is even and every member is the same balanced complete bipartite graph. For even $n$ the threshold is exact at the integer level.
Unlike the usual transversal Dirac- or Ore-type hypotheses, our condition is not layerwise: the member attaining $δ(v)$ may depend on $v$, and some vertices may have $δ(v)<n/2$. Relative to a fixed rainbow Hamilton cycle, we count shortcuts whose colors are released by the Hamilton arcs they replace. A missing cycle length forces complementary shortcut supports to cross-intersect. A counting gap settles even shortening, while equality or near equality in odd shortening yields a distance-two exchange whose orbits force the balanced bipartite obstruction. At the lower integer threshold an exact defect identity shows that only one or two units of slack are available.
\noindent\textbf{Keywords:} graph system; rainbow cycle; pancyclicity; Hamilton cycle; extremal graph theory.
Generalized Duke's theorem for signed Graphs
Duke's interpolation theorem states that the orientable genera of a connected graph form an integer interval, and Stahl established the corresponding result for nonorientable embeddings. In 1991, Širáň showed that this interpolation property fails for signed graph embeddings: the Euler-genus spectrum of a signed graph may contain gaps. He subsequently asked whether all such gaps must occur at the lower end of the spectrum.
In this paper, we establish a characterization of the Euler-genus spectrum of a connected signed graph. We prove that, for each parity class, the Euler genera form a step-two interval. Moreover, whenever both parity classes are nonempty, their maximum elements differ by one. As an consequence, if two consecutive integers $k$ and $k+1$ belong to the Euler-genus spectrum, then every integer from $k$ to the maximum Euler-genus also belongs to the spectrum, thereby answering Širáň's question affirmatively. Our proof uses the pre-signed graph representation of signed embeddings together with ordered adjacent-exchange operations and a matching interpretation of face numbers.
On Arc-Transitive Regular Covers of Cubic Edge-Primitive Graphs
We determine, up to isomorphism of the covering graphs, the connected arc-transitive regular covers of cubic edge-primitive graphs whose covering transformation group is cyclic or elementary abelian of order $p^2$, where $p$ is a prime. Combining the known classifications for the base graphs ${\rm K_{3,3}}$ and ${\rm DC_{14}}$ with new arguments for ${\rm F30A}$ and ${\rm F102A}$ gives the full list in these two classes of covering groups. In the cyclic case, the covers of ${\rm F30A}$ and ${\rm F102A}$ are ${\rm F90A}$ and ${\rm F204A}$, respectively. In the elementary abelian case, neither ${\rm F30A}$ nor ${\rm F102A}$ admits an arc-transitive regular $\mathbb{Z}_p^2$-cover, so the base graph is ${\rm K_{3,3}}$ or ${\rm DC_{14}}$.
Symmetric polyhedral scenes and parallel redrawings
Liftings and parallel redrawings are classical topics in applied discrete geometry, concerned respectively with vertically lifting a $(d-1)$-picture -- a realisation of a vertex-hyperplane incidence geometry in $\mathbb{R}^{d-1}$ -- to a $d$-dimensional polyhedral scene, and with redrawing a $d$-picture (or hyperplane arrangement) within $\mathbb{R}^d$ while preserving prescribed hyperplane normals. In this paper, we develop a unified framework for the analysis of forced-symmetric liftings and forced-symmetric parallel redrawings. In particular, we show that the classical duality for these theories also appears in the forced-symmetric setting. We establish the orbit lifting matrix and the orbit concurrence geometry matrix, and show that they are the appropriate symmetry-adapted analogues of the standard lifting matrix and concurrence geometry (or parallel redrawing) matrix. We also make explicit the relationship with the orbit version of Whiteley's parallel design matrix for graphs. Using these tools, we derive necessary conditions for symmetric pictures to be forced-symmetric flat, and for symmetric hyperplane arrangements to be forced-symmetric robust, expressed as sparsity counts on the group-labelled quotient graphs associated with the symmetric incidence geometries. Finally, we discuss conjectures regarding the sufficiency of these conditions for generic configurations.
Prime-valent Symmetric Cayley Graphs of Characteristically Simple Groups
Let $\Ga$ be a connected prime-valent $X$-arc-transitive Cayley graph of a finite characteristically simple group $G\cong T^k$, where $k\geqslant2$. We obtain a precise structural characterization of such graphs and their arc-transitive automorphism groups. In the cubic case, every connected symmetric Cayley graph of $T^k$, where $T$ is a finite nonabelian simple group, is normal.
On the Tutte polynomial of series-parallel posets
The Tutte polynomial is a bivariate polynomial that has been extensively studied in graph and matroid theory. Gordon was the first to study the Tutte polynomial $T(P;x,y)$ of the greedoid induced by a poset $P$, including the special case of series-parallel posets. In particular, Gordon and McMahon conjectured that, for any two series-parallel posets $P$ and $Q$, the equality $T(P;x,y)=T(Q;x,y)$ holds if and only if $P\cong Q$. In studying this conjecture, Gordon introduced a subclass $\mathcal{P}$ of series-parallel posets and proved that this equivalence holds for all $P,Q\in\mathcal{P}$. In this paper, we introduce a new subclass $\mathrm H$ of series-parallel posets and prove that $\mathcal P\subseteq\mathrm H$. Moreover, we show that, for every $P\in\mathrm H$ and every $Q\in\mathrm{SP}$, the equality $T(P;x,y)=T(Q;x,y)$ holds if and only if $P\cong Q$, thereby extending Gordon's result.
Chromatic Extremal Thresholds and the Multipartite $K_4$-Free Problem
For positive integers $n,r,t$, let $δ(n,r,t)$ denote the maximum possible minimum degree of a balanced $r$-partite graph with parts of size $n$ and chromatic number at most $t$. Lo, Treglown and Zhao established a general upper bound for this parameter and used it, together with explicit constructions, to determine the corresponding multipartite clique threshold up to an additive constant in a broad parameter range. I determine the chromatic parameter throughout the range $r=mt-a$, $m\ge2$, $t\ge3$, $2\le a\le \min\{m,t-1\}$. The answer differs from the Lo--Treglown--Zhao upper bound by at most one. I give an explicit arithmetic criterion deciding when this one-unit correction occurs. The proof reduces the problem to an integer matrix extremum. In the boundary case, equality forces the supports of all mixed rows to form a spanning star, after which the only remaining obstruction is a divisibility condition. Combining this formula with the Andrasfai--Erdos--Sos theorem sharpens the known equality range for $f(n,r,t+1)=δ(n,r,t)$. In particular, for $t=3$ it removes the remaining size restrictions at $r=10$ and $r=13$. Together with the $r=7$ result in arXiv:2609.19177, the classical $r=4$ case, and the known congruence classes, this gives a formula for the multipartite $K_4$-free problem for every admissible $r\ge4$ and every $n\ge1$.
Sampling Line-Graph Colorings with Constant Extra Colors
Let $G$ be the line graph of a finite simple graph, with $n\geq1$ vertices and maximum degree $Δ$. We prove that single-site Glauber dynamics for uniform proper $q$-colorings mixes in $O_Δ(n\log(n/\varepsilon))$ steps for every integer $q\geqΔ+5$. Our proof uses the Bochner framework of Chen and Liu (2026).
Homology of matching complexes of $3\times n$ grid graphs
For a finite simple graph $G$, the matching complex $M(G)$ is the simplicial complex whose vertex set is the edge set of $G$ and whose simplices are all the matchings in $G$. The topology of the matching complex of the $m\times n$ grid graph $G_{m\times n}$ is known only for $m = 1,2$, in which cases it is homotopy equivalent to a wedge of spheres. In this article, we study the matching complex $M(G_{3 \times n})$. We prove that for $n\ge2$, its reduced homology vanishes in dimensions $i \leq n-2$ and in top dimension, while $\tilde{H}_{n-1}(M(G_{3\times n}))\neq 0$. We also show that $M(G_{3 \times n})$ is simply connected for $n \geq 3$. Consequently, the topological connectivity of $M(G_{3\times n})$ is $n-2$.
Smallest Cubic Non-1-Planar Graphs
A graph is 1-planar if it has a drawing in which every edge is crossed at most once. We show that the smallest cubic non-1-planar graphs have $30$ vertices. Two such graphs are the Tutte-Coxeter graph of girth eight and a graph of girth seven that we call the Byte graph. Every subcubic graph with fewer than $30$ vertices is 1-planar.
Our proof is computer-assisted, but directly testing all relevant graphs is impractical. To establish non-1-planarity of the two graphs, we extend a SAT-based solver with a custom clause propagator based on separating cycles and a case split based on graph automorphisms, allowing independent cases to be solved in parallel. To show that all smaller subcubic graphs are 1-planar, we introduce the concept of $k$-flexibility: every set of at most $k$ prescribed edges can remain uncrossed in some 1-planar drawing. We use this property to reconstruct 1-planar drawings of larger graphs from drawings of smaller $k$-flexible graphs. This replaces exhaustive testing of more than forty billion cubic graphs with computations on far fewer graphs of smaller order.
Dual-GNN Multilevel Coarsening for Maximum Independent Set
The maximum independent set (MIS) problem is a fundamental NP-hard combinatorial optimization problem with applications in scheduling, resource allocation, and network analysis. Exact solvers can provide high-quality solutions or optimality certificates, but their computational cost grows rapidly with graph size, while hand-crafted heuristics improve scalability at the expense of guarantees. Learning-based methods offer an alternative by exploiting structural patterns across graph instances, yet directly predicting independent sets can make global coordination difficult on large graphs. We instead use learning to guide multilevel graph coarsening while retaining combinatorial search for final decision making. Our Dual-GNN Multilevel Coarsening framework uses a Partition GNN to score candidate contractions and a Representative GNN to select top-k local independent-set states for each final cluster. Experiments on Erdős--Rényi graphs with up to 2,000 vertices demonstrate a favorable quality--runtime trade-off. On 500-vertex instances with certified optima, our method achieves an average independent-set size of 19.20, corresponding to 99.5\% of the optimal value of 19.30, while reducing the mean wall-clock time from 643.57 seconds for exact solving to 3.41 seconds, yielding an approximately 189$\times$ speedup. On larger graphs with 1,000 and 2,000 vertices, our method achieves the best mean solution quality among all evaluated methods. Moreover, although trained only on Erdős--Rényi graphs with edge probability $p=0.35$, the learned coarsening policy generalizes effectively across both unseen graph densities and structurally different graph families.
On the Roots of Connected Domination Polynomials
We determine the closure of the connected domination roots. The main tool is a substitution formula for the lexicographic product with a complete graph, $D_c(G[K_n],x)=D_c(G,(x+1)^n-1)$, proved in Theorem~\ref{thm:cd}. Combined with two explicit families of seed roots---the real roots of the cycles $C_n$ and the real roots of the joins $C_m\vee C_n$ lying in $(-1,0)$---this formula gives the two main results: the closure of the real connected domination roots is $(-\infty,0]$, and the closure of all connected domination roots is the whole complex plane. These are the connected domination analogues of the root-density theorems of Brown and Tufts and of Brown and Beaton for the ordinary domination polynomial.