Erdős distinct-distances problem in R3

Does there exist an absolute constant c>0c>0 such that, for every finite set PR3P\subset\mathbb{R}^3 with P=N|P|=N, the number of distinct pairwise distances satisfies {pq:p,qP, pq}cN2/3\left|\{\|p-q\|:p,q\in P,\ p\ne q\}\right|\ge cN^{2/3}?

Progress summary

Partially solved

A new preprint nearly reaches the conjectured answer for point sets in three dimensions, but the exact answer is not yet proved.

The problem asks whether every set of NN points in three-dimensional space determines at least about N2/3N^{2/3} different distances, matching the integer-lattice construction. The conjectured exponent remains the benchmark for the unrestricted problem.

Known results

  • The integer lattice gives an upper bound of order N2/3N^{2/3} for the minimum possible number of distances.
  • Aronov, Pach, Sharir, and Tardos (2004) obtained a lower bound of roughly N0.546N^{0.546}.
  • Solymosi and Vu improved the unrestricted three-dimensional lower bound to N3/5N^{3/5} up to logarithmic factors.
  • Stronger bounds are known for points constrained to suitable algebraic surfaces, but not for arbitrary point sets.

August 2026 near-optimal bound

Jonathan Tidor, Hung-Hsun Hans Yu, and Dmitrii Zakharov claim that every NN-point set determines at least N2/3o(1)N^{2/3-o(1)} distances, quantitatively with an error of order loglogN/logN\sqrt{\log\log N/\log N}. This reaches the conjectured exponent up to a subpolynomial factor, but the preprint does not prove the exact N2/3N^{2/3} bound and has no independent verification in the supplied sources.

Current status (as of August 2026): The best reported general bound is the unverified preprint claim N2/3o(1)N^{2/3-o(1)}, while the exact conjectured order N2/3N^{2/3} remains open.

Sources
Sources & referencesView supporting material

Primary source

arXiv

Additional references

Solutions 0

No solutions have been posted yet.