Towards Lehel's conjecture for 4-uniform tight cycles
Allan Lo, Vincent Pfenninger
备注：
36 pages; revised version, accepted for publication in the Electronic Journal of Combinatorics. arXiv admin note: text overlap with arXiv:1606.05616 by other authors
A $k$-uniform tight cycle is a $k$-uniform hypergraph with a cyclic ordering of its vertices such that its edges are all the sets of size $k$ formed by $k$ consecutive vertices in the ordering. We prove that every red-blue edge-coloured $K_n^{(4)}$ contains a red and a blue tight cycle that are vertex-disjoint and together cover $n-o(n)$ vertices. Moreover, we prove that every red-blue edge-coloured $K_n^{(5)}$ contains four monochromatic tight cycles that are vertex-disjoint and together cover $n-o(n)$ vertices.
It has been conjectured that for any fixed $r\geq 2$ and sufficiently large $n$, there is a monochromatic Hamiltonian Berge-cycle in every $(r-1)$-coloring of the edges of $K_{n}^{r}$, the complete $r$-uniform hypergraph on $n$ vertices. In this paper we prove this conjecture.
Universidade Federal de Pernambuco（伯南布哥联邦大学）；Universidade Federal Fluminense（弗鲁米嫩塞联邦大学）；Universidade Federal do Ceará（塞阿拉联邦大学）；Universidade Federal de Minas Gerais（米纳斯吉拉斯联邦大学）；Institute for Basic Science（基础科学研究院）
Lehel conjectured that in every $2$-coloring of the edges of $K_n$, there is a vertex disjoint red and blue cycle which span $V(K_n)$. Łuczak, Rödl, and Szemerédi proved Lehel's conjecture for large $n$, Allen gave a different proof for large $n$, and finally Bessy and Thomassé gave a proof for all $n$. Balogh, Barát, Gerbner, Gyárfás, and Sárközy proposed a significant strengthening of Lehel's conjecture where $K_n$ is replaced by any graph $G$ with $δ(G)> 3n/4$; if true, this minimum degree condition is essentially best possible. We prove that their conjecture holds when $δ(G)>(3/4+o(1))n$. …
In 1999, Jacobson and Lehel conjectured that for $k \geq 3$, every $k$-regular Hamiltonian graph has cycles of at least linearly many different lengths. This was further strengthened by Verstraëte, who asked whether the regularity can be replaced with the weaker condition that the minimum degree is at least $3$. Despite attention from various researchers, until now, the best partial result towards both of these conjectures was a $\sqrt{n}$ lower bound on the number of cycle lengths. We resolve these conjectures asymptotically, by showing that the number of cycle lengths is at least $n^{1-o(1)}…
We show that for all $\ell, k, n$ with $\ell \leq k/2$ and $(k-\ell)$ dividing $n$ the following hypergraph-variant of Lehel's conjecture is true. Every $2$-edge-colouring of the $k$-uniform complete hypergraph $\mathcal{K}_n^{(k)}$ on $n$ vertices has at most two disjoint monochromatic $\ell$-cycles in different colours that together cover all but at most $4(k-\ell)$ vertices. If $\ell \leq k/3$, then at most two $\ell$-cycles cover all but at most $2(k-\ell)$ vertices. Furthermore, we can cover all vertices with at most $4$ ($3$ if $\ell\leq k/3$) disjoint monochromatic $\ell$-cycles.
Gyárfás and Lehel and independently Faudree and Schelp proved that in any 2-coloring of the edges of $K_{n,n}$ there exists a monochromatic path on at least $2\lceil n/2\rceil$ vertices, and this is tight. We prove a stability version of this result which holds even if the host graph is not complete; that is, if $G$ is a balanced bipartite graph on $2n$ vertices with minimum degree at least $(3/4+o(1))n$, then in every 2-coloring of the edges of $G$, either there exists a monochromatic cycle on at least $(1+o(1))n$ vertices, or the coloring of $G$ is close to an extremal coloring -- in which c…
We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles.
In this paper we show that $e/n$ is the sharp threshold for the existence of tight Hamilton cycles in random $k$-uniform hypergraphs, for all $k\ge 4$. When $k=3$ we show that $1/n$ is an asymptotic threshold. We also determine thresholds for the existence of other types of Hamilton cycles.
We employ the absorbing-path method in order to prove two results regarding the emergence of tight Hamilton cycles in the so called {\em two-path} or {\em cherry}-quasirandom $3$-graphs. Our first result asserts that for any fixed real $α>0$, cherry-quasirandom $3$-graphs of sufficiently large order $n$ having minimum $2$-degree at least $α(n-2)$ have a tight Hamilton cycle. Our second result concerns the minimum $1$-degree sufficient for such $3$-graphs to have a tight Hamilton cycle. Roughly speaking, we prove that for every $d,α>0$ satisfying $d + α>1$, any sufficiently large $n$-vertex suc…
A tight $k$-uniform $\ell$-cycle, denoted by $TC_\ell^k$, is a $k$-uniform hypergraph whose vertex set is $v_0, \cdots, v_{\ell-1}$, and the edges are all the $k$-tuples $\{v_i, v_{i+1}, \cdots, v_{i+k-1}\}$, with subscripts modulo $\ell$. Motivated by a classic result in graph theory that every $n$-vertex cycle-free graph has at most $n-1$ edges, Sós and, independently, Verstraëte asked whether for every integer $k$, a $k$-uniform $n$-vertex hypergraph without any tight $k$-uniform cycles has at most $\binom{n-1}{k-1}$ edges. In this paper, we answer this question in negative.
We prove that any $3$-uniform hypergraph whose minimum vertex degree is at least $\left(\frac{5}{9} + o(1) \right)\binom{n}{2}$ admits an almost-spanning tight cycle, that is, a tight cycle leaving $o(n)$ vertices uncovered. The bound on the vertex degree is asymptotically best possible. Our proof uses the hypergraph regularity method, and in particular a recent version of the hypergraph regularity lemma proved by Allen, Böttcher, Cooley and Mycroft.
In 2006, Kühn and Osthus showed that if a 3-graph H on n vertices has minimum co-degree at least (1/4 +o(1))n and n is even then H has a loose Hamilton cycle. In this paper, we prove that the minimum co-degree of n/4 suffices. The result is tight.
Given $α>0$ and an integer $\ell\geq5$, we prove that every sufficiently large $3$-uniform hypergraph $H$ on $n$ vertices in which every two vertices are contained in at least $αn$ edges contains a copy of $C_\ell^{-}$, a tight cycle on $\ell$ vertices minus one edge. This improves a previous result by Balogh, Clemen, and Lidický.
We show that every 4-uniform hypergraph with $n$ vertices and minimum pair degree at least $(5/9+o(1))n^2/2$ contains a tight Hamiltonian cycle. This degree condition is asymptotically optimal.
We show that every $r$-uniform hypergraph on $n$ vertices which does not contain a tight cycle has at most $O(n^{r-1} (\log n)^5)$ edges. This is an improvement on the previously best-known bound, of $n^{r-1} e^{O(\sqrt{\log n})}$, due to Sudakov and Tomon, and our proof builds up on their work. A recent construction of B. Janzer implies that our bound is tight up to an $O((\log n)^4 \log \log n)$ factor.
We give an algorithmic proof for the existence of tight Hamilton cycles in a random r-uniform hypergraph with edge probability p=n^{-1+eps} for every eps>0. This partly answers a question of Dudek and Frieze [Random Structures Algorithms], who used a second moment method to show that tight Hamilton cycles exist even for p=omega(n)/n (r>2) where omega(n) tends to infinity arbitrary slowly, and for p=(e+o(1))/n (r>3). The method we develop for proving our result applies to related problems as well.
We show that every 3-uniform hypergraph with $n$ vertices and minimum vertex degree at least $(5/9+o(1))\binom{n}2$ contains a tight Hamiltonian cycle. Known lower bound constructions show that this degree condition is asymptotically optimal.
We study sufficient conditions for the existence of Hamilton cycles in uniformly dense $3$-uniform hypergraphs. Problems of this type were first considered by Lenz, Mubayi, and Mycroft for loose Hamilton cycles and Aigner-Horev and Levy considered it for tight Hamilton cycles for a fairly strong notion of uniformly dense hypergraphs. We focus on tight cycles and obtain optimal results for a weaker notion of uniformly dense hypergraphs. We show that if an $n$-vertex $3$-uniform hypergraph $H=(V,E)$ has the property that for any set of vertices $X$ and for any collection $P$ of pairs of vertices…
Let H be a 3-uniform hypergraph with N vertices. A tight Hamilton cycle C \subset H is a collection of N edges for which there is an ordering of the vertices v_1, ..., v_N such that every triple of consecutive vertices {v_i, v_{i+1}, v_{i+2}} is an edge of C (indices are considered modulo N). We develop new techniques which enable us to prove that under certain natural pseudo-random conditions, almost all edges of H can be covered by edge-disjoint tight Hamilton cycles, for N divisible by 4. Consequently, we derive the corollary that random 3-uniform hypergraphs can be almost completely packed…
Let G be a graph of order n and let q(G) be that largest eigenvalue of the signless Laplacian of G. In this note it is shown that if k>1 and q(G)>=n+2k-2, then G contains cycles of length l whenever 2<l<2k+3. This bound is asymptotically tight. It implies an asymptotic solution to a recent conjecture about the maximum q(G) of a graph G with no cycle of a specified length.
An $r$-uniform tight cycle of length $\ell>r$ is a hypergraph with vertices $v_1,\dots,v_\ell$ and edges $\{v_i,v_{i+1},\dots,v_{i+r-1}\}$ (for all $i$), with the indices taken modulo $\ell$. It was shown by Sudakov and Tomon that for each fixed $r\geq 3$, an $r$-uniform hypergraph on $n$ vertices which does not contain a tight cycle of any length has at most $n^{r-1+o(1)}$ hyperedges, but the best known construction (with the largest number of edges) only gives $Ω(n^{r-1})$ edges. In this note we prove that, for each fixed $r\geq 3$, there are $r$-uniform hypergraphs with $Ω(n^{r-1}\log n/\lo…
A tight cycle in an $r$-uniform hypergraph $\mathcal{H}$ is a sequence of $\ell\geq r+1$ vertices $x_1,\dots,x_{\ell}$ such that all $r$-tuples $\{x_{i},x_{i+1},\dots,x_{i+r-1}\}$ (with subscripts modulo $\ell$) are edges of $\mathcal{H}$. An old problem of V. Sós, also posed independently by J. Verstraëte, asks for the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices which has no tight cycle. Although this is a very basic question, until recently, no good upper bounds were known for this problem for $r\geq 3$. Here we prove that the answer is at most $n^{r-1+o(1)}$, which …
We prove a lower bound on the length of the longest $j$-tight cycle in a $k$-uniform binomial random hypergraph for any $2 \le j \le k-1$. We first prove the existence of a $j$-tight path of the required length. The standard "sprinkling" argument is not enough to show that this path can be closed to a $j$-tight cycle -- we therefore show that the path has many extensions, which is sufficient to allow the sprinkling to close the cycle.
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…
For $k\ge 2$ and $r\ge 1$ such that $k+r\ge 4$, we prove that, for any $α>0$, there exists $ε>0$ such that the union of an $n$-vertex $k$-graph with minimum codegree $\left(1-\binom{k+r-2}{k-1}^{-1}+α\right)n$ and a binomial random $k$-graph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-\binom{k+r-2}{k-1}^{-1}-ε}$ on the same vertex set contains the $r^{\text{th}}$ power of a tight Hamilton cycle with high probability. This result for $r=1$ was first proved by McDowell and Mycroft.
Confirming a conjecture of Gyárfás, we prove that, for all natural numbers $k$ and $r$, the vertices of every $r$-edge-coloured complete $k$-uniform hypergraph can be partitioned into a bounded number (independent of the size of the hypergraph) of monochromatic tight cycles. We further prove that, for for all natural numbers $p$ and $r$, the vertices of every $r$-edge-coloured complete graph can be partitioned into a bounded number of $p$-th powers of cycles, settling a problem of Elekes, Soukup, Soukup and Szentmiklóssy. In fact we prove a common generalisation of both theorems which further …
We study properties of random subcomplexes of partitions returned by (a suitable form of) the Strong Hypergraph Regularity Lemma, which we call regular slices. We argue that these subcomplexes capture many important structural properties of the original hypergraph. Accordingly we advocate their use in extremal hypergraph theory, and explain how they can lead to considerable simplifications in existing proofs in this field. We also use them for establishing the following two new results. Firstly, we prove a hypergraph extension of the Erdős-Gallai Theorem: for every $δ>0$ every sufficiently lar…
We say that a $k$-uniform hypergraph $C$ is a Hamilton cycle of type $\ell$, for some $1\le \ell \le k$, if there exists a cyclic ordering of the vertices of $C$ such that every edge consists of $k$ consecutive vertices and for every pair of consecutive edges $E_{i-1},E_i$ in $C$ (in the natural ordering of the edges) we have $|E_{i-1}\setminus E_i|=\ell$. We define a class of $(\e,p)$-regular hypergraphs, that includes random hypergraphs, for which we can prove the existence of a decomposition of almost all edges into type $\ell$ Hamilton cycles, where $\ell<k/2$.
Tight Hamiltonian Cycles in Uniformly Dense $3$-Graphs
Institute for Basic Science (IBS)（基础科学研究院）；School of Mathematics and Statistics, Beijing Institute of Technology（北京理工大学数学与统计学院）；School of Mathematical Sciences, University of Science and Technology of China（中国科学技术大学数学科学学院）
In an $r$-uniform hypergraph on $n$ vertices a tight Hamilton cycle consists of $n$ edges such that there exists a cyclic ordering of the vertices where the edges correspond to consecutive segments of $r$ vertices. We provide a first deterministic polynomial time algorithm, which finds a.a.s. tight Hamilton cycles in random $r$-uniform hypergraphs with edge probability at least $C \log^3n/n$. Our result partially answers a question of Dudek and Frieze [Random Structures & Algorithms 42 (2013), 374-385] who proved that tight Hamilton cycles exists already for $p=ω(1/n)$ for $r=3$ and $p=(e + o(…
The 3-uniform tight cycle $C_s^3$ has vertex set $ Z_s$ and edge set $\{\{i, i+1, i+2\}: i \in Z_s\}$. We prove that for every $s \not\equiv 0$ (mod 3) and $s \ge 16$ or $s \in \{8,11,14\}$ there is a $c_s>0$ such that the 3-uniform hypergraph Ramsey number $$r(C_s^3, K_n^3)< 2^{c_s n \log n}$$ This answers in strong form a question of the author and Rödl who asked for an upper bound of the form $2^{n^{1+ε_s}}$ for each fixed $s \ge 4$, where $ε_s \rightarrow 0$ as $s \rightarrow \infty$ and $n$ is sufficiently large. The result is nearly tight as the lower bound is known to be exponential in …
For integers $k \geq 3$ and $r\geq 2$, we show that for every $α> 0$, there exists $\varepsilon > 0$ such that the union of $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $αn$ and a binomial random $k$-uniform hypergraph $G^{(k)}(n,p)$ with $p\geq n^{-{\binom{k+r-2}{k-1}}^{-1}-\varepsilon}$ on the same vertex set contains the $r^{th}$ power of a tight Hamilton cycle with high probability. Moreover, a construction shows that one cannot take $\varepsilon > Cα$, where $C=C(k,r)$ is a constant. Thus the bound on $p$ is optimal up to the value of $\varepsilon$ and this answer…
We develop a new framework to study minimum $d$-degree conditions in $k$-uniform hypergraphs, which guarantee the existence of a tight Hamilton cycle. Our main theoretical result deals with the typical absorption, path cover and connecting arguments for all $k$ and $d$ at once, and thus sheds light on the underlying structural problems. Building on this, we show that one can study minimum $d$-degree conditions of $k$-uniform tight Hamilton cycles by focusing on the inner structure of the neighbourhoods. This reduces the matter to an Erdős--Gallai-type question for $(k-d)$-uniform hypergraphs, …
For $s \ge 4$, the 3-uniform tight cycle $C^3_s$ has vertex set corresponding to $s$ distinct points on a circle and edge set given by the $s$ cyclic intervals of three consecutive points. For fixed $s \ge 4$ and $s \not\equiv 0$ (mod 3) we prove that there are positive constants $a$ and $b$ with $$2^{at}<r(C^3_s, K^3_t)<2^{bt^2\log t}.$$ The lower bound is obtained via a probabilistic construction. The upper bound for $s>5$ is proved by using supersaturation and the known upper bound for $r(K_4^{3}, K_t^3)$, while for $s=5$ it follows from a new upper bound for $r(K_5^{3-}, K_t^3)$ that we de…
A classic result of Erdős and Pósa says that any graph contains either $k$ vertex-disjoint cycles or can be made acyclic by deleting at most $O(k \log k)$ vertices. Here we generalize this result by showing that for all numbers $k$ and $l$ and for every graph $G$, either $G$ contains $k$ vertex-disjoint cycles of length at least $l$, or there exists a set $X$ of $\mathcal O(kl+k\log k)$ vertices that meets all cycles of length at least $l$ in $G$. As a corollary, the tree-width of any graph $G$ that does not contain $k$ vertex-disjoint cycles of length at least $l$ is of order $\mathcal O(kl+k…
A Jump in the Codegree Turán Densities of Long Tight Cycles
University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；Institute for Basic Science (IBS)（韩国基础科学研究所）；University of Illinois Chicago（伊利诺伊大学芝加哥分校）；Institute for Advanced Study（普林斯顿高等研究院）
A tight Hamilton cycle in a $k$-uniform hypergraph ($k$-graph) $G$ is a cyclic ordering of the vertices of $G$ such that every set of $k$ consecutive vertices in the ordering forms an edge. Rödl, Ruciński, and Szemerédi proved that for $k\geq 3$, every $k$-graph on $n$ vertices with minimum codegree at least $n/2+o(n)$ contains a tight Hamilton cycle. We show that the number of tight Hamilton cycles in such $k$-graphs is $\exp(n\ln n-Θ(n))$. As a corollary, we obtain a similar estimate on the number of Hamilton $\ell$-cycles in such $k$-graphs for all $\ell\in\{0,\dots,k-1\}$, which makes prog…
We prove a new sufficient pair degree condition for tight Hamiltonian cycles in $3$-uniform hypergraphs that (asymptotically) improves the best known pair degree condition due to Rödl, Ruciński, and Szemerédi. For graphs, Chvátal characterised all those sequences of integers for which every pointwise larger (or equal) degree sequence guarantees the existence of a Hamiltonian cycle. A step towards Chvátal's theorem was taken by Pósa, who improved on Dirac's tight minimum degree condition for Hamiltonian cycles by showing that a certain weaker condition on the degree sequence of a graph already …
A basic result in graph theory says that any $n$-vertex tournament with in- and out-degrees larger than $\frac{n-2}{4}$ contains a Hamilton cycle, and this is tight. In 1990, Bollobás and Häggkvist significantly extended this by showing that for any fixed $k$ and $\varepsilon > 0$, and sufficiently large $n$, all tournaments with degrees at least $\frac{n}{4}+\varepsilon n$ contain the $k$-th power of a Hamilton cycle. Up until now, there has not been any progress on determining a more accurate error term in the degree condition, neither in understanding how large $n$ should be in the Bollobás…
We show that for every positive integer $k$, any tournament can be partitioned into at most $2^{ck}$ $k$-th powers of paths. This result is tight up to the exponential constant. Moreover, we prove that for every $\varepsilon>0$ and every integer $k$, any tournament on $n\ge \varepsilon^{-Ck}$ vertices which is $\varepsilon$-far from being transitive contains the $k$-th power of a cycle of length $Ω(\varepsilon n)$; both bounds are tight up to the implied constants.
Layer barriers for colour-biased tight Hamilton cycles
School of Mathematics and Statistics, Lingnan Normal University（岭南师范学院数学与统计学院）；Department of Mathematics Research, Fujian Institute of Education（福建教育学院数学教研部）；School of Mathematics and Physics, China University of Geosciences（中国地质大学数学与物理学院）
