Wiki
Wiki

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

Updated


Source. Problem 36, p. 16 (Section 9, "Additional problems", pp. 16--17), 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. 16). D^(n)\hat D(n) is the value such that every set P\mathcal P of nn points in R2\mathbb R^2 has a point pp with D({p},P∖{p})≥D^(n)D(\{p\},\mathcal P\setminus\{p\})\ge\hat D(n), where D({p},P∖{p})D(\{p\},\mathcal P\setminus\{p\}) counts the distinct distances from pp to the other points. The survey calls it "the minimum value" with this property (p. 16, quoted); the bounds it records treat D^(n)\hat D(n) as the largest such value, the number of distinct distances that some point of every nn-point set is guaranteed to have.

What the survey records (p. 16):

  • Upper bound D^(n)≤D(n)=O(n/log⁡n)\hat D(n)\le D(n)=O(n/\sqrt{\log n}).
  • The Guth--Katz bound does not immediately give a matching lower bound.
  • Lower bound, credited to Katz and Tardos: D^(n)=Ω(n(48−14e)/(55−16e))≈Ω(n0.864)\hat D(n)=\Omega(n^{(48-14e)/(55-16e)})\approx\Omega(n^{0.864}).

Problem 36 (p. 16). "Find the asymptotic value of D^(n)\hat D(n)." (quoted)

Read depth

Claims checked on the print. The cited lower bound is reported as the survey states it and was not checked against its source here.

Bears on

  • Problem 604: the problem asks whether every nn planar points have a point with ≫n1−o(1)\gg n^{1-o(1)}, or even ≫n/log⁡n\gg n/\sqrt{\log n}, distinct distances to the others, that is, lower bounds for D^(n)\hat D(n). The survey records the lower bound Ω(n0.864)\Omega(n^{0.864}) and the upper bound O(n/log⁡n)O(n/\sqrt{\log n}) and leaves the asymptotic value open as Problem 36.