Almost-equidistant sets

TL;DR

This paper investigates the maximum size of almost-equidistant point sets in various dimensions, providing new bounds, constructions, and computer-assisted proofs to advance understanding of their properties.

Contribution

It offers the first independent, computer-assisted proofs for known extremal values and establishes new bounds and constructions for almost-equidistant sets across multiple dimensions.

Findings

Exact values for f(2) and f(3) confirmed with computer proofs.

New bounds for f(4), f(5), f(6), f(7), and f(8)–f(9).

Constructed large almost-equidistant sets in higher dimensions.

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) \ge 16$. We further show that $12\leq f(4)\leq 13$, $f(5)\leq 20$, $18\leq f(6)\leq 26$, $20\leq f(7)\leq 34$, and $f(9)\geq f(8)\geq 24$. 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 $d \ge 3$, 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) \le O(d^{3/2})$.

Tables

Table 1. Table 1 : Lower and upper bounds on the largest size of an almost-equidistant set in  ℝ d superscript ℝ 𝑑 \mathbb{R}^{d} .

Dimension $d$	$1$	$2$	$3$	$4$	$5$	$6$	$7$	$8$	9	$d\ge 9$
Lower bounds on $f\left(d\right)$	$4$	$7$	$10$	$12$	$16$	$18$	$20$	$24$	$24$	$2d+4$
Upper bounds on $f\left(d\right)$	$4$	$7$	$10$	$13$	$20$	$26$	$34$	$41$	$49$	$4\left(d^{3/2}+\sqrt{d}\right)$

Table 2. Table 2 : Numbers of minimal abstract almost-equidistant graphs in ℝ d superscript ℝ 𝑑 \mathbb{R}^{d} on n 𝑛 n vertices for d ∈ { 2 , 3 , 4 , 5 , 6 } 𝑑 2 3 4 5 6 d\in\{2,3,4,5,6\} and some values of n 𝑛 n from { 4 , … , 27 } 4 … 27 \{4,\dots,27\} . For comparison, the last column contains numbers of minimal n 𝑛 n -vertex graphs with triangle-free complements  [ 7 , 9 , 25 ] . The entries denoted by “?” are not known.

$n$	$d=2$	$d=3$	$d=4$	$d=5$	$d=6$	$\cdots$	$K_3$-free complement
$4$	2	2	2	2	2		2
$5$	2	3	3	3	3		3
$6$	2	3	4	4	4		4
$7$	1	4	5	6	6		6
$8$	1	5	8	9	10		10
$9$	0	5	10	14	15		16
$10$		4	18	25	29		31
$11$		1	22	46	54		61
$12$		0	27	106	130		147
$13$			12	242	339		392
$14$			3	653	1052		1274
$15$			1	1946	3969		5036
$16$			1	5828	18917		25617
$17$			0	12654	105238		164796
$18$				8825	655682		1337848
$19$				340	3971787		13734745
$20$				8	$\ge 1$		178587364
$21$				0	$\ge 1$		2911304940
$22$					$\ge 1$		58919069858
$23$					$\ge 1$		1474647067521
$24$					$\ge 1$		?
$25$					$\ge 1$		?
$26$					?		?
$27$					0		?

Table 3. Table 3 : Numbers of all abstract almost-equidistant graphs in ℝ d superscript ℝ 𝑑 \mathbb{R}^{d} on n 𝑛 n vertices for d ∈ { 2 , 3 , 4 , 5 , 6 } 𝑑 2 3 4 5 6 d\in\{2,3,4,5,6\} and some values of n 𝑛 n from { 4 , … , 17 } 4 … 17 \{4,\dots,17\} . For comparison, the last column contains numbers of n 𝑛 n -vertex graphs with triangle-free complements  [ 18 , 25 ] . The entries denoted by “?” are not known.

$n$	$d=2$	$d=3$	$d=4$	$d=5$	$d=6$	$\cdots$	$K_3$-free complement
$4$	6	7	7	7	7		7
$5$	7	13	14	14	14		14
$6$	9	29	37	38	38		38
$7$	2	50	97	106	107		107
$8$	1	69	316	402	409		410
$9$	0	35	934	1817	1888		1897
$10$		7	2362	11132	12064		12172
$11$		1	2814	86053	103333		105071
$12$		0	944	803299	1217849		1262180
$13$			59	7623096	19170728		20797002
$14$			4	58770989	?		467871369
$15$			1	$\le$305976655	?		14232552452
$16$			1	?	?		581460254001
$17$			0	?	?		31720840164950

Equations

$$\Vert c-o\Vert =\sqrt{1-\frac{1}{d^2}}\text{and}\Vert x_i-o\Vert =\sqrt{\frac{3}{4}-\frac{1}{d}-\frac{1}{d^2}}<\Vert c-o\Vert .$$

$$x_0^{\prime }=\frac{2}{d}(x_1+\cdots +x_d)-x_0=\frac{2}{d}\sum _{i=0}^d{x}_i-\left(1+\frac{2}{d}\right)x_0,$$

$$x_1^{\prime }=\frac{2}{d}\sum _{i=0}^d{x}_i-\left(1+\frac{2}{d}\right)x_1.$$

$$c=c-o=\frac{1}{2}(x_0+x_1)-\frac{1}{2}(x_0^{\prime }+x_1^{\prime })=\left(1-\frac{1}{d}\right)(x_0+x_1)-\frac{2}{d}(x_2+\cdots +x_d).$$

$$\Vert c-o\Vert =\frac{1}{\sqrt{2}}\Vert \left(1-\frac{1}{d},1-\frac{1}{d},-\frac{2}{d},\dots ,-\frac{2}{d}\right)\Vert =\sqrt{1-\frac{1}{d^2}},$$

$$\Vert x_i-o\Vert =\frac{1}{\sqrt{2}}\Vert \left(\frac{1}{2}-\frac{1}{d},\frac{1}{2}-\frac{1}{d},1-\frac{2}{d},-\frac{2}{d},\dots ,-\frac{2}{d}\right)\Vert =\sqrt{\frac{3}{4}-\frac{1}{d}-\frac{1}{d^2}},$$

$${\Vert x-p_i\Vert }^2$$

$$={\Vert x-c\Vert }^2+{\Vert p_i-c\Vert }^2-2⟨x-c,p_i-c⟩.$$

$${\Vert x-p_i\Vert }^2={\Vert x-c\Vert }^2+\frac{k-1}{2k}-2⟨x-c,p_i-c⟩$$

$${\Vert x-p_i\Vert }^2={\Vert x-c\Vert }^2+\frac{k-1}{2k}$$

$${\gamma }^2={\Vert x-c\Vert }^2+\frac{k-1}{2k}-2⟨x-c,p_i-c⟩$$

$$0=⟨x-c,o⟩=⟨x-c,c-c⟩=⟨x-c,\frac{1}{k}\sum _{i=1}^k{p}_i-c⟩=\frac{1}{k}\sum _{i=1}^k⟨x-c,p_i-c⟩=\eta ,$$

$$S=\left\{x\in c+A^{\perp }|1={\Vert x-c\Vert }^2+\frac{k-1}{2k}\right\}.$$

$$\operatorname{rank}A\geq\Bigl{(}\sum\limits_{i=1}^{m}a_{i,i}\Bigr{)}^{2}/\sum\limits_{i=1}^{m}\sum\limits_{j=1}^{m}a_{i,j}^{2}.$$

$$w_i=\frac{e_i+\lambda e}{\Vert e_i+\lambda e\Vert }(i=1,\dots ,n),$$

$$\lambda :=\frac{-1+\sqrt{1+\epsilon n/(1-\epsilon )}}{n}\text{and}e:=\sum _{j=1}^n{e}_j=\frac{1}{\sqrt{1+(n-1)\epsilon }}\sum _{j=1}^n{w}_j.$$

$$\sum _{j=1}^n(⟨x,w_j⟩-\epsilon {)}^2=(1-\epsilon )({\Vert x\Vert }^2-\epsilon )+\epsilon {\left(⟨x,e⟩-\sqrt{1+(n-1)\epsilon }\right)}^2.$$

$$a$$

$$=\frac{\epsilon }{1+\epsilon (i-1)}(w_1+\cdots +w_{j-1}+w_{j+1}+\cdots +w_i)+\frac{1}{1+\epsilon (i-1)}\epsilon w_j,$$

$$\sum _{j=1}^n{e}_j=\frac{{\sum }_{j=1}^n{w}_j}{\sqrt{1-\epsilon }}-\lambda ne=\left(\sqrt{\frac{1+(n-1)\epsilon }{1-\epsilon }}-\lambda n\right)e=e.$$

$${\Vert e_i\Vert }^2$$

$$=\frac{1}{1-\epsilon }-2\lambda \sqrt{\frac{1+(n-1)\epsilon }{1-\epsilon }}+{\lambda }^{2}n=\frac{1}{1-\epsilon }-2\lambda (\lambda n+1)+{\lambda }^{2}n$$

$$=\frac{1}{1-\epsilon }-{\lambda }^{2}n-2\lambda =1.$$

$$⟨e_i,e_j⟩=$$

$$=\frac{\epsilon }{1-\epsilon }-2\lambda \sqrt{\frac{1+(n-1)\epsilon }{1-\epsilon }}+{\lambda }^{2}n=\frac{\epsilon }{1-\epsilon }-{\lambda }^{2}n-2\lambda =0.$$

$${\Vert e_i+\lambda e\Vert }^2=⟨\frac{w_i}{\sqrt{1-\epsilon }},\frac{w_i}{\sqrt{1-\epsilon }}⟩=\frac{{\Vert w_i\Vert }^2}{1-\epsilon }=\frac{1}{1-\epsilon }.$$

$$⟨x,w_j⟩=\sum _{i=1}^n{\alpha }_i⟨e_i,w_j⟩=\sqrt{1-\epsilon }\sum _{i=1}^n{\alpha }_i(⟨e_i,e_j⟩+\lambda ⟨e_i,e⟩)=\sqrt{1-\epsilon }({\alpha }_j+\lambda ⟨x,e⟩),$$

$$\displaystyle\sum_{j=1}^{n}\bigl{(}\left\langle x,w_{j}\right\rangle-\varepsilon\bigr{)}^{2}=\sum_{j=1}^{n}\bigl{(}\sqrt{1-\varepsilon}(\alpha_{j}+\lambda\left\langle x,e\right\rangle)-\varepsilon\bigr{)}^{2}$$

$$\displaystyle=(1-\varepsilon)\sum_{j=1}^{n}\bigl{(}\alpha_{j}+\lambda\left\langle x,e\right\rangle\bigr{)}^{2}-2\varepsilon\sqrt{1-\varepsilon}\biggl{(}\sum_{j=1}^{n}\alpha_{j}+\lambda\left\langle x,e\right\rangle\biggr{)}+n\varepsilon^{2}$$

$$\displaystyle=(1-\varepsilon)\biggl{(}\sum_{j=1}^{n}\alpha_{j}^{2}+2\lambda\left\langle x,e\right\rangle\sum_{j=1}^{n}\alpha_{j}+\lambda^{2}n\left\langle x,e\right\rangle^{2}\biggr{)}-2\varepsilon\sqrt{1-\varepsilon}\biggl{(}\sum_{j=1}^{n}\alpha_{j}+\lambda n\left\langle x,e\right\rangle\biggr{)}+n\varepsilon^{2}.$$

$$(1-\varepsilon)\bigl{(}\left\lVert x\right\rVert^{2}+(2\lambda+\lambda^{2}n)\left\langle x,e\right\rangle^{2}\bigr{)}-2\varepsilon\sqrt{1-\varepsilon}(1+\lambda n)\left\langle x,e\right\rangle+n\varepsilon^{2}.$$

$$(1-\epsilon ){\Vert x\Vert }^2+\epsilon \left({⟨x,e⟩}^2-2\sqrt{1+(n-1)\epsilon }⟨x,e⟩+n\epsilon \right)$$

$$(1-\epsilon )({\Vert x\Vert }^2-\epsilon )+\epsilon {\left(⟨x,e⟩-\sqrt{1+(n-1)\epsilon }\right)}^2.\text{qed}$$

$$B:=\left\{x\in V|\Vert x-s\Vert =1\text{ for all }s\in S\right\}.$$

Full text

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)\geq 16$. We further show that $12\leq f(4)\leq 13$, $f(5)\leq 20$, $18\leq f(6)\leq 26$, $20\leq f(7)\leq 34$, and $f(9)\geq f(8)\geq 24$. 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 $d\geq 3$, 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)\leq O(d^{3/2})$.

1 Introduction and our results

For a positive integer $d$, we denote the $d$-dimensional Euclidean space by $\mathbb{R}^{d}$. A set $V$ of (distinct) points in $\mathbb{R}^{d}$ is called almost equidistant if among any three of them, some pair is at distance $1$. Let $f(d)$ be the maximum size of an almost-equidistant set in $\mathbb{R}^{d}$. For example, the vertex set of the well-known Moser spindle (Figure 1) is an almost-equidistant set of $7$ points in the plane and thus $f(2)\geq 7$.

In this paper we study the growth rate of the function $f$. We first consider the case when the dimension $d$ is small and give some almost tight estimates on $f(d)$ for $d\leq 9$. Then we turn to higher dimensions and show $2d+4\leq f(d)\leq O(d^{3/2})$. We also discuss some possible generalisations of the problem.

1.1 Our results in low dimensions

It is trivial that $f(1)=4$ and that, up to congruence, there is a unique almost-equidistant set on $4$ points in $\mathbb{R}$. Bezdek, Naszódi, and Visy [5] showed that an almost-equidistant set in the plane has at most $7$ points. Talata (personal communication) showed in 2007 that there is a unique extremal set. We give a simple, computer-assisted proof of this result.

Theorem 1** (Talata, 2007).**

The largest number of points in an almost-equidistant set in $\mathbb{R}^{2}$ is $7$, that is, $f(2)=7$. Moreover, up to congruence, there is only one planar almost-equidistant set with $7$ points, namely the Moser spindle.

Figure 2 shows an example of an almost-equidistant set of $10$ points in $\mathbb{R}^{3}$.

It is made by taking a so-called biaugmented tetrahedron, which is a non-convex polytope formed by gluing three unit tetrahedra together at faces, and rotating a copy of it along the axis through the two simple vertices so that two additional unit-distance edges are created. This unit-distance graph is used in a paper of Nechushtan [19] to show that the chromatic number of $\mathbb{R}^{3}$ is at least $6$. Györey [13] showed, by an elaborate case analysis, that this is the unique largest almost-equidistant set in dimension $3$. We again give an independent, computer-assisted proof.

Theorem 2** (Györey [13]).**

The largest number of points in an almost-equidistant set in $\mathbb{R}^{3}$ is $10$, that is, $f(3)=10$. Moreover, up to congruence, there is only one almost-equidistant set in $\mathbb{R}^{3}$ with $10$ points.

In dimension $4$, we have only been able to obtain the following bounds.

Theorem 3**.**

The largest number of points in an almost-equidistant set in $\mathbb{R}^{4}$ is either $12$ or $13$, that is, $f(4)\in\{12,13\}$.

The lower bound comes from a generalization of the example in Figure 2; see also Theorem 5. The proofs of the upper bounds in the above theorems are computer assisted. Based on some numerical work to find approximate realisations of graphs, we believe, but cannot prove rigorously, that there does not exist an almost-equidistant set of $13$ points in $\mathbb{R}^{4}$.

Conjecture 1**.**

The largest number of points in an almost-equidistant set in $\mathbb{R}^{4}$ is $12$, that is, $f(4)=12$.

In dimension $5$, Larman and Rogers [16] showed that $f(5)\geq 16$ by a construction based on the so-called Clebsch graph. In dimensions $6$ to $9$, we use their construction to obtain lower bounds that are stronger than the lower bound $2d+4$ stated below in Theorem 5. We again complement this with some computer-assisted upper bounds.

Theorem 4**.**

The largest number of points in an almost-equidistant set in $\mathbb{R}^{5}$, $\mathbb{R}^{6}$, $\mathbb{R}^{7}$, $\mathbb{R}^{8}$ and $\mathbb{R}^{9}$ satisfy the following: $16\leq f(5)\leq 20$, $18\leq f(6)\leq 26$, $20\leq f(7)\leq 34$, $24\leq f(8)\leq 41$, and $24\leq f(9)\leq 49$.

The unit-distance graph of an almost-equidistant point set $P$ in $\mathbb{R}^{d}$ is the graph obtained from $P$ by letting $P$ be its vertex set and by placing an edge between pairs of points at unit distance.

For every $d\in\mathbb{N}$, a unit-distance graph in $\mathbb{R}^{d}$ does not contain $K_{d+2}$ (see Corollary 8) and the complement of the unit-distance graph of an almost-equidistant set is triangle-free. Thus we have $f(d)\leq R(d+2,3)-1$, where $R(d+2,3)$ is the Ramsey number of $K_{d+2}$ and $K_{3}$, that is, the smallest positive integer $N$ such that for every graph $G$ on $N$ vertices there is a copy of $K_{d+2}$ in $G$ or a copy of $K_{3}$ in the complement of $G$.

Ajtai, Komlós, and Szemerédi [1] showed $R(d+2,3)\leq O(d^{2}/\log{d})$ and this bound is known to be tight [14]. We thus have an upper bound $f(d)\leq O(d^{2}/\log{d})$, which, as we show below, is not tight. For small values of $d$ where the Ramsey number $R(d+2,3)$ is known or has a reasonable upper bound, we obtain an upper bound for $f(d)$. In particular, we get $f(5)\leq 22$, $f(6)\leq 27$, $f(7)\leq 35$, $f(8)\leq 41$, and $f(9)\leq 49$ [22]. For $d\in\{5,6,7\}$, we slightly improve these estimates to the bounds from Theorem 4 using our computer-assisted approach.

1.2 Our results in higher dimensions

We now turn to higher dimensions. The obvious generalization of the Moser spindle gives an example of an almost-equidistant set of $2d+3$ points in $\mathbb{R}^{d}$. The next theorem improves this by $1$. It is a generalization of the almost-equidistant set on $10$ points in $\mathbb{R}^{3}$ from Figure 2.

Theorem 5**.**

In each dimension $d\geq 3$, there is an almost-equidistant set in $\mathbb{R}^{d}$ with $2d+4$ points.

Rosenfeld [23] showed that an almost-equidistant set on a sphere in $\mathbb{R}^{d}$ of radius $1/\sqrt{2}$ has size at most $2d$, which is best possible. Rosenfeld’s proof, which uses linear algebra, was adapted by Bezdek and Langi [4] to spheres of other radii. They showed that an almost-equidistant set on a sphere in $\mathbb{R}^{d}$ of radius $\leq 1/\sqrt{2}$ has at most $2d+2$ elements, which is attained by the union of two $d$-simplices inscribed in the same sphere.

Pudlák [21] and Deaett [10] gave simpler proofs of Rosenfeld’s result. Our final result is an asymptotic upper bound for the size of an almost-equidistant set, based on Deaett’s proof [10].

Theorem 6**.**

An almost-equidistant set of points in $\mathbb{R}^{d}$ has cardinality $O(d^{3/2})$.

We note that Polyanskii [20] recently found an upper bound of $O(d^{13/9})$ for the size of an almost-equidistant set in $\mathbb{R}^{d}$ and Kupavskii, Mustafa, and Swanepoel [15] improved this to $O(d^{4/3})$. Both papers use ideas from our proof of Theorem 6.

In this paper, we use $\left\lVert v\right\rVert$ to denote the Euclidean norm of a vector $v$ from $\mathbb{R}^{d}$. For a subset $S$ of $\mathbb{R}^{d}$, we use $\operatorname{span}(S)$ and $\operatorname{aff}(S)$ to denote the linear hull and the affine hull of $S$, respectively.

The proofs of Theorems 5 and 6 are in Section 2. Theorems 1 to 4 are proved in Section 3. In Section 4, we discuss a possible generalization of the problem of determining the function $f$.

2 High dimensions

In this section, we first prove Theorem 5 by constructing, for every integer $d\geq 3$, an almost-equidistant set in $\mathbb{R}^{d}$ with $2d+4$ points. In the rest of the section, we prove Theorem 6 by showing the upper bound $f(d)\leq O(d^{3/2})$.

2.1 Proof of Theorem 5

Consider an equilateral $d$-simplex $\triangle$ with vertex set $S=\{x_{0},\dots,x_{d}\}$. Let $x_{i}^{\prime}$ be the reflection of $x_{i}$ in the hyperplane through the facet of $\triangle$ not containing $x_{i}$. We will show that there exists an isometry $\rho$ of $\mathbb{R}^{d}$ that fixes the line determined by $x_{0}^{\prime}$ and $x_{1}^{\prime}$ such that the distances $\left\lVert x_{0}-\rho(x_{0})\right\rVert$ and $\left\lVert x_{1}-\rho(x_{1})\right\rVert$ are both $1$, and such that $\{x_{0},\dots,x_{d}\}$ is disjoint from $\{\rho(x_{0}),\dots,\rho(x_{d})\}$.

With such an isometry $\rho$, the set $R:=S\cup\rho(S)\cup\{x_{0}^{\prime},x_{1}^{\prime}\}$ clearly contains $2d+4$ distinct points. We next show that $R$ is almost equidistant. Suppose for contradiction there is a subset of $R$ with three points and with no pair of points at distance $1$. Since $S$ and $\rho(S)$ form cliques in the unit-distance graph of $R$ and every point from $S\cup\rho(S)$ is at unit distance from $x^{\prime}_{0}$ or $x^{\prime}_{1}$, this subset is necessarily $\{x_{i},\rho(x_{j}),x_{k}^{\prime}\}$ for some $i,j\in\{0,\dots,d\}$ and $k\in\{0,1\}$. Since $x_{k}^{\prime}$ is at distance $1$ from all other points in $S\cup\rho(S)$ except $x_{k}$ and $\rho(x_{k})$, we obtain $i=k$ and $j=k$. However, then the points $x_{k}$ and $\rho(x_{k})$ are at distance 1, as the isometry $\rho$ is chosen so that $\left\lVert x_{k}-\rho(x_{k})\right\rVert=1$, contradicting the choice of the $3$-point subset.

It remains to show that there exists an isometry $\rho$ as described above. Let $c:=\frac{1}{2}(x_{0}+x_{1})$, and assume without loss of generality that $\frac{1}{2}(x_{0}^{\prime}+x_{1}^{\prime})$ is the origin $o$. Let $H$ be the $(d-1)$-dimensional subspace through $o$ with normal $x_{1}-x_{0}$. Note that $c,x_{2},\dots,x_{d}\in H$. Let $V$ be any $2$-dimensional subspace containing $o$ and $c$. (For instance, we can let $V$ be the linear span of $c$ and $x_{2}$.) Let $\pi$ be the orthogonal projection of $\mathbb{R}^{d}$ onto $V$. Then $\pi(x_{0})=\pi(x_{1})=c$ and $\pi(x_{0}^{\prime})=\pi(x_{1}^{\prime})=o$. Let $\rho_{V}$ be a rotation of $V$ around $o$ such that $\left\lVert c-\rho_{V}(c)\right\rVert=1$. Define $\rho\colon\mathbb{R}^{d}\to\mathbb{R}^{d}$ by $\rho(x):=\rho_{V}(\pi(x))+(x-\pi(x))$. Then $\rho$ is an isometry that fixes the orthogonal complement of $V$ (including $x_{0}^{\prime}$ and $x_{1}^{\prime}$) and moves $x_{0}$ and $x_{1}$ by a distance of $1$. Since $x_{0},x_{1}\notin H$, it follows that $\rho(x_{0}),\rho(x_{1})\notin H$, hence $\rho(x_{0}),\rho(x_{1})$ do not coincide with any of $x_{2},\dots,x_{d}$. Similarly, $x_{0},x_{1}$ do not coincide with any of $\rho(x_{2}),\dots,\rho(x_{d})$. It remains to show that $\{x_{2},\dots,x_{d}\}$ is disjoint from $\{\rho(x_{2}),\dots,\rho(x_{d})\}$. It is sufficient to prove that $\left\lVert x_{i}-\rho(x_{i})\right\rVert<1$ for all $i=2,\dots,d$, since $\left\lVert x_{i}-x_{j}\right\rVert=1$ for all distinct $i$ and $j$, and $\rho$ does not fix any of $x_{2},\dots,x_{d}$. We first calculate that

[TABLE]

Note that

[TABLE]

and similarly,

[TABLE]

It follows that

[TABLE]

We can embed $\mathbb{R}^{d}$ isometrically into the hyperplane $\left\{(\lambda_{0},\dots,\lambda_{d})\;\middle|\;\lambda_{0}+\dots+\lambda_{d}=1\right\}$ of $\mathbb{R}^{d+1}$ by sending $x_{i}$ to $\frac{1}{\sqrt{2}}e_{i}\in\mathbb{R}^{d+1}$, $i=0,\dots,d$. It follows that

[TABLE]

which is the first half of (1). Similarly, it follows that

[TABLE]

which establishes the second half of (1). Since the isometry $\rho$ is a rotation in $V$, moving each point in $V$ at distance $\sqrt{1-\frac{1}{d^{2}}}$ from $o$ by a distance of $1$, it will move each point in $\mathbb{R}^{d}$ at distance less than $\sqrt{1-\frac{1}{d^{2}}}$ from $o$ by a distance less than $1$. Therefore, $x_{2},\dots,x_{d}$ are all moved by a distance less than $1$, and the proof is finished.

2.2 Proof of Theorem 6

As a first step towards this proof, we show the following lemma, whose statement is illustrated in Figure 3. This lemma is also used later in Section 3.

Lemma 7**.**

For $d,k\in\mathbb{N}$, let $C$ be a set of $k$ points in $\mathbb{R}^{d}$ such that the distance between any two of them is $1$. Let $c\colonequals\frac{1}{k}\sum_{p\in C}p$ be the centroid of $C$ and let $A\colonequals\operatorname{span}(C-c)$. Then the set of points equidistant from all points of $C$ is the affine space $c+A^{\perp}$ orthogonal to $A$ and passing through $c$. Furthermore, the intersection of all unit spheres centred at the points in $C$ is the $(d-k)$-dimensional sphere of radius $\sqrt{(k+1)/(2k)}$ centred at $c$ and contained in $c+A^{\perp}$.

Proof.

Let $C=\{p_{1},\dots,p_{k}\}$. First, we show that a point $x$ from $\mathbb{R}^{d}$ lies in $c+A^{\perp}$ if and only if $\left\lVert x-p_{1}\right\rVert=\cdots=\left\lVert x-p_{k}\right\rVert$, which gives the first part of the lemma. For every $x\in\mathbb{R}^{d}$ and each $i\in\{1,\dots,k\}$, we have

[TABLE]

Let $\triangle$ be the standard $(k-1)$-simplex with vertices $(1,0,\dots,0),\dots,(0,\dots,0,1)$ embedded in $\mathbb{R}^{k}$. Note that $\sqrt{2}\left\lVert p_{i}-c\right\rVert$ is the distance between a vertex of $\triangle$ and its centroid $(1/k,\dots,1/k)$, which is $\sqrt{(k-1)/k}$. Therefore $\left\lVert p_{i}-c\right\rVert=\sqrt{(k-1)/(2k)}$ and, in particular,

[TABLE]

for every $i\in\{1,\dots,k\}$.

Now, assume that $x\in c+A^{\perp}$. Then, since $p_{i}-c\in A$ for every $i\in\{1,\dots,k\}$, we have $\left\langle x-c,p_{i}-c\right\rangle=0$. By (2), we obtain

[TABLE]

for every $i\in\{1,\dots,k\}$ and thus $\left\lVert x-p_{1}\right\rVert=\cdots=\left\lVert x-p_{k}\right\rVert$.

On the other hand, if there is a $\gamma\in\mathbb{R}$ such that $\gamma=\left\lVert x-p_{i}\right\rVert$ for every $i\in\{1,\dots,k\}$, then the equality (2) gives

[TABLE]

for every $i\in\{1,\dots,k\}$. Setting \eta\colonequals\bigl{(}\left\lVert x-c\right\rVert^{2}+(k-1)/(2k)-\gamma^{2}\bigr{)}/2, we have $\left\langle x-c,p_{1}-c\right\rangle=\dots=\left\langle x-c,p_{k}-c\right\rangle=\eta$. Using this fact and the expression of $c$, we obtain

[TABLE]

where $o$ denotes the origin in $\mathbb{R}^{d}$. Thus $\left\langle x-c,p_{i}-c\right\rangle=\eta=0$ for every $i\in\{1,\dots,k\}$ and, since every element of $A$ is a linear combination of elements from $C-c$, we have $x\in c+A^{\perp}$.

For the second part of the lemma, let $S$ be the intersection of all unit spheres centred at the points in $C$. By the first part of the lemma, we know that

[TABLE]

Since $A$ is a $(k-1)$-dimensional subspace, $c+A^{\perp}$ is a $(d-k+1)$-dimensional affine subspace of $\mathbb{R}^{d}$, hence $S$ is the $(d-k)$-dimensional sphere of radius $\sqrt{(k+1)/(2k)}$ centred at $c$ and contained in $c+A^{\perp}$. ∎

Corollary 8**.**

For $d\in\mathbb{N}$, every subset of $\mathbb{R}^{d}$ contains at most $d+1$ points that are pairwise at unit distance.

Proof.

Lemma 7 applied to a set $C$ of $d$ points in $\mathbb{R}^{d}$ with all pairs of points at unit distance implies that the set of points that are at unit distance from all points in $C$ lies on a [math]-dimensional sphere of diameter $2\sqrt{(d+1)/(2d)}\neq 1$. ∎

The following lemma is a well-known result that bounds the rank of a square matrix from below in terms of the entries of the matrix [2, 10, 21].

Lemma 9**.**

Let $A=[a_{i,j}]$ be a non-zero symmetric $m\times m$ matrix with real entries. Then

[TABLE]

The last lemma before the proof of Theorem 6 can be proved by a calculation, using its assumption that the vectors $v_{i}$ have pairwise inner products $\varepsilon$, so they differ from an orthogonal set by some skewing.

Lemma 10**.**

For $n,t\in\mathbb{N}$ with $t\leq n$, let $w_{1},\dots,w_{t}$ be unit vectors in $\mathbb{R}^{n}$ such that $\left\langle w_{i},w_{j}\right\rangle=\varepsilon$ for all $i,j$ with $1\leq i<j\leq t$, where $\varepsilon\in[0,1)$. Then the set $\{w_{1},\dots,w_{t}\}$ can be extended to $\{w_{1},\dots,w_{n}\}$ such that $\left\langle w_{i},w_{j}\right\rangle=\varepsilon$ for all $i,j$ with $1\leq i<j\leq n$, and such that for some orthonormal basis $e_{1},\dots,e_{n}$ we have

[TABLE]

where

[TABLE]

Moreover, $\left\lVert e_{i}+\lambda e\right\rVert^{2}=(1-\varepsilon)^{-1}$ for each $i\in\{1,\dots,n\}$ and for every $x\in\mathbb{R}^{n}$ we have

[TABLE]

Proof.

Let $\varepsilon\in[0,1)$ and $w_{1},\dots,w_{t}$ be from the statement of the lemma. We first extend the set $\{w_{1},\dots,w_{t}\}$ to a set $\{w_{1},\dots,w_{n}\}$ of unit vectors in $\mathbb{R}^{n}$ so that $\left\langle w_{i},w_{j}\right\rangle=\varepsilon$ for all $i,j$ with $1\leq i<j\leq n$. We proceed iteratively, choosing $w_{i+1}$ after the vectors $w_{1},\dots,w_{i}$ have been obtained for some $i$ with $t\leq i<n$. The condition $\left\langle w_{i},w_{j}\right\rangle=\varepsilon$ for each $j$ with $1\leq j<i$ says that the desired point $w_{i+1}$ lies in the hyperplanes $\left\{x\in\mathbb{R}^{n}\;\middle|\;\left\langle x,w_{j}\right\rangle=\varepsilon\right\}$. Since $\varepsilon\geq 0$, the intersection of these hyperplanes taken over $j\in\{1,\dots,i\}$ is an affine subspace $A$ of dimension at least $n-i\geq 1$. The subspace $A$ contains the point

[TABLE]

which is in the convex hull of $\{w_{1},\dots,w_{j-1},\varepsilon w_{j},w_{j+1},\dots,w_{i}\}$ for every $j\in\{1,\dots,i\}$. Since $\varepsilon<1$, each point $\varepsilon w_{j}$ is inside the unit ball centred in the origin and so is $a$. Additionally, $A$ does not contain any of the points $w_{1},\dots,w_{i}$. Altogether, $A$ intersects the unit sphere centred in the origin at a point that is not in $\{w_{1},\dots,w_{i}\}$. We let $w_{i+1}$ be an arbitrary point from this intersection. For $i=n-1$, we obtain the set $\{w_{1},\dots,w_{n}\}$.

We now let $e_{i}\colonequals w_{i}/\sqrt{1-\varepsilon}-\lambda e$ for every $i\in\{1,\dots,n\}$, where $e=\frac{1}{\sqrt{1+(n-1)\varepsilon}}\sum_{j=1}^{n}w_{j}$ and $\lambda=(-1+\sqrt{1+\varepsilon n/(1-\varepsilon)})/n$. That is, we skew the vectors $w_{1},\dots,w_{n}$ so that they are pairwise orthogonal and we scale the resulting vectors so that they will form an orthonormal basis. Note that $\lambda n+1=\sqrt{\frac{1+(n-1)\varepsilon}{1-\varepsilon}}$. Using this fact and the choice of $e_{1},\dots,e_{n}$, we obtain

[TABLE]

We now verify that $e_{1},\dots,e_{n}$ form an orthonormal basis of $\mathbb{R}^{n}$. Let $i\in\{1,\dots,n\}$ be fixed. Note that $\left\langle w_{i},e\right\rangle=\frac{1+(n-1)\varepsilon}{\sqrt{1+(n-1)\varepsilon}}=\sqrt{1+(n-1)\varepsilon}$, as every $w_{j}$ is a unit vector and pairwise inner products of vectors $w_{1},\dots,w_{n}$ equal $\varepsilon$. Summing over $i$, we obtain $\left\langle e,e\right\rangle=\frac{1}{\sqrt{1+(n-1)\varepsilon}}\sum_{i=1}^{n}\left\langle w_{i},e\right\rangle=n$. Using these facts and the choice of $\lambda$, we derive

[TABLE]

Therefore each $e_{i}$ is a unit vector. Similarly, for all distinct $i$ and $j$ from $\{1,\dots,n\}$, we have

[TABLE]

We thus see that $e_{1},\dots,e_{n}$ is indeed an orthonormal basis in $\mathbb{R}^{n}$.

To show $\left\lVert e_{i}+\lambda e\right\rVert^{2}=(1-\varepsilon)^{-1}$ for each $i\in\{1,\dots,n\}$, we simply use the fact that $w_{i}$ is a unit vector and derive

[TABLE]

It remains to prove the last expression in the statement of the lemma. Let $x$ be an arbitrary point from $\mathbb{R}^{n}$. Since $e_{1},\dots,e_{n}$ is a basis of $\mathbb{R}^{n}$, we have $x=\sum_{i=1}^{n}\alpha_{i}e_{i}$ for some $(\alpha_{1},\dots,\alpha_{n})\in\mathbb{R}^{n}$. For each $j\in\{1,\dots,n\}$, we express the term $\left\langle x,w_{j}\right\rangle$ as

[TABLE]

using the facts that the basis $e_{1},\dots,e_{n}$ is orthonormal and that $w_{j}=\sqrt{1-\varepsilon}(e_{j}+\lambda e)$. Now, we have

[TABLE]

Since the basis $e_{1},\dots,e_{n}$ is orthonormal, we have $\left\lVert x\right\rVert^{2}=\sum_{i=1}^{n}\sum_{j=1}^{n}\alpha_{i}\alpha_{j}\left\langle e_{i},e_{j}\right\rangle=\sum_{i=1}^{n}\alpha_{i}^{2}$ and, since $e=\sum_{j=1}^{n}e_{j}$, we also have $\left\langle x,e\right\rangle=\sum_{i=1}^{n}\sum_{j=1}^{n}\alpha_{i}\left\langle e_{i},e_{j}\right\rangle=\sum_{i=1}^{n}\alpha_{i}$. The above expression thus equals

[TABLE]

Using the facts that $2\lambda+\lambda^{2}n=\varepsilon/(1-\varepsilon)$ and $1+\lambda n=\sqrt{\frac{1+(n-1)\varepsilon}{1-\varepsilon}}$, this expression can be further simplified as

[TABLE]

and then rewritten to the final form

[TABLE]

We are now ready to prove Theorem 6. For $d\geq 2$, let $V\subset\mathbb{R}^{d}$ be an almost-equidistant set. We let $G=(V,E)$ be the unit-distance graph of $V$ and let $k\colonequals\lfloor 2\sqrt{d}\rfloor$. Note that $1\leq k\leq d$.

Let $S\subseteq V$ be a set of $k$ points such that the distance between any two of them is $1$. If such a set does not exist, then, since the complement of $G$ does not contain a triangle, we have $|V|<R(k,3)$, where $R(k,3)$ is the Ramsey number of $K_{k}$ and $K_{3}$. Using the bound $R(k,3)\leq\binom{k+3-2}{3-1}$ obtained by Erdős and Szekeres [11], we derive $|V|<\binom{2\sqrt{d}+1}{2}=2d+\sqrt{d}$. Thus we assume in the rest of the proof that $S$ exists.

Let $B$ be the set of common neighbours of $S$, that is,

[TABLE]

Since $V$ is equidistant, the set of non-neighbours of any vertex of $G$ is a clique and so it has size at most $d+1$ by Corollary 8. Every vertex from $V\setminus B$ is a non-neighbour of some vertex from $S$ and thus it follows that $\left\lvert V\setminus B\right\rvert\leq k(d+2)$.

We now estimate the size of $B$. By Lemma 7 applied to $S$, the set $B$ lies on a sphere of radius $\sqrt{(k+1)/2k}$ in an affine subspace of dimension $d-k+1$. We may take the centre of this sphere as the origin, and rescale by $\sqrt{2k/(k+1)}$ to obtain a set $B^{\prime}$ of $m$ unit vectors $v_{1},\dots,v_{m}\in\mathbb{R}^{d-k+1}$ where $m\colonequals\left\lvert B\right\rvert$. For any three of the vectors from $B^{\prime}$, the distance between some two of them is $\sqrt{2k/(k+1)}$. For two such vectors $v_{i}$ and $v_{j}$ with $\left\lVert v_{i}-v_{j}\right\rVert^{2}=2k/(k+1)$, the facts $\left\lVert v_{i}-v_{j}\right\rVert^{2}=\left\lVert v_{i}\right\rVert^{2}+\left\lVert v_{j}\right\rVert^{2}-2\left\langle v_{i},v_{j}\right\rangle$ and $\left\lVert v_{i}\right\rVert^{2}=\left\lVert v_{j}\right\rVert^{2}=1$ imply $\left\langle v_{i},v_{j}\right\rangle=\varepsilon$, where $\varepsilon\colonequals 1/(k+1)$. Note that the opposite implication also holds. That is, if $\left\langle v_{i},v_{j}\right\rangle=\varepsilon$, then $v_{i}$ and $v_{j}$ are at distance $\sqrt{2k/(k+1)}$.

Let $A=[a_{i,j}]$ be the $m\times m$ matrix defined by $a_{i,j}\colonequals\left\langle v_{i},v_{j}\right\rangle-\varepsilon$. Clearly, $A$ is a symmetric matrix with real entries. If $m\geq d-k+2$, then $A$ is also non-zero, as $G$ contains no $K_{d+2}$ and every vertex from $B$ is adjacent to every vertex from $S$ in $G$. We recall that $\operatorname{rank}XY\leq\min\{\operatorname{rank}X,\operatorname{rank}Y\}$ and $\operatorname{rank}(X+Y)\leq\operatorname{rank}X+\operatorname{rank}Y$ for two matrices $X$ and $Y$. Since $B^{\prime}=\{v_{1},\dots,v_{m}\}\subset\mathbb{R}^{d-k+1}$ and

[TABLE]

where $J$ is the $m\times m$ matrix with each entry equal to $1$, we have

[TABLE]

By Lemma 9,

[TABLE]

For $i\in\{1,\dots,m\}$, let $N_{i}$ be the set of vectors from $B^{\prime}$ that are at distance $\sqrt{2k/(k+1)}$ from $v_{i}$. That is,

[TABLE]

Then for each fixed $v_{i}$ we have

[TABLE]

Note that the vectors from $B^{\prime}\setminus(N_{i}\cup\{v_{i}\})$ have pairwise inner products $\varepsilon$, as neither of them is at distance $\sqrt{2k/(k+1)}$ from $v_{i}$, and thus $|B^{\prime}\setminus(N_{i}\cup\{v_{i}\})|\leq d-k+2$. In fact, we even have $|B^{\prime}\setminus(N_{i}\cup\{v_{i}\})|\leq d-k+1$, since $B^{\prime}$ contains only unit vectors and any subset of $d-k+2$ points from $B^{\prime}$ with pairwise distances $\sqrt{2k/(k+1)}$ would form the vertex set of a regular $(d-k+1)$-simplex with edge lengths $\sqrt{2k/(k+1)}$ centred at the origin. However, then the distance from the centroid of such a simplex to its vertices would be equal to $\sqrt{k(d-k+1)/((k+1)(d-k+2))}\neq 1$, which is impossible.

Thus setting $n\colonequals d-k+1$ and $t\colonequals|B^{\prime}\setminus(N_{i}\cup\{v_{i}\})|$, we have $t\leq n$. Applying Lemma 10 to the $t$ vectors from $B^{\prime}\setminus(N_{i}\cup\{v_{i}\})\subseteq\mathbb{R}^{n}$ with $\varepsilon=(k+1)^{-1}$ and $x=v_{i}$, we see that the last sum in (5) is at most

[TABLE]

where $e=\sum_{j=1}^{d-k+1}e_{j}$ for some orthonormal basis $e_{1},\dots,e_{d-k+1}$ of $\mathbb{R}^{d-k+1}$.

By the Cauchy–Schwarz inequality,

[TABLE]

Thus, using $\varepsilon=(k+1)^{-1}$, we obtain

[TABLE]

If we substitute this upper bound back into (4), then with (3) we obtain that $d-k+2>m^{2}(1-\varepsilon)^{2}/(4m\varepsilon d)$ and thus $m<(4\varepsilon d)(d-k+2)/(1-\varepsilon)^{2}$. Using the choice $k=\lfloor 2\sqrt{d}\rfloor$ and the expression $\varepsilon=(k+1)^{-1}$, we obtain $(d-k+2)/(1-\varepsilon)^{2}<d$, if $d\geq 8$, and thus $m<4d^{2}/(k+1)$.

Altogether, we have $m\leq\max\{d-k+1,4d^{2}/(k+1)\}=4d^{2}/(k+1)$. It follows that $\left\lvert V\right\rvert\leq k(d+2)+4d^{2}/(k+1)$. Again, using the choice $k=\lfloor 2\sqrt{d}\rfloor\in(2\sqrt{d}-1,2\sqrt{d}]$, we conclude that

[TABLE]

This finishes the proof of Theorem 6.

3 Low dimensions

In this section, we give proofs of Theorems 1, 2, 3, and 4. Before doing so, we introduce the notion of abstract almost-equidistant graphs. Denote the complete $t$-partite graph with classes of sizes $m_{1},\dots,m_{t}$ by $K_{m_{1},\dots,m_{t}}$ or $K_{t}(m_{1},\dots,m_{t})$. A graph $G$ is said to be an abstract almost-equidistant graph in $\mathbb{R}^{d}$ if the complement of $G$ does not contain $K_{3}$ and either

• •

$d=2$ and $G$ does not contain $K_{4}$ nor $K_{2,3}$;

• •

or $d\geq 3$, $d$ odd and $G$ does not contain $K_{d+2}$ nor $K_{(d+1)/2}(3,\dots,3)$;

• •

or $d\geq 4$, $d$ even and $G$ does not contain $K_{d+2}$ nor $K_{(d+2)/2}(1,3,\dots,3)$.

The following lemma justifies the notion of abstract almost-equidistant graphs. We will see later that its converse is not true, as there are abstract almost-equidistant graphs in $\mathbb{R}^{d}$ that are not unit-distance graphs of any point set from $\mathbb{R}^{d}$.

Lemma 11**.**

For every $d\geq 2$ and every almost-equidistant set $P$ from $\mathbb{R}^{d}$, the unit-distance graph of $P$ is an abstract almost-equidistant graph in $\mathbb{R}^{d}$.

Proof.

Let $G$ be the unit-distance graph of an almost-equidistant set $P\subset\mathbb{R}^{d}$. Clearly, the complement of $G$ does not contain a triangle, as $P$ is almost equidistant. The graph $G$ also does not contain a copy of $K_{d+2}$ by Corollary 8. Thus it remains to show that $K_{2,3}$ does not occur as a unit-distance graph in $\mathbb{R}^{2}$, $K_{(d+1)/2}(3,\dots,3)$ does not occur as a unit-distance graph for odd $d\geq 3$, and $K_{(d+2)/2}(1,3,\dots,3)$ does not occur as a unit-distance graph for even $d\geq 4$.

For $d=2$, Suppose that $K_{2,3}$ occurs as a unit-distance graph in $\mathbb{R}^{2}$. Let the class with two points be $\{p,q\}$. The set of points that are at the same distance from both $p$ and $q$ is the intersection of two unit circles centred at $p$ and $q$, respectively, and thus contains at most two points. Therefore, the other class cannot contain three points.

For odd $d\geq 3$, suppose for contradiction that there exist sets $V_{1},\dots,V_{k}$, where $k=(d+1)/2$, such that each $V_{i}$ contains three points, and such that the distance between any two points from different $V_{i}$ equals $1$. As in the proof of Lemma 7, it is easy to show that each $V_{i}$ lies on a circle. Furthermore, for any distinct $i,j$, $a_{1}-a_{2}\perp b_{1}-b_{2}$ for all $a_{1},a_{2}\in V_{i}$ and $b_{1},b_{2}\in V_{j}$. Thus the affine hulls of the $V_{i}$s are pairwise orthogonal to each other, hence $V_{1}\cup\dots\cup V_{k}$ together span a space of dimension at least $2k>d$, a contradiction.

For even $d\geq 4$, suppose that there exist sets $V_{1},\dots,V_{k}$ in $\mathbb{R}^{d}$, where $k=d/2$, such that $V_{1}$ contains four points $a,b,c,d$ with $\left\lVert a-b\right\rVert=\left\lVert a-c\right\rVert=\left\lVert a-d\right\rVert=1$, the sets $V_{2},\dots,V_{k}$ each contains three points, and such that the distance between any two points from different $V_{i}$ equals $1$. As in the case of odd $d$, the $V_{i}$ lie on circles (or a sphere in the case of $V_{1}$), the affine hulls of the $V_{i}$s have dimension at least $2$ and are pairwise orthogonal to each other, hence $V_{1}\cup\dots\cup V_{k}$ together span a space of dimension at least $2k=d$. It follows that the affine hull of $V_{1}\cup\dots\cup V_{k}$ has dimension exactly $2k$, and that the affine hulls of all the the $V_{i}$s are $2$-dimensional. In particular, we have that $a,b,c,d$ lie on a circle $C$. However, then $C$ and the unit circle with centre $a$ intersect in $3$ points, a contradiction. ∎

An abstract almost-equidistant graph $G=(V,E)$ in $\mathbb{R}^{d}$ is realisable (in $\mathbb{R}^{d}$) if there is a point set $P$ in $\mathbb{R}^{d}$, called a realisation of $G$, and a one-to-one correspondence $f\colon P\to V$ such that, for all points $p$ and $q$ from $P$, if $\{f(p),f(q)\}\in E$, then $p$ and $q$ are at unit distance. If $G$ is not realisable in $\mathbb{R}^{d}$, then we say that it is non-realisable. For a realisable graph $G$ and its realisation $P$, we sometimes do not distinguish between the vertices of $G$ and the points from $P$.

By Lemma 11, if there is no realisable abstract almost-equidistant graphs in $\mathbb{R}^{d}$ on $n$ vertices, then there is no almost-equidistant set in $\mathbb{R}^{d}$ of size $n$. Using a simple exhaustive computer search, we enumerated all non-isomorphic graphs that are abstract almost-equidistant in $\mathbb{R}^{d}$ for $d\in\{2,3,4,5,6\}$. We filtered out graphs that are minimal, meaning that any graph obtained by removing any edge from such a graph is no longer abstract almost-equidistant. We summarise our results obtained by the computer search in Tables 2 and 3. More detailed description of our computations can be found in Section 3.5.

The core of the proofs of Theorems 1, 2, and 3 is to show that none of the minimal abstract almost-equidistant graphs in $\mathbb{R}^{d}$ is realisable in $\mathbb{R}^{d}$ for $d=2,3,4$, respectively.

3.1 Proof of Theorem 1

We show that $f(2)=7$ and that, up to congruence, there is only one planar almost-equidistant set with $7$ points, namely the Moser spindle.

A computer search shows that, up to isomorphism, there are exactly two abstract almost-equidistant graphs on $7$ vertices. One of them is the Moser spindle (Figure 1), which is clearly uniquely realisable in the plane up to congruence. The other graph (part (a) of Figure 4) is the graph of the square antiprism with one point removed, which is easily seen to be non-realisable in the plane. Lemma 11 thus implies that the Moser spindle is the unique (up to congruence) almost-equidistant set in the plane on $7$ points.

There is a unique abstract almost-equidistant graph on $8$ vertices, namely the graph of the square antiprism (part (b) of Figure 4), which is not realisable in the plane because it contains a non-realisable subgraph, namely the non-realisable abstract almost-equidistant graph on $7$ vertices drawn in part (a) of Figure 4. Thus, by Lemma 11, there is no almost-equidistant set in the plane on $8$ points.

3.2 Proof of Theorem 2

We prove $f(3)=10$ and that, up to congruence, there is only one almost-equidistant set in $\mathbb{R}^{3}$ with $10$ points.

A computer search shows that there is exactly one abstract almost-equidistant graph $G_{11}$ in $\mathbb{R}^{3}$ on $11$ vertices (Figure 5), and exactly $7$ abstract almost-equidistant graphs in $\mathbb{R}^{3}$ on $10$ vertices, four of which are minimal (Figures 2 and 6).

Although $G_{11}$ contains the first graph in Figure 6, and we will show that none of the graphs in Figure 6 are realisable in $\mathbb{R}^{3}$, it is worth observing the following direct argument for the non-realisability of $G_{11}$. Suppose for contradiction that it is realisable in $\mathbb{R}^{3}$. We label the vertices $p_{0}$ to $p_{10}$, with subscripts modulo $11$, such that $\{p_{i},p_{j}\}$ is an edge of $G_{11}$ if and only if $i-j\equiv\pm 1,\pm 2\pmod{11}$. There are $11$ equilateral tetrahedra $p_{i}p_{i+1}p_{i+2}p_{i+3}$ in a realisation of $G_{11}$. Let $T\colon\mathbb{R}^{3}\to\mathbb{R}^{3}$ be the unique isometry that maps the tetrahedron $p_{0}p_{1}p_{2}p_{3}$ to $p_{1}p_{2}p_{3}p_{4}$, that is, $T(p_{i})=p_{i+1}$ for $i=0,1,2,3$. Note that the vertex $p_{i+4}$ is uniquely determined by $p_{i}p_{i+1}p_{i+2}p_{i+3}$. In fact $p_{i+4}$ is the reflection of $p_{i}$ through the centroid of the triangle $p_{i+1}p_{i+2}p_{i+3}$. It follows that $T(p_{i})=p_{i+1}$ for every $i$. Therefore the centroid $c\colonequals\frac{1}{11}\sum_{i=0}^{10}p_{i}$ is a fixed point of $T$ and all points $p_{i}$ are on a sphere with centre $c$. However, the points $p_{0},p_{1},p_{2},p_{3},p_{4}$ are easily seen not to lie on a sphere (for example, by using Lemma 7) and we have a contradiction. Thus, by Lemma 11, there is no almost-equidistant set in $\mathbb{R}^{3}$ on $11$ points.

We have already described a realisation in $\mathbb{R}^{3}$ of the graph from Figure 2 in the proof of Theorem 5. It is unique up to congruence, and it is easy to check that there are no further unit distances between vertices. We next show that the other three graphs are not realisable in $\mathbb{R}^{3}$.

The graph in part (a) of Figure 6 consists of six copies of $K_{4}$, namely $p_{0}p_{1}p_{2}p_{3}$, $p_{1}p_{2}p_{3}p_{4}$, $p_{2}p_{3}p_{4}p_{5}$, $p_{4}p_{5}p_{6}p_{7}$, $p_{5}p_{6}p_{7}p_{8}$, $p_{6}p_{7}p_{8}p_{9}$, together with the edges $p_{0}p_{9}$, $p_{1}p_{9}$ and $p_{0}p_{8}$. We may choose coordinates $p_{4}=(0,0,1/2)$, $p_{5}=(0,0,-1/2)$, $p_{2}=(\sqrt{3}/2,0,0)$, $p_{3}=(1/(2\sqrt{3}),\sqrt{2/3},0)$, and then we will have $p_{7}=(\frac{\sqrt{3}}{2}\cos\beta,\frac{\sqrt{3}}{2}\sin\beta,0)$ for some angle $\beta$, and $p_{6}=(\frac{\sqrt{3}}{2}\cos(\beta+\alpha),\frac{\sqrt{3}}{2}\sin(\beta+\alpha),0)$, where $\cos\alpha=1/3$. Thus $p_{6}=(\frac{1}{2\sqrt{3}}\cos\beta\mp\frac{\sqrt{2}}{\sqrt{3}}\sin\beta,\frac{1}{2\sqrt{3}}\sin\beta\mp\frac{\sqrt{2}}{\sqrt{3}}\cos\beta,0)$. It is now simple to determine the coordinates of the remaining points by taking reflections. In particular, we obtain $p_{1}=(\frac{4}{3\sqrt{3}},\frac{2\sqrt{2}}{3\sqrt{3}},\frac{5}{6})$ and $p_{9}=(\frac{20}{9\sqrt{3}}\cos\beta\mp\frac{10\sqrt{2}}{9\sqrt{3}}\sin\beta,\frac{20}{9\sqrt{3}}\sin\beta\pm\frac{10\sqrt{2}}{9\sqrt{3}}\cos\beta,-\frac{1}{18})$. If we now calculate the distance $\left\lVert p_{1}-p_{9}\right\rVert$, we obtain either $\sqrt{\frac{112}{27}-\frac{80}{27}\cos\beta}$ or $\sqrt{\frac{112}{27}-\frac{80}{81}\cos\beta-\frac{160\sqrt{2}}{81}\sin\beta}$, depending on the sign of $\sin\alpha$. However, both these expressions are larger than $1$.

The graph in part (b) of Figure 6 is the complement of the Petersen graph, and contains $5$ copies of the graph of the regular octahedron, one for every induced matching of three edges in the Petersen graph. Each such octahedron is uniquely realisable in $\mathbb{R}^{3}$. The octahedron $O_{1}$ with diagonals $\{p_{0}p_{6},p_{7}p_{9},p_{3}p_{8}\}$ and the octahedron $O_{2}$ with diagonals $\{p_{0}p_{4},p_{1}p_{3},p_{2}p_{7}\}$ have a common face $p_{0}p_{3}p_{7}$. The only way to realise $O_{1}$ and $O_{2}$ is with the opposite faces $p_{6}p_{8}p_{9}$ and $p_{4}p_{1}p_{2}$ in two planes parallel to the plane of $p_{0}p_{3}p_{7}$. Since an octahedron with edges of unit length has width $\sqrt{2/3}$, we obtain that the distance between $p_{4}$ and $p_{6}$ (both opposite to $p_{0}$ in $O_{1}$ and $O_{2}$, respectively) is $2\sqrt{2/3}$, which is impossible, as they have to be at unit distance.

The graph in part (c) of Figure 6 is a ring of $5$ unit tetrahedra $p_{i}q_{i}p_{i+1}q_{i+1}$, $i=0,\dots,4$ with indices taken modulo $5$, with two successive ones joined at an edge $p_{i}q_{i}$. Suppose for contradiction that we have a realisation of this graph in $\mathbb{R}^{3}$. Let $m_{i}$ be the midpoint of $p_{i}q_{i}$ for each $i\in\{0,\dots,4\}$. The distance between $m_{i}$ and $m_{i+1}$ is $r=1/\sqrt{2}$. Since each $p_{i}q_{i}$ is orthogonal to $p_{i+1}q_{i+1}$, it follows that $m_{i}$, $p_{i-1}q_{i-1}$, and $p_{i+1}q_{i+1}$ lie in the same plane and the lines $p_{i-1}q_{i-1}$ and $p_{i+1}q_{i+1}$ are tangent to the circle $C_{i}$ in this plane with centre $m_{i}$ and radius $r$. If $C_{1}$ and $C_{3}$ were in the same plane, then the edges $p_{4}q_{4}$ and $p_{0}q_{0}$ of the tetrahedron $p_{0}q_{0}p_{4}q_{4}$ would have to be coplanar. Therefore $C_{1}$ and $C_{3}$ are in different planes, but they have the same tangent line $p_{2}q_{2}$ touching both at $m_{2}$. It follows that they lie on a unique sphere $\Sigma$. The lines $p_{0}q_{0}$ and $p_{4}q_{4}$ are tangent to $\Sigma$ at $m_{0}$ and $m_{4}$, respectively. It follows that the plane $\Pi_{0}$ through $m_{0}$ orthogonal to $p_{0}q_{0}$ and the plane $\Pi_{4}$ through $m_{4}$ orthogonal to $p_{4}q_{4}$ both contain the centre $c$ of $\Sigma$. Thus $c\in\Pi_{0}\cap\Pi_{4}$. Since both $\Pi_{0}$ and $\Pi_{4}$ contain $m_{0}$ and $m_{4}$, it follows that $\Pi_{0}\cap\Pi_{4}$ is the line $m_{0}m_{4}$, and it follows that $c\in m_{0}m_{4}$, that is, $\left\lVert m_{0}-m_{4}\right\rVert=r$ is a diameter of $\Sigma$. However, $\Sigma$ contains two circles on its boundary of radius $r$, a contradiction.

Thus there is only one realisable abstract almost-equidistant graph in $\mathbb{R}^{3}$ on $10$ vertices and, by Lemma 11, there is also a unique (up to congruence) almost-equidistant set in $\mathbb{R}^{3}$ on $10$ points.

3.3 Proof of Theorem 3

We want to show that $12\leq f(4)\leq 13$. To do so, we use the following result, which says that the graph in Figure 7 is not realisable in $\mathbb{R}^{4}$.

Lemma 12**.**

The graph $G_{10}$ in Figure 7 is not realisable in $\mathbb{R}^{4}$.

Proof.

The graph $G_{10}$ is built up by starting with a cross-polytope with vertices $p_{0},\dots,p_{7}$ and diagonals $p_{0}p_{4}$, $p_{1}p_{5}$, $p_{2}p_{6}$, $p_{3}p_{7}$, then removing edge $p_{2}p_{4}$, and then adding vertices $p_{8}$, $p_{9}$ and edges $p_{8}p_{0}$, $p_{8}p_{1}$, $p_{8}p_{2}$, $p_{8}p_{3}$, $p_{8}p_{9}$, $p_{9}p_{2}$, $p_{9}p_{3}$, $p_{9}p_{4}$, $p_{9}p_{5}$.

Suppose for contradiction that $G_{10}$ has a realisation in $\mathbb{R}^{4}$. We first show that the distance between $p_{2}$ and $p_{4}$ is necessarily $1$. Note that $G_{10}$ contains a copy of $K_{4,4}$ with classes $V_{1}=\{p_{1},p_{3},p_{5},p_{7}\}$ and $V_{2}=\{p_{0},p_{2},p_{4},p_{6}\}$ as a subgraph. Similarly as in the proof of Lemma 11, it follows that $V_{1}$ and $V_{2}$ each lies on a circle with the same centre, which we take as the origin, in orthogonal $2$-dimensional planes. The induced subgraph $G_{10}[p_{1},p_{3},p_{5},p_{7}]$ of $G_{10}$ is a $4$-cycle, hence the circle on which $V_{1}$ lies has radius $1/\sqrt{2}$. Therefore the circle on which $V_{2}$ lies also has radius $1/\sqrt{2}$ and, since the induced subgraph $G_{10}[p_{0},p_{2},p_{4},p_{6}]$ of $G_{10}$ is a path of length $3$, $p_{0},p_{2},p_{4},p_{6}$ also have to be the vertices of a square and $\left\lVert p_{2}-p_{4}\right\rVert=1$.

Therefore we have a cross-polytope with diagonals $p_{i}p_{i+4}$, $i=0,1,2,3$. The graph of a cross-polytope can be realised in only one way in $\mathbb{R}^{4}$ up to isometry. Thus we may choose coordinates so that $p_{0}=-p_{4}=(1/\sqrt{2},0,0,0)$, $p_{1}=-p_{5}=(0,1/\sqrt{2},0,0)$, $p_{2}=-p_{6}=(0,0,1/\sqrt{2},0)$, $p_{3}=-p_{7}=(0,0,0,1/\sqrt{2})$. Since $p_{0}p_{1}p_{2}p_{3}p_{8}$ is a clique, $p_{8}=(\lambda,\lambda,\lambda,\lambda)$, where $\lambda=(1\pm\sqrt{5})/(4\sqrt{2})$. Since $p_{2}p_{3}p_{4}p_{5}p_{9}$ is a clique, we obtain similarly that $p_{9}=(-\mu,-\mu,\mu,\mu)$ where $\mu=(-1\pm\sqrt{5})/(4\sqrt{2})$. However, then the distance $\left\lVert p_{8}-p_{9}\right\rVert$ is one of the values $(\pm 1+\sqrt{5})/2$ or $\sqrt{3/2}$, but it has to equal $1$, a contradiction. ∎

Now, we can proceed with the proof of Theorem 3. The lower bound of $f(4)\geq 12$ follows from Theorem 5. A computer search shows that there are no abstract almost-equidistant graphs in $\mathbb{R}^{4}$ on $17$ or more vertices, a unique one on $16$ vertices, a unique one on $15$ vertices, and four on $14$ vertices, three of which are minimal; see Figures 8 and 9.

The first of these three consists of the graphs of a $3$-dimensional octahedron $q_{0}\cdots q_{5}$ and a $4$-dimensional cross-polytope $p_{0}\cdots p_{7}$ with a biregular graph between their respective vertex sets, as in part (a) of Figure 8. It contains the graph $G_{10}$ as a subgraph on vertices $\{p_{0},\dots,p_{7}\}\cup\{q_{0},q_{1}\}$.

The second of these graphs (part (b) of Figure 8) contains the graph $G_{10}$ as an induced subgraph on vertices $\{p_{0}\cdots p_{7}\}\cup\{q_{1},q_{5}\}$. Note that the edge $\{p_{1},p_{3}\}$ is missing. Thus these two graphs are not realisable in $\mathbb{R}^{4}$ by Lemma 12.

The last of the three graphs, called $G_{14}$ and shown in Figure 9, is the complement of the graph that is obtained from the cycle $C_{14}$ by adding the diagonals and chords of length $4$. We show that $G_{14}$ is non-realisable in $\mathbb{R}^{4}$ using an analogous approach as we used to show that the graph $G_{11}$ is not realisable in $\mathbb{R}^{3}$.

Suppose for contradiction that the graph $G_{14}$ is realisable in $\mathbb{R}^{4}$. We label the vertices $p_{0}$ to $p_{13}$, with subscripts modulo $14$, such that $\{p_{i},p_{j}\}$ is an edge of $G_{14}$ if and only if $i-j\equiv\pm 2,\pm 3,\pm 5,\pm 6\pmod{14}$. There are $14$ equilateral $4$-simplices $p_{i}p_{i+2}p_{i+5}p_{i+8}p_{i+11}$ in a realisation of $G_{14}$. Let $T\colon\mathbb{R}^{4}\to\mathbb{R}^{4}$ be the unique isometry that maps the simplex $p_{0}p_{2}p_{5}p_{8}p_{11}$ to $p_{3}p_{5}p_{8}p_{11}p_{0}$, that is, $T(p_{i})=p_{i+3}$ for $i=0,2,5,8,11$. Note that the vertex $p_{i+3}$ is the reflection of $p_{i+2}$ through the centroid of the tetrahedron $p_{i}p_{i+5}p_{i+8}p_{i+11}$ and thus it is uniquely determined by $p_{i}p_{i+5}p_{i+8}p_{i+11}$. It follows that $T(p_{i})=p_{i+3}$ for every $i$. Therefore the centroid $c\colonequals\frac{1}{14}\sum_{i=0}^{13}p_{i}$ is a fixed point of $T$ and all points $p_{i}$ are on a sphere with centre $c$. However, the points $p_{0},p_{2},p_{3},p_{5},p_{8},p_{11}$ are easily seen not to lie on a sphere (for example, by using Lemma 7), a contradiction.

Using Lemma 11, we conclude that every almost-equidistant set in $4$-space of maximum cardinality has at most $13$ points.

3.4 Proof of Theorem 4

Here, we prove the estimates $f(6)\geq 18$, $f(7)\geq 20$, and $f(9)\geq f(8)\geq 24$ using the construction of Larman and Rogers [16] that gives $f(5)\geq 16$. The computer search for the upper bounds is described in the next section.

We first briefly describe the Larman–Rogers construction of an almost-equidistant set of $16$ points in $\mathbb{R}^{5}$. Let $V$ be the set of vertices of the cube $\{\pm 1\}^{5}$ in $\mathbb{R}^{5}$ with an odd number of positive signs. It is easy to check that $\left\lvert V\right\rvert=16$ and that for any three points in $V$, some two differ in exactly two coordinates. Moreover, any two points differ in either two or four coordinates and then their distance is $\sqrt{8}$ or $4$, respectively. It follows that $S\colonequals\frac{1}{\sqrt{8}}V$ is an almost-equidistant set in $\mathbb{R}^{5}$. Also note that the norm of every vector from $S$ is exactly $\sqrt{5/8}$.

Consider $\mathbb{R}^{6}=E_{1}\oplus\mathbb{R}e$ where $\dim E_{1}=5$ and $e$ is a unit vector orthogonal to $E_{1}$. We place $S$ in $E_{1}$ and show that $S\cup\{\pm\sqrt{3/8}e\}$ is an almost-equidistant set of $18$ points in $\mathbb{R}^{6}$. Since $S$ is an almost-equidistant set in $\mathbb{R}^{5}$, it suffices to check triples of points from $S\cup\{\pm\sqrt{3/8}e\}$ containing points from $\{\pm\sqrt{3/8}e\}$. Let $T$ be such a triple. Then $T$ contains a point $p$ from $S$ and $q$ from $\{\pm\sqrt{3/8}e\}$. Since $p$ and $q$ are orthogonal, we obtain $\left\lVert p-q\right\rVert^{2}=\left\langle p,p\right\rangle-2\left\langle p,q\right\rangle+\left\langle q,q\right\rangle=5/8+0+3/8=1$. Thus $T$ contains a pair of points at unit distance and, consequently, $f(6)\geq 18$.

Next consider $\mathbb{R}^{7}=E_{1}\oplus E_{2}$, where $\dim E_{1}=5$, $\dim E_{2}=2$, and $E_{1}\perp E_{2}$. We place $S$ in $E_{1}$ and $S^{\prime}\colonequals\{(\pm\frac{1}{2},\pm\frac{1}{\sqrt{8}})\}$ in $E_{2}$. We show that $S\cup S^{\prime}$ is an almost-equidistant set of $20$ points in $\mathbb{R}^{7}$. Again, since $S$ is an almost-equidistant set in $\mathbb{R}^{5}$, we only need to check triples $T$ of points from $S\cup S^{\prime}$ containing some of the vectors from $S^{\prime}$. Analogously as before, the distance between every point from $S^{\prime}$ and every point of $S$ is $1$, as the norm of every vector from $S^{\prime}$ is $\sqrt{3/8}$ and $E_{1}\perp E_{2}$. We can thus assume $T\subseteq S^{\prime}$. If two vectors from $S^{\prime}$ differ only in the first coordinate, then their distance is $1$. Since every triple of vectors from $S^{\prime}$ contains a pair of vectors that differ only in the first coordinate, we obtain that $T$ contains a pair of points at unit distance and thus $f(7)\geq 20$.

Next consider $\mathbb{R}^{8}=E_{1}\oplus E_{3}$ where $\dim E_{1}=5$ and $\dim E_{3}=3$. We place $S$ in $E_{1}$ and $S^{\prime}\colonequals\frac{1}{\sqrt{8}}\{\pm 1\}^{3}$ in $E_{2}$. Again, it suffices to check triples $T$ of points from $S\cup S^{\prime}$ with $T\cap S^{\prime}\neq\emptyset$. The distance between every point in $S$ and every point in $S^{\prime}$ again equals $1$ and thus we can assume $T\subseteq S^{\prime}$. Every triple of points from $S^{\prime}$ contains a pair of points that differ in exactly two coordinates and so they are at distance $1$. Thus $S^{\prime}$ is an almost-equidistant set of $8$ points. It follows that $S\cup S^{\prime}$ is an almost-equidistant set of $24$ points in $\mathbb{R}^{8}$, which implies that $f(9)\geq f(8)\geq 24$.

3.5 The computer search

In this subsection we describe how we computed the entries as stated in Tables 2 and 3, and also the upper bounds as stated in Table 1.

First, we describe our simple approach to generate all $n$-vertex abstract almost-equidistant graphs in $\mathbb{R}^{d}$ for given $n$ and $d$. We start with a single vertex and repeatedly add a new vertex and go through all possibilities of joining the new vertex to the old vertices. For each possibility of adding edges, we check if the resulting graph contains one of the two forbidden subgraphs and that its complement does not contain a triangle. We use two tricks to speed this up. First, when adding a vertex, we can assume that the newly inserted vertex has minimum degree in the extended graph. Secondly, we only have to go through all possibilities of adding at least $n-d-1$ new edges, where $n$ is the number of vertices before extending the graph. This is because the degree of the newly added vertex has to be at least $n-d-1$, since the complement of an abstract almost-equidistant graph $G$ is triangle-free, hence the non-neighbours of each vertex induce a clique in $G$, which has at most $d+1$ vertices. To find all minimal graphs, we repeatedly attempt to remove an edge and check that the complement is still triangle-free. Once this is no longer possible, we know that we have a minimal abstract almost-equidistant graph.

We implemented this approach in Sage and used it to obtain all abstract almost-equidistant graphs in $\mathbb{R}^{d}$ for $d\in\{2,3,4\}$. To find all abstract almost-equidistant graphs in $\mathbb{R}^{5}$ on at most $15$ vertices and in $\mathbb{R}^{6}$ on at most $13$ vertices, we used a C++ implementation of this approach. The obtained numbers of abstract almost-equidistant graphs are summarized in Table 3.

Unfortunately, our program was not able to find all minimal abstract almost-equidistant graphs in $\mathbb{R}^{d}$ on $n$ vertices for $d\geq 5$ and large $n$ in reasonable time. To do this, we used the programs Triangleramsey [8, 9] by Brinkmann, Goedgebeur, and Schlage-Puchta and MTF [6, 7] by Brandt, Brinkmann, and Harmuth. These programs generate all minimal $K_{d+2}$-free graphs with no $K_{3}$ in their complement, the so-called Ramsey $(3,d+2)$-graphs. For each Ramsey $(3,d+2)$-graph on the output we tested whether it is a minimal abstract almost-equidistant graph in $\mathbb{R}^{d}$ using a simple C++ program that checks forbidden subgraphs from Lemma 11. This allowed us to find all minimal abstract almost-equidistant graphs in $\mathbb{R}^{5}$ and all minimal abstract almost-equidistant graphs in $\mathbb{R}^{6}$ with at most $19$ vertices; see Table 2. We were also able to find some minimal abstract almost-equidistant graphs in $\mathbb{R}^{6}$ on $25$ vertices.

To improve the upper bounds on $f(d)$ for $d\in\{5,6,7\}$, we checked forbidden subgraphs in all minimal Ramsey $(3,7)$-graphs on $21$ and $22$ vertices, minimal Ramsey $(3,8)$-graphs on $27$ vertices, and minimal Ramsey $(3,9)$-graphs on $35$ vertices, respectively. A complete list of these graphs is available on the website [17] of McKay. Since none of these graphs are abstract almost-equidistant, we obtain $f(5)\leq 20$, $f(6)\leq 26$, and $f(7)\leq 34$; see Table 1.

The source code of our programs and the files are available on a separate website [24].

4 A more general setting

We consider the following natural generalization of the problem of determining the maximum sizes of almost-equidistant sets. For positive integers $d$, $k$, and $l$ with $l\leq k$, let $f(d,k,l)$ be 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 $l+1$ points that are pairwise at unit distance. Since every subset of $\mathbb{R}^{d}$ with all pairs of points at unit distance has size at most $d+1$, we have $f(d,1,1)=d+1$ for every $d$. In the case $k=2$ and $l=1$, Theorems 5 and 6 give $2d+4\leq f(d,2,1)\leq O(d^{3/2})$ for every $d\geq 3$. In this section, we discuss the problem of determining the growth rate of $f(d,k,l)$ for larger values of $d$, $k$, and $l$.

A similar problem, where the notion of unit distance is replaced by orthogonality, has been studied by several authors [3, 10, 12, 23]. More specifically, for positive integers $d$, $k$, and $l$ with $l\leq k$, let $\alpha(d,k,l)$ be the maximum size of a set $V$ of nonzero vectors from $\mathbb{R}^{d}$ such that among any $k+1$ vectors from $V$ there are at least $l+1$ pairwise orthogonal vectors. Füredi and Stanley [12] showed that $\alpha(d,k,l)\leq(1+o(1))\sqrt{\pi d/(2l)}((l+1)/l)^{d/2-1}k$. Alon and Szegedy [3] used a probabilistic argument to show the following lower bound on $\alpha(d,k,l)$.

Theorem 13** ([3]).**

For every fixed positive integer $l$ there are some $\delta=\delta(l)>0$ and $k_{0}(l)$ such that for every $k\geq k_{0}(l)$ and every $d\geq 2\log{k}$,

[TABLE]

where the logarithms are base 2.

Let $d$, $k$, and $l$ be positive integers with $d\geq 2\log{k}$ and with $k$ sufficiently large with respect to $l$. It follows from the proof of Theorem 13 that there is a $\delta=\delta(l)>0$ and a subset $F=F(d,k,l)$ of $\{-1,1\}^{d}$ of size at least $d^{\delta\log{(k+2)}/\log{\log{(k+2)}}}$ such that among any $k+1$ vectors from $F$ there are at least $l+1$ pairwise orthogonal vectors. We define the set $P_{F}=\frac{1}{\sqrt{2d}}\cdot F=\left\{p_{v}=(v_{1}/\sqrt{2d},\dots,v_{d}/\sqrt{2d})\;\middle|\;v=(v_{1},\dots,v_{d})\in F\right\}$. Clearly, $|P_{F}|=|F|$. Since $F\subseteq\{-1,1\}^{d}$, it is not difficult to verify that any two points $p_{u}$ and $p_{v}$ from $P_{F}$ are at unit distance if and only if the vectors $u$ and $v$ from $F$ are orthogonal. It follows that for every fixed positive integer $l$ there are some $\delta=\delta(l)>0$ and $k_{0}(l)$ such that for every $k\geq k_{0}(l)$ and every $d\geq 2\log{k}$,

[TABLE]

Let $d,k,l$ be positive integers. The following simple argument, which is based on an estimate on the chromatic number of $\mathbb{R}^{d}$, gives an upper bound on $f(d,k,l)$ that is linear in $k$ and exponential in $d$.

Let $P$ be a set of points in $\mathbb{R}^{d}$ such that among any $k+1$ points from $P$ there are $l+1$ points that are pairwise at unit distance. Let $G$ be the unit-distance graph for $P$. Let $c$ be a colouring of $G$ with $m\colonequals\chi(G)$ colours and let $P=C_{1}\cup\cdots\cup C_{m}$ be the colour classes induced by $c$. For every unit-distance graph $H$ in $\mathbb{R}^{d}$, Larman and Rogers [16] showed that $\chi(H)\leq(3+o(1))^{d}$. We thus have $m\leq(3+o(1))^{d}$. Since there are at least $l+1\geq 1$ edges among any set of $k+1$ vertices of $G$, we have $|C_{i}|\leq k$ for every $i\in\{1,\dots,m\}$. In particular, $|P|\leq mk\leq(3+o(1))^{d}k$. We thus obtain the following estimate.

Proposition 14**.**

For any $k\geq 2$,

[TABLE]

Acknowledgements

We thank Roman Karasev for explaining to us the argument that the graph in part (c) of Figure 6 is not realisable in $\mathbb{R}^{3}$, István Talata for drawing our attention to his results and those of Bernadett Györey, Dan Ismailescu for helpful conversations, Imre Bárány for his support, and an anonymous referee whose suggestions lead to an improved paper.