Leech polytope

The Leech polytope is a convex isogonal 24-polytope with 1197362269604214277200 facets, 5081469120 edges and 196560 vertices. It is the contact polytope of the, which represents an optimally symmetric packing of 196560 non-overlapping 23-spheres that touch each other around a common 23-sphere.

The Leech polytope is chiral, and has a lower symmetry order than the 3 regular polyiktra. For example, the symmetry order of the 24-dimensional simplex is 15511210043330985984000000, which is 1865325 times higher than the symmetry of the Leech polytope.

The ratio between the longest and shortest edges is $$\frac{\sqrt6}{2}$$ ≈ 1.22474.

Vertex coordinates
The vertex coordinates of the Leech polytope are exactly the vectors in the Leech lattice that go to the centers of the 196560 hyperspheres that touch the hypersphere centered at the origin.

To obtain the coordinates of these vectors, we need information from the. For our purposes, we can treat the code as a mapping between 12-bit binary numbers and 24-bit binary "codewords," or even more simply as a list of those codewords. A codeword can be obtained by multiplying a 12-bit binary number (viewed as a 12-element row vector of binary digits) by the generation matrix of the code, over the integers modulo 2. (This means that 1+1=0. We can achieve this effect by doing the multiplication in the "natural" manner and then taking the remainder of the results modulo 2.)

The generation matrix of the code is:
 * $$\begin{bmatrix}

1&0&0&0&0&0&0&0&0&0&0&0&1&0&0&1&1&1&1&1&0&0&0&1\\ 0&1&0&0&0&0&0&0&0&0&0&0&0&1&0&0&1&1&1&1&1&0&1&0\\ 0&0&1&0&0&0&0&0&0&0&0&0&0&0&1&0&0&1&1&1&1&1&0&1\\ 0&0&0&1&0&0&0&0&0&0&0&0&1&0&0&1&0&0&1&1&1&1&1&0\\ 0&0&0&0&1&0&0&0&0&0&0&0&1&1&0&0&1&0&0&1&1&1&0&1\\ 0&0&0&0&0&1&0&0&0&0&0&0&1&1&1&0&0&1&0&0&1&1&1&0\\ 0&0&0&0&0&0&1&0&0&0&0&0&1&1&1&1&0&0&1&0&0&1&0&1\\ 0&0&0&0&0&0&0&1&0&0&0&0&1&1&1&1&1&0&0&1&0&0&1&0\\ 0&0&0&0&0&0&0&0&1&0&0&0&0&1&1&1&1&1&0&0&1&0&0&1\\ 0&0&0&0&0&0&0&0&0&1&0&0&0&0&1&1&1&1&1&0&0&1&1&0\\ 0&0&0&0&0&0&0&0&0&0&1&0&0&1&0&1&0&1&0&1&0&1&1&1\\ 0&0&0&0&0&0&0&0&0&0&0&1&1&0&1&0&1&0&1&0&1&0&1&1 \end{bmatrix}$$ This matrix (or an equivalent one) can be created by taking the adjacency matrix (for which $A_{ij}$ = 1 if vertices $i$ and $j$ are connected by an edge, and 0 if not) of the regular icosahedron, taking the "complement" of it (changing all the 1s to 0s and vice versa), and appending the resulting matrix to the right of a 12x12 identity matrix.

Of the 4096 codewords, one is all 0s, 759 have eight 1s (and are referred to as "octads"), 2576 have twelve 1s, another 759 have sixteen 1s (and are the complements of the octads), and one is all 1s.

With this in mind, the vertex coordinates of the Leech polytope, centered at the origin and with circumradius $$\frac{\sqrt3}{2}$$, are given by:
 * All permutations and sign changes of
 * $$\frac{\sqrt6}{16}\left(4,\,4,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0\right)$$
 * This produces $$\begin{pmatrix}24\\2\end{pmatrix}*4 = 1104$$ vertices.


 * All even sign changes of the nonzero coordinates of the following, where the nonzero coordinates are located at the 1s of an octad:
 * $$\frac{\sqrt6}{16}\left(2,\,2,\,2,\,2,\,2,\,2,\,2,\,2,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0,\,0\right)$$
 * This produces 128*759 = 97152 vertices.


 * All permutations of the following, then with individual coordinate's signs changed at all the locations of the 1s of a codeword:
 * $$\frac{\sqrt6}{16}\left(-3,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1,\,1\right)$$
 * This produces 24*4096 = 98304 vertices.

Related polytopes
The Leech polytope contains the vertices of a rectified 24-orthoplex.