The minimum positive uniform Tur\'an density in uniformly dense $k$-uniform hypergraphs

Abstract

A $k$-graph (or $k$-uniform hypergraph) $H$ is uniformly dense if the edge distribution of $H$ is uniformly dense with respect to every large collection of $k$-vertex cliques induced by sets of $(k-2)$-tuples. Reiher, R\"odl and Schacht [Int. Math. Res. Not., 2018] proposed the study of the uniform Tur\'an density $\pi_{k-2}(F)$ for given $k$-graphs $F$ in uniformly dense $k$-graphs. Meanwhile, they [J. London Math. Soc., 2018] characterized $k$-graphs $F$ satisfying $\pi_{k-2}(F)=0$ and showed that $\pi_{k-2}(\cdot)$ ``jumps" from 0 to at least $k^{-k}$. In particular, they asked whether there exist $3$-graphs $F$ with $\pi_{1}(F)$ equal or arbitrarily close to $1/27$. Recently, Garbe, Kr\'al' and Lamaison [arXiv:2105.09883] constructed some $3$-graphs with $\pi_{1}(F)=1/27$. In this paper, for any $k$-graph $F$, we give a lower bound of $\pi_{k-2}(F)$ based on a probabilistic framework, and provide a general theorem that reduces proving an upper bound on $\pi_{k-2}(F)$ to embedding $F$ in reduced $k$-graphs of the same density using the regularity method for $k$-graphs. By using this result and Ramsey theorem for multicolored hypergraphs, we extend the results of Garbe, Kr\'al' and Lamaison to $k\ge 3$. In other words, we give a sufficient condition for $k$-graphs $F$ satisfying $\pi_{k-2}(F)=k^{-k}$. Additionally, we also construct an infinite family of $k$-graphs with $\pi_{k-2}(F)=k^{-k}$.