arXiv++ Combinatorics

Let $G=(G_1,...,G_n)$ be a graph system on a common $n$-vertex set $V$. For $v\in V$, set \[ δ(v)=\min_{i\in[n]}d_{G_i}(v), \qquad E_{\cap}=\bigcap_{i=1}^n E(G_i), \] and let $d^c(u,v)$ denote the length of a shortest rainbow $u$--$v$ path. We study Hamiltonicity conditions imposed only on pairs at small rainbow distance. Suppose that every $G_i$ is $2$-connected and that \[ δ(u),δ(v)<\frac n2, \qquad d^c(u,v)\le2 \quad\Longrightarrow\quad uv\in E_{\cap}. \] Our main result shows that any system satisfying this local Fan-type condition but containing no rainbow Hamilton cycle must satisfy \[ E_{\cap}=\varnothing, \qquad \sum_{v\in V}δ(v)\le\frac{n^2-1}{2}. \] Consequently, either $E_{\cap}\ne\varnothing$ or $\sum_{v\in V}δ(v)\ge\lceil n^2/2\rceil$ guarantees a rainbow Hamilton cycle. We further prove that the local Ore-type condition \[ δ(u)+δ(v)<n, \qquad d^c(u,v)\le2 \quad\Longrightarrow\quad uv\in E_{\cap} \] already forces a rainbow Hamilton cycle. Along the way, the Fan-type hypothesis yields a rainbow Hamilton path and a rainbow $(n-1)$-cycle. For diagonal systems, our conditions reduce to the classical Fan and local Ore conditions. The proofs combine rainbow rotation--extension with a double-counting argument in an auxiliary digraph. Keywords: graph system; rainbow Hamilton cycle; rainbow distance; Fan-type condition; Ore-type condition; rotation--extension.

For a digraph $D$, let $α_2(D)$ be the largest size of a vertex set no two of whose vertices lie in a common directed $2$-cycle. Let $f_2(a)$ be the least integer $K$ such that every $K$-connected digraph $D$ with $α_2(D)\le a$ has a Hamilton cycle. Jackson proved in 1987 that $f_2(a)\le2^a(a+2)!$, whereas a conjecture of Jackson and Ordaz predicts $f_2(a)\le a+1$. We prove the quadratic bound $f_2(a)\le12000a^2$. We also prove that $κ(H)\ge6000(α(H)+r)$ guarantees vertex-disjoint paths joining any prescribed $r$ pairs of distinct vertices and covering $V(H)$.

Sublinear expansion is weak enough to be extracted from arbitrary graphs while retaining nearly all of their average degree, yet it has proved strong enough to force global structures in many sparse extremal problems. Letzter, Methuku and Sudakov [JLMS 2026] proved the existence of nearly Hamilton cycles in sufficiently dense regular sublinear expanders. Montgomery [ICM 2026] subsequently conjectured that, every $d$-regular sublinear expander with $d$ sufficiently large (but constant) is Hamiltonian. We disprove this conjecture in a strong form by constructing $n$-vertex $d$-regular sublinear expanders with $d=\left(\frac12+o(1)\right)\log^2 n$, which can forbid any cycle covering an arbitrarily small given positive constant portion of its vertices. The construction blows up one side of a biregular Ramanujan graph into almost-complete blocks and keeps the other side as a sparse vertex separator. We also prove a similar statement for a closely related notion of edge expanders. For every sufficiently small $γ>0$, there is an infinite family of $n$-vertex $d$-regular $γ$-edge-expanders with $d=Θ(γ^{-1})$ and circumference $O(γn)$, matching the standard lower bound $Ω(γn)$. The construction also comes from an expanding regular core such that each vertex has an almost-complete graph attached to it. The core guarantees edge expansion, while the single-vertex attachments confine every cycle.

We show that the face lattice of any simplicial polytope is Hamiltonian. This proves a major part of a recent conjecture by \citeauthor{Listingfaces} which states that the face lattice of any polytope is Hamiltonian (SODA26). We use a line shelling in both directions to obtain two different decompositions of the face lattice into disjoint cubes, which allows the application of a theorem by Gregor to obtain the Hamilton cycle.

Let $D_d(m)$ be the Cartesian product of $d$ positively oriented directed cycles of length $m$. We prove that $D_d(m)$ decomposes into $d$ directed Hamilton cycles for every $m\ge3$ and $d\ge2$. The construction proceeds by splitting coordinate directions in directed multitori. An integer selection theorem supplies unit voltages compatible with the prescribed arc multiplicities; at even modulus, the decisive condition is the parity of each incidence component. For even $m$ and odd $d\ge7$, we satisfy this condition with a factorization having one additional cycle. A relative lifting theorem preserves the first-return data of a three-colour recolouring through successive coordinate splits, after which the recolouring removes the additional cycle on a set whose size is independent of the dimension. Explicit constructions complete the low-dimensional cases. The theorem yields Hamilton decompositions of Cartesian products of equal-order, equal-degree Hamilton-decomposable digraphs, of abelian Cayley digraphs whose generators partition into module bases, and of a family of height-stretched directed tori.

A prime circle of order $2n$ is a circular ordering of $1,\ldots,2n$ such that the sum of every two adjacent terms is prime. We prove that a prime circle exists for every sufficiently large $n$. The proof is based on a perfect matching and robust expansion. We also study Hamilton cycles in graphs and digraphs defined by primitive sums and differences over finite fields. In particular, the primitive-sum graph on $\F_q$ is Hamiltonian for every prime power $q>18\,888\,871$, and for the graph on a full prime field $\F_p$, the bound improves to $p>61$.

In this paper we prove new bounds on the second eigenvalue of Johnson graphs. We then apply these bounds to obtain new results on the modularity of Johnson graphs and their random subgraphs, hamiltonicity of Johnson graphs and thresholds of the appearance of the hamilton cycles and giant components. Futhermore, we provide general bounds on vertex connectivity and the stability of the modularity for $(n, d, λ)$-graphs.

For integers q at least 3 and r at least 1, consider the directed Cayley graph on the cyclic group of order qr whose allowed steps are the integers from 1 through r. A Hamilton cycle H is called a q-layer balanced Hamilton starter if, for every step from 1 through r and every residue class modulo q, H contains exactly one arc of that step whose tail belongs to the given residue class. The r translates of H by successive multiples of q then form a Hamilton decomposition of the digraph. A q-layer balanced Hamilton starter is called chain-compatible if one arc can be selected from each Hamilton cycle in this decomposition so that the selected arcs form a simple directed path. In both constructions, the compatible deletion chain is the arithmetic step-2 path beginning at 0 and ending at 2r. For q equal to 4, a chain-compatible starter is obtained explicitly whenever r is congruent to 1 modulo 4 and r is at least 9, while for q equal to 3 one exists for all sufficiently large r congruent to 5 modulo 6. The proofs are constructive: the four-layer case uses an ABAB step word, while in the three-layer case a directed rotational terrace is lifted to a 3-layer balanced directed 1-factor and a fixed four-arc trade joins its two cycles. Deleting the unique prescribed-path arc from each translated Hamilton cycle gives r Hamilton paths; together with the prescribed path, these form an optimal decomposition of the arc set into r+1 directed paths in both cases.

A graph is called 10-tough and $(2P_2 \cup P_1)$-free if every vertex set whose deletion leaves at least two components has cardinality at least ten times the number of those components and if the graph has no induced subgraph consisting of two disjoint edges and an isolated vertex. We prove that every finite simple 10-tough $(2P_2 \cup P_1)$-free graph on at least three vertices is Hamiltonian. The proof splits according to whether some edge has joint neighbourhood of order at most $4n/11$. In the small-neighbourhood case, a matched path-cover is compressed to a prescribed matching. In the large-neighbourhood case, an asymmetric analysis of the two components left by a putative small cut yields the required connectivity bound. A Hamilton cycle through the prescribed edges is then expanded, and a cycle-extension lemma inserts the remaining vertices.

We construct a family of layer barriers for colour-biased tight Hamilton cycles in uniform hypergraphs. For every $k\ge 3$ and every $a\in\{0,\ldots,k-1\}$, we give a red--blue coloured $k$-graph that contains a tight Hamilton cycle, while every tight Hamilton cycle in the construction is perfectly colour-balanced. The construction underlying the higher-uniformity threshold conjectured by Behague, Clemen, Hyde and Morrison corresponds to the boundary case $a=0$ of this family. We show that interior choices of $a$ can yield strictly denser barriers. In particular, for $k=17$ and $a=8$, the asymptotic relative minimum vertex degree of our construction is \[ \frac{5761}{8192}\approx 0.703247, \] which exceeds the conjectured value $d_{17}\approx 0.699277$. This provides a counterexample to the proposed higher-uniformity threshold in Conjecture~6.1 of Behague, Clemen, Hyde and Morrison. Moreover, by choosing the layer appropriately as $k\to\infty$, the family contains barriers whose asymptotic relative minimum vertex degree is \[ 1-O\bigl(k^{-1/2}\bigr). \] Thus the interior members of the layer-barrier family exhibit substantially different behaviour from the previously considered boundary construction in large uniformity.

In light of Lovász's longstanding question on the existence of Hamilton paths in vertex-transitive graphs, Du and Yuan considered a natural variant: what if vertex-transitivity is relaxed, while a high degree of symmetry--specifically edge-transitivity--is retained? To investigate this, they studied semisymmetric graphs (i.e. regular, edge-transitive, but not vertex-transitive graphs) and showed that every connected semisymmetric graph of order $2pq$, where $p$ and $q$ are distinct primes, contains a Hamilton cycle. In this paper, it is shown that for any prime $p$, every connected semisymmetric graph of order $2p^3$ also contains a Hamilton cycle.

We determine the asymptotically best possible minimum vertex degree condition forcing a two-coloured $3$-graph to contain a colour-biased tight Hamilton cycle. This confirms a conjecture of Hàn, Lang, Marciano, Pavez-Signé, Sanhueza-Matamala, Treglown and Zárate-Guerén.

A $3$-uniform hypergraph (or $3$-graph) $H$ on $n$ vertices is \emph{$(n,d,μ)$-dense} if $e_H(X,Y,Z)\ge d|X||Y||Z|-μn^3$ for all $X,Y,Z\subseteq V(H)$. This is one of the weakest standard notions of quasirandomness for $3$-graphs and is also known as linear quasirandomness. In this paper, we determine the sharp diagonal thresholds for tight Hamilton cycles in $(n,d,μ)$-dense $3$-graphs $H$ under conditions on the minimum vertex degree $δ_1(H)$ and the minimum codegree $δ_2(H)$. We actually prove a general result: define \[ f(d):=\frac{1-\sqrt{(4d-1)/3}}2. \] We prove that $(n,d,μ)$-density together with $δ_1(H)\geα\binom{n-1}{2}$ forces a tight Hamilton cycle whenever $d > 1/3$ and $α>f(d)$. In particular, $f(1/3)=1/3$, which answers Problem~8.3(i) of Araújo, Piga and Schacht and confirms Conjecture~8.1 of Han, Shu and Wang. For the minimum codegree condition, the sharp diagonal threshold is $(κ,κ)$, where $κ$ is the unique real solution of $κ=(1-κ)^3$. Since $κ\approx0.3177>1/4$, this gives a negative answer to Problem~8.3(ii) of Araújo, Piga and Schacht and disproves Conjecture~8.2 of Han, Shu and Wang. The two proofs use a common Hamilton-framework reduction, but the two degree conditions lead to distinct dominant-component lemmas for $(n, d, μ)$-dense $3$-graphs, which are of independent interest and whose proofs do not rely on the absorption method.

We study tight Hamilton cycles in linearly quasirandom 3-graphs. An $n$-vertex 3-graph $H$ is $(p,μ)$-dense if $e_H(X,Y,Z)\ge p|X||Y||Z|-μn^3$ for all $X,Y,Z\subseteq V(H)$. Ara{ú}jo, Piga and Schacht asked whether $p,α>1/4$ together with $δ_2(H)\geαn$ force a tight Hamilton cycle. We give a negative answer: for every $\varepsilon,μ>0$ and all sufficiently large $n$, there exists an $n$-vertex $(p_0-\varepsilon,μ)$-dense 3-graph $H$ with $δ_2(H)\ge(p_0-\varepsilon)n$ and no tight Hamilton cycle, where $p_0:=\max_{0\le x\le1}\min\{x^3,1-x\}\approx0.317672$. For every $p>1/3$, we determine the asymptotically sharp minimum-codegree threshold. Writing \[ δ_0(p)= \left(\frac{1-\sqrt{(4p-1)/3}}{2}\right)^2, \] we prove that every sufficiently large $(p,μ)$-dense 3-graph $H$ with $δ_2(H)\geαn$ contains a tight Hamilton cycle whenever $α>δ_0(p)$ and $μ$ is sufficiently small. A matching construction shows that this threshold is best possible. The proof uses absorption together with a new fixed-length connecting lemma based on a regular slice, a directed pair-state graph, and a finite scalar lemma.

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 1-factorization $F=\{M_1,\ldots,M_d\}$ of the hypercube $Q_d$, let $G[F]$ have vertex set $F$, with $M_iM_j$ an edge exactly when $M_i\cup M_j$ is a Hamilton cycle. Behague proved that $Q_{k+\ell}$ has a 1-factorization $F$ with $G[F]\cong K_{k,\ell}$ for all positive $k,\ell$ except possibly $k=\ell=3$. We give an explicit 1-factorization of $Q_6$ for which $G[F]\cong K_{3,3}$, resolving the exceptional case. The construction is supplied as a finite certificate. Its correctness can be checked directly from the tables in the paper or by either of two independent, short, standard-library verifiers supplied with the certificate.

A Hamilton cover of a graph is a collection of Hamilton cycles whose union contains all edges. Since each Hamilton cycle covers two edges at every vertex, every Hamilton cover has size at least $\lceil Δ(G)/2\rceil$. We prove that this lower bound is tight for binomial random graphs $G(n,p)$ throughout the widest possible range of edge probabilities: if $ω(n)\to\infty$ and \[ \frac{\log n+\log\log n+ω(n)}{n} \le p=p(n) \le 1-\frac{ω(n)}{n^{2}}, \] then $G\sim G(n,p)$ with high probability has a Hamilton cover of size $\left\lceil \frac{Δ(G)}{2}\right\rceil. $ The main new contribution is the sparse regime near the Hamiltonicity threshold, where we prove a conjecture of Draganić, Glock, Munhá Correia and Sudakov. Our proof develops constructive tools for decomposing such graphs into controlled forest systems and extending them, using reserved pseudorandom structure, into Hamilton cycles. We also prove the corresponding hitting-time result for the random graph process, answering a question of Hefetz, Kühn, Lapinskas and Osthus. Finally, we use our methods to show that $G\sim G(n,p)$ with high probability satisfies the celebrated Linear arboricity conjecture for every $p\leq 1$.

The Pósa-Seymour conjecture establishes the minimum degree threshold required to guarantee the presence of the $k$th power of a Hamilton cycle in a graph. Following numerous partial results, Komlós, Sárközy, and Szemerédi confirmed the conjecture holds for all sufficiently large graphs. Treglown later conjectured the analogous minimum semi-degree threshold for forcing the $k$th power of a Hamilton cycle in a digraph. Subsequently, DeBiasio et al. proposed a conjecture on the minimum total degree threshold for the same problem. In this paper we settle the conjecture of DeBiasio et al. for $k=2$. Specifically, we prove that every sufficiently large $n$-vertex digraph with minimum total degree at least $8n/5-c$ contains the square of a Hamilton cycle, where $c=2$ if $n\equiv2,4\pmod 5$, and $c=1$ otherwise.

A $4$-uniform $2$-cycle in a $4$-uniform hypergraph of length $t$ is a cyclic ordering of $2t$ vertices $v_1v_2\cdots v_{2t}v_1$ such that $v_{2i+1}v_{2i+2}v_{2i+3}v_{2i+4}$ are edges for $0\le i\le t-1$ while the addition is modulo $2t$. For every $γ>0$ and large $n$, we characterize the $n$-vertex $4$-uniform hypergraphs such that every triple of vertices is contained in at least $(1/3+γ)n$ edges and admits a Hamilton $2$-cycle. Up to the error term $γn$, the assumption on the minimum codegree is best possible and verifies a conjecture of Garbe and Mycroft. As a consequence, this gives a polynomial-time algorithm that decides whether an $n$-vertex $4$-uniform hypergraph with minimum codegree $(1/3+γ)n$ contains a Hamilton $2$-cycle. This stands as a steep contrast to the graph case where such a hardness gap has size $o(n)$.

In this note, we resolve the remaining open case of a conjecture by Han and Zhao concerning the codegree threshold for Hamilton $\ell$-cycles in $k$-uniform hypergraphs. Specifically, we prove that for integers $k\ge 3$, $3k/4\le \ell<k$, with $k\not\equiv 0 \pmod{k-\ell}$, and for all sufficiently large $n$ divisible by $k-\ell$, every $n$-vertex $k$-uniform hypergraph $H$ satisfying \[ δ_{k-1}(H)\ge \frac{n}{(k-\ell)\left\lceil \frac{k}{k-\ell}\right\rceil} \] contains a Hamilton $\ell$-cycle. Our proof builds on the framework of Gan, Han and Xu, and refines their argument to obtain, at the exact threshold, the required family of paths.