Euclidean Ramsey unit-distance vs isometric copy

Question 1.1 · arXiv:1705.02166

arXiv Question high confidence— first stated 2018-03-20

Authors: David Conlon, Jacob Fox

Status partial medium confidence

Question 1.1 asks for which K every red/blue-coloring of E^n contains a red unit-distance pair or a blue isometric copy of K; the source paper resolves this for K = ℓ_m (m collinear unit-spaced points) up to the constant in the exponent 2^(cn). Conlon–Wu (2022) extends the analysis to asymmetric variants involving ℓ_3 vs. ℓ_m colorings, and Führer–Tóth (2024) sharpens those explicit bounds from m = 10^50 down to m = 1177. The question for general K beyond collinear configurations remains open.

Cited literature (2)

partial More on lines in Euclidean Ramsey theory (2022)

David Conlon, Yu-Han Wu · arXiv preprint · arXiv:2208.13513

Proves that for every n there exists a red/blue-coloring of ℝⁿ with no red copy of ℓ₃ and no blue copy of ℓ_m for some explicit m, extending the lines-case analysis of Question 1.1 to asymmetric ℓ_3 vs. ℓ_m variants.
partial Progressions in Euclidean Ramsey theory (2024)

Jakob Führer, Géza Tóth · European Journal of Combinatorics, Volume 125, 2025 · arXiv:2402.12567

Improves the explicit threshold in the Conlon–Wu coloring construction from m = 10^50 to m = 1177, giving a sharper quantitative answer for the lines/progressions case of the question.

Reviewer notes. Question 1.1 is a broad meta-question rather than a single conjecture; the source paper itself partially answers it for K = ℓ_m (collinear progressions). Follow-up papers address line/progression subsets and improve quantitative bounds, but the question for general K (spherical sets, non-collinear configurations, arbitrary point sets) remains largely open.

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

Question. For which subsets $K \subset E^n$ does every red/blue-coloring of $E^n$ contain a red pair of points of distance one or a blue isometric copy of $K$?

Context

This is the central question studied throughout the paper. The notation $E^n \to (\ell_2, K)$ means every red/blue-coloring of $E^n$ contains a red copy of $\ell_2$ or a blue copy of $K$, and $E^n \not\to (\ell_2, K)$ means there is a coloring avoiding both. The paper says it follows Erdős et al. [4] in studying this question.

Notes. The theorem header carries no parenthetical attribution; the paper notes it follows Erdős et al. [4] in studying this general question.

Source paper

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