log R₂(2,n) polynomial in log M₂(n)
Problem 4.2 · arXiv:2210.09227
Status open high confidence
Problem 4.2 asks whether there exists a fixed $C>0$ such that $\log R_2(2,n) \leq (\log M_2(n))^C$, i.e., whether the two-dimensional Ramsey number $R_2(2,n)$ is bounded above by a fixed power of $\log M_2(n)$, the logarithm of the two-dimensional Erdős–Szekeres number. No follow-up paper addressing this specific question was found in the literature as of May 2026, some 16 months after the paper's publication in Discrete Analysis.
Reviewer notes. No follow-up found in indexed literature. The conjecture concerns whether the singly-to-doubly exponential gap between $M_2(n)$ and $R_2(2,n)$ collapses in logarithmic terms; this remains open. The paper was published in Discrete Analysis (December 2024).
Context
Since $M_2(n)\leq R_2(2,n)$ for every $n$, the authors ask whether the two-dimensional Ramsey number $R_2(2,n)$ can be bounded above by a fixed power of $\log M_2(n)$, where $M_2(n)$ is the two-dimensional Erdős–Szekeres number. A singly-to-doubly exponential gap persists for both quantities.
Notes. The statement as supplied appears to have a missing closing parenthesis: $(\log(M_{2}(n))^{C}$ is reproduced verbatim from the source.
Source paper
A multidimensional Ramsey Theorem
António Girão, Gal Kronenberg, Alex Scott · 2024-12-31
https://arxiv.org/abs/2210.09227