Here is a list of codes related to spherical designs.

[Jump to code graph excerpt]

Code Description Relation
120-cell code Spherical \((4,600,(7-3\sqrt{5})/4)\) code whose codewords are the vertices of the 120-cell. See [2][1; Table 1][3; Table 3] for explicit realizations of its 600 codewords. The code forms a spherical 11-design because its vertices can be divided into five 600-cells, each of which forms said design.
24-cell code Spherical \((4,24,1)\) code whose codewords are the vertices of the 24-cell. Codewords form the minimal lattice-shell code of the \(D_4\) lattice. The 24-cell code is a spherical 5-design [4].
600-cell code Spherical \((4,120,(3-\sqrt{5})/2)\) code whose codewords are the vertices of the 600-cell. See [5; Table 1][3; Table 3] for realizations of the 120 codewords. A realization of the 600-cell can be done in terms of icosians, which are quaternion coordinates of the 120 elements of the binary icosahedral group \(2I \cong 2.A_5\) (a.k.a. icosian group) [7][6; Ch. 8, pg. 207]. The 600-cell code forms a spherical 11-design that is unique up to equivalence [8].
Antiprism code Spherical \((3,2q)\) code for \(q \geq 2\) whose codewords are the vertices of a \(q\)-antiprism. For the case when the two \(q\)-gons are such that the \(q=2,3\) cases reduce to the tetrahedron and octahedron, respectively, the antiprism is a spherical 3-design for \(q \geq 3\), and a \(2\)-design for \(q=2\) [9]. This can be seen as a consequence of [10; Lemma 6.11].
Binary PSK (BPSK) code Encodes one bit of information into a constellation of antipodal points \(\pm\alpha\) for complex \(\alpha\). These points are typically associated with two phases of an electromagnetic signal.
Biorthogonal spherical code Spherical \((n,2n,2)\) code whose codewords are all permutations of the \(n\)-dimensional vectors \((0,0,\cdots,0,\pm1)\), up to normalization. The code makes up the vertices of an \(n\)-orthoplex (a.k.a. hyperoctahedron or cross polytope). Biorthogonal spherical codes are the only tight spherical 3-designs [11; Tab. 9.3]. The weighted union of the vertices of a hypercube and an orthoplex form a weighted spherical 5-design in dimensions \(\geq 3\) [12; Sec. 8.6, Ex. 5-2][13; Exam. 2.6][13; Exam. 2.6].
Cameron-Goethals-Seidel (CGS) isotropic subspace code Member of a \((q(q^2-q+1),(q+1)(q^3+1),2-2/q^2)\) family of spherical codes for any prime-power \(q\). Constructed from generalized quadrangles, which in this case correspond to sets of totally isotropic points and lines in the projective space \(PG_{5}(q)\) [11; Exam. 9.4.5]. There exist multiple distinct spherical codes using this construction for \(q>3\) [14,15].
Combinatorial design A constant-weight binary code that is mapped into a combinatorial \(t\)-design. Spherical designs can be thought of as Euclidean analogues of combinatorial designs [16].
Disphenoidal 288-cell code Spherical \((4,48,2-\sqrt{2})\) code [11; Exam. 1.2.6] whose codewords are the vertices of the disphenoidal 288-cell. Codewords are the union of two 24-point lattice shells of the \(D_4\) lattice. The first shell consists of the 24 permutations of the four vectors \((0,0,\pm 1,\pm 1)\), and the second of the 16 vectors \((\pm 1,\pm 1,\pm 1,\pm 1)\) and the 8 permutations of the vectors \((0,0,0,\pm 2)\). A realization in terms of quaternion coordinates yields the 48 elements of the binary octahedral group \(2O\) [7; Sec. 8.6]. The disphenoidal 288-cell code forms a spherical 7-design [17].
Dodecahedron code Spherical \((3,20,2-2\sqrt{5}/3)\) code whose codewords are the vertices of the dodecahedron (alternatively, the centers of the faces of a icosahedron, the dodecahedron’s dual polytope). The dodecahedron code forms a spherical 5-design [18].
Hessian polyhedron code Spherical \((6,27,3/2)\) code whose codewords are the vertices of the Hessian complex polyhedron and the \(2_{21}\) real polytope. Two copies of the code yield the \((6,54,1)\) double Hessian polyhedron (a.k.a. diplo-Schläfli) code. The code can be obtained from the Schläfli graph [11; Ch. 9]. The (antipodal pairs of) points of the (double) Hessian polyhedron correspond to the 27 lines on a smooth cubic surface in the complex projective plane [14,19–22]. The Hessian polytope code forms a tight spherical 4-design [23; Exam. 7.3].
Hypercube code Spherical \((n,2^n,4/n)\) code whose codewords are vertices of an \(n\)-cube, i.e., all permutations and negations of the vector \((1,1,\cdots,1)\), up to normalization. Hypercube codes form spherical 3-designs. The weighted union of the vertices of a hypercube and an orthoplex form a weighted spherical 5-design in dimensions \(\geq 3\) [12; Sec. 8.6, Ex. 5-2][13; Exam. 2.6].
Icosahedron code Spherical \((3,12,2-2/\sqrt{5})\) code whose codewords are the vertices of the icosahedron (alternatively, the centers of the faces of a dodecahedron, the icosahedron’s dual polytope). The icosahedron code forms a unique tight spherical 5-design [24][11; Exam. 9.6.1].
Kerdock spherical code Family of \((n=2^{2r},n^2,2-2/\sqrt{n})\) spherical codes for \(r \geq 2\), obtained from Kerdock codes via the antipodal mapping [11; pg. 157]. These codes are optimal for their parameters for \(2\leq r\leq 5\), they are unique for \(r\in\{2,3\}\), and they form spherical 3-designs because their codewords are unions of \(2^{2r-1}+1\) orthoplexes [15]. Kerdock spherical codes form spherical 3-designs because their codewords are unions of \(2^{2r-1}+1\) orthoplexes [15].
Lattice-shell code Spherical code whose codewords are scaled versions of points on a lattice. A \(m\)-shell code consists of normalized lattice vectors \(x\) with squared norm \(\|x\|^2 = m\). Each code is constructed by normalizing a set of lattice vectors in one or more shells, i.e., sets of lattice points lying on a hypersphere. Nonempty \(2m\)-shell codes of extremal even unimodular lattices in \(n\) dimensions form spherical \(t\)-designs with \(t=11\) (\(t=7\), \(t=3\)) if \(n \equiv 0\) (\(n \equiv 8\), \(n\equiv 16\)) modulo 24 [25,26]. Shells of \(A_n\) and \(D_n\) lattices form infinite families of spherical 3-designs [27; Exam. 2.9].
McLaughlin spherical code The \((22,275,1/6)\) or \((23,552,1/5)\) code associated with the McLaughlin graph and the Leech lattice. See Ref. [28] for explicit constructions of and relations between both codes. Both McLaughlin spherical codes are sharp configurations [14,28]. The \((22,275,1/6)\) code is a unique and tight spherical 4-design, while the \((23,552,1/5)\) code is a unique and tight spherical 5-design; see Ref. [14; Appx. A].
Pentakis dodecahedron code Spherical \((3,32,(9-\sqrt{5})/6)\) code whose codewords are the vertices of the pentakis dodecahedron, the convex hull of the icosahedron and dodecahedron. Vertices of the pentakis dodecahedron form a weighted spherical 9-design [29,30][13; Exam. 2.5].
Petersen spherical code A \((4,10,1/6)\) spherical code whose codewords correspond to vertices of the Petersen graph. Its Gram matrix is constructed by putting \(-2/3\) whenever two vertices are adjacent in the graph, and \(1/6\) otherwise. The code is optimal for its parameters [31]. The Petersen spherical code forms a spherical 2-design [31].
Phase-shift keying (PSK) code A \(q\)-ary phase-shift keying (\(q\)-PSK) encodes one \(q\)-ary digit of information into a constellation of \(q\) points distributed equidistantly on a circle in \(\mathbb{C}\) or, equivalently, \(\mathbb{R}^2\).
Polygon code Spherical \((1,q,4\sin^2 \frac{\pi}{q})\) code for any \(q\geq1\) whose codewords are the vertices of a \(q\)-gon. Special cases include the line segment (\(q=2\)), triangle (\(q=3\)), square (\(q=4\)), pentagon (\(q=5\)), and hexagon (\(q=6\)). A \(q\)-gon is a tight spherical \(q-1\) design.
Quadrature PSK (QPSK) code A quaternary encoding into a constellation of four points distributed equidistantly on a circle. For the case of \(\pi/4\)-QPSK, the constellation is \(\{e^{\pm i\frac{\pi}{4}},e^{\pm i\frac{3\pi}{4}}\}\).
Real-Clifford subgroup-orbit code Slepian group-orbit code of dimension \(2^r\), approximate asymptotic size \(2.38 \cdot 2^{r(r+1)/2+1}\), and distance \(1\). Code is constructed by applying elements of an index-two subgroup of the real Clifford group, when taken as a subgroup of the orthogonal group [32], onto the vector \((1,0,0,\cdots,0)\). This group is the automorphism group of BW lattice, and the resulting codes coincide with the optimal spherical codes for dimensions \(\{4,8,16\}\). The orbit of any point under the real Clifford subgroup is a spherical 7-design [33], and some are 11-designs [34].
Rectified Hessian polyhedron code Spherical \((6,72,1)\) code whose codewords are the vertices of the rectified Hessian complex polyhedron and the \(1_{22}\) real polytope. Codewords form the minimal lattice-shell code of the \(E_6\) lattice, i.e., the 72 roots of \(E_6\) after normalization to the unit sphere. See [35; pg. 127][6; pg. 126] for realizations of the 72 codewords. The rectified Hessian polyhedron code forms a spherical 5-design [36].
Simplex spherical code Spherical \((n,n+1,2+2/n)\) code whose codewords are all permutations of the \(n+1\)-dimensional vector \((1,1,\cdots,1,-n)\), up to normalization, forming an \(n\)-simplex. Codewords are all equidistant and their components add up to zero. Simplex spherical codewords in 2 (3, 4) dimensions form the vertices of a triangle (tetrahedron, 5-cell) In general, the code makes up the vertices of an \(n\)-simplex. The union of a simplex and its antipodal simplex forms the vertices of a bi-simplex, which has \(2(n+1)\) vertices. Simplex spherical codes are the only tight spherical 2-designs [11; Tab. 9.3]. The bi-simplex is a spherical 3-design since antipodal codes have zero averages over odd-degree polynomials.
Slepian group-orbit code Spherical code in \(n\) dimensions whose codewords correspond to points in an orbit of some initial vector under a generating group \(G\), which is a subgroup of the orthogonal group \(O(n)\) acting by Euclidean isometries. Neither the vector nor the group are unique for a given code. Slepian group-orbit codes can form spherical designs for real [36,37] or complex spheres [38]. Polynomial invariants of a discrete subgroup \(G\) of the orthogonal group can be used to determine the real design strength of orbits of \(G\) [39]. Let \(t+1\) be the degree of the lowest-degree \(G\)-invariant polynomial that is not a polynomial in the norm \(\left\Vert x\right\Vert^2\). Then, any orbit under \(G\) forms a Slepian group-orbit code that is also a spherical \(t\)-design.
Spherical design Spherical code whose codewords are uniformly distributed in a way that is useful for determining averages of polynomials over the real sphere. A spherical code is a spherical design of strength \(t\), i.e., a \(t\)-design, if the average of any polynomial of degree up to \(t\) over its codewords is equal to the average over the entire sphere. A weighed spherical design is a generalization in which the average over codewords is non-uniform.
Spherical sharp configuration A spherical code that is a spherical design of strength \(2m-1\) for some \(m\) and that has \(m\) distances between distinct points. All known spherical sharp configurations are either obtained from the Leech or \(E_8\) lattice, certain regular polytopes, or are CGS isotropic subspace spherical codes [40; Table 1]. Spherical sharp configurations are spherical designs of strength \(2m-1\) for some \(m\).
Unimodular lattice A lattice, scaled to be integral, that is equal to its dual, \(L^\perp = L\). Unimodular lattices have \(\det L = \pm 1\). A union of \(t\) shells of self-dual lattices and their shadows form spherical \(t\)-designs [41].
Witting polytope code Spherical \((8,240,1)\) code whose codewords are the vertices of the Witting complex polytope, the \(4_{21}\) real polytope, and the minimal lattice-shell code of the \(E_8\) lattice. The code is optimal and unique up to equivalence [6,42,43]. Antipodal pairs of points of the \(4_{21}\) real polytope code correspond to the 120 tritangent planes of a canonical sextic curve in \(\mathbb{C}P^3\) [14,20–22]. The Witting polytope code forms a tight spherical 7-design [42][6; Ch. 14].
\(2_{41}\) real polytope code An antipodal spherical \((8,2160,1/2)\) code whose codewords are the vertices of the second-smallest shell of the \(E_8\) lattice [10][11; Table 10.3]. The \(2_{41}\) real polytope code forms a spherical 7-design [10].
\(3_{21}\) polytope code Spherical \((7,56,1/3)\) code whose codewords are the vertices of the \(3_{21}\) real polytope (a.k.a. the Hess polytope). The vertices form the kissing configuration of the Witting polytope code. The 1-skeleton of this polytope is the Gosset graph [2]. The code is optimal and unique up to equivalence [6,42,43]. Antipodal pairs of points of the \(3_{21}\) polytope code correspond to the 28 bitangent lines of a general quartic plane curve in the complex project plane [14,20–22]. The \(3_{21}\) polytope code forms a tight spherical 5-design [24,42][6; Ch. 14].
\(BW_{32}\) lattice-shell code Spherical code whose codewords are points on the \(BW_{32}\) Barnes-Wall lattice normalized to lie on the unit sphere.
\(D_4\) lattice-shell code Spherical code whose codewords are points on the \(D_4\) lattice normalized to lie on the unit sphere. \(D_4\) \(2m\)-shell codes can form spherical designs [44].
\([23, 12, 7]\) Golay code A \([23, 12, 7]\) perfect binary linear code with connections to various areas of mathematics, e.g., lattices [6] and sporadic simple groups [45]. Up to equivalence, it is unique for its parameters [46]. The dual of the Golay code is its \([23,11,8]\) even-weight subcode [47,48]. The dual of the Golay code forms a spherical 3-design under the antipodal mapping [24; Exam. 9.3].
\([6,3,4]_4\) Hexacode The \([6,3,4]_4\) self-dual MDS code that has connections to projective geometry, lattices [6], and conformal field theory [49]. The hexacode is a complex spherical 3-design when embedded into the complex sphere via the polyphase mapping [50].
\(\Lambda_{16}\) lattice-shell code Spherical code whose codewords are points on the \(\Lambda_{16}\) Barnes-Wall lattice normalized to lie on the unit sphere.
\(\Lambda_{24}\) Leech lattice-shell code Spherical code whose codewords are points on the \(\Lambda_{24}\) Leech lattice normalized to lie on the unit sphere. The minimal shell of the lattice yields the \((24,196560,1)\) code, and recursively taking its kissing configurations yields the \((23,4600,1/3)\) and \((22,891,1/4)\) spherical codes [24]; all three codes are optimal and unique for their parameters [42,43]. Smallest-shell \((24,196560,1)\) code is a tight and unique spherical 11-design [6; Ch. 3]. The \((23,4600,1/3)\) and \((22,891,1/4)\) spherical codes are spherical 7- and 5-designs, respectively [14,42,43,51][40; Table 1].

References

[1]
M. Waegell and P. K. Aravind, “Parity Proofs of the Kochen–Specker Theorem Based on the 120-Cell”, Foundations of Physics 44, 1085 (2014) arXiv:1309.7530 DOI
[2]
H. S. M. Coxeter. Regular polytopes. Courier Corporation, 1973.
[3]
S. Mamone, G. Pileio, and M. H. Levitt, “Orientational Sampling Schemes Based on Four Dimensional Polytopes”, Symmetry 2, 1423 (2010) DOI
[4]
H. Cohn, J. H. Conway, N. D. Elkies, and A. Kumar, “TheD\({}_{\text{4}}\)Root System Is Not Universally Optimal”, Experimental Mathematics 16, 313 (2007) arXiv:math/0607447 DOI
[5]
M. Waegell and P. K. Aravind, “Critical noncolorings of the 600-cell proving the Bell–Kochen–Specker theorem”, Journal of Physics A: Mathematical and Theoretical 43, 105304 (2010) arXiv:0911.2289 DOI
[6]
J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups (Springer New York, 1999) DOI
[7]
L. Rastanawi and G. Rote, “Towards a Geometric Understanding of the 4-Dimensional Point Groups”, (2022) arXiv:2205.04965
[8]
P. Boyvalenkov and D. Danev, “Uniqueness of the 120-point spherical 11-design in four dimensions”, Archiv der Mathematik 77, 360 (2001) DOI
[9]
V. V. Albert, private communication, 2025.
[10]
S. Borodachov, “Odd strength spherical designs attaining the Fazekas–Levenshtein bound for covering and universal minima of potentials”, Aequationes mathematicae 98, 509 (2024) DOI
[11]
T. Ericson, and V. Zinoviev, eds. Codes on Euclidean spheres. Elsevier, 2001.
[12]
Stroud, Arthur H. Approximate calculation of multiple integrals. Prentice Hall, 1971.
[13]
S. Borodachov, P. Boyvalenkov, P. Dragnev, D. Hardin, E. Saff, and M. Stoyanova, “Energy bounds for weighted spherical codes and designs via linear programming”, (2024) arXiv:2403.07457
[14]
H. Cohn and A. Kumar, “Universally optimal distribution of points on spheres”, Journal of the American Mathematical Society 20, 99 (2006) arXiv:math/0607446 DOI
[15]
H. Cohn, D. de Laat, and N. Leijenhorst, “Optimality of spherical codes via exact semidefinite programming bounds”, (2024) arXiv:2403.16874
[16]
E. Bannai, E. Bannai, and Y. Zhu, “A survey on tight Euclidean t-designs and tight relative t-designs in certain association schemes”, Proceedings of the Steklov Institute of Mathematics 288, 189 (2015) DOI
[17]
N. J. A. Sloane, R. H. Hardin, and P. Cara, “Spherical designs in four dimensions”, Proceedings 2003 IEEE Information Theory Workshop (Cat. No.03EX674) 253 DOI
[18]
S. P. Jain, J. T. Iosue, A. Barg, and V. V. Albert, “Quantum spherical codes”, Nature Physics 20, 1300 (2024) arXiv:2302.11593 DOI
[19]
H. S. M. Coxeter, “The Polytope 2 21 Whose Twenty-Seven Vertices Correspond to the Lines to the General Cubic Surface”, American Journal of Mathematics 62, 457 (1940) DOI
[20]
P. du Val, “On the Directrices of a Set of Points in a Plane”, Proceedings of the London Mathematical Society s2-35, 23 (1933) DOI
[21]
Arnold, V. I. (1999). Symplectization, complexification and mathematical trinities. The Arnoldfest, 23-37.
[22]
Y.-H. He and J. McKay, “Sporadic and Exceptional”, (2015) arXiv:1505.06742
[23]
A. Roy and S. Suda, “Complex spherical designs and codes”, (2011) arXiv:1104.4692
[24]
P. Delsarte, J. M. Goethals, and J. J. Seidel, “Spherical codes and designs”, Geometriae Dedicata 6, 363 (1977) DOI
[25]
B. B. Venkov. Even unimodular extremal lattices, algebraic geometry and its applications. Trudy Mat. Inst. Steklov., 165:43–48, 1984.
[26]
B. Venkov. Réseaux et designs sphériques. In Réseaux euclidiens, designs sphériques et formes modulaires, volume 37 of Monogr. Enseign. Math., pages 10–86. Enseignement Math., Geneva, 2001.
[27]
E. Bannai and E. Bannai, “A survey on spherical designs and algebraic combinatorics on spheres”, European Journal of Combinatorics 30, 1392 (2009) DOI
[28]
P. Boyvalenkov, P. Dragnev, D. Hardin, E. Saff, and M. Stoyanova, “Universal minima of discrete potentials for sharp spherical codes”, (2023) arXiv:2211.00092
[29]
J. M. Goethals and J. J. Seidel, “Cubature Formulae, Polytopes, and Spherical Designs”, The Geometric Vein 203 (1981) DOI
[30]
D. Hughes and S. Waldron, “Spherical (t,t)-designs with a small number of vectors”, Linear Algebra and its Applications 608, 84 (2021) DOI
[31]
C. Bachoc and F. Vallentin, “Optimality and uniqueness of the (4,10,1/6) spherical code”, Journal of Combinatorial Theory, Series A 116, 195 (2009) arXiv:0708.3947 DOI
[32]
G. Nebe, E. M. Rains, and N. J. A. Sloane, “The invariants of the Clifford groups”, (2000) arXiv:math/0001038
[33]
V. M. Sidelnikov, “Spherical 7-Designs in 2 n -Dimensional Euclidean Space”, Journal of Algebraic Combinatorics 10, 279 (1999) DOI
[34]
V. M. Sidelnikov, “Orbital spherical 11-designs in which the initial point is a root of an invariant polynomial”, Algebra i Analiz, 11:4 (1999), 183–203; St. Petersburg Math. J., 11:4 (2000), 673–686
[35]
H. S. M. Coxeter. Regular Complex Polytopes. Cambridge University Press, 1991.
[36]
P. de la Harpe and C. Pache, “Spherical designs and finite group representations (some results of E. Bannai)”, European Journal of Combinatorics 25, 213 (2004) DOI
[37]
E. BANNAI, “Spherical t-designs which are orbits of finite groups”, Journal of the Mathematical Society of Japan 36, (1984) DOI
[38]
M. Mohammadpour and S. Waldron, “Complex spherical designs from group orbits”, (2024) arXiv:2308.02499
[39]
S. L. Sobolev, “Cubature Formulas on the Sphere Invariant under Finite Groups of Rotations”, Selected Works of S.L. Sobolev 461 DOI
[40]
H. Cohn, “Packing, coding, and ground states”, (2016) arXiv:1603.05202
[41]
C. Pache, “Shells of selfdual lattices viewed as spherical designs”, (2005) arXiv:math/0502313
[42]
E. Bannai and N. J. A. Sloane, “Uniqueness of Certain Spherical Codes”, Canadian Journal of Mathematics 33, 437 (1981) DOI
[43]
H. Cohn and A. Kumar, “Uniqueness of the (22,891,1/4) spherical code”, (2007) arXiv:math/0607448
[44]
M. Hirao, H. Nozaki, and K. Tasaka, “Spherical designs and modular forms of the \(D_4\) lattice”, (2023) arXiv:2303.09000
[45]
F. J. MacWilliams and N. J. A. Sloane. The theory of error correcting codes. Elsevier, 1977.
[46]
P. Delsarte and J. M. Goethals, “Unrestricted codes with the golay parameters are unique”, Discrete Mathematics 12, 211 (1975) DOI
[47]
W. Feit. Some remarks on weight functions of spaces over GF(2), unpublished (1972)
[48]
C. L. Mallows and N. J. A. Sloane, “Weight enumerators of self-orthogonal codes”, Discrete Mathematics 9, 391 (1974) DOI
[49]
J. A. Harvey and G. W. Moore, “Moonshine, superconformal symmetry, and quantum error correction”, Journal of High Energy Physics 2020, (2020) arXiv:2003.13700 DOI
[50]
V. V. Albert, private communication, 2024.
[51]
R. A. Wilson, “Vector stabilizers and subgroups of Leech lattice groups”, Journal of Algebra 127, 387 (1989) DOI