Erdős Problem #659 — Point Sets with Few Distances

About 29 years old · traced to

Does there exist a sequence of finite sets An⊆R2A_n\subseteq\mathbb R^2 such that ∣An∣=n|A_n|=n, every subset of four points of AnA_n determines at least three distinct distances, and the number of distinct distances determined by AnA_n satisfies

distinctDistances⁡(An)≪nlog⁡n?\operatorname{distinctDistances}(A_n)\ll \frac{n}{\sqrt{\log n}}?
References

Progress summary

Refreshed
Claimed solved

A public preprint gives an explicit stretched-grid construction that satisfies both requirements, so the problem is now solved.

Erdős posed the problem in 1997. It asks for planar sets with unusually few distances while retaining a strong local four-point condition.

Known results

  • Moree and Osburn established the O(n/log⁡n)O(n/\sqrt{\log n}) distance bound for the stretched lattice.
  • Lund and Sheffer independently found the construction and excluded equilateral triangles and squares.
  • Perucca classified the six four-point configurations determining only two distances.

January 2026 affirmative solution

A preprint constructs Pm={(x,2y):0≤x,y≤m−1}P_m=\{(x,\sqrt{2}y):0\le x,y\le m-1\}, proves the four-point condition using Perucca’s classification, and obtains the distance bound from Bernays’ theorem for u2+2v2u^2+2v^2. A second preprint gives an independent lattice construction and corroborates the affirmative answer.

Current status (as of April 2026): The problem is resolved by explicit preprint constructions; the four-point condition and O(n/log⁡n)O(n/\sqrt{\log n}) distance bound are established.

  • Gemini 3.0 ProGoogle DeepMindsolvedevidence
Sources

Solutions 0

No solutions have been posted yet.