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''.

$C_{10}$ has positive Turán density in the hypercube

On graphs embeddable in a layer of a hypercube and their extremal numbers

Turán densities for daisies and hypercubes

Turán Densities for Small Hypercubes

On the Turán number of the hypercube

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

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

The Turán Density of 4-Uniform Tight Cycles

An Improved Turán Exponent for 2-Complexes

Hypergraphs with irrational Turán density and many extremal configurations

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

Positive co-degree density of hypergraphs

Hypergraphs with uniform Turán density equal to 8/27

A conditional lower bound for the Turán number of spheres

The planar Turán number of the seven-cycle

Note on the Turán number of the $3$-linear hypergraph $C_{13}$

Hypergraphs with arbitrarily small codegree Turán density

Deep sections of the hypercube

Perfect graphs of fixed density: counting and homogenous sets

Erasure codes and Turán hypercube problems