bgcolor=#e7dcc3 colspan=2 | 521 honeycomb | |
---|---|---|
Type | Uniform honeycomb | |
Family | k21 polytope | |
Schläfli symbol | ||
Coxeter symbol | 521 | |
Coxeter-Dynkin diagram | ||
8-faces | ||
7-faces | Note that there are two distinct orbits of this 7-simplex under the honeycomb's full {\tilde{E}}8 | |
6-faces | ||
5-faces | ||
4-faces | ||
Cells | ||
Faces | ||
Cell figure | ||
Face figure | ||
Edge figure | ||
Vertex figure | ||
Symmetry group | {\tilde{E}}8 |
By putting spheres at its vertices one obtains the densest-possible packing of spheres in 8 dimensions. This was proven by Maryna Viazovska in 2016 using the theory of modular forms. Viazovska was awarded the Fields Medal for this work in 2022.
This honeycomb was first studied by Gosset who called it a 9-ic semi-regular figure[2] (Gosset regarded honeycombs in n dimensions as degenerate n+1 polytopes).
Each vertex of the 521 honeycomb is surrounded by 2160 8-orthoplexes and 17280 8-simplicies.
The vertex figure of Gosset's honeycomb is the semiregular 421 polytope. It is the final figure in the k21 family.
This honeycomb is highly regular in the sense that its symmetry group (the affine
{\tilde{E}}8
It is created by a Wythoff construction upon a set of 9 hyperplane mirrors in 8-dimensional space.
The facet information can be extracted from its Coxeter-Dynkin diagram.
Removing the node on the end of the 2-length branch leaves the 8-orthoplex, 611.
Removing the node on the end of the 1-length branch leaves the 8-simplex.
The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the 421 polytope.
The edge figure is determined from the vertex figure by removing the ringed node and ringing the neighboring node. This makes the 321 polytope.
The face figure is determined from the edge figure by removing the ringed node and ringing the neighboring node. This makes the 221 polytope.
The cell figure is determined from the face figure by removing the ringed node and ringing the neighboring node. This makes the 121 polytope.
Each vertex of this tessellation is the center of a 7-sphere in the densest packing in 8 dimensions; its kissing number is 240, represented by the vertices of its vertex figure 421.
{\tilde{E}}8
{\tilde{A}}8
{\tilde{E}}8
{\tilde{A}}8
A8
{\tilde{E}}8
{\tilde{D}}8
{\tilde{E}}8
{\tilde{D}}8
D8
The vertex arrangement of 521 is called the E8 lattice.[5]
The E8 lattice can also be constructed as a union of the vertices of two 8-demicube honeycombs (called a D82 or D8+ lattice), as well as the union of the vertices of three 8-simplex honeycombs (called an A83 lattice):[6]
= ∪ = ∪ ∪
Using a complex number coordinate system, it can also be constructed as a
C4
The 521 is seventh in a dimensional series of semiregular polytopes, identified in 1900 by Thorold Gosset. Each member of the sequence has the previous member as its vertex figure. All facets of these polytopes are regular polytopes, namely simplexes and orthoplexes.
. H. S. M. Coxeter . 1973 . Regular Polytopes . (3rd ed.) . Dover Publications . New York . 0-486-61480-8. Regular Polytopes (book) .