Kissing number in dimension ()
Kissing number in dimension : determine or improve its bounds; the repository records 40 (lower) and 44 (upper).
Editorial MSC2020 classification. Original article codes and source evidence are recorded in the literature directory.
Problem statement
In geometry, the kissing number problem asks for the maximum number of unit spheres that can simultaneously touch the unit sphere in without pairwise overlapping. The value of is only known for . [BV2008-def-known-dims]
We define
the kissing number in dimension .
Dimension is the first dimension in which the kissing number is not known; currently the rigorous range is
One standard reformulation is in terms of spherical codes. Let be the maximal size of a code on the unit sphere with minimal angular distance at least . Then the kissing number problem is equivalent to computing . [BV2008-A-pi3]
Equivalently (inner-product form), if is the maximal size of a spherical code with for all distinct , then
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Background
-
Conjectural value. It is widely believed that , but this has not been proved; the best proved upper bound remains . [CR2024-appears-40-ub-44] [MV2009-range-40-44]
-
Two noncongruent optimal candidates. Besides the root-system configuration of size , Leech (1967) constructed a different kissing configuration in of the same size, not isometric to the configuration. [CR2024-leech-1967]
References (from the repository page)
-
[BDM2012] Boyvalenkov, Petko; Dodunekov, Damyan; Musin, Oleg R. A survey on the kissing numbers. Serdica Mathematical Journal 38 (2012), 507–522. Preprint: arXiv:1507.03631. Google Scholar
-
[BDM2012-A-n-s-and-tau] loc: arXiv v1 PDF p.1, L18–L31 quote: “A spherical code is a non-empty finite subset of . Important parameters of a spherical code are its cardinality , the dimension (it is convenient to assume that the vectors of span ) and the maximal inner product . The function extends and it is easy to see that .”
-
[BDM2012-ub-story-d5] loc: arXiv v1 PDF p.6, L32–L35 quote: “Now the first open case is in dimension five, where it is known that (the story of the upper bounds is: , from [38], from [5] and from [33]).”
-
[BV2008] Bachoc, Christine; Vallentin, Frank. New upper bounds for kissing numbers from semidefinite programming. (2008). PDF: https://ir.cwi.nl/pub/12655/12655D.pdf. Google Scholar
-
[BV2008-def-known-dims] loc: JAMS PDF p.1, L1–L5 quote: “In geometry, the kissing number problem asks for the maximum number of unit spheres that can simultaneously touch the unit sphere in -dimensional Euclidean space without pairwise overlapping. The value of is only known for .”
-
[BV2008-A-pi3] loc: JAMS PDF p.2, L7–L11 quote: “....The kissing number problem is equivalent to the problem of finding .”
-
[Cox1963] Coxeter, Harold Scott Macdonald. An upper bound for the number of equal nonoverlapping spheres that can touch another of the same size. In: Proc. Sympos. Pure Math. 7 (1963), 53–71. Google Scholar
-
[CR2024] Cohn, Henry; Rajagopal, Sidhant. A modular design for optimal five-dimensional kissing configurations. Preprint (2024). arXiv:2412.00937
-
[CR2024-appears-40-ub-44] loc: arXiv v2 PDF p.3, L4–L6 quote: “The kissing number in five dimensions appears to be , although the best upper bound that has been proved is (from [15]).”
-
[CR2024-lb-40-D5] loc: arXiv v2 PDF p.3, L5–L10 quote: “The first construction achieving is implicit in Korkine and Zolotareff’s 1873 paper [9], where they constructed the root lattice. Its root system achieves a kissing number of as the permutations of the points ; these points form a kissing configuration because they each have squared norm and the inner product between distinct points is always at most .”
-
[CR2024-leech-1967] loc: arXiv v2 PDF p.3, L11–L12 quote: “In 1967, Leech [11] constructed a different kissing configuration of the same size, not isometric to the root system.”
-
[KZ1873] Korkine, Aleksandr; Zolotareff, G. Sur les formes quadratiques. Mathematische Annalen 6 (1873), no. 3, 366–389. Publisher: Springer-Verlag Berlin/Heidelberg. Google Scholar
-
[Leech1967] Leech, John. Five dimensional non-lattice sphere packings. Canadian Mathematical Bulletin 10 (1967), no. 3, 387–393. Publisher: Cambridge University Press. Google Scholar
-
[MV2009] Mittelmann, Hans D.; Vallentin, Frank. High-accuracy semidefinite programming bounds for kissing numbers. Experimental Mathematics 19 (2010), no. 2, 175–179. Publisher: Taylor & Francis. Preprint: arXiv:0902.1105
-
[MV2009-range-40-44] loc: arXiv v3 PDF p.1, L16–L18 quote: “Dimension 5 is the first dimension in which the kissing number is not known. With our computation we could limit the range of possible values from to .”
-
[OS1979] Odlyzko, A. M.; Sloane, N. J. A. New bounds on the number of unit spheres that can touch a unit sphere in dimensions. Journal of Combinatorial Theory, Series A 26 (1979), 210–214. Google Scholar
Progress & source assessment
Repository table (commit 2c1968c, 26 September 2026): best known lower bound 40; best known upper bound 44. Values marked with an asterisk have minimal verification.
Known upper bounds
| Bound | Reference | Comments |
|---|---|---|
| [Cox1963] | Coxeter’s strongest bound in dimension (as summarized in the survey literature). [BDM2012-ub-story-d5] | |
| [OS1979] | Improvement attributed to Odlyzko–Sloane (as summarized in the survey literature). [BDM2012-ub-story-d5] | |
| [BV2008], [MV2009] | Semidefinite-programming upper bound recorded as the best “known upper bound” prior to the higher-accuracy SDP computations. | |
| [MV2009] | [MV2009-range-40-44] |
Known lower bounds
| Bound | Reference | Comments |
|---|---|---|
| Trivial construction via the cross polytope . | ||
| [KZ1873] | Achieved by the root system (40 points), giving a kissing configuration of size in . [CR2024-lb-40-D5] |
- [1]Davis, Damek; Ivanisvili, Paata; Tao, Terence (maintainers). Optimization Constants in Mathematics, github.com/teorth/optimizationproblems (commit 2c1968c, 26 September 2026). — Kissing number in dimension $5$ ($C_{29}$) linkApache-2.0 (repository license); constant pages reproduced with attribution; repository references retained.
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.