On $3$-graphs with vanishing codegree Turán density

Abstract

For a $k$-uniform hypergraph (or simply $k$-graph) $F$, the codegree Turán density $\ddot{I}{€}_{\mathrm{co}}(F)$ is the supremum over all $\hat{I}\pm$ such that there exist arbitrarily large $n$-vertex $F$-free $k$-graphs $H$ in which every $(k-1)$-subset of $V(H)$ is contained in at least $\hat{I}\pm n$ edges. Recently, it was proved that for every $3$-graph $F$, $\ddot{I}{€}_{\mathrm{co}}(F)=0$ implies $\ddot{I}{€}_{\therefore }(F)=0$, where $\ddot{I}{€}_{\therefore }(F)$ is the uniform Turán density of $F$ and is defined as the supremum over all $d$ such that there are infinitely many $F$-free $k$-graphs $H$ satisfying that any induced linear-size subhypergraph of $H$ has edge density at least $d$. In this paper, we introduce a layered structure for $3$-graphs which allows us to obtain the reverse implication: every layered $3$-graph $F$ with $\ddot{I}{€}_{\therefore }(F)=0$ satisfies $\ddot{I}{€}_{\mathrm{co}}(F)=0$. Along the way, we answer in the negative a question of Falgas-Ravry, Pikhurko, Vaughan and Volec [J. London Math. Soc., 2023] about whether $\ddot{I}{€}_{\therefore }(F)\le \ddot{I}{€}_{\mathrm{co}}(F)$ always holds. In particular, we construct counterexamples $F$ with positive but arbitrarily small $\ddot{I}{€}_{\mathrm{co}}(F)$ while having $\ddot{I}{€}_{\therefore }(F)\ge 4/27$.

17 pages. This work will be merged with arXiv:2312.02879