Multicolor Ramsey tower-exponent 3-graphs

Problem 4.1 · arXiv:2312.13965

arXiv Problem high confidence— first stated 2024-04-29

Status open high confidence

Problem 4.1 asks whether for every $\ell\geq 1$ there exists a 3-uniform hypergraph $G_\ell$ with $r(G_\ell;q)=2^{q^{\ell+o(1)}}$, i.e., whether every integer exponent is achievable in the exponential-growth class $\mathcal{U}$. The source paper itself settles $\ell=1$ (via $\mathrm{Star}^{(3)}(4)$) and $\ell=2$ (via Proposition 3.3), but for $\ell\geq 3$ the best upper bound remains $2^{q^{\ell+1}\mathrm{polylog}(q)}$, leaving a gap. No follow-up paper resolving the general problem for all $\ell\geq 1$ was found in the literature.

Reviewer notes. No follow-up paper resolving Problem 4.1 found. The cases ell=1 (Star^(3)(4)) and ell=2 (Proposition 3.3 construction) are settled in the source paper itself. The question of whether all integer exponents ell>=3 are achievable with tight r(G_ell;q)=2^{q^{ell+o(1)}} bounds remains open. A related 2026 paper by Xiaoyu He (arXiv:2603.16069) constructs 3-graphs with quasipolynomial 2-color Ramsey growth, which is a different regime.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Problem. Does there exist, for every $\ell\geq 1,$ a $3$-uniform hypergraph $G_{\ell}$ with $r(G_{\ell};q)=2^{q^{\ell+o(1)}}$?

Context

For 3-uniform hypergraphs in the exponential-growth class $\mathcal{U}$, the upper and lower bounds often have different powers of $q$ in the exponent. Known cases include $r(\mathrm{Star}^{(3)}(4);q)=2^{q^{1+o(1)}}$ (exponent $\ell=1$) and a construction from Proposition 3.3 achieving exponent $\ell=2$, but for $\ell\geq 3$ the best upper bound is only of the form $2^{q^{\ell+1}\mathrm{polylog}(q)}$.

Source paper

The growth rate of multicolor Ramsey numbers of $3$-graphs
Domagoj Bradač, Jacob Fox, Benny Sudakov · 2024-04-29
https://arxiv.org/abs/2312.13965