MathLabs

Open problem, Geometry, posed 1694

Kissing number problem

Partially solved

For each dimension n≥1n \ge 1, determine the kissing number k(n)k(n): the maximum number of non-overlapping unit spheres in Euclidean space Rn\mathbb{R}^n that can simultaneously touch a central unit sphere.

Research frontier as of 2026

As of 2026, the exact kissing number k(n)k(n) is known only in six dimensions: k(1)=2k(1) = 2, k(2)=6k(2) = 6, k(3)=12k(3) = 12 (Schütte–van der Waerden, 1953), k(4)=24k(4) = 24 (Musin, 2003/2008), k(8)=240k(8) = 240, and k(24)=196,560k(24) = 196,560 (Odlyzko–Sloane and Levenshtein, 1979). Already in dimension 55, the problem remains open with 40≤k(5)≤4440 \le k(5) \le 44 (where 4040 is achieved by the root lattice D5D_5), and in dimension 66 with 72≤k(6)≤7772 \le k(6) \le 77 (where 7272 is achieved by E6E_6). As n→∞n \to \infty, the best asymptotic lower bound is k(n)≥(1+o(1))3π42log⁡(3/2)⋅n3/2(2/3)nk(n) \ge (1+o(1)) \frac{\sqrt{3\pi}}{4\sqrt{2}} \log(3/2) \cdot n^{3/2} (2/\sqrt{3})^n (Jenssen, Joos, and Perkins, 2018), while the best asymptotic upper bound remains the 1978 Kabatiansky–Levenshtein bound k(n)≤20.401414n(1+o(1))k(n) \le 2^{0.401414 n (1 + o(1))}.

Best known results

  • Exact values are proved in dimensions 1,2,3,4,8,241, 2, 3, 4, 8, 24: k(1)=2k(1)=2, k(2)=6k(2)=6, k(3)=12k(3)=12, k(4)=24k(4)=24, k(8)=240k(8)=240, and k(24)=196,560k(24)=196,560.
  • In dimensions 5,6,75, 6, 7, semidefinite programming bounds and lattice constructions give 40≤k(5)≤4440 \le k(5) \le 44, 72≤k(6)≤7772 \le k(6) \le 77, and 126≤k(7)≤134126 \le k(7) \le 134 (Bachoc–Vallentin 2008; Mittelmann–Vallentin 2010; Machado–de Oliveira Filho 2018).

Tools and where they stop

ToolAchievedWhere it stops
Delsarte linear programming bound and Musin's extensionUses positive-definite expansions in Gegenbauer (ultraspherical) polynomials to prove exact optimality of E8E_8 (k(8)=240k(8)=240), the Leech lattice (k(24)=196,560k(24)=196,560), and the 2424-cell (k(4)=24k(4)=24).Two-point correlation inequalities cannot distinguish unrealizable pairwise distance distributions in dimensions such as n=5,6,7n=5, 6, 7, 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 5≤n≤235 \le n \le 23.Matrix dimensions and polynomial degrees grow rapidly with nn and the hierarchy level, stalling before reaching 4040 in dimension 55.

Open questions

  • Is the five-dimensional kissing number equal to k(5)=40k(5) = 40, the value achieved by the D5D_5 root lattice?
  • What is the true exponential growth rate lim⁡n→∞n−1log⁡2k(n)\lim_{n\to\infty} n^{-1} \log_2 k(n), which currently lies between log⁡2(2/3)≈0.2075\log_2(2/\sqrt{3}) \approx 0.2075 and 0.40140.4014?

References

  1. Oleg R. Musin (2008). The kissing number in four dimensions · DOI:10.4007/annals.2008.168.1 · arXiv:math/0309430
  2. Andrew M. Odlyzko, Neil J. A. Sloane (1979). New bounds for kissing numbers · DOI:10.1007/978-1-4757-6568-7_19
  3. Christine Bachoc, Frank Vallentin (2008). New upper bounds for kissing numbers from semidefinite programming · DOI:10.1090/S0894-0347-07-00589-9