arXiv++ Combinatorics

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.

We study negative edge correlation for two well-known models in statistical physics, the arboreal gas and the $q < 1$ random-cluster model. We show that after the edges $e$ and $f$ are removed, their Rayleigh difference is a crossing contribution minus the covariance of two endpoint-connectivity events. For the arboreal gas on an arbitrary finite graph, we analyze the two leading coefficients of this difference. The first is the classical transfer-current square. If it vanishes, the second has an electrical sum-of-squares formula. This proves negative edge correlation at sufficiently large fugacity whenever one of the two leading coefficients of the Rayleigh difference is nonzero, and characterizes simultaneous equality by an equipotential decomposition. For the random-cluster model on the complete graph $K_n$, we prove negative edge correlation throughout $q<1$ when all edge weights are at least $2$. In the uniform case, we prove something stronger:negative correlation holds when all the weights are equal and at least $1$. In particular, distinct edges in a connected spanning subgraph of $K_n$, weighted by a fixed fugacity, are negatively correlated for every $n$. We also explore what seems to be a general phenomenon: positive correlation of connectivity events. For the arboreal gas, we prove positive correlation for connectivity events at high fugacities. On lattices, the conjectured inequality would make the two-point function supermultiplicative and produce a convex inverse correlation length. Exact computations support the graph and matroid conjectures, including the Seymour--Welsh matroid $\mathcal S_8$, where ordinary edge-negative correlation fails. The results in this paper were derived by the authors without the use of Large Language models. The authors did benefit from using GPT-5 Pro for generating code to test out hypotheses as well as for simplifying the arguments.

We present a "myopic" Tutte polynomial for graphs on $\mathbb{R}P^2$ which takes only nullhomologous spanning subgraphs as input. It recovers the generalized Krushkal polynomial and Drobotukhina's analogue of the Jones polynomial for alternating, nullhomologous links in $\mathbb{R}P^3$. We use this myopic Tutte polynomial to prove an analogue of the Kauffman-Murasugi-Thistlethwaite Theorem, relating the Jones polynomial of an alternating link to certain refinements of the crossing number. Finally, we construct a spanning tree model for the Khovanov homology of nullhomologous links, mirroring work by Champanerkar-Kofman and Wehrli for links in $S^3$. For alternating links, we use our model to prove that the Khovanov homology in $\mathbb{Z}/2\mathbb{Z}$ coefficients is determined entirely by the Jones polynomial and signatures of the link.

A typical Dirac-type problem in extremal graph theory is to determine the minimum degree threshold for a graph $G$ to have a spanning subgraph $H$, e.g. the Dirac theorem. A natural follow-up problem is to seek an $H$-factor, which is a spanning set of vertex-disjoint copies of $H$. In this short note, we present a method for obtaining an upper bound on the minimum degree threshold for an $H$-factor from one for finding a spanning copy of $H$. As an application, we prove that, for all $\varepsilon>0$ and sufficiently large $\ell$, any oriented graph $G$ on $\ell m$ vertices with minimum semi-degree $δ^0(G) \ge (3/8+ \varepsilon )\ell m$ contains a $C_\ell$-factor, where $C_\ell$ is an arbitrary orientation of a cycle on $\ell$ vertices. This improves a result of Wang, Yan and Zhang.

For every fixed $\varepsilon\in(0,1/2)$, we prove that every spanning subgraph $H$ of an $n$-vertex $(p,β)$-bijumbled graph satisfying $δ(H)\geq(1/2+\varepsilon)pn$ contains a rainbow Hamilton cycle under every globally $μpn$-bounded colouring, provided $β\leq cpn$ and $pn\geq M$ both hold. The same assertion holds under the relative condition $°_H(v)\geq(1/2+\varepsilon)°_G(v)$ for every vertex $v$, provided $δ(G)\geq(1-\varepsilon/4)pn$ holds. Under either degree condition, there are at least $(apn)^n$ such cycles. Here, $c,μ,a,M>0$ depend only on $\varepsilon$; in particular, $pn$ may be a sufficiently large constant. If $pn\geq D\log n$, then, upon fixing a coloured $H$, retaining each edge independently with probability $D\log n/(pn)$ preserves rainbow Hamiltonicity asymptotically almost surely. The logarithmic degree requirement is needed only for this percolation conclusion. The existence theorem answers a problem of Coulson, Keevash, Perarnau and Yepremyan for random graphs and extends it to deterministic pseudorandom hosts. In fact, all three conclusions hold with rainbowness replaced by avoidance of prescribed pairs of edges; each edge having at most $μpn$ conflicting partners. We construct an $O(1/(pn))$-spread probability measure on conflict-free Hamilton cycles; this then yields the enumeration and percolation results.

Garamvölgyi, Jordán, Király and Villányi [{{\bf Forum Math. Pi} \textbf{13} (2025), Paper No.~e11}] posed two sharp connectivity conjectures for packing rigid spanning subgraphs: one for the equal-dimensional case and the other for the packing of a $d$-rigid spanning subgraph with a spanning tree. We prove a unified theorem: for arbitrary positive integers $d_1,\ldots,d_s$, every $\sum_{i=1}^{s}d_i(d_i+1)$-connected graph contains pairwise edge-disjoint spanning subgraphs $H_1,\ldots,H_s$ such that $H_i$ is $d_i$-rigid for every $i$. The connectivity bound is sharp whenever $\sum_{i=1}^{s}d_i(d_i+1)\ge4$. As special cases, the theorem settles both conjectures, confirms the conjecture of Garamvölgyi, Jordán and Király [{\bf J. Combin. Theory Ser. B} \textbf{166} (2024), 1--29] that every $tk(k+1)$-connected graph contains $t$ pairwise edge-disjoint $k$-connected spanning subgraphs, and gives the sharp threshold $d(d+1)+2r$ for packing one $d$-rigid spanning subgraph together with $r$ pairwise edge-disjoint spanning trees. We also obtain two upper bounds related to Thomassen's conjecture on highly connected orientations of graphs. If $f(q)$ is the least integer such that every $f(q)$-connected graph has a $q$-connected orientation, then $f(q)\le(25q^2+41q-16)/2$ for every $q\ge3$ and $f(q)\le8q^2+212q+1404=(8+o(1))q^2$ for all sufficiently large $q$; these two results reduce the leading coefficient in the previous quadratic bound from $320$ to $25/2$ for every $q\ge3$ and $8$ for all sufficiently large $q$. Compared to the bound for $f(q)$ obtained by Garamvölgyi et al. we obtain the better bounds, not only through our tight rigidity result but also by exploiting the leftover edges when we remove two edge-disjoint spanning (sufficiently) rigid graphs.

Can one construct a graph $G$ on the set of integer points ${\mathbb Z}^2$ in the plane such that the length of the shortest path between any two vertices of $G$ differs from their Euclidean distance by at most an absolute constant? This question of Benjamini, Erd\H os, Kleiner, Kozma, Schramm, and the first-named author has been open for a long time. We give an affirmative answer to a weaker form of this question, based on the following geometric statement, which is of independent interest. There exists a constant $c>0$ such that for every $i=1,2,\ldots,$ every $ρ$-fat plane convex set $S$ can be cut into $2^i$ convex pieces of equal area, each of which is at least $cρ$-fat. (A convex set is $ρ$-fat if the ratio of its inradius to its circumradius is at least $ρ$.) We prove that there exists an (unweighted) spanning subgraph $G$ of an enlarged copy of ${\mathbb Z}^2$ such that, for every pair of vertices at Euclidean distance $d$, their shortest-path distance in $G$ lies between $d-O(1)$ and $d+o(d^{5/6})$. The same bound can be achieved by a planar graph with vertex set ${\mathbb Z}^2$, in which every edge joins two vertices at Euclidean distance at most 2.

Let $G$ be a connected graph on $n$ vertices and at most $n(1+ε)$ edges with bounded maximum degree, and $F$ a graph on $n$ vertices with minimum degree at least $n-k$, where $ε$ is a constant depending on $k$. In this paper, we prove that $F$ contains $G$ as a spanning subgraph provided $n\ge 6k^3$, by establishing tight bounds for the Ramsey number $r(G,K_{1,k})$, where $K_{1,k}$ is a star on $k+1$ vertices. Our result generalizes and refines the work of Erdős, Faudree, Rousseau, and Schelp (JCT-B, 1982), who established the corresponding result for $G$ being a tree. Moreover, the tight bound for $r(G,tK_{1,k})$ is also obtained.

An old result of Tutte states that any $d$-regular graph contains a spanning subgraph in which every vertex has degree $k$ or $k+1$, for every $1\leq k\leq d$. We generalize this statement to hypergraphs, showing, for example, that every $3$-uniform $d$-regular hypergraph contains a subgraph in which all degrees are $k, k+1$ or $k+2$, for every $1\leq k\leq d$. This statement is best possible in the sense that the corresponding statement with only two allowed consecutive values is not true. We provide generalizations of this statement to higher uniformities and discuss several open problems.

We prove that for all $Δ\geq 2$ and $γ> 0$, there exists a constant $C = C(Δ, γ)$ such that for $p\geq C(\log n/n)^{1/Δ}$, asymptotically almost surely, every spanning subgraph $G$ of $G(n,p)$ with minimum degree at least $(1-1/(2Δ)+γ)pn$ contains every $n$-vertex graph $H$ with maximum degree at most $Δ$ and with at least $Cp^{-2}$ vertices not in any triangles of $H$. This is a 'sparse local resilience version' of a classical theorem of Sauer and Spencer. The condition that $H$ should contain some vertices not in triangles is necessary, and in fact, the quantity $p^{-2}$ is asymptotically best possible. A key feature of our result is that $H$ is allowed to be an expander graph, distinguishing it from previous results of similar nature, which dealt with, e.g., graphs of sublinear bandwidth. Our proof makes use of regularity arguments, with the sparse blow-up lemma for random graphs being a key tool.

For a finite graph $H$, a connectivity graph-code is a family $\mathcal C\subseteq 2^{E(H)}$ such that $A\triangle B$ is a connected spanning subgraph of $H$ whenever $A$ and $B$ are distinct members of $\mathcal C$. Let $m(H)$ denote the maximum size of such a family, and let $f(d)$ be the largest integer $q$ for which $m(H)=q$ for infinitely many pairwise nonisomorphic $d$-regular graphs $H$. Restricting codewords to the edges incident with a vertex gives $f(d)\leq 2^d$. Alon proved equality for all sufficiently large $d$ and asked whether it holds for every $d\geq 4$. We answer this question affirmatively. More precisely, for every $d\geq 4$ we construct infinitely many finite simple $d$-regular bipartite graphs carrying a linear connectivity graph-code of dimension $d$. The construction begins with a vector-labelled copy of $K_{d,d}$. For $d\geq 7$, the required labelling follows from a probabilistic count over an irreducible conjugacy class in $\mathrm{GL}_d(2)$; explicit matrices, verified by a short exact exhaustive program, cover $d=4,5,6$. Cyclic voltage lifts then produce the required infinite families.

Let $F_k(G)$ denote the $k$-token graph of a finite graph $G$. The graph $F_k(G)$ is a spanning subgraph of $J(n,k)$, but its vertices are not given their $k$-subset labels. We show that, for fixed-density random graphs, the Johnson adjacency relation can be determined from common-neighbor counts. For every fixed $p\in(0,1)$ and $G_n\sim G(n,p)$, the probability that $G_n$ is reconstructible from $F_k(G_n)$ for every $1\le k\le n-1$ is at least $1-(1+o(1))n(1-p)^{n-1}$. In particular, asymptotically almost every labeled $n$-vertex graph $G$ is reconstructible from $F_k(G)$ for every nontrivial rank $2\le k\le n-2$. The same density-one conclusion for isomorphism classes is outlined in Remark.

We prove that each $2$-edge-coloured spanning subgraph $G$ of $K_{n,n}$ with $δ(G)\ge \lfloor (2n+1)/3 \rfloor$ can be covered by at most three monochromatic components. We provide a $2$-edge-coloured spanning subgraph of $K_{n,n}$ showing this minimum degree condition is sharp.

We prove Graffiti.pc Conjecture 2, a 1996 conjecture listed as open on the \emph{Written on the Wall II} page marked ``Last update 7/23/26.'' Let $G$ be a finite simple connected graph. For $v\in V(G)$, let $I(v)=α(G[N_G(v)])$, and let $I_{\mathrm{avg}}(G)$ be the average of these local independence numbers. The conjecture states that the maximum number $L_s(G)$ of leaves in a spanning tree of $G$ satisfies $L_s(G)\ge 2\bigl(I_{\mathrm{avg}}(G)-1\bigr)$. We establish this inequality by extracting a triangle-free spanning subgraph that retains at least half of the total local-independence mass. A degree-square argument then produces a double star with sufficiently many leaves, and this tree extends to a spanning tree without losing leaves. Balanced complete bipartite graphs show that the bound is sharp.

Let $G$ be a connected simple vertex-transitive graph on $n$ vertices with degree $d$, and let $G_p$ be the random spanning subgraph obtained by retaining each edge independently with probability $p$. Motivated by a conjecture of Bedert, Draganić, Müyesser, and Pavez-Signé on Hamilton cycles in percolated Cayley graphs, we establish its matching and $2$-factor consequences for the larger class of all connected vertex-transitive host graphs. First, for every $A>0$, there is $C=C(A)>0$ such that, for every $N\ge n$, the condition $(1-p)^d\le N^{-C}$ implies, with probability at least $1-N^{-A}$, that $G_p$ has a perfect matching when $n$ is even and that $G_p-v$ has a perfect matching for every vertex $v$ when $n$ is odd. Second, if $ν_2(H)$ is the maximum number of pairwise edge-disjoint spanning $2$-factors in $H$, then, for every $A>0$ and $0<ε<1$, \[ ε^2pd\ge64(A+6)\log(2n) \] implies \[ \mathbb P\left( ν_2(G_p)\ge\left\lfloor(1-ε)\frac{pd}{2}\right\rfloor \right)\ge1-n^{-A}. \] Consequently, $pd\ge C\log n$ guarantees both the appropriate matching property and a spanning $2$-factor with high probability, uniformly over all connected vertex-transitive graphs. If $pd/\log n\to\infty$, then $ν_2(G_p)=(1+o(1))pd/2$ with high probability. The coefficient $1/2$ is best possible because each spanning $2$-factor contains $n$ edges, whereas $G_p$ contains about $pnd/2$ edges.

For a finite commutative ring $R$, let $\GR$ denote its zero-divisor graph and $\WGR$ its weakly zero-divisor graph, the latter containing the former as a spanning subgraph. We introduce the \emph{weak zero-divisor difference graph} $\DR:=\WGR-\GR$ and develop a complete structural theory for finite reduced rings $R\cong\mathbb F_{q_1}\times\cdots\times\mathbb F_{q_t}$. We show $\DR$ sits strictly between $\GR$ and $\WGR$ in a three-stage refinement that also contains Badawi's annihilator graph, and prove that distinct support classes $X_A,X_B$ are completely joined in $\DR$ if and only if $A\cap B\ne\emptyset$ -- an exact criterion underlying every result that follows. Consequently $\DR$ is edgeless for $t\le2$ but connected with diameter $2$ and girth $3$ for every $t\ge3$, independently of the field orders. We establish a complete perfectness dichotomy -- $\DR$ is perfect exactly when $t\in\{3,4\}$, with an elementary combinatorial proof at $t=4$, and never perfect for $t\ge5$ -- and determine its clique number exactly at $t=3$ and $t=4$; for general $t$ we give two incomparable lower bounds and two upper bounds, sharp at $t=3$ but not beyond, together with a compression argument showing an extremal family may always be taken shifted without this alone resolving the problem. A reconstruction theorem shows $\DR$ recovers the multiset of field orders intrinsically, so $\DR\cong\mathcal D(S)$ forces $R\cong S$. We further give closed forms, valid for every $t\ge3$, for the degree sequence and minimum degree, the domination number, and the independence and vertex cover numbers. Finally, we briefly indicate, via the valuation structure of finite chain rings, why the reduced-ring hypothesis cannot simply be dropped.

Throughout, all graphs are simple, finite and have vertex sets of the form $\{ 0, 1, 2, \ldots, n - 1 \}$ for some $n \in \mathbb{N}$. For graphs $G$ and $H$, and a permutation group $Γ$ on the vertex set of $H$, we say that $H$ is $Γ$-embeddable in $G$ if there exists a graph homomorphism from $H$ to $G$ of the form $ψ\circ \varphi$, where $\varphi \in Γ$ and $ψ$ is an increasing injection. Recently, standard and ordered Ramsey numbers of graphs were unified through the introduction of permutational Ramsey numbers, defined as follows. For graphs $H_1, H_2, \ldots, H_k$ and permutation groups $Γ_1, Γ_2, \ldots, Γ_k$ on their respective vertex sets, the permutational Ramsey number $R(H_1^{Γ_1}, H_2^{Γ_2}, \ldots, H_k^{Γ_k})$ is the minimum $n \in \mathbb{N}$ such that for every $k$-edge-coloring of a complete graph on $n$ vertices, there exists some $j \in \{1, 2, \ldots, k\}$ for which $H_j$ is $Γ_j$-embeddable in the spanning subgraph of the complete graph comprising the edges of color $j$. Here, we consider reflective (resp. dihedral) Ramsey numbers, which are a specific class of permutational Ramsey numbers in which each group $Γ_j$ is the reflection group (resp. dihedral group) on the naturally ordered vertex set of $H_j$. Focusing on the two-color case, we apply the SAT-based approach originally proposed by Poljak for ordered Ramsey numbers and recently extended to cyclic Ramsey numbers. We utilize the Kissat SAT solver to obtain exact values and lower bounds for small reflective and dihedral Ramsey numbers whose two arguments belong to the following graph classes: monotone and alternating paths, monotone cycles, start-central stars, complete graphs and nested matchings. We also derive several general results and formulate conjectures based on the computational findings.

A conjecture of Alon and Wei states that, for any $d$-regular graph $G$ with $n$ vertices, there exists a spanning subgraph $H$ such that for all $0\le i\le d$, we have $m(H, i)$, the number of vertices in $H$ with degree $i$, is between $\frac{n}{d+1}-2$ and $\frac{n}{d+1}+2$. We prove the conjecture for all fixed $d$ when $n$ is sufficiently large. More precisely, if $q=(q_0,\ldots,q_d)$ satisfies $$ \sum_{i=0}^d q_i=n,\qquad \sum_{i=0}^d i q_i\equiv 0\pmod 2,\qquad \left|q_i-\frac{n}{d+1}\right|\le 1 \quad (0\le i\le d), $$ then there is a spanning subgraph $H\subseteq G$ such that $$ m(H,i)=q_i \qquad (0\le i\le d). $$

For graphs $F$ and $H$, a spanning subgraph $G$ of $F$ is weakly $H$-saturated in $F$ if the edges in $E(F)\setminus E(G)$ can be added one at a time, each addition creating a new copy of $H$. Recently, Tancer and Tyomkyn proved that, given an $n$-vertex graph $F$, deciding whether $\mathrm{wsat}(F,K_3)=n-1$ is NP-hard. In this paper, we study the decision version of the weak saturation problem and show that, for every fixed integer $r\ge 3$, given a graph $F$ and an integer $k$, deciding whether $\mathrm{wsat}(F,H)\le k$ is NP-complete when $H\in\{K_r,K_{r,r}\}$. Our approach uses new graph-theoretic and topological ideas and techniques, yielding new constructions that build on the construction of Tancer and Tyomkyn. In particular, our proofs further reveal a connection between weak saturation and the flag-no-square property, a fundamental property in topology that is of independent interest.

A factor of a graph is essentially a specific type spanning subgraph. In recent years, the spectral extremal problem of characterizing the existence of graph factors via eigenvalues has been widely studied. This paper focuses on fractional $ID$-$[a, b]$-factor-critical graphs, which are a natural generalization of fractional $[a,b]$-factors. Let $r \ge 1$ be an integer. A graph $G$ is fractional $ID$-$[a, b]$-factor-critical if for every independent set $I$ of $G$ with $|I| = r$, $G - I$ has a fractional $[a, b]$-factor. In 2026, Jia, Fan and Liu posed the spectral version conjecture for a graph to be fractional $ID$-$[a, b]$-factor-critical [Linear Algebra Appl. 732 (2026) 1-17]. In this paper, we first prove the conjecture holds for connected graphs when $b\ge 2r+2$. Furthermore, for minimum degree $δ(G)\ge a+r$, we present spectral radius and size conditions that ensure a graph is fractional $ID$-$[a, b]$-factor-critical, which improve the results of Jia, Fan and Liu.