Wiki
Wiki

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

Updated


Claim. The answer to Problem 605 is yes, with a stronger bound than the one that first settled it. Konrad J. Swanepoel and Pavel Valtr, The unit distance problem on spheres, in Towards a Theory of Geometric Graphs (J. Pach, ed.), Contemporary Mathematics 342, American Mathematical Society, 2004, 273–279, write uD(n)u_D(n) for the largest number of unit distances among nn points of the sphere of diameter DD in R3\mathbb R^3. Their Theorem 1 states that there is an absolute c>0c>0 such that uD(n)>c nlog⁡nu_D(n)>c\,n\sqrt{\log n} for every D>1D>1 and every n≥2n\ge2. Rescaling the sphere to radius 11 turns the unit distance into any fixed distance strictly between 00 and 22, so f(n)=clog⁡nf(n)=c\sqrt{\log n} is a function of the kind the problem asks for, and it grows faster than the clog⁡∗nc\log^* n of Erdős, Hickerson and Pach. The construction places a small cluster AA of tt points near the equator and takes its images under the rotations of the sphere by the angle sums β(S)\beta(S) over subsets SS of A2A^2; because these rotations commute, two copies whose index sets differ in one pair contribute a unit distance, which gives at least t22 2t2\tfrac{t^2}{2}\,2^{t^2} unit distances among t 2t2t\,2^{t^2} points. Theorem 2 of the paper, the same bound for planar sets with no three collinear points and no parallelogram, is not part of this problem. The source card is swanepoel_2004_unit_distance_problem_spheres.

Acceptance. The site's curator, Thomas Bloom, records the theorem as the current lower bound for the problem's quantity, uD(n)≫nlog⁡nu_D(n)\gg n\sqrt{\log n}, beside the solution he credits to Erdős, Hickerson and Pach (problem page accessed); that record is the reviewed evidence. The venue is the one the publisher's record gives, DOI 10.1090/conm/342/06148 (Contemporary Mathematics 342, Towards a Theory of Geometric Graphs, 273–279, 2004), linked above with the first author's publication list. The volume is a proceedings volume rather than a journal, and no evidence that it was refereed is recorded, so no refereed evidence is listed. The proof is unreviewed; acceptance rests on the curator's credit. The site also records the upper bound uD(n)≪n4/3u_D(n)\ll n^{4/3} for general DD, so the exact growth of the problem's quantity remains unknown while the question itself is answered.