Wiki
Wiki

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 R2\mathbb R^2", 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). Dconv(n)D_{\mathrm{conv}}(n) is the least number of distinct distances determined by nn points in (strict) convex position in the plane. D^conv(n)\hat D_{\mathrm{conv}}(n) is the largest number such that every set P\mathcal P of nn points in convex position has a point pp with at least D^conv(n)\hat D_{\mathrm{conv}}(n) distinct distances to the points of P∖{p}\mathcal P\setminus\{p\}.

What the survey records (p. 6), none of it proved in the survey beyond the remark on Lemma 3.1:

  • The regular nn-gon gives Dconv(n)≤⌊n/2⌋D_{\mathrm{conv}}(n)\le\lfloor n/2\rfloor and D^conv(n)≤⌊n/2⌋\hat D_{\mathrm{conv}}(n)\le\lfloor n/2\rfloor.
  • Erdős conjectured Dconv(n)=⌊n/2⌋D_{\mathrm{conv}}(n)=\lfloor n/2\rfloor in 1946, and Altman proved it; Erdős then conjectured D^conv(n)=⌊n/2⌋\hat D_{\mathrm{conv}}(n)=\lfloor n/2\rfloor.
  • Lower bounds for D^conv(n)\hat D_{\mathrm{conv}}(n): ⌈(n−1)/3⌉\lceil(n-1)/3\rceil from Lemma 3.1, since convex position has no three collinear points; ⌈(13n−6)/36⌉\lceil(13n-6)/36\rceil (Dumitrescu, 2006); and (1336+122701)n+O(1)\left(\frac{13}{36}+\frac{1}{22701}\right)n+O(1) (Nivasch, Pach, Pinchasi and Zerbib), the bound Table 1 lists.

Problem 7 (p. 6). "Find the exact value of D^conv(n)\hat D_{\mathrm{conv}}(n)." (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 nn-gon has at least ⌊n/2⌋\lfloor n/2\rfloor distinct distances to the other vertices, that is, Erdős's conjecture D^conv(n)=⌊n/2⌋\hat D_{\mathrm{conv}}(n)=\lfloor n/2\rfloor in the survey's notation, the regular nn-gon giving the upper bound. The survey records the conjecture open as Problem 7, with the lower bound (1336+122701)n+O(1)\left(\frac{13}{36}+\frac{1}{22701}\right)n+O(1).
  • Problem 93: the problem's statement is Dconv(n)≥⌊n/2⌋D_{\mathrm{conv}}(n)\ge\lfloor n/2\rfloor, which the survey records (p. 6) as proved by Altman; the survey states this and does not prove it.