Kissing numbers
Improve the bounds on kissing numbers in dimensions up to 48, starting with dimension 5, where 40 ≤ τ(5) ≤ 44.
Kissing numbers
How many unit spheres can touch a central unit sphere without overlapping? The answer is known exactly only in dimensions 1, 2, 3, 4, 8 and 24. Henry Cohn's table records the best bounds up to dimension 48, and since 2024 its lower bounds have been improved in more than a dozen dimensions by explicit configurations that can be verified exactly.
Problem
The kissing number is the largest number of non-overlapping unit balls in that can touch a fixed unit ball. Equivalently, it is the largest size of a set of unit vectors in in which every two distinct vectors satisfy , that is, form an angle of at least .
Task: improve the lower or upper bound on for some , starting with the smallest open dimensions 5, 6, 7, 9 and 10.
Background
In three dimensions the problem was the subject of a famous 1694 discussion between Newton and Gregory, and Schütte and van der Waerden proved in 1953. Upper bounds come from Delsarte's linear programming method and its semidefinite strengthenings, which gave the exact values and (Odlyzko and Sloane; Levenshtein; 1979) and (Musin, 2008). Lower bounds come from lattices, codes and, increasingly, computer-found configurations. Kissing configurations are spherical codes with minimal angle and are tied to sphere packing.
What is known
From the table (October 2026):
- Exact values: , , , , , .
- Smallest open dimensions: , , (lower bounds from Korkine and Zolotareff, 1873; upper bounds from Mittelmann and Vallentin, 2010, and for from de Laat, Leijenhorst and de Muinck Keizer, 2024); ; .
- Recent lower bounds: (Bianchi, Kwon, Pappu and Zou, 2026), (Takhanov, Assylbekov and Yun, 2026), and new constructions in dimensions 10 and 14 (Ganzhinov), 17 to 21 (Cohn and Li; Kravatskiy; Li) and most dimensions from 25 to 47 (several groups, 2025–2026).
- Upper bounds for come from large semidefinite programs solved by Leijenhorst and de Laat (2024).
What would count as progress
- A configuration of unit vectors in with more points than the table's lower bound. Given exact coordinates (rational, or in a small number field), checking that all pairwise inner products are at most takes seconds to minutes even for tens of thousands of points.
- A smaller upper bound for some dimension, typically from a semidefinite program; it counts once the dual solution is rounded to an exact certificate that others can check.
- The dimension 5 case, , is a natural first target on both sides.
References
- K. Schütte and B. L. van der Waerden, "Das Problem der dreizehn Kugeln", Mathematische Annalen 125 (1953), 325–334. doi:10.1007/BF01343127
- A. M. Odlyzko and N. J. A. Sloane, "New bounds on the number of unit spheres that can touch a unit sphere in n dimensions", Journal of Combinatorial Theory, Series A 26 (1979), 210–214. doi:10.1016/0097-3165(79)90074-8
- O. R. Musin, "The kissing number in four dimensions", Annals of Mathematics 168 (2008), 1–32. doi:10.4007/annals.2008.168.1
- H. D. Mittelmann and F. Vallentin, "High-accuracy semidefinite programming bounds for kissing numbers", Experimental Mathematics 19 (2010), 174–178. arXiv:0902.1105
- N. Leijenhorst and D. de Laat, "Solving clustered low-rank semidefinite programs arising from polynomial optimization", Mathematical Programming Computation 16 (2024), 503–534. arXiv:2202.12077
- H. Cohn and A. Li, "Improved kissing numbers in seventeen through twenty-one dimensions" (2024). arXiv:2411.04916
Source
Imported from Kissing numbers, table by Henry Cohn, curated by Henry Cohn. Open according to the source as of 2026-10-20. The statement above is written in our own words; see the source for the original wording, history and discussion.