View PDF HTML (experimental)

Abstract:For integers $1\le \ell<k$, the $\ell$-degree Turán density $\pi_\ell(F)$ measures the minimum $\ell$-degree threshold that forces a copy of a fixed $k$-uniform hypergraph $F$, generalizing both the classical Turán density $\pi_1$ and the codegree Turán density $\pi_{k-1}$. Motivated by Erdős' characterization of $k$-graphs with zero Turán density, we study the structural implications of vanishing $\ell$-degree Turán density.
Our main result concerns the case $\ell=2$. We prove that, for every $k\ge3$, if a $k$-graph $F$ satisfies $\pi_2(F)=0$, then $F$ admits a $2$-vanishing order, that is, a global vertex ordering under which all edges align canonically with respect to their pairs. This extends to all uniformities a structural phenomenon previously known for $3$-graphs, and gives a higher-degree analogue of the classical fact that $\pi_1(F)=0$ forces $F$ to be $k$-partite. In particular, the absence of a $2$-vanishing order is a structural obstruction to vanishing $2$-degree Turán density.
We also establish a suspension principle connecting consecutive degree parameters. Given a $(k-1)$-graph $F$, let $\mathcal{S}_F$ be the $k$-graph obtained by adding an apex vertex $v$ and replacing each edge $e\in E(F)$ with $v\cup e$. We show that, for $2\le \ell<k$, $\pi_{\ell}(\mathcal{S}_F)=0$ if and only if $\pi_{\ell-1}(F)=0$. This provides a bridge between different degree Turán densities and allows vanishing results to be lifted across uniformities and degree parameters. As an application, we prove that except the classical Turán density, all other degree Turán densities accumulate at zero.
The proof of our main result combines random geometric building blocks, a design-theoretic gluing scheme, and random sparsification to reconcile positive $2$-degree with local vanishing structure.

Submission history

From: Laihao Ding [view email]
[v1] Fri, 6 Mar 2026 07:13:04 UTC (24 KB)
[v2] Tue, 30 Jun 2026 10:14:33 UTC (27 KB)