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

From papers

For n1n\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.

Progress summary

Partially solved

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 (2p/41)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 2p42\leq p\leq4, with linear bounds on intervals [4k+2,4k+4][4k+2,4k+4] and Op(nlogn)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 2p42\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
Sources & referencesView supporting material

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).

Solutions 0

No solutions have been posted yet.