Tight Hamiltonicity from dense links of triples

Richard Lang,Mathias Schacht,Jan Volec

2024-03-22

Abstract:We show that for all $k\geq 4$, $\varepsilon >0$, and $n$ sufficiently large, every $k$-uniform hypergraph on $n$ vertices in which each set of $k-3$ vertices is contained in at least $(5/8 + \varepsilon) \binom{n}{3}$ edges contains a tight Hamilton cycle. This is asymptotically best possible.

Combinatorics

What problem does this paper attempt to address?

Tight Hamilton cycles with high discrepancy

Lior Gishboliner,Stefan Glock,Amedeo Sgueglia

2023-12-16

Abstract:In this paper, we initiate the study of discrepancy questions for spanning subgraphs of $k$-uniform hypergraphs. Our main result is that any $2$-colouring of the edges of a $k$-uniform $n$-vertex hypergraph $G$ with minimum $(k-1)$-degree $\delta(G) \ge (1/2+o(1))n$ contains a tight Hamilton cycle with high discrepancy, that is, with at least $n/2+\Omega(n)$ edges of one colour. The minimum degree condition is asymptotically best possible and our theorem also implies a corresponding result for perfect matchings. Our tools combine various structural techniques such as Turán-type problems and hypergraph shadows with probabilistic techniques such as random walks and the nibble method. We also propose several intriguing problems for future research.

Combinatorics
The Hypergraph Turán Densities of Tight Cycles Minus an Edge

Bernard Lidicky,Connor Mattes,Florian Pfender

2024-09-22

Abstract:A tight $\ell$-cycle minus an edge $C_\ell^-$ is the $3$-graph on the vertex set $[\ell]$, where any three consecutive vertices in the string $123\ldots\ell 1$ form an edge. We show that for every $\ell\ge 5$, $\ell$ not divisible by $3$, the extremal number is $ ex\left(C_\ell^-,n\right)=\tfrac1{24}n^3+O(n\ln n)=\left(\tfrac14+o(1)\right){n\choose 3}. $ We determine the extremal graph up to $O(n)$ edge edits.

Combinatorics
The codegree Turán density of $3$-uniform tight cycles

Simón Piga,Nicolás Sanhueza-Matamala,Mathias Schacht

2024-08-06

Abstract:Given any $\varepsilon>0$ we prove that every sufficiently large $n$-vertex $3$-graph $H$ where every pair of vertices is contained in at least $(1/3+\varepsilon)n$ edges contains a copy of $C_{10}$, i.e.\ the tight cycle on $10$ vertices. In fact we obtain the same conclusion for every cycle $C_\ell$ with $\ell\geq 19$.

Combinatorics
Loose Hamilton paths in the 3-uniform cube hypergraph

Oliver Cooley,Johannes Machata,Matija Pasch

2024-09-13

Abstract:It is well-known that the $d$-dimensional hypercube contains a Hamilton cycle for $d\ge 2$. In this paper we address the analogous problem in the $3$-uniform cube hypergraph, a $3$-uniform analogue of the hypercube: for simple parity reasons, the $3$-uniform cube hypergraph can never admit a loose Hamilton cycle in any dimension, so we do the next best thing and consider loose Hamilton paths, and determine for which dimensions these exist.

Combinatorics
Hamilton cycles, minimum degree and bipartite holes

Colin McDiarmid,Nikola Yolov

DOI: https://doi.org/10.48550/arXiv.1604.00888

2016-04-19

Abstract: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{\alpha}(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{\alpha}(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{\alpha}(G)$.

Combinatorics
Hamiltonicity in randomly perturbed hypergraphs

Jie Han,Yi Zhao

DOI: https://doi.org/10.1016/j.jctb.2019.12.005

2020-09-01

Abstract:For integers <math>k≥3</math> and <math>1≤ℓ≤k−1</math>, we prove that for any <math>α>0</math>, there exist <math>ϵ>0</math> and <math>C>0</math> such that for sufficiently large <math>n∈(k−ℓ)N</math>, the union of a k-uniform hypergraph with minimum vertex degree <math>αnk−1</math> and a binomial random k-uniform hypergraph <math>G(k)(n,p)</math> with <math>p≥n−(k−ℓ)−ϵ</math> for <math>ℓ≥2</math> and <math>p≥Cn−(k−1)</math> for <math>ℓ=1</math> on the same vertex set contains a Hamiltonian ℓ-cycle with high probability. Our result is best possible up to the values of ϵ and C and answers a question of Krivelevich, Kwan and Sudakov.
The Turán Density of 4-Uniform Tight Cycles

Maya Sankar

2024-11-04

Abstract:For any uniformity $r$ and residue $k$ modulo $r$, we give an exact characterization of the $r$-uniform hypergraphs that homomorphically avoid tight cycles of length $k$ modulo $r$, in terms of colorings of $(r-1)$-tuples of vertices. This generalizes the result that a graph avoids all odd closed walks if and only if it is bipartite, as well as a result of Kam\v cev, Letzter, and Pokrovskiy in uniformity 3. In fact, our characterization applies to a much larger class of families than those of the form $\mathscr C_k^{(r)}=\{\text{$r$-uniform tight cycles of length $k$ modulo $r$}\}$. We also outline a general strategy to prove that, if $\mathscr C$ is a family of tight-cycle-like hypergraphs (including but not limited to the families $\mathscr C_k^{(r)}$) for which the above characterization applies, then all sufficiently long $C\in \mathscr C$ will have the same Turán density. We demonstrate an application of this framework, proving that there exists an integer $L_0$ such that for every $L>L_0$ not divisible by 4, the tight cycle $C^{(4)}_L$ has Turán density $1/2$.

Combinatorics
A generalization of the Hamiltonian cycle in dense digraphs

Jie Zhang,Zhilan Wang,Jin Yan

2024-07-26

Abstract:Let D be a digraph and C be a cycle in D. For any two vertices x and y in D, the distance from x to y is the minimum length of a path from x to y. We denote the square of Let $D$ be a digraph and $C$ be a cycle in $D$. For any two vertices $x$ and $y$ in $D$, the distance from $x$ to $y$ is the minimum length of a path from $x$ to $y$. We denote the square of the cycle $C$ to be the graph whose vertex set is $V(C)$ and for distinct vertices $x$ and $y$ in $C$, there is an arc from $x$ to $y$ if and only if the distance from $x$ to $y$ in $C$ is at most $2$. The reverse square of the cycle $C$ is the digraph with the same vertex set as $C$, and the arc set $A(C)\cup \{yx: \mbox{the vertices}\ x, y\in V(C)\ \mbox{and the distance from $x$ to $y$ on $C$ is $2$}\}$. In this paper, we show that for any real number $\gamma>0$ there exists a constant $n_0=n_0(\gamma)$, such that every digraph on $n\geq n_0$ vertices with the minimum in- and out-degree at least $(2/3+\gamma)n$ contains the reverse square of a Hamiltonian cycle. Our result extends a result of Czygrinow, Kierstead and Molla.

Combinatorics
The Turán density of tight cycles in three-uniform hypergraphs

Nina Kamčev,Shoham Letzter,Alexey Pokrovskiy

2023-10-06

Abstract:The Turán density of an $r$-uniform hypergraph $\mathcal{H}$, denoted $\pi(\mathcal{H})$, is the limit of the maximum density of an $n$-vertex $r$-uniform hypergraph not containing a copy of $\mathcal{H}$, as $n \to \infty$. Denote by $\mathcal{C}_{\ell}$ the $3$-uniform tight cycle on $\ell$ vertices. Mubayi and Rödl gave an ``iterated blow-up'' construction showing that the Turán density of $\mathcal{C}_5$ is at least $2\sqrt{3} - 3 \approx 0.464$, and this bound is conjectured to be tight. Their construction also does not contain $\mathcal{C}_{\ell}$ for larger $\ell$ not divisible by $3$, which suggests that it might be the extremal construction for these hypergraphs as well. Here, we determine the Turán density of $\mathcal{C}_{\ell}$ for all large $\ell$ not divisible by $3$, showing that indeed $\pi(\mathcal{C}_{\ell}) = 2\sqrt{3} - 3$. To our knowledge, this is the first example of a Turán density being determined where the extremal construction is an iterated blow-up construction. A key component in our proof, which may be of independent interest, is a $3$-uniform analogue of the statement ``a graph is bipartite if and only if it does not contain an odd cycle''.

Combinatorics
Hamilton cycles in line graphs of 3-hypergraphs

Tomáš Kaiser,Petr Vrána

DOI: https://doi.org/10.48550/arXiv.2201.13115

2022-05-20

Abstract:We prove that every 52-connected line graph of a rank 3 hypergraph is Hamiltonian. This is the first result of this type for hypergraphs of bounded rank other than ordinary graphs.

Combinatorics
On $k$-uniform tight cycles: the Ramsey number for $C_{kn}^{(k)}$ and an approximate Lehel's conjecture

Vincent Pfenninger

2024-06-21

Abstract:A $k$-uniform tight cycle is a $k$-graph with a cyclic ordering of its vertices such that its edges are precisely the sets of $k$ consecutive vertices in that ordering. We show that, for each $k \geq 3$, the Ramsey number of the $k$-uniform tight cycle on $kn$ vertices is $(1+o(1))(k+1)n$. This is an extension to all uniformities of previous results for $k = 3$ by Haxell, Łuczak, Peng, Rödl, Ruciński, and Skokan and for $k = 4$ by Lo and the author and confirms a special case of a conjecture by the former set of authors. Lehel's conjecture, which was proved by Bessy and Thomassé, states that every red-blue edge-coloured complete graph contains a red cycle and a blue cycle that are vertex-disjoint and together cover all the vertices. We also prove an approximate version of this for $k$-uniform tight cycles. We show that, for every $k \geq 3$, every red-blue edge-coloured complete $k$-graph on $n$ vertices contains a red tight cycle and a blue tight cycle that are vertex-disjoint and together cover $n - o(n)$ vertices.

Combinatorics
Transference for loose Hamilton cycles in random $3$-uniform hypergraphs

Kalina Petrova,Miloš Trujić

2024-04-27

Abstract:A loose Hamilton cycle in a hypergraph is a cyclic sequence of edges covering all vertices in which only every two consecutive edges intersect and do so in exactly one vertex. With Dirac's theorem in mind, it is natural to ask what minimum $d$-degree condition guarantees the existence of a loose Hamilton cycle in a $k$-uniform hypergraph. For $k=3$ and each $d \in \{1,2\}$, the necessary and sufficient such condition is known precisely. We show that these results adhere to a `transference principle' to their sparse random analogues. The proof combines several ideas from the graph setting and relies on the absorbing method. In particular, we employ a novel approach of Kwan and Ferber for finding absorbers in subgraphs of sparse hypergraphs via a contraction procedure. In the case of $d = 2$, our findings are asymptotically optimal.

Combinatorics
Hamiltonian Claw-Free Graphs and O -Heavy Graphs Involving Induced Cycles

Jun Yin,Liming Xiong,Haixing Zhao

DOI: https://doi.org/10.1007/s00373-015-1605-7

2015-01-01

Graphs and Combinatorics

Abstract:In this paper, we show that every 3-connected claw-free graph such that every induced cycle of length at least 4 has at most 8 edges contained in a triangle is hamiltonian. This implies that every 3-connected $\{K_{1,3}\}\cup \{C_i|i\ge 9\}$-free graph is hamiltonian. We also show that every 3-connected o-heavy graph whose induced cycle of length is at most 8 is hamiltonian and that every 2-connected claw-free graph of longest induced cycle with length at least $n-2$ is hamiltonian. These results are all best possible. As a byproduct, we show that it is NP-complete to determine the length of a longest induced cycle of a line graph.
Improved upper bounds on even-cycle creating Hamilton paths

John Byrne,Michael Tait

2023-08-24

Abstract:We study the function $H_n(C_{2k})$, the maximum number of Hamilton paths such that the union of any pair of them contains $C_{2k}$ as a subgraph. We give upper bounds on this quantity for $k\ge 3$, improving results of Harcos and Soltész, and we show that if a conjecture of Ustimenko is true then one additionally obtains improved upper bounds for all $k\geq 6$. {We also give bounds on $H_n(K_{2,3})$ and $H_n(K_{2,4})$. In order to prove our results, we extend a theorem of Krivelevich which counts Hamilton cycles in $(n, d, \lambda)$-graphs to bipartite or irregular graphs, and then apply these results to generalized polygons and the constructions of Lubotzky-Phillips-Sarnak and Füredi.

Combinatorics
Almost partitioning every $2$-edge-coloured complete $k$-graph into $k$ monochromatic tight cycles

Allan Lo,Vincent Pfenninger

2024-05-08

Abstract:A $k$-uniform tight cycle is a $k$-graph with a cyclic order of its vertices such that every $k$ consecutive vertices from an edge. We show that for $k\geq 3$, every red-blue edge-coloured complete $k$-graph on $n$ vertices contains $k$ vertex-disjoint monochromatic tight cycles that together cover $n - o(n)$ vertices.

Combinatorics
Transference for loose Hamilton cycles in random 3‐uniform hypergraphs

Kalina Petrova,Miloš Trujić

DOI: https://doi.org/10.1002/rsa.21216

2024-04-14

Random Structures and Algorithms

Abstract:A loose Hamilton cycle in a hypergraph is a cyclic sequence of edges covering all vertices in which only every two consecutive edges intersect and do so in exactly one vertex. With Dirac's theorem in mind, it is natural to ask what minimum d ‐degree condition guarantees the existence of a loose Hamilton cycle in a k ‐uniform hypergraph. For k=3 and each d∈{1,2} , the necessary and sufficient such condition is known precisely. We show that these results adhere to a 'transference principle' to their sparse random analogues. The proof combines several ideas from the graph setting and relies on the absorbing method. In particular, we employ a novel approach of Kwan and Ferber for finding absorbers in subgraphs of sparse hypergraphs via a contraction procedure. In the case of d=2 , our findings are asymptotically optimal.

mathematics, applied,computer science, software engineering
Minimum degree thresholds for Hamilton $(\ell,k-\ell)$-cycles in $k$-uniform hypergraphs

Jian Wang,Jie You

DOI: https://doi.org/10.48550/arXiv.2302.04845

2023-02-05

Abstract:Let $n>k>\ell$ be positive integers. We say a $k$-uniform hypergraph $\mathcal{H}$ contains a Hamilton $(\ell,k-\ell)$-cycle if there is a partition $(L_0,R_0,L_1,R_1,\ldots,L_{t-1},R_{t-1})$ of $V(\mathcal{H})$ with $|L_i|=\ell$, $|R_i|=k-\ell$ such that $L_i\cup R_i$ and $R_i\cup L_{i+1}$ (subscripts module $t$) are all edges of $\mathcal{H}$ for $i=0,1,\ldots,t-1$. In the present paper, we determine the tight minimum $\ell$-degree condition that guarantees the existence of a Hamilton $(\ell,k-\ell)$-cycle in every $k$-uniform $n$-vertex hypergraph for $k\geq 7$, $k/2\leq \ell\leq k-1$ and sufficiently large $n\in k\mathbb{N}$.

Combinatorics
Hamiltonicity of Sparse Pseudorandom Graphs

Asaf Ferber,Jie Han,Dingjia Mao,Roman Vershynin

2024-02-09

Abstract:We show that every $(n,d,\lambda)$-graph contains a Hamilton cycle for sufficiently large $n$, assuming that $d\geq \log^{10}n$ and $\lambda\leq cd$, where $c=\frac{1}{9000}$. This significantly improves a recent result of Glock, Correia and Sudakov, who obtain a similar result for $d$ that grows polynomially with $n$. The proof is based on the absorption technique combined with a new result regarding the second largest eigenvalue of the adjacency matrix of a subgraph induced by a random subset of vertices. We believe that the latter result is of an independent interest and will have further applications.

Combinatorics
Hamilton Cycles in Dense Regular Digraphs and Oriented Graphs

Allan Lo,Viresh Patel,Mehmet Akif Yıldız

2023-09-14

Abstract:We prove that for every $\varepsilon > 0$ there exists $n_0=n_0(\varepsilon)$ such that every regular oriented graph on $n > n_0$ vertices and degree at least $(1/4 + \varepsilon)n$ has a Hamilton cycle. This establishes an approximate version of a conjecture of Jackson from 1981. We also establish a result related to a conjecture of Kühn and Osthus about the Hamiltonicity of regular directed graphs with suitable degree and connectivity conditions.

Combinatorics

Tight Hamiltonicity from dense links of triples

Tight Hamilton cycles with high discrepancy

The Hypergraph Turán Densities of Tight Cycles Minus an Edge

The codegree Turán density of $3$-uniform tight cycles

Loose Hamilton paths in the 3-uniform cube hypergraph

Hamilton cycles, minimum degree and bipartite holes

Hamiltonicity in randomly perturbed hypergraphs

The Turán Density of 4-Uniform Tight Cycles

A generalization of the Hamiltonian cycle in dense digraphs

The Turán density of tight cycles in three-uniform hypergraphs

Hamilton cycles in line graphs of 3-hypergraphs

On $k$-uniform tight cycles: the Ramsey number for $C_{kn}^{(k)}$ and an approximate Lehel's conjecture

Transference for loose Hamilton cycles in random $3$-uniform hypergraphs

Hamiltonian Claw-Free Graphs and O -Heavy Graphs Involving Induced Cycles

Improved upper bounds on even-cycle creating Hamilton paths

Almost partitioning every $2$-edge-coloured complete $k$-graph into $k$ monochromatic tight cycles

Transference for loose Hamilton cycles in random 3‐uniform hypergraphs

Minimum degree thresholds for Hamilton $(\ell,k-\ell)$-cycles in $k$-uniform hypergraphs

Hamiltonicity of Sparse Pseudorandom Graphs

Hamilton Cycles in Dense Regular Digraphs and Oriented Graphs