Wiki
Wiki

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

Updated


Claim. For every d≥4d\ge4, with p=⌊d/2⌋p=\lfloor d/2\rfloor,

lim⁡n→∞fd(n)n2=12−12p=p−12p,\lim_{n\to\infty}\frac{f_d(n)}{n^2}=\frac12-\frac1{2p}=\frac{p-1}{2p},

so fd(n)=(p−12p+o(1))n2f_d(n)=\bigl(\frac{p-1}{2p}+o(1)\bigr)n^2 in the notation of Problem 223. The same limit holds for the maximum number of times any single distance can occur among nn points of Rd\mathbb R^d.

Covers. The order of growth and the leading constant of fd(n)f_d(n) for every d≥4d\ge4. The exact value of fd(n)f_d(n) for finite nn is not claimed; Swanepoel's later result, on its own claim page in this folder, determines it for all large nn.

The argument. The lower bound places about n/pn/p points on a quarter arc (the points with nonnegative coordinates) of each of pp mutually orthogonal circles of radius 1/21/\sqrt2, generalizing Lenz's construction: every two points on different circles are at distance one, and the restriction to a quarter arc keeps two points on the same circle within distance one, so the set has diameter one. The upper bound applies the Erdős–Stone theorem to the graph of unit-distance pairs: more than (p−12p+ε)n2(\frac{p-1}{2p}+\varepsilon)n^2 edges would force a complete (p+1)(p+1)-partite subgraph with parts of size three, Kp+1(3)K_{p+1}(3); its p+1p+1 triangles lie in p+1p+1 mutually orthogonal planes, which need 2p+2>d2p+2>d dimensions. The library's [[../library/distance_problems/erdos_1960_sets_distances_points_euclidean_space/_index|card for the paper]] records the main theorem, the Lenz construction and the three-dimensional bounds the paper also proves.

Acceptance. The paper is a journal publication: P. Erdős, On sets of distances of nn points in Euclidean space, Magyar Tud. Akad. Mat. Kutató Int. Közl. 5 (1960), 165–169. The curator of erdosproblems.com, Thomas Bloom, marks the problem solved and credits the case d≥4d\ge4 to this paper.