arXiv++ Combinatorics

For locally finite infinite graphs the notion of Hamilton cycles can be extended to Hamilton circles, homeomorphic images of $S^1$ in the Freudenthal compactification. In this paper we prove of a sufficient condition for the existence of Hamilton circles in locally finite Cayley graphs.

It is known that w.h.p. the hitting time $τ_{2σ}$ for the random graph process to have minimum degree $2σ$ coincides with the hitting time for $σ$ edge disjoint Hamilton cycles. In this paper we prove an online version of this property. We show that, for a fixed integer $σ\geq 2$, if random edges of $K_n$ are presented one by one then w.h.p. it is possible to color the edges online with $σ$ colors so that at time $τ_{2σ}$, each color class is Hamiltonian.

A subset $C$ of edges in a $k$-uniform hypergraph $H$ is a \emph{loose Hamilton cycle} if $C$ covers all the vertices of $H$ and there exists a cyclic ordering of these vertices such that the edges in $C$ are segments of that order and such that every two consecutive edges share exactly one vertex. The binomial random $k$-uniform hypergraph $H^k_{n,p}$ has vertex set $[n]$ and an edge set $E$ obtained by adding each $k$-tuple $e\in \binom{[n]}{k}$ to $E$ with probability $p$, independently at random. Here we consider the problem of finding edge-disjoint loose Hamilton cycles covering all but $o(|E|)$ edges, referred to as the \emph{packing problem}. While it is known that the threshold probability for the appearance of a loose Hamilton cycle in $H^k_{n,p}$ is $p=Θ\left(\frac{\log n}{n^{k-1}}\right)$, the best known bounds for the packing problem are around $p=\text{polylog}(n)/n$. Here we make substantial progress and prove the following asymptotically (up to a polylog$(n)$ factor) best possible result: For $p\geq \log^{C}n/n^{k-1}$, a random $k$-uniform hypergraph $H^k_{n,p}$ with high probability contains $N:=(1-o(1))\frac{\binom{n}{k}p}{n/(k-1)}$ edge-disjoint loose Hamilton cycles. Our proof utilizes and modifies the idea of "online sprinkling" recently introduced by Vu and the first author.

We consider the algorithmic problem of generating each subset of $[n]:=\{1,2,\ldots,n\}$ whose size is in some interval $[k,l]$, $0\leq k\leq l\leq n$, exactly once (cyclically) by repeatedly adding or removing a single element, or by exchanging a single element. For $k=0$ and $l=n$ this is the classical problem of generating all $2^n$ subsets of $[n]$ by element additions/removals, and for $k=l$ this is the classical problem of generating all $\binom{n}{k}$ subsets of $[n]$ by element exchanges. We prove the existence of such cyclic minimum-change enumerations for a large range of values $n$, $k$, and $l$, improving upon and generalizing several previous results. For all these existential results we provide optimal algorithms to compute the corresponding Gray codes in constant $\mathcal{O}(1)$ time per generated set and $\mathcal{O}(n)$ space. Rephrased in terms of graph theory, our results establish the existence of (almost) Hamilton cycles in the subgraph of the $n$-dimensional cube $Q_n$ induced by all levels $[k,l]$. We reduce all remaining open cases to a generalized version of the middle levels conjecture, which asserts that the subgraph of $Q_{2k+1}$ induced by all levels $[k-c,k+1+c]$, $c\in\{0,1,\ldots,k\}$, has a Hamilton cycle. We also prove an approximate version of this generalized conjecture, showing that this graph has a cycle that visits a $(1-o(1))$-fraction of all vertices.

A milestone in Probability Theory is the law of the iterated logarithm (LIL), proved by Khinchin and independently by Kolmogorov in the 1920s, which asserts that for iid random variables $\{t_i\}_{i=1}^{\infty}$ with mean $0$ and variance $1$ $$ \Pr \left[ \limsup_{n\rightarrow \infty} \frac{ \sum_{i=1}^n t_i }{σ_n \sqrt {2 \log \log n }} =1 \right] =1 . $$ In this paper we prove that LIL holds for various functionals of random graphs and hypergraphs models. We first prove LIL for the number of copies of a fixed subgraph $H$. Two harder results concern the number of global objects: perfect matchings and Hamiltonian cycles. The main new ingredient in these results is a large deviation bound, which may be of independent interest. For random $k$-uniform hypergraphs, we obtain the Central Limit Theorem (CLT) and LIL for the number of Hamilton cycles.

In this paper, we first present spectral conditions for the existence of $C_{n-1}$ in graphs (2-connected graphs) of order $n$, which are motivated by a conjecture of Erdős. Then we prove spectral conditions for the existence of Hamilton cycles in balanced bipartite graphs. This result presents a spectral analog of Moon-Moser's theorem on Hamilton cycles in balanced bipartite graphs, and extends a previous theorem due to Li and the second author for $n$ sufficiently large. We conclude this paper with two problems on tight spectral conditions for the existence of long cycles of given lengths.

We show that $p=\sqrt{\frac{e}{n}}$ is a sharp threshold for the random graph $G_{n,p}$ to contain the square of a Hamilton cycle. This improves the previous results of Kühn and Osthus and also Nenadov and Škorić.

We present a tight extremal threshold for the existence of Hamilton cycles in graphs with large minimum degree and without a large ``bipartite hole`` (two disjoint sets of vertices with no edges between them). This result extends Dirac's classical theorem, and is related to a theorem of Chvátal and Erdős. In detail, an $(s, t)$-bipartite-hole in a graph $G$ consists of two disjoint sets of vertices $S$ and $T$ with $|S|= s$ and $|T|=t$ such that there are no edges between $S$ and $T$; and $\widetildeα(G)$ is the maximum integer $r$ such that $G$ contains an $(s, t)$-bipartite-hole for every pair of non-negative integers $s$ and $t$ with $s + t = r$. Our central theorem is that a graph $G$ with at least $3$ vertices is Hamiltonian if its minimum degree is at least $\widetildeα(G)$. From the proof we obtain a polynomial time algorithm that either finds a Hamilton cycle or a large bipartite hole. The theorem also yields a condition for the existence of $k$ edge-disjoint Hamilton cycles. We see that for dense random graphs $G(n,p)$, the probability of failing to contain many edge-disjoint Hamilton cycles is $(1 - p)^{(1 + o(1))n}$. Finally, we discuss the complexity of calculating and approximating $\widetildeα(G)$.

Given a set of $n$ points $S$ in the plane, a triangulation $T$ of $S$ is a maximal set of non-crossing segments with endpoints in $S$. We present an algorithm that computes the number of triangulations on a given set of $n$ points in time $n^{(11+ o(1))\sqrt{n} }$, significantly improving the previous best running time of $O(2^n n^2)$ by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size $O(\sqrt{n})$ of a triangulation in a canonical way. The definition of the separators are based on the decomposition of the triangulation into nested layers ("cactus graphs"). Based on the above algorithm, we develop a simple and formal framework to count other non-crossing straight-line graphs in $n^{O(\sqrt{n})}$ time. We demonstrate the usefulness of the framework by applying it to counting non-crossing Hamilton cycles, spanning trees, perfect matchings, $3$-colorable triangulations, connected graphs, cycle decompositions, quadrangulations, $3$-regular graphs, and more.

We investigate minimum vertex degree conditions for $3$-uniform hypergraphs which ensure the existence of loose Hamilton cycles. A loose Hamilton cycle is a spanning cycle in which only consecutive edges intersect and these intersections consist of precisely one vertex. We prove that every $3$-uniform $n$-vertex ($n$ even) hypergraph $\mathcal{H}$ with minimum vertex degree $δ_1(\mathcal{H})\geq \left(\frac7{16}+o(1)\right)\binom{n}{2}$ contains a loose Hamilton cycle. This bound is asymptotically best possible.

We prove packing and counting theorems for arbitrarily oriented Hamilton cycles in ${\cal D}(n,p)$ for nearly optimal $p$ (up to a $\log ^cn$ factor). In particular, we show that given $t = (1-o(1))np$ Hamilton cycles $C_1,\ldots ,C_{t}$, each of which is oriented arbitrarily, a digraph $D \sim {\cal D}(n,p)$ w.h.p. contains edge disjoint copies of $C_1,\ldots ,C_t$, provided $p=ω(\log ^3 n/n)$. We also show that given an arbitrarily oriented $n$-vertex cycle $C$, a random digraph $D \sim {\cal D}(n,p)$ w.h.p. contains $(1\pm o(1))n!p^n$ copies of $C$, provided $p \geq \log ^{1 + o(1)}n/n$.

We study the biased $(1:b)$ Maker--Breaker positional games, played on the edge set of the complete graph on $n$ vertices, $K_n$. Given Breaker's bias $b$, possibly depending on $n$, we determine the bounds for the minimal number of moves, depending on $b$, in which Maker can win in each of the two standard graph games, the Perfect Matching game and the Hamilton Cycle game.

Given a graph on $n$ vertices and an assignment of colours to the edges, a rainbow Hamilton cycle is a cycle of length $n$ visiting each vertex once and with pairwise different colours on the edges. Similarly (for even $n$) a rainbow perfect matching is a collection of $n/2$ independent edges with pairwise different colours. In this note we show that if we randomly colour the edges of a random geometric graph with sufficiently many colours, then a.a.s. the graph contains a rainbow perfect matching (rainbow Hamilton cycle) if and only if the minimum degree is at least $1$ (respectively, at least $2$). More precisely, consider $n$ points (i.e. vertices) chosen independently and uniformly at random from the unit $d$-dimensional cube for any fixed $d\ge2$. Form a sequence of graphs on these $n$ vertices by adding edges one by one between each possible pair of vertices. Edges are added in increasing order of lengths (measured with respect to the $\ell_p$ norm, for any fixed $1<p\le\infty$). Each time a new edge is added, it receives a random colour chosen uniformly at random and with repetition from a set of $\lceil Kn\rceil$ colours, where $K=K(d)$ is a sufficiently large fixed constant. Then, a.a.s. the first graph in the sequence with minimum degree at least $1$ must contain a rainbow perfect matching (for even $n$), and the first graph with minimum degree at least $2$ must contain a rainbow Hamilton cycle.

We study (a:a) Maker-Breaker games played on the edge set of the complete graph on n vertices. In the following four games - perfect matching game, Hamilton cycle game, star factor game and path factor game, our goal is to determine the least number of moves which Maker needs in order to win these games. Moreover, for all games except for the star factor game, we show how Red can win in the strong version of these games.

In 1962, Erdős proved a theorem on the existence of Hamilton cycles in graphs with given minimum degree and number of edges. Significantly strengthening in case of balanced bipartite graphs, Moon and Moser proved a corresponding theorem in 1963. In this paper we establish several spectral analogues of Moon and Moser's theorem on Hamilton paths in balanced bipartite graphs and nearly balanced bipartite graphs. One main ingredient of our proofs is a structural result of its own interest, involving Hamilton paths in balanced bipartite graphs with given minimum degree and number of edges.

We show that for every $k \in \mathbb{N}$ there exists $C > 0$ such that if $p^k \ge C \log^8 n / n$ then asymptotically almost surely the random graph $G_{n,p}$ contains the $k$\textsuperscript{th} power of a Hamilton cycle. This determines the threshold for appearance of the square of a Hamilton cycle up to the logarithmic factor, improving a result of Kühn and Osthus. Moreover, our proof provides a randomized quasi-polynomial algorithm for finding such powers of cycles. Using similar ideas, we also give a randomized quasi-polynomial algorithm for finding a tight Hamilton cycle in the random $k$-uniform hypergraph $G_{n,p}^{(k)}$ for $p \ge C \log^8 n/ n$. The proofs are based on the absorbing method and follow the strategy of Kühn and Osthus, and Allen et al. The new ingredient is a general Connecting Lemma which allows us to connect tuples of vertices using arbitrary structures at a nearly optimal value of $p$. Both the Connecting Lemma and its proof, which is based on Janson's inequality and a greedy embedding strategy, might be of independent interest.

Let $c$ be an edge-coloring of the complete $n$-vertex graph $K_n$. The problem of finding properly colored and rainbow Hamilton cycles in $c$ was initiated in 1976 by Bollobás and Erd\H os and has been extensively studied since then. Recently it was extended to the hypergraph setting by Dudek, Frieze and Ruciński. We generalize these results, giving sufficient local (resp. global) restrictions on the colorings which guarantee a properly colored (resp. rainbow) copy of a given hypergraph $G$. We also study multipartite analogues of these questions. We give (up to a constant factor) optimal sufficient conditions for a coloring $c$ of the complete balanced $m$-partite graph to contain a properly colored or rainbow copy of a given graph $G$ with maximum degree $Δ$. Our bounds exhibit a surprising transition in the rate of growth, showing that the problem is fundamentally different in the regimes $Δ\gg m$ and $Δ\ll m$ Our main tool is the framework of Lu and Székely for the space of random bijections, which we extend to product spaces.

A Hamilton cycle in a graph $Γ$ is a cycle passing through every vertex of $Γ$. A Hamiltonian decomposition of $Γ$ is a partition of its edge set into disjoint Hamilton cycles. One of the oldest results in graph theory is Walecki's theorem from the 19th century, showing that a complete graph $K_n$ on an odd number of vertices $n$ has a Hamiltonian decomposition. This result was recently greatly extended by Kühn and Osthus. They proved that every $r$-regular $n$-vertex graph $Γ$ with even degree $r=cn$ for some fixed $c>1/2$ has a Hamiltonian decomposition, provided $n=n(c)$ is sufficiently large. In this paper we address the natural question of estimating $H(Γ)$, the number of such decompositions of $Γ$. Our main result is that $H(Γ)=r^{(1+o(1))nr/2}$. In particular, the number of Hamiltonian decompositions of $K_n$ is $n^{(1-o(1))n^2/2}$.

For an orientation $H$ with $n$ vertices, let $T(H)$ denote the maximum possible number of labeled copies of $H$ in an $n$-vertex tournament. It is easily seen that $T(H) \ge n!/2^{e(H)}$ as the latter is the expected number of such copies in a random tournament. For $n$ odd, let $R(H)$ denote the maximum possible number of labeled copies of $H$ in an $n$-vertex regular tournament. Adler et al. proved that, in fact, for $H=C_n$ the directed Hamilton cycle, $T(C_n) \ge (e-o(1))n!/2^{n}$ and it was observed by Alon that already $R(C_n) \ge (e-o(1))n!/2^{n}$. Similar results hold for the directed Hamilton path $P_n$. In other words, for the Hamilton path and cycle, the lower bound derived from the expectation argument can be improved by a constant factor. In this paper we significantly extend these results and prove that they hold for a larger family of orientations $H$ which includes all bounded degree Eulerian orientations and all bounded degree balanced orientations, as well as many others. One corollary of our method is that for any $k$-regular orientation $H$ with $n$ vertices, $T(H) \ge (e^k-o(1))n!/2^{e(H)}$ and in fact, for $n$ odd, $R(H) \ge (e^k-o(1))n!/2^{e(H)}$.

We establish an inclusion relation between two uniform models of random $k$-graphs (for constant $k \ge 2$) on $n$ labeled vertices: $\mathbb G^{(k)}(n,m)$, the random $k$-graph with $m$ edges, and $\mathbb R^{(k)}(n,d)$, the random $d$-regular $k$-graph. We show that if $n\log n\ll m\ll n^k$ we can choose $d = d(n) \sim {km}/n$ and couple $\mathbb G^{(k)}(n,m)$ and $\mathbb R^{(k)}(n,d)$ so that the latter contains the former with probability tending to one as $n\to\infty$. This extends an earlier result of Kim and Vu about "sandwiching random graphs". In view of known threshold theorems on the existence of different types of Hamilton cycles in $\mathbb G^{(k)}(n,m)$, our result allows us to find conditions under which $\mathbb R^{(k)}(n,d)$ is Hamiltonian. In particular, for $k\ge 3$ we conclude that if $n^{k-2} \ll d \ll n^{k-1}$, then a.a.s. $\mathbb R^{(k)}(n,d)$ contains a tight Hamilton cycle.