The kissing-number equality for finite unit-distance configurations

For a bounded set KRK\subset\mathbb{R}, let

nd(K):=max{#X:XRd and xyK for all distinct x,yX}.n_d(K):=\max\{\#X:X\subset\mathbb{R}^d\text{ and }|x-y|\in K\text{ for all distinct }x,y\in X\}.

Let kissd\mathrm{kiss}_d be the kissing number in Rd\mathbb{R}^d. Kissing-number conjecture. For every dimension dd,

nd([1,2])=1+kissd.n_d([1,2])=1+\mathrm{kiss}_d.

The evident lower bound comes from a central point together with a kissing configuration. The conjecture asserts that no larger finite configuration can have all pairwise distances in [1,2][1,2]; the source provides no proof or status beyond posing it.

Sources & referencesView supporting material

Primary source

Felipe Gonçalves and Guilherme Vedana, “Sphere Packings in Euclidean Space with Forbidden Distances”, arXiv:2308.03925 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.