arXiv++ Combinatorics

Gishboliner, Krivelevich, and Michaeli (2023) conjectured the following generalization of Dirac's theorem: If the minimum degree $δ$ of an $n$-vertex oriented graph $G$ is greater or equal to $n/2$, then $G$ has a Hamilton oriented cycle with at least $δ$ forward arcs. Freschi and Lo (2024) proved this conjecture. In this paper, we study the problem of maximizing the number of forward arcs in Hamilton oriented cycles/paths in generalizations of tournaments. We obtain characterizations for the maximum number of forward arcs in semicomplete multipartite digraphs and locally semicomplete digraphs. These characterizations lead to polynomial-time algorithms. Note that the above problems are NP-hard for some other generalizations of tournaments even though the Hamilton cycle problem is polynomial-time solvable for these digraph classes.

Suppose $1\le \ell <k$ such that $(k-\ell)\nmid k$. Given an $n$-vertex $k$-uniform hypergraph $\mathcal H$, for all $k/2<\ell< 3k/4$ and sufficiently large $n\in (k-\ell)\mathbb N$, we prove that if $\mathcal H$ has minimum co-degree at least $\frac{n}{\lceil \frac{k}{k-\ell}\rceil (k-\ell)}$, then $\mathcal H$ contains a Hamilton $\ell$-cycle, which partially verifies a conjecture of Han and Zhao and (partially) resolves a problem of Rödl and Ruciński. Moreover, we show that assuming minimum co-degree $\frac{n}{\lceil \frac{k}{k-\ell}\rceil (k-\ell)}+\frac{k^2}2$ is enough for all $\ell$.

An edge-colored graph is a graph in which each edge is assigned a color. Such a graph is called strongly edge-colored if each color class forms an induced matching, and called rainbow if all edges receive pairwise distinct colors. In this paper, by establishing a connection with $μn$-bounded graphs, we prove that for all sufficiently large integers $n$, every strongly edge-colored graph $G$ on $n$ vertices with minimum degree at least $\frac{n+1}{2}$ contains a rainbow Hamilton cycle. We also characterize all strongly edge-colored graphs on $n$ vertices with minimum degree exactly $\frac{n}{2}$ that do not contain a rainbow Hamilton cycle. As an application, we determine the optimal minimum degree conditions for the existence of rainbow Hamilton paths and rainbow perfect matchings in strongly edge-colored graphs. Together, these results verify three conjectures concerning strongly edge-colored graphs for sufficiently large $n$.

We discuss the expected minimum cost of rainbow spanning trees and Hamilton cycles in randomly edge colored random graphs.

We study the appearance of Hamilton $\ell$-cycles in dense $k$-uniform hypergraphs when $\ell \leq k-2$ and $k-\ell$ does not divide $k$. Our main result reduces this problem to the robust existence of a connected $\ell$-cycle tiling in host graph families that are approximately closed under subsampling. As an application, we determine the minimum $d$-degree threshold for $d=k-2$ and all $1 \leq \ell \leq k-2$ when $k - \ell$ does not divide $k$. We also reduce the case $\ell < d$ entirely to the corresponding (non-connected) $\ell$-cycle tiling problem. In addition, our outcomes lead to counting and random robust versions of these results. The proofs are based on the recently introduced method of blow-up covers and thus avoid the use of the Regularity Lemma and the Absorption Method.

For any $k\ge 3$ and $\ell \in [k-1]$ such that $(k,\ell) \ne (3,1)$, we show that any sufficiently large $k$-graph $G$ must contain a Hamilton $\ell$-cycle provided that it has no isolated vertices and every set of $k-1$ vertices contained in an edge is contained in at least $\left(1 - \frac{1}{\lfloor{\frac{k}{k-\ell}\rfloor}(k-\ell)}\right)n - (k - 3)$ edges. We also show that this bound is tight for infinitely many values of $k$ and $\ell$ and is off by at most $1$ for all others, and is hence essentially optimal. This improves an asymptotic version of this result due to Mycroft and Zárate-Guerén, and the case $\ell = k-1$ completely resolves a conjecture of Illingworth, Lang, Müyesser, Parczyk and Sgueglia. These results support the utility of $\textit{minimum}$ $\textit{supported}$ $\textit{co-degree}$ conditions in a $k$-graph, a recently introduced variant of the standard notion of minimum co-degree applicable to $k$-graphs with non-trivial strong independent sets. Our proof techniques involve a novel blow-up tiling framework introduced by Lang, avoiding traditional approaches using the regularity and blow-up lemmas.

In the standard random graph process, edges are added to an initially empty graph one by one uniformly at random. A classic result by Ajtai, Komlós, and Szemerédi, and independently by Bollobás, states that in the standard random graph process, with high probability, the graph becomes Hamiltonian exactly when its minimum degree becomes $2$; this is known as a \emph{hitting time} result. Johansson extended this result by showing the following: For a graph $G$ with $δ(G) \geq (1/2+\varepsilon)n$, in the random graph process constrained to the host graph $G$, the hitting times for minimum degree $2$ and Hamiltonicity still coincide with high probability. In this paper, we extend Johansson's result to Berge Hamilton cycles in hypergraphs. We prove that if an $r$-uniform hypergraph $H$ satisfies either $δ_1(H) \geq (\frac{1}{2^{r-1}} + \varepsilon)\binom{n-1}{r-1}$ or $δ_2(H) \geq \varepsilon n^{r-2}$, then in the random process generated by the edges of $H$, the time at which the hypergraph reaches minimum degree $2$ coincides with the time at which it contains a Berge Hamilton cycle with high probability. This generalizes the work of Bal, Berkowitz, Devlin, and Schacht, who established the result for the case where $H$ is a complete $r$-uniform hypergraph.

An antidirected cycle in a digraph $G$ is a subdigraph whose underlying graph is a cycle, and in which no two consecutive edges form a directed path in $G$. Let $σ_{+-}(G)$ be the minimum value of $d^+(x)+d^-(y)$ over all pairs of vertices $x, y$ such that there is no edge from $x$ to $y$, that is, $$σ_{+-}(G)=\min\{d^+(x)+d^-(y): \{x,y\}\subseteq V(G), xy\notin E(G)\}.$$ In 1972, Woodall extended Ore's theorem to digraphs by showing that every digraph $G$ on $n$ vertices with $σ_{+-}(G)\geqslant n$ contains a directed Hamilton cycle. Very recently, this result was generalized to oriented graphs under the condition $σ_{+-}(G)\geqslant(3n-3)/4$. In this paper, we give the exact Ore-type degree threshold for the existence of antidirected Hamilton cycles in oriented graphs. More precisely, we prove that for sufficiently large even integer $n$, every oriented graph $G$ on $n$ vertices with $σ_{+-}(G)\geqslant(3n+2)/4$ contains an antidirected Hamilton cycle. Moreover, we show that this degree condition is best possible.

We study a problem of Santos about the largest possible diameter of a $d$-dimensional (abstract) simplicial complex on $n$ vertices. For dimension 2, we determine the exact value of the maximum for every $n$ using an explicit construction. We also come across a tantalizing open problem about the packing of squares of Hamilton cycles in the complete graph and obtain an infinite sequence of tight explicit constructions.

The odd-Ramsey number $r_{\text odd}(n,H)$ of a graph $H$, as introduced by Alon in his work on graph-codes, is the minimum number of colours needed to edge-colour $K_n$ so that every copy of $H$ intersects some colour class in an odd number of edges. In this paper, we determine the odd-Ramsey number of Hamilton cycles up to a small multiplicative factor, proving that $r_{\text odd}(n,C_n) = Θ(\sqrt{n})$. Our upper bound follows from an explicit finite-field construction, while the matching lower bound uses a combinatorial framework based on parity switches. We also initiate the study of odd-Ramsey numbers of Hamilton cycles in Dirac graphs, demonstrating that a small increase in the minimum degree beyond $n/2$ forces nontrivial odd-Ramsey numbers.

The {\em bipartite-hole-number} of a graph $G$, denoted as $\widetildeα(G)$, is the minimum number $k$ such that there exist integers $a$ and $b$ with $a + b = k+1$ such that for any two disjoint sets $A, B \subseteq V(G)$, there is an edge between $A$ and $B$. McDiarmid and Yolov initiated research on bipartite holes by extending Dirac's classical theorem on minimum degree and Hamiltonian cycles. They showed that a graph on at least three vertices with $δ(G) \ge \widetildeα(G)$ is Hamiltonian. Later, Draganić, Munhá Correia and Sudakov proved that $δ\ge \widetildeα(G)$ implies that $G$ is pancyclic, unless $G = K_{\frac n2, \frac n2}$. This extended the result of McDiarmid and Yolov and generalized a theorem of Bondy on pancyclicity. In this paper, we show that a $2$-connected graph $G$ is Hamiltonian if $σ_2(G) \ge 2 \widetildeα(G) - 1$, and that a connected graph $G$ contains a cycle through all vertices of degree at least $\widetildeα(G)$. Both results extended McDiarmid and Yolov's result. As a step toward proving pancyclicity, we show that if an $n$-vertex graph $G$ satisfies $σ_2(G) \ge 2 \widetildeα(G) - 1$, then it either contains a triangle or it is $K_{\frac n2, \frac n2}$. Finally, we discuss the relationship between connectivity and the bipartite hole number.

Let $k \ge 2$ and let $\bf G = \{G_1, \ldots, G_{m}\}$ be a collection of graphs on a common vertex set of cardinality $n$. We show that if each graph in $\bf G$ has minimum degree at least $(1-\frac{1}{2k} + o(1))n$, then for every edge-colouring $χ$ of the $k$th power of a Hamilton cycle $C_n^k$ with $m$ colours, there is a copy of $C_n^k$ in $\bf G$ such that $e \in G_{χ(e)}$ for every edge $e$ in $C_n^k$. This generalises a result of Bowtell, Morris, Pehova, and Staden, who provided asymptotically best possible minimum degree conditions for the Hamilton cycle.

A step-graphon has the strong (resp., weak) $H$-property if a directed, random graph sampled from it has a Hamilton cycle (resp., a node-wise disjoint cycle cover) asymptotically almost surely. The weak/strong $H$-property is essentially a zero-one property. We identify key objects associated with the step-graphon that matter for the zero-one law and provide a complete characterization.

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.