Order of fₖ(N; s, t) in hypergraph Turán
Determine the order of f_k(N; s, t) in general · arXiv:1909.05988
Status open high confidence
The source paper (Fox–He, 2021) resolves the Erdős–Hajnal threshold conjectures and establishes $f_3(N;s,t)=\Theta(\log N/\log\log N)$ for a constant fraction of $t$-values in the range $(e(s),E(s)]$ for each fixed $s\ge 4$, but the full problem of determining the order of $f_k(N;s,t)$ for all valid parameters $k\ge 3$, $s\ge k+1$, and $1\le t\le\binom{s}{k}$ remains open. A wide web search through May 2026 found no follow-up paper settling the general question; the problem is still active.
Reviewer notes. No follow-up resolving the general order of f_k(N;s,t) was found. The 2026 preprint arXiv:2603.16069 (He) concerns quasipolynomial Ramsey numbers for 3-graphs but does not address the f_k(N;s,t) order problem. A Cambridge Core paper on forbidden order-size pairs is thematically related but uses a different framework and does not resolve this conjecture.
Context
Despite substantial progress on the qualitative phase-transition structure of $f_k(N;s,t)$ as $t$ varies (the Erdős–Hajnal threshold conjectures, now resolved), the exact order of $f_k(N;s,t)$ has remained wide open. Theorem 1.6 determines the order $f_3(N;s,t) = \Theta(\log N/\log\log N)$ for a constant fraction of $t$-values in the range $(e(s), E(s)]$ for each fixed $s \ge 4$.
Notes. Framed in prose as 'the order of $f_k(N;s,t)$ has remained wide open'; no explicit labelled problem environment. Section 7, which the paper states contains explicit open problems, is absent from the PDF extraction.
Source paper
Independent sets in hypergraphs with a forbidden link
Jacob Fox, Xiaoyu He · 2021-03-18
https://arxiv.org/abs/1909.05988
PDF source