Diameter-free bound for Euclidean Ramsey partition

Open problem: removing diameter dependence from Theorem 1.1 · arXiv:1705.02166

arXiv Problem medium confidence— first stated 2018-03-20

Authors: David Conlon, Jacob Fox

Status open medium confidence

The open problem asks whether the log R diameter term in Theorem 1.1 (which requires |K| > 10^4 n log R) can be eliminated, yielding a bound f(n) independent of the diameter of K. No follow-up paper resolving this question was found in the indexed literature. Related subsequent work (arXiv:2406.07718, 'Non-spherical sets versus lines in Euclidean Ramsey theory') cites Conlon–Fox but addresses a different extension (non-spherical sets versus arithmetic progressions) and does not touch the diameter-dependence question. The problem thus appears to remain open.

Reviewer notes. Searches returned several related papers in Euclidean Ramsey theory (arXiv:2406.07718, arXiv:2402.12567, arXiv:2512.15516, arXiv:2404.11454) but none address the specific open problem of removing the diameter R dependence from Theorem 1.1. The problem is from 2018 (8 years old), so medium rather than high confidence is assigned for the open status.

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

Problem. Can the dependence on the diameter $R$ be removed from Theorem 1.1? That is, does there exist a function $f(n)$, independent of the diameter of $K$, such that $E^n \not\to (\ell_2, K)$ for every $1$-separated set $K \subset E^n$ with $|K| > f(n)$?

Context

Theorem 1.1 requires $|K| > 10^4 n \log R$ where $R$ is the diameter of $K$. The authors note in the concluding remarks that a complete answer to the Erdős et al. problem on a universal two-coloring bound would follow from resolving this problem, and describe it as interesting in its own right.

Notes. PDF source — stated in prose in the concluding remarks without a labelled theorem environment.

Source paper

Lines in Euclidean Ramsey theory
David Conlon, Jacob Fox · 2018-03-20
https://arxiv.org/abs/1705.02166 PDF source