arXiv++ Combinatorics

A graph is Hamiltonian if it contains a cycle passing through every vertex. One of the cornerstone results in the theory of random graphs asserts that for edge probability $p \gg \frac{\log n}{n}$, the random graph $G(n,p)$ is asymptotically almost surely Hamiltonian. We obtain the following strengthening of this result. Given a graph $G=(V,E)$, an {\em incompatibility system} $\mathcal{F}$ over $G$ is a family $\mathcal{F}=\{F_v\}_{v\in V}$ where for every $v\in V$, the set $F_v$ is a set of unordered pairs $F_v \subseteq \{\{e,e'\}: e\ne e'\in E, e\cap e'=\{v\}\}$. An incompatibility system is {\em $Δ$-bounded} if for every vertex $v$ and an edge $e$ incident to $v$, there are at most $Δ$ pairs in $F_v$ containing $e$. We say that a cycle $C$ in $G$ is {\em compatible} with $\mathcal{F}$ if every pair of incident edges $e,e'$ of $C$ satisfies $\{e,e'\} \notin F_v$. This notion is partly motivated by a concept of transition systems defined by Kotzig in 1968, and can be used as a quantitative measure of robustness of graph properties. We prove that there is a constant $μ>0$ such that the random graph $G=G(n,p)$ with $p(n) \gg \frac{\log n}{n}$ is asymptotically almost surely such that for any $μnp$-bounded incompatibility system $\mathcal{F}$ over $G$, there is a Hamilton cycle in $G$ compatible with $\mathcal{F}$. We also prove that for larger edge probabilities $p(n)\gg \frac{\log^8n}{n}$, the parameter $μ$ can be taken to be any constant smaller than $1-\frac{1}{\sqrt 2}$. These results imply in particular that typically in $G(n,p)$ for $p \gg \frac{\log n}{n}$, for any edge-coloring in which each color appears at most $μnp$ times at each vertex, there exists a properly colored Hamilton cycle.

A tree with at most $k$ leaves is called a $k$-ended tree. A spanning 2-ended tree is a Hamilton path. A Hamilton cycle can be considered as a spanning 1-ended tree. The earliest result concerning spanning trees with few leaves states that if $k$ is a positive integer and $G$ is a connected graph of order $n$ with $d(x)+d(y)\ge n-k+1$ for each pair of nonadjacent vertices $x,y$, then $G$ has a spanning $k$-ended tree. In this paper, we improve this result in two ways, and an analogous result is proved for dominating $k$-ended trees based on the generalized parameter $t_k$ - the order of a largest $k$-ended tree. In particular, $t_1$ is the circumference (the length of a longest cycle), and $t_2$ is the order of a longest path.

We consider random-turn positional games, introduced by Peres, Schramm, Sheffield and Wilson in 2007. A $p$-random-turn positional game is a two-player game, played the same as an ordinary positional game, except that instead of alternating turns, a coin is being tossed before each turn to decide the identity of the next player to move (the probability of Player I to move is $p$). We analyze the random-turn version of several classical Maker-Breaker games such as the game Box (introduced by Chvátal and Erd\H os in 1987), the Hamilton cycle game and the $k$-vertex-connectivity game (both played on the edge set of $K_n$). For each of these games we provide each of the players with a (randomized) efficient strategy which typically ensures his win in the asymptotic order of the minimum value of $p$ for which he typically wins the game, assuming optimal strategies of both players.

For a given graph $G$ of minimum degree at least $k$, let $G_p$ denote the random spanning subgraph of $G$ obtained by retaining each edge independently with probability $p=p(k)$. We prove that if $p \ge \frac{\log k + \log \log k + ω_k(1)}{k}$, where $ω_k(1)$ is any function tending to infinity with $k$, then $G_p$ asymptotically almost surely contains a cycle of length at least $k+1$. When we take $G$ to be the complete graph on $k+1$ vertices, our theorem coincides with the classic result on the threshold probability for the existence of a Hamilton cycle in the binomial random graph.

Let $n$ be sufficiently large and suppose that $G$ is a digraph on $n$ vertices where every vertex has in- and outdegree at least $n/2$. We show that $G$ contains every orientation of a Hamilton cycle except, possibly, the antidirected one. The antidirected case was settled by DeBiasio and Molla, where the threshold is $n/2+1$. Our result is best possible and improves on an approximate result by Häggkvist and Thomason.

This MSci thesis surveys results in extremal graph theory, in particular relating to Hamilton cycles. Szeméredi's Regularity Lemma plays a central role. We also investigate the robust outexpansion property for digraphs. Kelly showed that every sufficiently large oriented graph on $n$ vertices with minimum in- and outdegree at least $3n/8 +o(n)$ contains any orientation of a Hamilton cycle. We use Kelly's arguments to extend his result to any robustly expanding digraph of linear degree.

We consider problems about packing and counting Hamilton $\ell$-cycles in hypergraphs of large minimum degree. Given a hypergraph $\mathcal H$, for a $d$-subset $A\subseteq V(\mathcal H)$, we denote by $d_{\mathcal H}(A)$ the number of distinct \emph{edges} $f\in E(\mathcal H)$ for which $A\subseteq f$, and set $δ_d(\mathcal H)$ to be the minimum $d_{\mathcal H}(A)$ over all $A\subseteq V(\mathcal H)$ of size $d$. We show that if a $k$-uniform hypergraph on $n$ vertices $\mathcal H$ satisfies $δ_{k-1}(\mathcal H)\geq αn$ for some $α>1/2$, then for every $\ell<k/2$ $\mathcal H$ contains $(1-o(1))^n\cdot n!\cdot \left(\fracα{\ell!(k-2\ell)!}\right)^{\frac{n}{k-\ell}}$ Hamilton $\ell$-cycles. The exponent above is easily seen to be optimal. In addition, we show that if $δ_{k-1}(\mathcal H)\geq αn$ for $α>1/2$, then $\mathcal H$ contains $f(α)n$ edge-disjoint Hamilton $\ell$-cycles for an explicit function $f(α)>0$. For the case where every $(k-1)$-tuple $X\subset V({\mathcal H})$ satisfies $d_{\mathcal H}(X)\in (α\pm o(1))n$, we show that $\mathcal H$ contains edge-disjoint Haimlton $\ell$-cycles which cover all but $o\left(|E(\mathcal H)|\right)$ edges of $\mathcal H$. As a tool we prove the following result which might be of independent interest: For a bipartite graph $G$ with both parts of size $n$, with minimum degree at least $δn$, where $δ>1/2$, and for $p=ω(\log n/n)$ the following holds. If $G$ contains an $r$-factor for $r=Θ(n)$, then by retaining edges of $G$ with probability $p$ independently at random, w.h.p the resulting graph contains a $(1-o(1))rp$-factor.

For $1\le \ell<k/2$, we show that for sufficiently large $n$, every $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $\frac n{2 (k-\ell)} $ contains a Hamilton $\ell$-cycle. This codegree condition is best possible and improves on work of Hàn and Schacht who proved an asymptotic result.

In 1992, Manoussakis conjectured that a strongly 2-connected digraph $D$ on $n$ vertices is hamiltonian if for every two distinct pairs of independent vertices $x,y$ and $w,z$ we have $d(x)+d(y)+d(w)+d(z)\geq 4n-3$. In this note we show that $D$ has a Hamilton path, which gives an affirmative evidence supporting this conjecture.

A classical theorem of Ghouila-Houri from 1960 asserts that every directed graph on $n$ vertices with minimum out-degree and in-degree at least $n/2$ contains a directed Hamilton cycle. In this paper we extend this theorem to a random directed graph ${\mathcal D}(n,p)$, that is, a directed graph in which every ordered pair $(u,v)$ becomes an arc with probability $p$ independently of all other pairs. Motivated by the study of resilience of properties of random graphs, we prove that if $p \gg \log n/\sqrt{n}$, then a.a.s. every subdigraph of ${\mathcal D}(n,p)$ with minimum out-degree and in-degree at least $(1/2 + o(1)) n p$ contains a directed Hamilton cycle. The constant $1/2$ is asymptotically best possible. Our result also strengthens classical results about the existence of directed Hamilton cycles in random directed graphs.

Define the middle layer graph as the graph whose vertex set consists of all bitstrings of length $2n+1$ that have exactly $n$ or $n+1$ entries equal to 1, with an edge between any two vertices for which the corresponding bitstrings differ in exactly one bit. The middle levels conjecture asserts that this graph has a Hamilton cycle for every $n\geq 1$. This conjecture originated probably with Havel, Buck and Wiedemann, but has also been attributed to Dejter, Erdős, Trotter and various others, and despite considerable efforts it remained open during the last 30 years. In this paper we prove the middle levels conjecture. In fact, we construct $2^{2^{Ω(n)}}$ different Hamilton cycles in the middle layer graph, which is best possible.

We first consider the following problem. We are given a fixed perfect matching $M$ of $[n]$ and we add random edges one at a time until there is a Hamilton cycle containing $M$. We show that w.h.p. the hitting time for this event is the same as that for the first time there are no isolated vertices in the graph induced by the random edges. We then use this result for the following problem. We generate random edges and randomly color them black or white. A path/cycle is said to \emph{zebraic} if the colors alternate along the path. We show that w.h.p. the hitting time for a zebraic Hamilton cycle coincides with every vertex meeting at least one edge of each color. We then consider some related problems and extend to multiple colors. We also briefly consider directed versions.

We prove that, for large $n$, every $3$-connected $D$-regular graph on $n$ vertices with $D \geq n/4$ is Hamiltonian. This is best possible and confirms a conjecture posed independently by Bollobás and Häggkvist in the 1970s. The proof builds on a structural decomposition result proved recently by the same authors.

As one of the most fundamental and well-known NP-complete problems, the Hamilton cycle problem has been the subject of intensive research. Recent developments in the area have highlighted the crucial role played by the notions of expansion and quasi-randomness. These concepts and other recent techniques have led to the solution of several long-standing problems in the area. New aspects have also emerged, such as resilience, robustness and the study of Hamilton cycles in hypergraphs. We survey these developments and highlight open problems, with an emphasis on extremal and probabilistic approaches.

We study the appearance of powers of Hamilton cycles in pseudorandom graphs, using the following comparatively weak pseudorandomness notion. A graph $G$ is $(\varepsilon,p,k,\ell)$-pseudorandom if for all disjoint $X$ and $Y\subset V(G)$ with $|X|\ge\varepsilon p^kn$ and $|Y|\ge\varepsilon p^\ell n$ we have $e(X,Y)=(1\pm\varepsilon)p|X||Y|$. We prove that for all $β>0$ there is an $\varepsilon>0$ such that an $(\varepsilon,p,1,2)$-pseudorandom graph on $n$ vertices with minimum degree at least $βpn$ contains the square of a Hamilton cycle. In particular, this implies that $(n,d,λ)$-graphs with $λ\ll d^{5/2 }n^{-3/2}$ contain the square of a Hamilton cycle, and thus a triangle factor if $n$ is a multiple of $3$. This improves on a result of Krivelevich, Sudakov and Szabó [Triangle factors in sparse pseudo-random graphs, Combinatorica 24 (2004), no. 3, 403--426]. We also extend our result to higher powers of Hamilton cycles and establish corresponding counting versions.

We present an approximation algorithm for $\{0,1\}$-instances of the travelling salesman problem which performs well with respect to combinatorial dominance. More precisely, we give a polynomial-time algorithm which has domination ratio $1-n^{-1/29}$. In other words, given a $\{0,1\}$-edge-weighting of the complete graph $K_n$ on $n$ vertices, our algorithm outputs a Hamilton cycle $H^*$ of $K_n$ with the following property: the proportion of Hamilton cycles of $K_n$ whose weight is smaller than that of $H^*$ is at most $n^{-1/29}$. Our analysis is based on a martingale approach. Previously, the best result in this direction was a polynomial-time algorithm with domination ratio $1/2-o(1)$ for arbitrary edge-weights. We also prove a hardness result showing that, if the Exponential Time Hypothesis holds, there exists a constant $C$ such that $n^{-1/29}$ cannot be replaced by $\exp(-(\log n)^C)$ in the result above.

In this paper we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [$1$-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$. (ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) [Optimal packings of Hamilton cycles] Suppose that $G$ is a graph on $n$ vertices with minimum degree $δ\ge n/2$. Then $G$ contains at least ${\rm reg}_{\rm even}(n,δ)/2 \ge (n-2)/8$ edge-disjoint Hamilton cycles. Here $\text{reg}_{\text{even}}(n,δ)$ denotes the degree of the largest even-regular spanning subgraph one can guarantee in a graph on $n$ vertices with minimum degree $δ$. (i) was first explicitly stated by Chetwynd and Hilton. (ii) and the special case $δ= \lceil n/2 \rceil$ of (iii) answer questions of Nash-Williams from 1970. All of the above bounds are best possible.

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [1-factorization conjecture] Suppose that $n$ is even and $D \geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$. (ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) [Optimal packings of Hamilton cycles] Suppose that $G$ is a graph on $n$ vertices with minimum degree $δ\ge n/2$. Then $G$ contains at least ${\rm reg}_{\rm even}(n,δ)/2 \ge (n-2)/8$ edge-disjoint Hamilton cycles. Here ${\rm reg}_{\rm even}(n,δ)$ denotes the degree of the largest even-regular spanning subgraph one can guarantee in a graph on $n$ vertices with minimum degree $δ$. According to Dirac, (i) was first raised in the 1950s. (ii) and the special case $δ= \lceil n/2 \rceil$ of (iii) answer questions of Nash-Williams from 1970. All of the above bounds are best possible. In the current paper, we prove the above results for the case when $G$ is close to a complete balanced bipartite graph.

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$. (ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree. According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we show the following: suppose that $G$ is close to a complete balanced bipartite graph or to the union of two cliques of equal size. If we are given a suitable set of path systems which cover a set of `exceptional' vertices and edges of $G$, then we can extend these path systems into an approximate decomposition of $G$ into Hamilton cycles (or perfect matchings if appropriate).

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$. (ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree. According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we prove results on the decomposition of sparse graphs into path systems. These are used in the proof of (i) and (ii) in the case when $G$ is close to the union of two disjoint cliques.