Almost-equidistant sets

From MaRDI portal
Publication:2175803



Abstract: For a positive integer d, a set of points in d-dimensional Euclidean space is called almost-equidistant if for any three points from the set, some two are at unit distance. Let f(d) denote the largest size of an almost-equidistant set in d-space. It is known that f(2)=7, f(3)=10, and that the extremal almost-equidistant sets are unique. We give independent, computer-assisted proofs of these statements. It is also known that f(5)ge16. We further show that 12leqf(4)leq13, f(5)leq20, 18leqf(6)leq26, 20leqf(7)leq34, and f(9)geqf(8)geq24. Up to dimension 7, our work is based on various computer searches, and in dimensions 6 to 9, we give constructions based on the known construction for d=5. For every dimension dge3, we give an example of an almost-equidistant set of 2d+4 points in the d-space and we prove the asymptotic upper bound f(d)leO(d3/2).


\textit{D. G. Larman} and \textit{C. A. Rogers} [Mathematika 19, 1--24 (1972; Zbl 0246.05020)] introduced the concept of \((M,D,\delta)\)-critical configurations in \(\mathbb{R}^n\): \(M\) points, such that among any \(D+1\) of these points the distance \(\delta\) occurs between two points. This concept is crucial as lower bounds for the chromatic number of the unit distance graph in \(\mathbb{R}^n\) are based on finding \((M,D,1)\)-critical configurations in \(\mathbb{R}^n\) with a large \(M/D\) ratio. The paper under review investigates how big \(M\) can be in an \((M,3,1)\)-critical configuration in \(\mathbb{R}^n\) and proves an upper bound of \(O(n^{3/2})\). (This result has been improved further to \(O(n^{4/3})\), building on ideas of the paper under review, by \textit{A. Kupavskii} et al. [Comb. Probab. Comput. 28, No. 2, 280--286 (2019; Zbl 1435.52008)].) A number of results are given about the maximum \(M\) in low dimension. It is shown that \(M\geq 2n+4\) and it is conjectured that \(M=O(n)\). Note that \((M,3,1)\)-critical configurations have been renamed to almost equidistant sets and the paper uses this new terminology. The paper introduces a more general extremal problem: for positive integers \(d\), \(k\), and \(\ell\) with \(\ell\leq k\), what is the maximum size of a point set \(P\) in \(\mathbb{R}^d\) such that among any \(k+1\) points from \(P\), there are at least \(\ell +1\) points that are pairwise at unit distance. (A similar problem studied previously, with orthogonality instead of unit distance, is also discussed.)





Describes a project that uses

Uses Software






This page was built for publication: Almost-equidistant sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2175803)