Open problem, Geometry, posed 1694
Kissing number problem
Partially solved
For each dimension , determine the kissing number : the maximum number of non-overlapping unit spheres in Euclidean space that can simultaneously touch a central unit sphere.
As of 2026, the exact kissing number is known only in six dimensions: , , (Schütte–van der Waerden, 1953), (Musin, 2003/2008), , and (Odlyzko–Sloane and Levenshtein, 1979). Already in dimension , the problem remains open with (where is achieved by the root lattice ), and in dimension with (where is achieved by ). As , the best asymptotic lower bound is (Jenssen, Joos, and Perkins, 2018), while the best asymptotic upper bound remains the 1978 Kabatiansky–Levenshtein bound .
Best known results
- Exact values are proved in dimensions : , , , , , and .
- In dimensions , semidefinite programming bounds and lattice constructions give , , and (Bachoc–Vallentin 2008; Mittelmann–Vallentin 2010; Machado–de Oliveira Filho 2018).
Tools and where they stop
| Tool | Achieved | Where it stops |
|---|---|---|
| Delsarte linear programming bound and Musin's extension | Uses positive-definite expansions in Gegenbauer (ultraspherical) polynomials to prove exact optimality of (), the Leech lattice (), and the -cell (). | Two-point correlation inequalities cannot distinguish unrealizable pairwise distance distributions in dimensions such as , leaving a gap of several spheres above the best lattices. |
| Multi-point semidefinite programming hierarchies (Bachoc–Vallentin, Lasserre) | Incorporates three-point and four-point spherical harmonic constraints to lower upper bounds across dimensions . | Matrix dimensions and polynomial degrees grow rapidly with and the hierarchy level, stalling before reaching in dimension . |
Open questions
- Is the five-dimensional kissing number equal to , the value achieved by the root lattice?
- What is the true exponential growth rate , which currently lies between and ?
References
- Oleg R. Musin (2008). The kissing number in four dimensions · DOI:10.4007/annals.2008.168.1 · arXiv:math/0309430
- Andrew M. Odlyzko, Neil J. A. Sloane (1979). New bounds for kissing numbers · DOI:10.1007/978-1-4757-6568-7_19
- Christine Bachoc, Frank Vallentin (2008). New upper bounds for kissing numbers from semidefinite programming · DOI:10.1090/S0894-0347-07-00589-9