graph
35150 papers tagged with this keyword
A Proof of the Linear Hadwiger Conjecture
We show that there exists $C\in\mathbb{N}$ such that $K_t$-minor free graphs are $Ct$-colorable.
The proof was found by GPT-6 Astra, following the directions by the authors.
Quantum n-coloring is undecidable for every n $\ge$ 3
The quantum $n$-coloring problem, given graph $G$, asks whether there exists a perfect quantum strategy for the $n$-coloring game of $G$. Previously it was known that quantum $n$-coloring is undecidable only for $n=3$. We extend this to all $n\geq 3$ with one elementary reduction. Letting $G'=(G\square K_3)\lor K_{n-3}$, we show that $G$ is quantum $3$-colorable if and only if $G'$ is quantum $n$-colorable.
Asymptotic Spectral Bounds under Odd-Girth Constraints
Odd girth and the sum of the largest and smallest adjacency eigenvalues are two common indicators of how close a graph is to being bipartite. This paper investigates the asymptotic behavior of this eigenvalue sum under odd-girth constraints. We study the associated abstract moment problem over finite real lists satisfying the vanishing odd-moment identities imposed by odd girth at least $g$ and the standard second-moment bound for graph spectra. We prove that the supremum of $(λ_1+λ_n)/n$ over these lists lies between $(1-o(1))(\log g)^2/g^3$ and $(10/7+o(1))(\log g)^2/g^3$ as $g\to\infty$ through the odd integers. The upper bound applies in particular to graphs of odd girth at least $g$.
For regular graphs of odd girth $g\geq5$, we obtain a stronger bound $(λ_1+λ_n)/n \leq 12/((g-1)(g-2)(g-3))$, which is optimal up to a constant factor.
Connectivity of the reconfiguration graph of Hamiltonian paths
A backbite on a Hamiltonian path of a graph $G$ adds an edge of $G$ from an endpoint $u$ of the path to a vertex $v$ and deletes an edge of the path at $v$ so that the result is again a Hamiltonian path. We study the connectivity of the reconfiguration graph $R(G)$, whose vertices are the Hamiltonian paths of $G$, with two adjacent when a single backbite carries one to the other. We prove that $R(G)$ is connected whenever $G$ contains the square of a Hamiltonian path as a spanning subgraph, and that any two Hamiltonian paths can be reconfigured using $O(n^2)$ backbites. Combining the theorem with known results on spanning squared paths gives connectivity for every graph with $δ(G)\ge\lceil\frac{2n-1}3\rceil$, for the circulants $\mathrm{Circ}(n;S)$ with $a,2a\in S$ for some $a$ coprime to $n$, and, with high probability, for the random graph $G(n,p)$ with $p\ge c/\sqrt n$, for a sufficiently large constant $c$. In the other direction, graphs with arbitrarily high connectivity may have disconnected reconfiguration graphs. For every $n\ge8$ and every $1\le m\le\lfloor n/2\rfloor-3$ we construct a graph on $n$ vertices with $κ=λ=δ=m$ whose reconfiguration graph is disconnected, with at least $(n-2m-4)!$ components. We conjecture that $δ(G)\ge n/2$ suffices for connectivity.
An asymptotically tight bound on oriented diameter
Let $f(d)$ be the smallest integer such that every connected bridgeless graph of diameter $d$ admits an orientation with directed diameter at most $f(d)$. Chvátal and Thomassen (1978) proved $\left\lceil{d^2}/{2}\right\rceil+d\le f(d) \le 2d^2+2d$. In this paper, we prove that $f(d)\le \left\lceil d^2/2\right\rceil+6d$, which shows $f(d)= d^2/2+Θ(d)$ and determine the leading quadratic coefficient of $f(d)$.
The key method of our proof is to construct a central subgraph $H$ such that it admits a strong orientation of diameter $O(d)$ and the distance between $H$ and every vertex outside $H$ is at most $ d/2 $.
Uniform positivity of the tau invariant
We prove the Baker--Rumely conjecture that the tau invariant of a metrized graph admits a positive lower bound proportional to its total length, with an absolute constant. We also construct simple cubic metrized graphs whose normalized tau invariants tend to $59/7260<1/108$, disproving the proposed universal constant $1/108$. The lower bound is independent of the genus, the number of edges, and the distribution of edge lengths. Its proof combines a second-moment inequality for Euclidean lattices with a partition of the edge coordinates of a cycle lattice into three independent sets. The counterexamples have only two edge lengths and admit an elementary resistance calculation. Through the tropical moment identity, the lower bound also gives a uniform estimate for the non-archimedean terms in height formulas for Jacobians.
Asymptotic spectral radius of nonregular graphs
Let $λ_1(n,Δ)$ be the maximum adjacency spectral radius among connected nonregular simple graphs of order $n$ and maximum degree $Δ$. Using effective resistance bounds, explicit comparison graphs and a one-dimensional Wirtinger inequality, we prove that, for every fixed integer $Δ\ge3$, $λ_1(n,Δ)=Δ-\frac{c_Δπ^2}{4n^2}+O_Δ(n^{-5/2})$, where $c_Δ=Δ-1$ for odd $Δ$ and $c_Δ=2(Δ-2)$ for even $Δ$. This proves the asymptotic conjecture posed by Liu [J. Combin. Theory Ser. B 169 (2024), Conjecture 7.1].
A note on the injective edge coloring of graphs with bounded maximum degree
Let $G$ be a graph. Under an \emph{injective edge coloring} of $G$, any two edges at distance $2$ or belonging to a common triangle receive distinct colors. The \emph{injective chromatic index} of $G$, denoted by $χ'_{inj}(G)$, is the smallest integer $k$ such that $G$ admits an injective edge coloring with $k$ colors. Let $Δ$ be the maximum degree of $G$. Ferdjallah et al.~proved that $χ'_{inj}(G) \le 2(Δ-1)^2$. In this paper, we improve this bound by proving that $χ'_{inj}(G) \le 2(Δ- 1)^2 -Δ+ 3$ if $Δ\ge 4$.
Even cycle decomposition thresholds for dense multipartite graphs
Let $r\geq 2$ be an integer. An $r$-partite graph $Γ$ with vertex partition $V_1,\ldots,V_r$ is $2$-balanced if there exists a positive integer $n$ such that $n\leq |V_i|\leq 2n$ for every $i\in[r]$. For an integer $\ell\geq3$, let $C_\ell$ denote the cycle of length $\ell$, and define $\hatδ(Γ)=\min\{d_Γ(v,V_i)/|V_i|:i\in[r],\ v\in V(Γ)\setminus V_i\}$. Let $\hatδ^r_{C_\ell}$ denote the $C_\ell$-decomposition threshold for $2$-balanced $r$-partite graphs, that is, the least nonnegative real number $δ$ such that, for every $\varepsilon>0$,
there exists $n_0$ such that every $C_\ell$-divisible $2$-balanced $r$-partite graph $G$ with $\min_i|V_i|>n_0$ and $\hatδ(G)\geqδ+\varepsilon$ admits a $C_\ell$-decomposition. We prove that $\hatδ^{r}_{C_4}=\frac{2}{3}$ and $\hatδ^{r}_{C_{2k}}=\frac{1}{2}$ for every $r\geq2$ and every $k\geq3$.
Spectral extremal graphs for $W_5$-free graphs with odd size
For a fixed integer $k\ge 2$, let $W_{2k+1}=K_1\vee C_{2k}$ be an odd wheel graph. The fixed-size spectral extremal problem aims to determine \[
\operatorname{spex}(m,W_{2k+1}):=\max\{ρ(G): e(G)=m,\ G \text{ is } W_{2k+1}\text{-free}\}, \] where $ρ(G)$ denotes the adjacency spectral radius. Based on this problem, Yu, Li, and Peng [12] proposed the following conjecture: When $m-\binom{k}{2}$ is divisible by $k$ and $m$ is large, every $W_{2k+1}$-free graph of size $m$ satisfies \(
ρ(G)^2-(k-1)ρ(G)\le m-\binom{k}{2} \) with equality precisely for $K_k\vee qK_1$. For nonzero residue class, Yu, Zhang, and Zhang [13] proposed the following conjecture: Let $r$ be a nonzero remainder when $m-\binom{k}{2}$ is divided by $k$ and $m$ is large. Then $S_{k,m}$ is the unique graph among $W_{2k+1}$-free graphs of size $m$ having maximum spectral radius, where $S_{k,m}$ is obtained from $K_k\vee qK_1$ by adding a vertex $z$ and joining it to exactly $r$ vertices of the $K_k$. Very recently, Fang, Zhai and Zhang [4] confirmed the Yu--Li--Peng conjecture for $k\ge 2$. Chen, Gao and Li [2] confirmed Yu-Zhang-Zhang conjecture for $k\ge 3$. When $k=2$, then $W_5=K_1\vee C_4$. For large odd $m$, determining $\operatorname{spex}(m,W_5)$ is still open. In this paper we address the odd-size problem. Our result disproved Yu-Zhang-Zhang conjecture for $k= 2$. In our proof, a universal defect bound shows that only $O(1)$ edges can lie outside the dense core. Perron localization then reduces this to at most one edge. A discrete defect inequality forces the complete bipartite crossing and quantizes the two matching deficiencies. Exact quotient-polynomial comparisons eliminate the remaining cross-edge and odd--odd candidates.
Extremal Lin--Lu--Yau Curvature: Graph Density, Girth, and Short Cycles
We develop a variational framework for extremal Lin--Lu--Yau curvature under positive edge reweighting with the combinatorial metric fixed. For a connected locally finite graph $G$, define \[ \Kmax(G) := \sup_{w>0}\inf_{e\in E(G)}κ_{\LLY}^w(e). \] This invariant relates edgewise discrete curvature to global combinatorial and topological data. In the high-girth regime, we prove for every connected locally finite graph the exact identity \[ \Kmax(G)=\frac4{\mad(G)}-2, \] with the convention $1/\infty=0$. The formula is also equivalent to a normalized Euler-characteristic density: \[ \Kmax(G) =
\inf_{\substack{H\subseteq G\text{ finite}\\E(H)\ne\varnothing}} \frac{2(c(H)-β(H))}{|E(H)|}. \] For arbitrary locally finite graphs, a nonnegative short-cycle surplus yields girth-dependent density bounds, with rigidity results in the finite case. We also classify the locally finite graphs of girth at least $6$ admitting a positive edge weight with nonnegative curvature on every edge: they are precisely the trees and the finite cycles.
Frugal colourings of graphs via sparse hypergraph colouring
A proper colouring of a graph $G$ is $β$-frugal if every colour appears at most $β$ times in the neighbourhood of each vertex. Let $χ_β(G)$ denote the minimum number of colours required for a $β$-frugal colouring of $G$. For a fixed frugality $β$, Hind et al. showed that $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β})$, and a bipartite construction of Alon certifies the tightness of this upper bound up to a constant factor. Using a sparse hypergraph colouring theorem of Li and Postle, we show that for all fixed $β\ge 2$ and $t\ge 2$, if $G$ excludes either $C_{2t}$ or $K_{β,t}$ as a subgraph, then $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β} / (\logΔ(G))^{1/β})$. Furthermore, we show that these upper bounds are tight up to a constant factor due to the existence of graphs $G$ with arbitrarily large maximum degree $Δ$ and girth such that $χ_β(G) = Ω(Δ^{1 + 1/β} / (\logΔ)^{1/β})$. Finally, we show that excluding an arbitrary bipartite subgraph does not necessarily reduce the order of growth of $χ_β$, as there exist $K_{4^{β+1},4^{β+1}}$-free graphs $G$ with arbitrarily large maximum degree $Δ$ such that $χ_β(G) = Ω(Δ^{1 + 1/β})$.
On the Rigidity of Random Graphs in high-dimensional spaces
We study the maximum dimension $d=d(n,p)$ for which an Erdős-Rényi $G(n,p)$ random graph is $d$-rigid. Our main results reveal two different regimes of rigidity in $G(n,p)$ separated at $p_c=C_*\log n/n,~C_*=2/(1-\log 2)$ -- the point where the graph's minimum degree exceeds half its average degree. We show that if $p < (1-\varepsilon)p_c $, then $d(n,p)$ is asymptotically almost surely (a.a.s.) equal to the minimum degree of $G(n,p)$. In contrast, if $p_c \leq p = o(n^{-1/2}) $ then $d(n,p) $ is a.a.s. equal to $(1/2 + o(1))np$. The second result confirms, in this regime, a conjecture of Krivelevich, Lew, and Michaeli.
Improved Explicit and Algorithmic Lower Bounds for r(5,t)
We modify a construction of Bradač \cite{Bradac26} using a vertex ordering to give, for every prime power $q$, an explicit $K_5$ free graph with more than $q^7$ vertices and independence number below $600q^4$. This shows $$r(5,t)=Ω(t^{7/4}).$$ Additionally, pruning a graph defined by the Coulter and Matthews polynomial $X^{14}$ \cite{CM}, we give a deterministic polynomial time construction proving $$r(5,t)=Ω\bigl(t^{20/11-\varepsilon}\bigr)$$ for every fixed $\varepsilon>0$. These results improve the constructive lower bound $Ω(t^{5/3})$ of Kostochka, Pudlák and Rödl \cite{KPR}.
Cubic vertices in minimal braces
Braces play a fundamental role in matching theory, as they, together with bricks, constitute the basic building blocks of matching covered graphs in the tight cut decomposition. A brace is minimal if deleting any edge from it results in a graph that is not a brace. We prove that every perfect matching of a minimal brace of order at least six contains an edge whose ends both have degree three. Consequently, every such brace has at least three edges with this property. Combining this result with the forest structure induced by the noncubic vertices, we show that every minimal brace $G$ of order $n\ge6$ and size $m$, other than $K_{3,3}$, satisfies $n_3(G)\ge\max\left\{8,\left\lceil\frac{2n+8}{5}\right\rceil, \left\lceil\frac{m-n+4}{2}\right\rceil\right\}$, where $n_3(G)$ is the number of cubic vertices of $G$. Finally, we characterize the graphs attaining the constant lower bound: a minimal brace has exactly eight cubic vertices if and only if it is isomorphic to $B_8$, $B_{10}$, $Q_{10}^{+}$, or $Q_{12}$.
Less is Moore
A Moore graph simultaneously asks for two things that normally pull in opposite directions: every vertex should have many neighbors, while every pair of vertices should remain close. For diameter two and degree $k$, the Moore bound is $k^2+1$, and equality forces a remarkably rigid graph: it is strongly regular with parameters $(k^2+1,k,0,1)$. Hoffman and Singleton showed that such a graph can exist only for $k=2,3,7$, and possibly 57. The degree-57 case on 3,250 vertices remains open.
This paper is not an attempt to settle that open problem. Instead, we ask a more algorithmic question: How efficiently can the defining Moore structure itself be searched exactly? We begin from a human-developed exhaustive search based on the radius-two Moore tree. Leaves fall into $k$ groups of size $k-1$, and the edges between every pair of such groups form a perfect matching - a permutation. For efficiency, a partial construction is abandoned immediately when it creates a triangle or quadrangle.
We then describe a sequence of exact algorithm-engineering improvements developed through a human-guided AI process and accepted only after mathematical checking and controlled regression tests. The main steps are reversible short-cycle forbid counters, bit-parallel domains, minimum-remaining-value branching, singleton propagation, matching-based AllDifferent filtering, balanced replayable parallel frontiers, residual-symmetry orbit pruning, and canonical deduplication of frontier states. On the principal $k=9$ benchmark, stronger symmetry cuts wall time from 47.6 to 17.9 seconds on a six-core laptop setup. Further parallelization speedup is reported separately; on a 16-core/32-thread machine, median wall time is reduced to 5.28 seconds. Degrees 10 and 57 are used as stress tests, and a five-minute degree-57 run uses only 161 MiB peak resident memory, showing that state size is modest.
Domination and Total Domination in Johnson graphs
In this paper we study domination and total domination of Johnson graphs $J(n,k)$. We establish monotonicity results proving that both $γ(J(n,k))$ and $γ_t(J(n,k))$ are non-decreasing with respect to $n$. We compute exact values for $γ_t(J(n,k))$ in specific cases, showing that $γ_t(J(n,2))=\lceil\frac{2}{3}(n-1)\rceil$ for $n\geq 4$, and determining $γ_t(J(n,3))$ for $n\geq 6$, which depends quadratically on $n$.
The asymptotic maximum oriented diameter of graphs
The oriented diameter of a connected bridgeless graph is the minimum diameter of a strong orientation. Let $f(d)$ be the maximum oriented diameter among all such graphs of diameter $d$. In 1978, Chvátal and Thomassen proved $f(d)\le2d^2+2d$ and constructed graphs showing that any quadratic upper bound on $f(d)$ must have leading coefficient at least $1/2$. We prove that $f(d)\le \tfrac12d^2+7d$ for every integer $d\ge1$. This matches the leading coefficient of their lower bound and establishes $f(d)=\tfrac12d^2+O(d)$, determining the optimal quadratic coefficient. Our proof gives a polynomial-time algorithm that constructs a strong orientation satisfying the stated bound.
Proof of the mad conjecture and its coloring applications
For a finite graph $G$, the maximum average degree $\operatorname{mad}(G)$ is the largest average degree of a nonempty subgraph of $G$. Hendrey, Norin and Wood asked whether this parameter is partitionable, that is, whether for all positive reals $a,b$ every graph $G$ with $\operatorname{mad}(G)<a+b$ admits a vertex partition $V(G)=A\cup B$ with $\operatorname{mad}(G[A])<a$ and $\operatorname{mad}(G[B])<b$. In this note, we answer this question affirmatively. Moreover, we generalize this to an arbitrary number of partition classes.
The clustered chromatic number $χ_\star(\mathrm{G})$ of a graph class $\mathrm{G}$ is the minimum integer $k$ such that, for some integer $c$, every graph in $\mathrm{G}$ has a $k$-coloring in which every monochromatic component has at most $c$ vertices. We apply this result to show that $χ_\star(\mathrm{A}_m)=\left\lfloor\frac{m}{2}\right\rfloor+1$, where $\mathrm{A}_m$ is the family of graphs $G$ with $\operatorname{mad}(G)\leq m$. This solves an open problem posed in Wood's survey and highlighted by Hendrey and Wood.
As another application of our general partition result for $\operatorname{mad}$, we obtain a bound for relaxed colorings. Namely, for non-negative integers $d_1,\ldots,d_k$, every graph $G$ with \[\operatorname{mad}(G)<\sum_{i=1}^k \frac{2d_i+2}{d_i+2}\] admits a partition $V(G)=V_1\cup\ldots\cup V_k$ such that $Δ(G[V_i])\leq d_i$ for each $i\in[k]$. In particular, this provides the first non-trivial bounds for $k\ge3$ with arbitrary $d_i$ and improves the previously known bound for $(d+1,d)$-colorings with $d \ge 2$.
The Second-Order Augmented Zarankiewicz Number
The second-order Zarankiewicz number $z_2(m,n)$ and the biquadratic sum-of-squares rank $\mathrm{BSR}(m,n)$ are related by the unconditional hierarchy \[ \mathrm{BSR}(m,n)\ \ge\ z_2(m,n)\ \ge\ z_{SL}(m,n)\ \ge\ z_{RL}(m,n) \ \ge\ z_{wL}(m,n)\ \ge\ z(m,n). \] We introduce the \emph{second-order augmented Zarankiewicz number} $z_{2A}(m,n)$, obtained from $z_2(m,n)$ by deleting the requirement that the configuration be \emph{limited}, so that \[ \mathrm{BSR}(m,n)\ \ge\ z_{2A}(m,n)\ \ge\ z_2(m,n). \] Although the defining class is enlarged, $z_{2A}$ still obeys the universal cell bound of Löfberg and Qi, because that bound uses only the \(C_4\)-freeness of the one-edge graph. We prove \[ \mathrm{BSR}(4,4)\ \ge\ z_{2A}(4,4)\ =\ 11\ >\ 10\ =\ z_2(4,4) \ =\ z_{RL}(4,4), \] the first recorded separation between the second-order number and its augmented variant. This result also gives a better lower bound for $\mathrm{BSR}(4,4)$. The lower bound is witnessed by an explicit non-limited $4\times4$ configuration of displayed length $11$ whose recursive-line closure satisfies $(\mathrm{RW}3^+)$; the matching upper bound excludes $12$ by the universal cell bound together with an exact finite classification of the $161$ twelve-square configurations, and \(z_2(4,4)=z_{RL}(4,4)=10\) is the exact value of Xu and Yan.