In a previous post I explained the upper bound for the maximum number of equidistant points in an n-dimensional normed space. Lower bounds on the other hand are much more diificult to come by.
It is widely conjectured that any n-dimensional normed space has an equilateral set of at least points. This is easily seen to be true for : just mimic Euclid’s proof of his Proposition 2 to construct an equilateral triangle!
Petty (1971) proved the case. He used the topological fact that a Jordan curve in the plane enclosing the origin cannot be contracted without passing through the origin at some stage. Make’ev proved the conjecture for , using a lot more topology.
One obstruction is that there exists, in each dimension , a norm with 4 equidistant points that can not be extended to 5 equidistant points. Thus a naive induction approach does not work.
The first lower bound that goes to infinity with n was found independently by Brass and Dekster. They used Dvoretzky’s theorem to find an almost Euclidean subspace of dimension in the order of , thus giving many almost equilateral sets. Then they used topology (the n-dimensional Brouwer fixed point theorem) to find an exact equilateral set. This gave a lower bound for the maximum size of an equilateral set that goes to infinity with n. At the time that their proofs appeared, the best bound in the Dvoretzky theorem was due to Gordon, and gave at least .
Rafa Villa and I found a lower bound which is slightly better: for some . We use a result of Alon and Milman which says that if a finite dimensional normed space does not have an almost Euclidean subspace of relatively high dimension, then it must contain a relatively large subspace which is almost isometric to the infinity norm. Geometrically it says that any unit ball must have a relatively large (in the sense of dimension) central slice which is either an ellipsoid or an affine cube.
When there is a large Euclidean subspace we use the Brass-Dekster theorem. On the other hand, when there is a large subspace we prove an version of the Brass-Dekster theorem: all spaces close to have at least equilateral points.
For more (as well as references), see: