Misplaced Pages

3 31 honeycomb

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from E7 honeycomb)
331 honeycomb
(no image)
Type Uniform tessellation
Schläfli symbol {3,3,3,3}
Coxeter symbol 331
Coxeter-Dynkin diagram
7-face types 321
{3}
6-face types 221
{3}
5-face types 211
{3}
4-face type {3}
Cell type {3}
Face type {3}
Face figure 031
Edge figure 131
Vertex figure 231
Coxeter group E ~ 7 {\displaystyle {\tilde {E}}_{7}} ,
Properties vertex-transitive

In 7-dimensional geometry, the 331 honeycomb is a uniform honeycomb, also given by Schläfli symbol {3,3,3,3} and is composed of 321 and 7-simplex facets, with 56 and 576 of them respectively around each vertex.

Construction

It is created by a Wythoff construction upon a set of 8 hyperplane mirrors in 7-dimensional space.

The facet information can be extracted from its Coxeter-Dynkin diagram.

Removing the node on the short branch leaves the 6-simplex facet:

Removing the node on the end of the 3-length branch leaves the 321 facet:

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes 231 polytope.

The edge figure is determined by removing the ringed node and ringing the neighboring node. This makes 6-demicube (131).

The face figure is determined by removing the ringed node and ringing the neighboring node. This makes rectified 5-simplex (031).

The cell figure is determined by removing the ringed node of the face figure and ringing the neighboring nodes. This makes tetrahedral prism {}×{3,3}.

Kissing number

Each vertex of this tessellation is the center of a 6-sphere in the densest known packing in 7 dimensions; its kissing number is 126, represented by the vertices of its vertex figure 231.

E7 lattice

The 331 honeycomb's vertex arrangement is called the E7 lattice.

E ~ 7 {\displaystyle {\tilde {E}}_{7}} contains A ~ 7 {\displaystyle {\tilde {A}}_{7}} as a subgroup of index 144. Both E ~ 7 {\displaystyle {\tilde {E}}_{7}} and A ~ 7 {\displaystyle {\tilde {A}}_{7}} can be seen as affine extension from A 7 {\displaystyle A_{7}} from different nodes:

The E7 lattice can also be expressed as a union of the vertices of two A7 lattices, also called A7:

=

The E7 lattice (also called E7) has double the symmetry, represented by ]. The Voronoi cell of the E7 lattice is the 132 polytope, and voronoi tessellation the 133 honeycomb. The E7 lattice is constructed by 2 copies of the E7 lattice vertices, one from each long branch of the Coxeter diagram, and can be constructed as the union of four A7 lattices, also called A7:

= = dual of .

Related honeycombs

It is in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 3k1 series. A degenerate 4-dimensional case exists as 3-sphere tiling, a tetrahedral hosohedron.

3k1 dimensional figures
Space Finite Euclidean Hyperbolic
n 4 5 6 7 8 9
Coxeter
group
A3A1 A5 D6 E7 E ~ 7 {\displaystyle {\tilde {E}}_{7}} =E7 T ¯ 8 {\displaystyle {\bar {T}}_{8}} =E7
Coxeter
diagram
Symmetry ]
=
Order 48 720 46,080 2,903,040
Graph - -
Name 31,-1 310 311 321 331 341

See also

References

  1. "The Lattice E7".
  2. N.W. Johnson: Geometries and Transformations, (2018) Chapter 12: Euclidean symmetry groups, p 177
  3. "The Lattice E7".
  4. The Voronoi Cells of the E6* and E7* Lattices Archived 2016-01-30 at the Wayback Machine, Edward Pervin
Fundamental convex regular and uniform honeycombs in dimensions 2–9
Space Family A ~ n 1 {\displaystyle {\tilde {A}}_{n-1}} C ~ n 1 {\displaystyle {\tilde {C}}_{n-1}} B ~ n 1 {\displaystyle {\tilde {B}}_{n-1}} D ~ n 1 {\displaystyle {\tilde {D}}_{n-1}} G ~ 2 {\displaystyle {\tilde {G}}_{2}} / F ~ 4 {\displaystyle {\tilde {F}}_{4}} / E ~ n 1 {\displaystyle {\tilde {E}}_{n-1}}
E Uniform tiling 0 δ3 3 3 Hexagonal
E Uniform convex honeycomb 0 δ4 4 4
E Uniform 4-honeycomb 0 δ5 5 5 24-cell honeycomb
E Uniform 5-honeycomb 0 δ6 6 6
E Uniform 6-honeycomb 0 δ7 7 7 222
E Uniform 7-honeycomb 0 δ8 8 8 133331
E Uniform 8-honeycomb 0 δ9 9 9 152251521
E Uniform 9-honeycomb 0 δ10 10 10
E Uniform 10-honeycomb 0 δ11 11 11
E Uniform (n-1)-honeycomb 0 δn n n 1k22k1k21
Category: