Kusner's equilateral-set conjecture in finite-dimensional lp spaces

About 6 years old · traced to

For n≥1n\geq 1 and 1<p<∞1<p<\infty, let ℓpn=(Rn,∥⋅∥p)\ell_p^n=(\mathbb{R}^n,\lVert\cdot\rVert_p), and let e(ℓpn)e(\ell_p^n) be the maximum cardinality of an equilateral set in this normed space.

Kusner's conjecture.

e(ℓpn)=n+1for 1<p<∞.e(\ell_p^n)=n+1\quad\text{for }1<p<\infty.

This is the second equilateral-set question identified by the source as Kusner's conjecture; its resolution is not specified in the supplied text.

References

Primary source

Richard Chen, Feng Gui, Jason Tang and Nathan Xiong, “Few distance sets in _p spaces and _p product spaces”, arXiv:2009.12512 (2021).

Progress summary

Refreshed
Claimed progress

A 2026 preprint claims the conjecture is false by exhibiting more points than the dimension-plus-one limit, while many exponents remain unresolved.

Kusner posed the question in 1983: whether every equilateral set in ℓpn\ell_p^n, for 1<p<∞1<p<\infty, has exactly n+1n+1 points. The universal assertion is now known to fail in part of the range, but its precise behavior remains unsettled.

Known results

  • The equality holds for p=2p=2 in every dimension (classical).
  • Swanepoel proved e(ℓ4n)=n+1e(\ell_4^n)=n+1 for every nn.
  • Swanepoel constructed sets larger than n+1n+1 for every fixed 1<p<21<p<2 in sufficiently large dimension.
  • For even integer pp, earlier work gives explicit linear upper bounds, including (2⌈p/4⌉−1)n+1(2\lceil p/4\rceil-1)n+1.

2026 partial results and counterexample claim

Ge, Xu, and Zhou claim e(ℓpn)=n+1e(\ell_p^n)=n+1 throughout 2≤p≤42\leq p\leq4, with linear bounds on intervals [4k+2,4k+4][4k+2,4k+4] and Op(nlog⁡n)O_p(n\log n) bounds on complementary intervals. A later preprint claims an exact 5858-point equilateral set in ℓ556\ell_5^{56}, proving e(ℓ556)≥58>57e(\ell_5^{56})\geq58>57 and hence disproving Kusner’s conjecture; the claim is not independently verified in the supplied sources.

Current status (as of August 2026): The conjecture is proved for 2≤p≤42\leq p\leq4 and disproved for 1<p<21<p<2 in sufficiently large dimensions; the claimed ℓ556\ell_5^{56} counterexample would extend disproof to p>2p>2, but remains unverified, and the remaining exponent ranges are open.

Sources

Solutions 0

No solutions have been posted yet.