graph
34489 papers tagged with this keyword
Sharp edge-spectral supersaturation for odd cycles
Let \(G\) be a graph with \(m\) edges and adjacency spectral radius\(ρ(G)\), and let \(N(C_{2k+1},G)\) denote the number of copies of \(C_{2k+1}\) in \(G\). For each fixed integer \(k\ge 2\), define \( g_k(m):=\frac{k-1+\sqrt{4m-k^2+1}}{2}. \) Li, Zhai and Shu [European J. Combin., 2024] determined the spectral extremal threshold for odd cycles by proving that, for all sufficiently large \(m\), every \(C_{2k+1}\)-free graph \(G\) with \(m\) edges satisfies \(ρ(G)\le g_k(m)\).
We establish the asymptotically sharp supersaturation counterpart of their result. More precisely, for every fixed integer \(k\ge 2\), we prove that \[ \inf_{\substack{e(G)=m\\ ρ(G)>g_k(m)}} \frac{N(C_{2k+1},G)}{m^k} =
\frac{\lceil k^2/2\rceil (k-1)!}{(k+1)^k}+o(1) \qquad\text{as }m\to\infty. \] Thus every \(m\)-edge graph whose spectral radius exceeds the \(C_{2k+1}\)-free threshold contains at least \[ \Big( \frac{\lceil k^2/2\rceil (k-1)!}{(k+1)^k}-o(1) \Big)m^k \] copies of \(C_{2k+1}\), and the leading constant is asymptotically best possible.
In particular, taking \(k=2\), we obtain if \( ρ(G)>\frac{1+\sqrt{4m-3}}{2}\) then \( N(C_5,G)\ge \left(\frac{2}{9}-o(1)\right)m^2, \) with the constant \(2/9\) being asymptotically optimal. This answers a question of Chen, Li and Tang concerning the existence and the largest possible value of a constant \(C>0\) for which the same spectral condition guarantees at least \(Cm^2\) copies of \(C_5\). More generally, our result resolves a recent problem of Li, Lin, Liu and Zhang on spectral supersaturation for odd cycles. The proof combines spectral stability and resolvent analysis with estimates for odd spectral moments and a careful treatment of non-injective closed walks.
Multicolor Ramsey numbers of ordered matchings
For an ordered graph $H$ and an integer $q \geq 2$, let $r_{<}(H;q)$ denote the $q$-color ordered Ramsey number of $H$. Conlon, Fox, Lee and Sudakov asked whether, for every $q \geq 3$, there is a constant $c_q$ such that $r_{<}(M;q) \leq n^{c_q\log n}$ for every ordered matching $M$ on $n$ vertices. We answer this negatively in a strong form: for every $q \geq 2$, there is $c_q>0$ such that almost every perfect matching $M$ on $[n]$ satisfies $r_{<}(M;q)>2^{c_q(\log n)^q/(\log\log n)^{q-1}}$. This matches the general upper bound up to a factor of $(\log\log n)^{q-1}$ in the exponent. We also give two applications. First, we prove the lower bound conjectured by Fox, He and Wigderson for multicolor Ramsey numbers of acyclic digraphs of bounded degree. Second, we strengthen a result of Axenovich, Rollin and Ueckerdt by giving a superquasipolynomial lower bound on the maximum chromatic number of $M$-free ordered graphs, for almost every perfect matching $M$ on $[n]$.
Maximizing $K_r + I_r$ in graphs with fixed edge density
For every integer $r\ge4$, and $ρ\in [0,1]$, we asymptotically determine the maximum proportion of $r$-element sets of vertices that induce either a clique or an independent set in a large graph with density $ρ$. This generalizes a result of Olpp for $r=3$.
After the initial idea for the main proof was found by the authors, various AI models were used to streamline the argument and perform the calculations necessary for completion of the proof.
Balanced Spanning Trees for Triangular Strip Lattices
A balanced spanning tree is a spanning tree that contains an edge whose removal partitions the vertices into exactly two connected subtrees of equal size. In this paper, we establish explicit recurrence relations for the number of spanning trees in $2 \times n$ triangular strip lattices- obtained by adding a diagonal edge to each square of a $2 \times n$ grid graph- generalizing combinatorial counting techniques introduced by Raff [Raf08]. We then adapt arguments of Gallagher and Tapp [GT25] to count balanced spanning trees of arbitrary triangular strip lattices. We establish sharp asymptotic bounds for the proportion of balanced spanning trees as $n \rightarrow \infty$. Finally, we determine the probability that a spanning tree of a $2 \times n$ triangular strip lattice chosen uniformly at random is balanced as $n \rightarrow \infty$.
Spectral characterization of the uniform theta graph $Θ(t,2)$ and classification of 6-periodic Grover walks
We characterize the uniform theta graph $Θ(t,2)$ by the spectrum of its normalized adjacency matrix, or equivalently, by the spectrum of its normalized Laplacian matrix. We also investigate the periodicity of Grover walks on nonregular graphs, which is closely related to the eigenvalues of the normalized adjacency matrix and those of the time evolution matrix of the Grover walk. We show that the Dutch windmill graph $D_n^{(t)}$ is $2n$-periodic and that the uniform theta graph $Θ(t,n)$ is $(2n+2)$-periodic. Furthermore, we completely determine the connected $6$-periodic graphs and prove that they are precisely $D_3^{(t)}$ with $t \geq 2$ and $Θ(t,2)$ with $t \geq 1$.
Nonexistence of a Strongly Regular Graph with Parameters (266,45,0,9): A Certificate-Free Lean Proof
We prove that no strongly regular graph with parameters $(266, 45, 0, 9)$ exists. The proof is formalized in Lean 4 and Mathlib without external infeasibility certificates or assumed classification theorems. A hypothetical graph gives a rank-$12$ integral Gram lattice with an integral centroid. A Lorentzian change of form, a marked $D_7$ gluing, and an explicit rank-six complement produce a positive-definite even unimodular lattice of rank $24$, together with the original indexed family of $220$ vectors. Harmonic theta identities and a root-isolation inequality force the root system $A_{11} \perp D_7 \perp E_6$. First and second moments then exclude the possible complements: the final case reduces to an impossible binary projection identity $4x + 4y - 2z = 50$. A type-$A$ subcase is closed by a separate classification-free proof of the known nonexistence of a quasi-symmetric $2$-$(56, 12, 9)$ design with intersections $0, 3$. That argument constructs a Krein graph and forces a Steiner $3$-$(12, 4, 1)$ design, contradicting its replication equation. The formal theorem depends only on the three standard Lean axioms and has also been checked independently with nanoda. The archived formalization is release v2.0.0.
Nowhere-zero $3$-flows in graphs with forbidden edge-cuts
Tutte's $3$-flow conjecture asserts that every $4$-edge-connected graph admits a nowhere-zero $3$-flow. In 2013, Lovász, Thomassen, Wu, and Zhang proved that every odd-$7$-edge-connected graph admits a nowhere-zero $3$-flow; consequently, the conjecture holds for $4$-edge-connected graphs with no edge-cut of size $5$. We consider the complementary situation in which $5$-edge-cuts are allowed. We show that, when edge-cuts of size $5$ are permitted, Tutte's $3$-flow conjecture holds for graphs with no edge-cut of any size from $6$ to $k$, where $k$ is an absolute constant. In fact, $k=40$ suffices and we prove a stronger version in which only nontrivial edge-cuts of those sizes are forbidden. A graph is called essentially $t$-edge-connected if deleting any set of at most $t-1$ edges leaves at most one nontrivial component. Motivated by Jaeger's weak $3$-flow conjecture, we prove an analogous result for essential edge connectivity: every $4$-edge-connected, essentially $41$-edge-connected graph admits a nowhere-zero $3$-flow.
Planarity and number of crossings in general models of random geometric graphs
Consider a random geometric graph with vertices given by a Poisson point process, and whose edges depend on independent marks corresponding to the vertices and pairs of vertices. In this paper, we study two related questions on this general model: the number of edge crossings in a projection of this graph, and its graph-theoretical planarity. We focus on models with heavy-tailed mark distributions, in particular with polynomial tails with arbitrary exponents. We show that the asymptotic behaviour varies significantly depending on this exponent.
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.
When chromatic polynomials coincide with list-color functions: a threshold linear in the maximum degree
Let $G$ be a simple graph with maximum degree $Δ\ge 3$, and let $P(G,k)$ denote its chromatic polynomial. For each positive integer $k$, the list-color function $P_{\ell}(G,k)$ is the minimum number of $L$-colorings of $G$ over all $k$-assignments $L$. In this paper, we prove that $P_{\ell}(G,k)=P(G,k)$ for every integer $k\ge 23.41Δ$. This gives a threshold for equality that is linear in the maximum degree and independent of the number of vertices or edges. It improves the known sufficient condition $k\ge |E(G)|-1$ for graphs with sufficiently many edges relative to their maximum degree.
A Fano framework for binary delta-matroids
Dunshee and Ellingham recently showed that seven natural properties of a cellularly embedded graph form a Fano-plane framework. We establish an analogous framework for binary delta-matroids. For a binary delta-matroid $D$ and $τ$, let $Z_3(D,τ)$ denote its associated binary tight $3$-matroid. The six outer points are represented by evenness or bipartiteness of $D$ and its global vertex-flip transforms. For the seventh point, we call $D$ $Z_3$-bipartite when every circuit of $Z_3(D,τ)$ has even cardinality. We show that the satisfied properties are precisely the nonzero vectors of a subspace of $\Ftwo^3$. For ribbon-graphic delta-matroids, $Z_3$-bipartiteness is equivalent to bipartiteness of the medial graph, so the construction recovers the Fano-plane framework for embedded graphs.
A Chvátal-type codegree condition for Hamiltonian cycles in $k$-uniform hypergraphs
We prove an asymptotic Chvátal-type codegree criterion for tight Hamiltonian cycles in $k$-uniform hypergraphs for every fixed $k\ge3$. The criterion allows small degrees to be compensated by large degrees in the link graphs of $(k-2)$-tuples. It strengthens the asymptotic Dirac-type theorem by Rödl, Ruciński and Szemerédi and implies a Pósa-type criterion conjectured by Schülke.
Cayley Tournaments Simultaneously Critical for the Clique and Dichromatic Numbers
For a tournament $T$, let $ω(T)$ be the minimum clique number among the backedge graphs of $T$, and let $χ(T)$ be its dichromatic number. We give a template-lifting construction. It turns a $k$-template into a regular, vertex-transitive Cayley tournament that is simultaneously $(k+1)$-$ω$-critical and $(k+1)$-$χ$-critical. The output is also a $(k+1)$-template. Iterating the construction, we prove that for every $k\geq3$, there is a positive even integer $m_k$ with the following property. Every $N>1$ with $N\equiv1\pmod{m_k}$ is the order of a regular, vertex-transitive Cayley tournament that is simultaneously $k$-$ω$-critical and $k$-$χ$-critical. This proves a conjecture of Aboulker, Aubian, Charbit, and Lopes and gives a negative answer to their bounded-certificate question when the hypothesis is $ω(T)\geq k$. We also find the clique number of a cyclic substitution when each block satisfies $ω=χ$. We then describe exactly when this substitution is $ω$-critical if the blocks are $χ$-critical and satisfy $ω=χ$.
Extremal Lin--Lu--Yau Curvature: Graph Density, Girth, and Short Cycles
We consider the extremal-curvature problem of optimizing a uniform discrete-curvature lower bound over positive edge weights, and develop this problem here for Lin--Lu--Yau curvature. Let $G=(V,E)$ be a finite connected graph, and let $w:E\to(0,\infty)$ be a positive edge weight. In the fixed-combinatorial-distance weighted Lin--Lu--Yau model, write \[ κ_{\LLY}^w(G):=\min_{e\in E}κ_{\LLY}^w(e) \] and define the extremal Lin--Lu--Yau curvature \[ \Kmax(G):=\sup_{w>0}κ_{\LLY}^w(G). \] For graphs of girth at least $6$ we determine this invariant exactly: \[ \Kmax(G)=\frac{4}{\mad(G)}-2, \] where $\mad(G)$ is the maximum average degree. Equivalently, \[ \Kmax(G) =\min_{\substack{H\subseteq G\text{ connected}\\E(H)\ne\varnothing}} \frac{2(1-β(H))}{|E(H)|}, \] where $β(H)=|E(H)|-|V(H)|+1$ is the cycle rank of the connected graph $H$. Thus, in the high-girth regime, the invariant is a normalized Euler-characteristic density. We characterize attainment in terms of the classical notion of strict balancedness and show that maximizing sequences concentrate, in a precise normalized-incidence sense, on proper densest cores when the supremum is not attained.
For arbitrary finite graphs we isolate the contribution of short cycles by a nonnegative surplus, which vanishes exactly on edges contained in no cycle of length $3$, $4$, or $5$. For edges contained in no triangle, this surplus is the value of an explicit local fractional matching problem. This yields the sharp hierarchy \[ \Kmax(G)\le 4-\ell+\frac{\ell-2}{\mad(G)}, \qquad \girth(G)\ge\ell,\quad \ell\in\{3,4,5,6\}, \] with equality for every finite connected graph when $\ell=6$. We also prove that the attainment is rigid.
Matchings and Clusters on Plabic Fences
Fix two positive braid words $β_+,β_-$, and let $\text{Conf}(β_+,β_-)$ be the corresponding (type A) double Bott-Samelson variety. Let $β$ be a double braid word containing $β_+,β_-$ as the top, bottom words. We consider the open cluster torus $T(C_β)$ associated to a triangulation $C_β$ in $\text{Conf}(β_+,β_-)$ from arXiv:1904.07992, and we identify these with weighted plabic fences, where the usual local moves on planar bipartite graphs naturally correspond to change of torus coordinates in double Bott-Samelson variety. Moreover, $T(C_β)$ can be parametrized explicitly by certain matrix products, and also has monomial coordinates given by the cluster variables, which are matrix minors. We interpret these minors as a generalized notion of perfect matchings on weighted plabic fences, which may not be reduced plabic graphs. Using this interpretation, we show that the cluster variables are given by "generalized minimal matchings", extending the minimal matchings from arXiv:1606.08383. Lastly, we derive a Chamber Ansatz formula for double Bott-Samelson varieties via face alternating products from dimer theory. In general, plabic fences are not reduced plabic graphs, yet we are able to extend and apply the standard tools such as local moves on plabic graphs, trips, and minimal matchings to them.
Coloring Small $K_t$-Minor-Free Graphs
Delcourt and Postle proved that every $K_t$-minor-free graph is $O(t\log\log t)$-colorable and reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. In this paper, we use the star contraction technique to improve their bound for small graphs and use their reduction to extend this improvement to all $K_t$-minor-free graphs. Thus we improve their $O(t\log\log t)$ bound to $O(t\sqrt{\log\log t})$.
Orthogonal signed graphs of degree 5
An orthogonal signed graph is a connected signed graph whose signed adjacency matrix has pairwise orthogonal rows. They are closely related to Hadamard matrices, maximal arrangements of equiangular lines, bipartite Ramanujan graphs, and the remarkable resolution of the Sensitivity Conjecture. Orthogonal signed graphs of degree at most 4 have been completely classified, and partial results were known for degree 5. We complete the classification of orthogonal signed graphs of maximum degree 5. We also provide several new infinite families of 6- and 8-regular orthogonal signed graphs.
A graph reconstruction problem involving common neighbors
Given a simple graph $G = (V, E)$ on $v$ vertices and two distinct vertices $x, y \in V$, the co-degree $c_{x,y}$ associated to the pair $\{x, y\}$ is the number of their common neighbors in the graph $G$. The co-degree sequence of $G$, denoted by $γ(G)$, is the list of all the co-degrees associated to all the possible pairs of distinct vertices, arranged in non-increasing order. In this paper we consider the following problem, which can be viewed as a generalization of a result by Erdős and Gallai as well as of the Erdős, Rényi and Sós' friendship theorem: given an integer $v\geqslant 2$ and a sequence $γ$ of nonnegative integers arranged in non-increasing order, establish if there exists a simple graph on $v$ vertices having $γ$ as its co-degree sequence and, in case of positive answer, provide such a graph. We provide a full answer to this problem for the class of planar $C_4$-free graphs.
Graph-based automata
We study graph-based automata: nondeterministic finite automata obtained from edge-colored or oriented graphs by taking every vertex as both initial and accepting, and every edge as a pair of opposite transitions. The language of these automata corresponds to the set of edge-colored or oriented paths mapping to their corresponding graphs. We develop an analogous notion for trees and characterise the languages recognised by these models. For tree languages we prove the existence of a unique size- minimal graph and, more generally, a homomorphism-minimal graph for both word and tree languages using duality methods. In order to further motivate these models, we showcase a few results at the inter- section between graph theory and automata theory: We relate graph-based automata to reversible automata, give a decomposition of graph-based languages into reversible languages, and introduce the remanent language of an undirected graph as the inter- section of all its orientations. This remanent language captures structural information on the graph such as chromatic number.
Coloring graphs with no long induced path
Let $P_t$ denote the induced path on $t$ vertices. Let $ω(G)$ denote the maximum number of vertices in a clique of a graph $G$. Previously Gyárfás (1987) proved that every $P_t$-free graph $G$ satisfies $χ(G)\le(t-1)^{ω(G)-1}$, and Gravier, Hoàng, and Maffray (2003) improved this to $χ(G)\le (t-2)^{ω(G)-1}$ for $t\ge4$. We prove that for $t\ge5$,every $P_t$-free graph $G$ satisfies $χ(G)<c_tλ_t^{ω(G)-1}$, where $λ_t=\tfrac12\bigl(t-2+\sqrt{t(t-4)}\bigr)<t-2$ and $c_t=\sqrt{1+4/(t(t-4))}=1+O(t^{-2})$ as $t\to\infty$. The proof is based on a refinement of the Gyárfás path argument and was found by Claude Fable 5.1 of Anthropic.