Ramsey bound for 3-uniform sparse hypergraphs
Conjecture 6.1 · arXiv:2401.00359
Status open high confidence
Conjecture 6.1 from arXiv:2401.00359 posits a single-exponential Ramsey bound for 3-uniform n-vertex hypergraphs H with first skeletal degeneracy d_1(H)=d (stronger than the double-exponential bound exp^(2)(O_{3,q}(d))n that follows from the paper's own proof of Theorem 1.5), and would in particular imply the Bradač–Fox–Sudakov result (arXiv:2308.10833) where sqrt(e(H)) plays the role of d_1(H). No follow-up paper resolving this conjecture was found in five targeted web searches covering the period 2024–2026.
Reviewer notes. The Bradač–Fox–Sudakov reference in the source paper is arXiv:2308.10833 (published Math. Proc. Camb. Phil. Soc. 178 (2025), 31–44), which proves r(H;q) ≤ tw_k(O(sqrt(e(H)))) for k-uniform H. Conjecture 6.1 would give a stronger single-exponential bound exp(O_{q}(d_1(H))) * n for k=3. No paper resolving or substantially advancing the conjecture was located; the conjecture appears to remain open.
Context
Theorem 1.5 gives $r(H;q)\leq\exp^{(k-1)}(O_{k,q}(d))n$ for $k\geq 4$-uniform hypergraphs with first skeletal degeneracy $d$. For $k=3$ the analogous bound from the proof is $\exp^{(2)}(O_{3,q}(d))n$; Conjecture 6.1 posits a stronger bound for 3-uniform hypergraphs, stronger than a result of Bradač–Fox–Sudakov [3] in which skeletal degeneracy is replaced by $\sqrt{e(H)}$. The inequality $d_{1}(H)\leq O(\sqrt{e(H)})$ shows that 6.1 would imply that result.
Notes. Statement body truncated in the provided source after the hypothesis clause; exact bound conjectured 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