Wiki
Wiki

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

Updated

Problem 982

../

claims/: The 3 claim pages of Problem 982, one per claimant's result; the problem's standing derives from them.


Statement. If nn distinct points in R2\mathbb{R}^2 form a convex polygon then some vertex has at least ⌊n2⌋\lfloor \frac{n}{2}\rfloor different distances to other vertices.

Status. Falsifiable: the site labels the problem FALSIFIABLE, a counterexample being a finite check, and its page was last edited on 19 October 2025. Three refereed lower bounds the site credits settle small cases and have accepted partial claim pages: Moser 1952, Erdős and Fishburn 1994 and Dumitrescu 2006. The proof-claims tab carries one partial claim, a lower bound submitted 2026-07-25 by Scott Duke Kominers, which has no claim page for the reason given under Current assessment; the label was unchanged on 2026-10-06.

Source. erdosproblems.com/982, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #982, https://www.erdosproblems.com/982.

References.

  • [BaRo13] Bárány, Imre and Roldán-Pensado, Edgardo, A question from a famous paper of Erdős. Discrete Comput. Geom. (2013), 253-261.
  • [Du06b] Dumitrescu, Adrian, On distinct distances from a vertex of a convex polygon. Discrete Comput. Geom. 36 (2006), 503-509.
  • [Er46b] Erdős, P., On sets of distances of nn points. Amer. Math. Monthly (1946), 248-250.
  • [ErFi94] Erdős, Paul and Fishburn, Peter, A postscript on distances in convex nn-gons. Discrete Comput. Geom. (1994), 111-117.
  • [Mo52] Moser, Leo, On the different distances determined by nn points. Amer. Math. Monthly (1952), 85-91.
  • [NPPZ13] Nivasch, Gabriel and Pach, János and Pinchasi, Rom and Zerbib, Shira, The number of distinct distances from a vertex of a convex polygon. J. Comput. Geom. (2013), 1-12.

Formalization. Statement in formal-conjectures.

Current assessment

The claim pages record the cases the published lower bounds settle: the statement holds for every n≤7n\le7 and for n=9n=9, n=8n=8 is the smallest open case, and the problem is open. The statement is falsifiable: a convex polygon in which every vertex sees fewer than ⌊n/2⌋\lfloor n/2\rfloor distinct distances would refute it by a finite computation, and none is known. The regular polygon shows that ⌊n/2⌋\lfloor n/2\rfloor would be sharp.

Forum claim without a page. The site's proof-claims tab carries a partial claim by Scott Duke Kominers, posted under the forum account skominers on 2026-07-25 (tab entry), with a write-up and no formalization; the entry names GPT 5.6 Sol and Claude Fable 5 as the systems used. Writing f(n)f(n) for the largest number such that every convex nn-gon has a vertex with at least f(n)f(n) distinct distances to the other vertices, it claims

f(n)≥(1336+35270)n−O(1),f(n)\ge\Bigl(\frac{13}{36}+\frac{3}{5270}\Bigr)n-O(1),

which improves the additive term 1/227011/22701 in the coefficient of Nivasch, Pach, Pinchasi and Zerbib [NPPZ13] by a factor of about 12.912.9 and leaves the leading term 13/3613/36 of Dumitrescu [Du06b] unchanged, by refining their iteration over good edges and witnesses. The claim has no page because it is a better lower bound on a falsifiable statement that settles no case of it: it proves the ⌊n/2⌋\lfloor n/2\rfloor bound for no nn and for no class of polygons, and its author calls it a long way from the conjecture. No review of the write-up is recorded, and the site's page, last edited before the claim, does not mention it.

Known results. The site records the lower bounds f(n)≥⌈n/3⌉f(n)\ge\lceil n/3\rceil of Moser [Mo52], f(n)≥⌊n/3+1⌋f(n)\ge\lfloor n/3+1\rfloor of Erdős and Fishburn [ErFi94], f(n)≥⌈(13n−6)/36⌉f(n)\ge\lceil(13n-6)/36\rceil of Dumitrescu [Du06b] and f(n)≥(13/36+1/22701)n−O(1)f(n)\ge(13/36+1/22701)n-O(1) of Nivasch, Pach, Pinchasi and Zerbib [NPPZ13], and the counterexamples of Bárány and Roldán-Pensado [BaRo13] to Erdős's stronger conjecture about convex curves. The first three bounds have the claim pages named under Status; the last two results follow the site's remarks, and the bound of [NPPZ13], with its unspecified O(1)O(1), settles no case and has no claim page.

Linked library material

These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.