Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Source. Problem 7, p. 6 (Section 3, "Restricted point sets in ", pp. 4--6), with Table 1 (p. 4), 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 (pp. 5--6). is the least number of distinct distances determined by points in (strict) convex position in the plane. is the largest number such that every set of points in convex position has a point with at least distinct distances to the points of .
What the survey records (p. 6), none of it proved in the survey beyond the remark on Lemma 3.1:
- The regular -gon gives and .
- Erdős conjectured in 1946, and Altman proved it; Erdős then conjectured .
- Lower bounds for : from Lemma 3.1, since convex position has no three collinear points; (Dumitrescu, 2006); and (Nivasch, Pach, Pinchasi and Zerbib), the bound Table 1 lists.
Problem 7 (p. 6). "Find the exact value of ." (quoted)
Read depth
Claims checked on the print. The cited results are reported as the survey states them and were not checked against their sources here.
Bears on
- Problem 982: the problem asks whether some vertex of every convex -gon has at least distinct distances to the other vertices, that is, Erdős's conjecture in the survey's notation, the regular -gon giving the upper bound. The survey records the conjecture open as Problem 7, with the lower bound .
- Problem 93: the problem's statement is , which the survey records (p. 6) as proved by Altman; the survey states this and does not prove it.