Ramsey bound for 3-uniform sparse hypergraphs

Conjecture 6.1 · arXiv:2401.00359

arXiv Conjecture high confidence— first stated 2023-12-31

Authors: Jacob Fox, Maya Sankar, Michael Simkin, Jonathan Tidor, Yunkun Zhou

Status open high confidence

Conjecture 6.1 asserts the height-two tower bound $r(H;q)\leq\exp^{(2)}(O_q(d))n$ for every 3-uniform $n$-vertex hypergraph with $d_1(H)=d$. The paper's general argument gives $\exp^{(2)}(O_q(d\log d))n$, so the conjecture removes the $\log d$ factor from the top of the tower. No follow-up resolving it was found in the May 2026 review.

Reviewer notes. Here $\exp^{(2)}$ is explicitly defined by the paper as an exponential tower of height two. The earlier review incorrectly described the conjectured bound as single-exponential.

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

Conjecture. For a 3-uniform $n$-vertex hypergraph $H$ with $d_{1}(H)=d$, $r(H;q)\leq\exp^{(2)}(O_{q}(d))n$.

Context

For 3-uniform hypergraphs the paper's argument gives $r(H;q)\leq\exp^{(2)}(O_q(d\log d))n$ in general, and removes the $\log d$ factor when the 1-skeleton has bounded chromatic number. Conjecture 6.1 asks to remove that factor for every 3-uniform hypergraph of first skeletal degeneracy $d$.

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