Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Source. Problem 1, p. 1 (Section 1, "Introduction"), of Adam Sheffer, Distinct Distances: Open Problems and Current Bounds, arXiv:1406.1949v3 (2 July 2018), the edition read for the source card.

Statement

Notation (p. 1). For a set P\mathcal P of nn points in R2\mathbb R^2, D(P)D(\mathcal P) is the number of distinct distances determined by pairs of points of P\mathcal P, and D(n)=min⁡∣P∣=nD(P)D(n)=\min_{|\mathcal P|=n}D(\mathcal P).

Problem 1 (p. 1). "Find the exact asymptotic value of D(n)D(n)." (quoted)

The bounds the survey records (p. 1), none of them proved in the survey:

  • Upper bound, credited to Erdős's 1946 paper: a n×n\sqrt n\times\sqrt n section of Z2\mathbb Z^2 determines Θ(n/log⁡n)\Theta(n/\sqrt{\log n}) distinct distances, so D(n)=O(n/log⁡n)D(n)=O(n/\sqrt{\log n}). Erdős conjectured that this bound is tight, and the survey reports that no configuration with asymptotically fewer distances has been found.
  • Lower bound, credited to Guth and Katz: D(n)=Ω(n/log⁡n)D(n)=\Omega(n/\log n).

The survey notes that a gap of O(log⁡n)O(\sqrt{\log n}) remains between the two bounds and calls the problem almost completely solved.

Read depth

Claims checked: the notation, the problem and the bounds it records were read clause by clause on the print. The cited bounds are reported as the survey states them and were not checked against their sources here.

Bears on

  • Problem 89: the problem asks whether every nn points in R2\mathbb R^2 determine ≫n/log⁡n\gg n/\sqrt{\log n} distinct distances, that is, whether D(n)≫n/log⁡nD(n)\gg n/\sqrt{\log n}, which with the recorded upper bound would make D(n)=Θ(n/log⁡n)D(n)=\Theta(n/\sqrt{\log n}). The survey records the lower bound Ω(n/log⁡n)\Omega(n/\log n) and leaves the question open as Problem 1.