Eⁿ non-arrow (ℓ₃, ℓ_m) for large m

AX_euclidean_ramsey_l3_vs_lm

Source: arXiv:1705.02166 — Lines in Euclidean Ramsey theory

Open problem: $E^n \not\to (\ell_3, \ell_m)$ for large $m$ · arXiv:1705.02166

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

Authors: David Conlon, Jacob Fox

Diagnostic tag ill-posed high confidence

As written, the claim is elementary for every m at least 2 with n=1, while including m=1 makes it false.

Caveat. The catalog statement almost certainly reverses an arrow or misplaces a quantifier.

Attack verdicts are unrefereed model self-reports. An ill-posed label is a diagnostic of the catalog statement supplied to the model, not a literature-review status or a peer-reviewed result.

Assessed 2026-09-01 with gpt-5.6-sol · view the full attack artifact.

Status partial high confidence

Conlon and Fox (arXiv:1705.02166) asked whether for every $m$ there exists $n$ with $E^n \not\to (\ell_3, \ell_m)$, while suspecting this fails for large $m$. Conlon and Wu (arXiv:2208.13513) gave a dimension-independent coloring showing $E^n \not\to (\ell_3, \ell_{1177})$ for all $n$, partially answering the question in the positive direction for a specific $m$. A subsequent paper (arXiv:2404.19233) improved the bound dramatically to $m = 20$. The question for all $m$, in particular whether the non-arrow relation can hold for arbitrarily large $m$, remains open.

Cited literature (2)

partial More on lines in Euclidean Ramsey theory (2022)

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

Constructs a single red/blue-coloring of $E^n$ (for every $n$) with no red $\ell_3$ and no blue $\ell_{1177}$, establishing $E^n \not\to (\ell_3, \ell_{1177})$ for all $n$ and partially answering the open problem in the positive direction for this specific $m$.
partial Avoiding short progressions in Euclidean Ramsey theory (2024)

not confirmed from fetch · arXiv preprint · arXiv:2404.19233

Dramatically improves the Conlon–Wu bound, proving $E^n \not\to (\ell_3, \ell_{20})$ for every $n$; also establishes $E^n \not\to (\ell_4, \ell_{14})$ and $E^n \not\to (\ell_5, \ell_8)$.

Reviewer notes. Two follow-up papers establish the non-arrow relation for small specific values of m (m=20 and m=1177), providing partial positive answers but not resolving the full question for all m. The original authors suspected the relation fails (arrow holds) for large m, but no proof of this has been found. The Conlon–Wu paper (2208.13513) attributes the problem to Conlon, Fox, and independently Arman and Tsaturian.

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

Informal. For every natural number $m$, does there exist a natural number $n$ such that $E^n \not\to (\ell_3, \ell_m)$?

Context

In the concluding remarks the authors say they were unable to decide this question. They consider it unlikely to hold for large $m$ but were unable to exhibit a coloring confirming their suspicion. Erdős et al. [3] showed that $E^n \to (\ell_6, \ell_6)$ for all $n$, providing related context.

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