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 for the largest number of unit distances among points of the sphere of diameter in . Their Theorem 1 states that there is an absolute such that for every and every . Rescaling the sphere to radius turns the unit distance into any fixed distance strictly between and , so is a function of the kind the problem asks for, and it grows faster than the of Erdős, Hickerson and Pach. The construction places a small cluster of points near the equator and takes its images under the rotations of the sphere by the angle sums over subsets of ; because these rotations commute, two copies whose index sets differ in one pair contribute a unit distance, which gives at least unit distances among 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, ,
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 for general , so the exact growth of the
problem's quantity remains unknown while the question itself is answered.