arXiv++ Combinatorics

A classical result of Dirac says that every $n$-vertex graph with minimum degree at least $\frac{n}{2}$ contains a Hamilton cycle. A `discrepancy' version of Dirac's theorem was shown by Balogh--Csaba--Jing--Pluhár, Freschi--Hyde--Lada--Treglown, and Gishboliner--Krivelevich--Michaeli as follows. Every $r$-colouring of the edge set of every $n$-vertex graph with minimum degree at least $(\frac{1}{2} + \frac{1}{2r} + o(1))n$ contains a Hamilton cycle where one of the colours appears at least $(1+o(1))\frac{n}{r}$ times. In this paper, we generalize this result by asymptotically determining the maximum possible value $f_{r,α}(n)$ for every $α\in [\frac{1}{2}, 1]$ such that every $r$-colouring of the edge set of every $n$-vertex graph with minimum degree at least $αn$ contains a Hamilton cycle where one of the colours appears at least $f_{r,α}(n)$ times. In particular, we show that $f_{r,α}(n) = (1-o(1)) \min\{(2α- 1)n, \frac{2αn}{r}, \frac{2n}{r+1}\}$ for every $α\in [\frac{1}{2} + \frac{1}{2r}, 1]$. A graph $H$ is called an $α$-residual subgraph of a graph $G$ if $d_H(v)\ge αd_{G[V(H)]}(v)$ for every $v\in V(H)$. Extending Dirac's theorem in the setting of random graphs, Lee and Sudakov showed the following. The Erdős--Rényi random graph $G(n,p)$, with $p$ above the Hamiltonicity threshold, typically has the property that every $(\frac{1}{2} +o(1))$-residual spanning subgraph contains a Hamilton cycle. Motivated by this, we prove the following random version of our `discrepancy' result. The random graph $G \sim G(n,p)$, with $p$ above the Hamiltonicity threshold, typically satisfies that every $r$-colouring of the edge set of every $α$-residual spanning subgraph of $G$ contains a Hamilton cycle where one of the colours appears at least $f_{r,α}(n)$ times.

We consider some biased Maker-Breaker games. Starting with the complete $k$-uniform hypergraph on $n$ vertices, at each turn Maker claims one edge, and then Breaker claims $b$ edges. Maker's goal is to obtain a set of edges having some increasing property. We consider the case where Maker's desired property is minimum degree $m$, or having a full-rank incidence matrix, or having a Berge Hamilton cycle or having a perfect matching or a Hamilton $\ell$-cycle.

In the past two decades, various properties of randomly perturbed/augmented (hyper)graphs have been intensively studied, since the model was introduced by Bohman, Frieze and Martin in 2003. The model usually considers a deterministic graph $G$ with minimum degree condition, perturbed/augmented by a binomial random graph $G(n,p)$ on the same vertex set. In this paper, we show that for many problems of finding spanning subgraphs, one can indeed relax the minimum degree condition to a density condition. This includes the embedding problem for $F$-factors when $F$ is not a forest, graphs with bounded maximum degree, $r$-th power of $k$-uniform tight Hamilton cycles for $r,k\ge 2$, and $k$-uniform Hamilton $\ell$-cycles for $\ell\in[2,k-1]$. These results strengthen the results of Balogh, Treglown, and Wagner, of Böttcher, Montgomery, Parczyk, and Person, and of Chang, Han and Thoma.

We extend Wood's graph theoretic interpretation of certain quotients of the mod $2$ dual Steenrod algebra to quotients of the mod $p$ dual Steenrod algebra where $p$ is an odd prime and to quotients of the $C_2$-equivariant dual Steenrod algebra. We establish connectedness criteria for graphs associated to monomials in these algebra quotients and investigate questions about trees and Hamilton cycles in these settings. We also give graph theoretic interpretations of algebraic structures such as the coproduct and antipode arising from the Hopf algebra structure on the mod $p$ dual Steenrod algebra and the Hopf algebroid structure of the $C_2$-equivariant dual Steenrod algebra.

Let $G$ be a graph. The {\em spectral radius} of $G$ is the largest eigenvalue of its adjacency matrix. For a non-complete bipartite graph $G$ with parts $X$ and $Y$, the {\em bipartite toughness} of $G$ is defined as $t^{B}(G)=\min\left\{\frac{|S|}{c(G-S)}\right\}$, where the minimum is taken over all proper subsets $S\subset X$ (or $S\subset Y$) such that $c(G-S)>1$. In this paper, we give a sharp spectral radius condition for balanced bipartite graphs $G$ with $t^{B}(G)\geq1$ to guarantee that $G$ contains Hamilton cycles. This solves a problem proposed in \cite{CFL}.

Dirac's classical theorem asserts that, for $n \ge 3$, any $n$-vertex graph with minimum degree at least $n/2$ is Hamiltonian. Furthermore, if we additionally assume that such graphs are regular, then, by the breakthrough work of Csaba, Kühn, Lo, Osthus and Treglown, they admit a decomposition into Hamilton cycles and at most one perfect matching, solving the well-known Nash-Williams conjecture. In the pseudorandom setting, it has long been conjectured that similar results hold in much sparser graphs. We prove two overarching theorems for graphs that exclude excessively dense subgraphs, which yield asymptotically optimal resilience and Hamilton-decomposition results in sparse pseudorandom graphs. In particular, our results imply that for every fixed $γ> 0$, there exists a constant $C > 0$ such that if $G$ is a spanning subgraph of an $(n,d,λ)$-graph satisfying $δ(G) \ge (\tfrac12 + γ)d$ and $d/λ\ge C$, then $G$ must contain a Hamilton cycle. Secondly, we show that for every $\varepsilon > 0$, there is $C > 0$ so that every $(n,d,λ)$-graph with $d/λ\ge C$ contains at least $(\tfrac12 - \varepsilon)d$ edge-disjoint Hamilton cycles, and, finally, we prove that the entire edge set of $G$ can be covered by no more than $(\tfrac12 + \varepsilon)d$ such cycles. All bounds are asymptotically optimal and significantly improve earlier results on Hamiltonian resilience, packing, and covering in sparse pseudorandom graphs.

We investigate Hamilton cycles in edge-colored graphs with \( r \) colors, focusing on the notion of color-bias (discrepancy), the maximum deviation from uniform color frequencies along a cycle. Foundational work by Balogh, Csaba, Jing, and Pluhár, and the later generalization by Freschi, Hyde, Lada, and Treglown, as well as an independent work by Gishboliner, Krivelevich, and Michaeli, established that any \(n\)-vertex graph with minimum degree exceeding \( \frac{(r+1)n}{2r} + \frac{m}{2}\) contains a Hamilton cycle with color-bias at least \(m\), and characterized the extremal graphs with minimum degree \(\frac{(r+1)n}{2r}\) in which all Hamilton cycles are perfectly balanced. We prove the optimal stability results: for any positive integers \(r\ge 2\) and \( m < 2^{-6} r^{2} n,\) if every Hamilton cycle in an \( n \)-vertex graph with minimum degree exceeding \( \frac{n}{2} + 6r^{2}m \) has color-bias less than \( m \), then the graph must closely resemble the extremal constructions of Freschi, Hyde, Lada, and Treglown. The leading term \( \frac{n}{2} \) in the degree condition is optimal, as it is the sharp threshold for guaranteeing Hamiltonicity. Moreover, we show the additive error term \(Θ(m)\) is also best possible when \(m\) is large and \(r=2\), since weaker condition \(\frac{n}{2}+o(m)\) allow for a counterexample. Notably, the structural stability threshold \( \frac{1}{2} \) lies strictly below the extremal threshold \( \frac{1}{2} + \frac{1}{2r} \) required to force color imbalance. Our proof leverages local configurations to deduce global structure, revealing a rigid combinatorial dichotomy.

Kühn and Osthus conjectured in 2013 that regular tripartite tournaments are decomposable into Hamilton cycles. Somewhat surprisingly, Granet gave a simple counterexample to this conjecture almost 10 years later. In this paper, we show that the conjecture of Kühn and Osthus nevertheless holds in an approximate sense, by proving that every regular tripartite tournament admits an approximate decomposition into Hamilton cycles. We also study Hamilton cycle packings of directed graphs in the same regime, and show that for large $n$, every balanced tripartite digraph on $3n$ vertices which is $d$-regular for $d\ge (1+o(1))n$ admits a Hamilton decomposition.

The $k$-expansion of a graph $G$ is the $k$-uniform hypergraph obtained from $G$ by adding $k-2$ new vertices to every edge. We determine, for all $k > d \geq 1$, asymptotically optimal $d$-degree conditions that ensure the existence of all spanning $k$-expansions of bounded-degree trees, in terms of the corresponding conditions for loose Hamilton cycles. This refutes a conjecture by Pehova and Petrova, who conjectured that a lower threshold should have sufficed. The reason why the answer is off from the conjectured value is an unexpected `parity obstruction': all spanning $k$-expansions of trees with only odd degree vertices require larger degree conditions to embed. We also show that if the tree has at least one even-degree vertex, the codegree conditions for embedding its $k$-expansion become substantially smaller.

An oriented graph is a digraph that contains no 2-cycles, i.e., there is at most one arc between any two vertices. We show that every oriented graph $G$ of sufficiently large order $n$ with $\mathrm{deg}^+(x) +\mathrm{deg}^{-}(y)\geq (3n-3)/4$ whenever $G$ does not have an edge from $x$ to $y$ contains a Hamilton cycle. This is best possible and solves a problem of Kühn and Osthus from 2012. Our result generalizes the result of Keevash, Kühn, and Osthus and improves the asymptotic bound obtained by Kelly, Kühn, and Osthus.

The cycle space of a graph $G$, denoted $C(G)$, is a vector space over ${\mathbb F}_2$, spanned by all incidence vectors of edge-sets of cycles of $G$. If $G$ has $n$ vertices, then $C_n(G)$ is the subspace of $C(G)$, spanned by the incidence vectors of Hamilton cycles of $G$. We prove that asymptotically almost surely $C_n(G_{n,d}) = C(G_{n,d})$ holds whenever $n$ is odd and $d$ is a sufficiently large (even) integer. This extends (though with a weaker bound on $d$) the well-known result asserting that $G_{n,d}$ is asymptotically almost surely Hamiltonian for every $d \geq 3$ (but not for $d < 3$). Since $n$ being odd mandates that $d$ be even, somewhat limiting the generality of our result, we also prove that if $n$ is even and $d$ is any sufficiently large integer, then asymptotically almost surely $C_{n-1}(G_{n,d}) = C(G_{n,d})$. An influential result of Bohman, Frieze, and Martin asserts that if $H$ is an $n$-vertex graph with minimum degree at least $δn$ for some constant $δ> 0$, and $G \sim \mathbb{G}(n, C/n)$, where $C := C(δ)$ is a sufficiently large constant, then $H \cup G$ is asymptotically almost surely Hamiltonian. We strengthen this result by proving that the same assumptions on $H$ and $G$ ensure that $C_n(H \cup G) = C(H \cup G)$ holds asymptotically almost surely.

In this paper, we prove that for each $d \geq 2$, the union of a $d$-regular graph with a uniformly random $2$-factor on the same vertex set is Hamiltonian with high probability. This resolves a conjecture by Draganić and Keevash for all values of $d$.

After long-term efforts, the Hamilton path (cycle) problem for connected vertex-transitive graphs of order $pq$ (where $p$ and $q$ are primes) was finally resolved in 2021, see [10]. Fifteen years ago, mathematicians began addressing this problem for graphs of order $2pq$. Among these studies, it was proved in 2012 (see [21]) that every connected vertex-transitive graph of order $10p$ (where $p \neq 7$ is a prime) contains a Hamilton path, with the exception of a family of graphs that was recently confirmed in [11]. In this paper, we achieve a further result: every connected vertex-transitive graph of order $10p$ (where $p$ is a prime) contains a Hamilton cycle, except for the truncation of the Petersen graph.

The cycle space of a graph $G$, denoted $C(G)$, is a vector space over ${\mathbb F}_2$, spanned by all incidence vectors of edge-sets of cycles of $G$. If $G$ has $n$ vertices, then $C_n(G)$ denotes the subspace of $C(G)$, spanned by the incidence vectors of Hamilton cycles of $G$. A classical result in the theory of random graphs asserts that for $G \sim \mathbb{G}(n,p)$, asymptotically almost surely the necessary condition $δ(G) \geq 2$ is also sufficient to ensure Hamiltonicity. Resolving a problem of Christoph, Nenadov, and Petrova, we augment this result by proving that for $G \sim \mathbb{G}(n,p)$, with $n$ being odd, asymptotically almost surely the condition $δ(G) \geq 3$ (observed to be necessary by Heinig) is also sufficient for ensuring $C_n(G) = C(G)$. That is, not only does $G$ typically have a Hamilton cycle, but its Hamilton cycles are typically rich enough to span its cycle space.

In 1973, Chvátal conjectured that there exists a constant $t_0$ such that every $t_0$-tough graph on at least three vertices is Hamiltonian. While this conjecture is still open, work has been done to confirm it for several graph classes, including all $F$-free graphs for every 5-vertex linear forest $F$ other than $P_5$ and $2P_2\cup P_1$. In this note, we show that 11-tough $(2P_2 \cup P_1)$-free graphs on at least three vertices are Hamiltonian.

Given a graph $G$ and an $r$-edge-colouring $χ$ on $E(G)$, a Hamilton cycle $H\subset G$ is said to have $t$ colour-bias if $H$ contains $n/r+t$ edges of the same colour in $χ$. Freschi, Hyde, Lada and Treglown showed every $r$-coloured graph $G$ on $n$ vertices with $δ(G)\geq(r+1)n/2r+t$ contains a Hamilton cycle $H$ with $Ω(t)$ colour-bias, generalizing a result of Balogh, Csaba, Jing and Pluhár. In 2022, Gishboliner, Krivelevich and Michaeli proved that the random graph $G(n,m)$ with $m\geq(1/2+\varepsilon)n\log n$ typically admits an $Ω(n)$ colour biased Hamilton cycle in any $r$-colouring. In this paper, we investigate colour-biased Hamilton cycles in randomly perturbed graphs. We show that for every $α>0$, adding $m=O(n)$ random edges to a graph $G_α$ with $δ(G_α)\geq αn$ typically ensures a Hamilton cycle with $Ω(n)$ colour bias in any $r$-colouring of $G_α\cup G(n,m)$. Conversely, for certain $G_α$, reducing the number of random edges to $m=o(n)$ may eliminate all colour biased Hamilton cycles of $G(n,m)\cup G$ in a certain colouring. In contrast, at the critical endpoint $α=(r+1)/2r$, adding $m$ random edges typically results in a Hamilton cycle with $Ω(m)$ colour-bias for any $1\ll m\leq n$.

In classical Maker-Breaker games on graphs, Maker and Breaker take turns claiming edges; Maker's goal is to claim all of some structure (e.g., a spanning tree, Hamilton cycle, etc.), while Breaker aims to stop her. The standard question considered is how powerful a Breaker Maker can defeat; i.e., for the $(1:b)$-biased game where Breaker takes $b$ edges per turn, how large can $b$ be for Maker to still have a winning strategy, for various possible goal sets? We introduce a variant of this question in which Breaker is required to choose their multiple edges as the edges of (a subgraph of) a given structure (e.g., a matching, clique, etc.) on each turn. We establish the order of magnitude of the threshold biases for triangle games, connectivity games, and Hamiltonicity games under clique, matching, and star biases respectively. We conclude that in many cases structure imposes major obstruction to Breaker, opening up a set of games whose strategies deviate from the classical biased Maker-Breaker game strategies, and shedding light on the types of Breaker strategies that may or may not work to prove tighter bounds in the classical setting.

For each $k \geq 3$ and $1 \leq \ell \leq k-1$ we give an asymptotically best possible minimum positive codegree condition for the existence of a Hamilton $\ell$-cycle in a $k$-uniform hypergraph. This result exhibits an interesting duality with its analogue under a minimum codegree condition. The special case $\ell = k-1$ of our result establishes an asymptotic version of a recent conjecture of Illingworth, Lang, Müyesser, Parczyk and Sgueglia on tight Hamilton cycles in hypergraphs.

In 1960, Ghouila-Houri proved that every strongly connected directed graph $G$ on $n$ vertices with minimum degree at least $n$ contains a directed Hamilton cycle. We asymptotically generalize this result by proving the following: every directed graph $G$ on $n$ vertices and with minimum degree at least $(1+o(1))n$ contains every orientation of a Hamilton cycle, except for the directed Hamilton cycle in the case when $G$ is not strongly connected. In fact, this minimum degree condition forces every orientation of a cycle in $G$ of every possible length, other than perhaps the directed cycles.

A tuple $(G_1,\dots,G_n)$ of graphs on the same vertex set of size $n$ is said to be Hamilton-universal if for every map $χ: [n]\to[n]$ there exists a Hamilton cycle whose $i$-th edge comes from $G_{χ(i)}$. Bowtell, Morris, Pehova and Staden proved an analog of Dirac's theorem in this setting, namely that if $δ(G_i)\geq (1/2+o(1))n$ then $(G_1,\dots,G_n)$ is Hamilton-universal. Combining McDiarmid's coupling and a colorful version of the Friedman-Pippenger tree embedding technique, we establish a similar result in the setting of sparse random graphs, showing that there exists $C$ such that if the $G_i$ are independent random graphs sampled from $G(n,p)$, where $p\geq C\log n/n$, then $(G_1,\dots,G_n)$ is Hamilton-universal with high probability.