Turán Exponent via d_max for k-partite Hypergraphs
Conjecture 6.2 · arXiv:2401.00359
Status open high confidence
Conjecture 6.2 from arXiv:2401.00359 asserts that for every k-uniform k-partite hypergraph H there exists a constant c_k > 0 such that the Turán exponent is controlled by d_max(H) = max_{1 ≤ i < k} d_i(H), refining Theorem 1.4 which gives bounds in terms of the coarser quantity d_1(H). No follow-up paper resolving or substantially advancing this conjecture was found in the indexed literature as of May 2026; the conjecture appears to remain fully open.
Reviewer notes. No follow-up found after five web queries. The conjecture was posted December 2023 and asks whether d_max(H) = max_{1 ≤ i < k} d_i(H) controls the Turán exponent for k-uniform k-partite hypergraphs; Theorem 1.4 of the same paper establishes matching upper and lower bounds only in terms of the 1-skeleton degeneracy d_1(H), leaving a polynomial gap between the two bounds that motivates the conjecture. The related paper arXiv:2510.07997 on apex partite hypergraphs (2025) addresses a conjecture of Lee rather than Conjecture 6.2.
Context
Theorem 1.4 gives $\Omega_{k}(n^{k-C_{k}/d_{1}(H)})\leq\operatorname{ex}(n,H)\leq O_{H}(n^{k-c_{k}/d_{1}(H)^{k-1}})$. The complete $k$-partite hypergraph $K^{(k)}_{d,\ldots,d}$ shows the upper bound is tight in $d_{1}$, while the bipartite hedgehog $H_{d}^{(k)}$ shows the lower bound is tight in $d_{1}$. This gap motivates replacing $d_{1}(H)$ by the finer quantity $d_{\mathsf{max}}(H)=\max_{1\leq i<k}d_{i}(H)$, and Conjecture 6.2 asserts that the Turán exponent is controlled by $d_{\mathsf{max}}(H)$.
Notes. Statement body truncated in the provided source after the setup clause; the precise bound in terms of $d_{\mathsf{max}}(H)$ is not fully reproduced.
Source paper
Ramsey and Turán numbers of sparse hypergraphs
Jacob Fox, Maya Sankar, Michael Simkin, Jonathan Tidor, Yunkun Zhou · 2023-12-31
https://arxiv.org/abs/2401.00359