8-simplex honeycomb

From HandWiki
8-simplex honeycomb
(No image)
Type Uniform 8-honeycomb
Family Simplectic honeycomb
Schläfli symbol {3[9]}
Coxeter diagram CDel node 1.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png
6-face types {37} 8-simplex t0.svg, t1{37} 30px
t2{37} 30px, t3{37} 8-simplex t3.svg
6-face types {36} 7-simplex t0.svg, t1{36} 30px
t2{36} 40px, t3{36} 7-simplex t2.svg
6-face types {35} 6-simplex t0.svg, t1{35} 30px
t2{35} 6-simplex t2.svg
5-face types {34} 5-simplex t0.svg, t1{34} 30px
t2{34} 5-simplex t2.svg
4-face types {33} 4-simplex t0.svg, t1{33} 4-simplex t1.svg
Cell types {3,3} 3-simplex t0.svg, t1{3,3} 3-simplex t1.svg
Face types {3} 2-simplex t0.svg
Vertex figure t0,7{37} 8-simplex t07.svg
Symmetry [math]\displaystyle{ {\tilde{A}}_8 }[/math]×2, 3[9]
Properties vertex-transitive

In eighth-dimensional Euclidean geometry, the 8-simplex honeycomb is a space-filling tessellation (or honeycomb). The tessellation fills space by 8-simplex, rectified 8-simplex, birectified 8-simplex, and trirectified 8-simplex facets. These facet types occur in proportions of 1:1:1:1 respectively in the whole honeycomb.

A8 lattice

This vertex arrangement is called the A8 lattice or 8-simplex lattice. The 72 vertices of the expanded 8-simplex vertex figure represent the 72 roots of the [math]\displaystyle{ {\tilde{A}}_8 }[/math] Coxeter group.[1] It is the 8-dimensional case of a simplectic honeycomb. Around each vertex figure are 510 facets: 9+9 8-simplex, 36+36 rectified 8-simplex, 84+84 birectified 8-simplex, 126+126 trirectified 8-simplex, with the count distribution from the 10th row of Pascal's triangle.

[math]\displaystyle{ {\tilde{E}}_8 }[/math] contains [math]\displaystyle{ {\tilde{A}}_8 }[/math] as a subgroup of index 5760.[2] Both [math]\displaystyle{ {\tilde{E}}_8 }[/math] and [math]\displaystyle{ {\tilde{A}}_8 }[/math] can be seen as affine extensions of [math]\displaystyle{ A_8 }[/math] from different nodes: Affine A8 E8 relations.png

The A38 lattice is the union of three A8 lattices, and also identical to the E8 lattice.[3]

CDel node 1.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes 10lr.pngCDel 3ab.pngCDel branch.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes 01lr.pngCDel 3ab.pngCDel branch.png = CDel nodea 1.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png.

The A*8 lattice (also called A98) is the union of nine A8 lattices, and has the vertex arrangement of the dual honeycomb to the omnitruncated 8-simplex honeycomb, and therefore the Voronoi cell of this lattice is an omnitruncated 8-simplex

CDel node 1.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel node.pngCDel split1.pngCDel nodes 10lr.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel node.pngCDel split1.pngCDel nodes 01lr.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes 10lr.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes 01lr.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes 10lr.pngCDel 3ab.pngCDel branch.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes 01lr.pngCDel 3ab.pngCDel branch.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch 10l.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch 01l.png = dual of CDel node 1.pngCDel split1.pngCDel nodes 11.pngCDel 3ab.pngCDel nodes 11.pngCDel 3ab.pngCDel nodes 11.pngCDel 3ab.pngCDel branch 11.png.

Related polytopes and honeycombs

This honeycomb is one of 45 unique uniform honeycombs[4] constructed by the [math]\displaystyle{ {\tilde{A}}_8 }[/math] Coxeter group. The symmetry can be multiplied by the ring symmetry of the Coxeter diagrams:

Projection by folding

The 8-simplex honeycomb can be projected into the 4-dimensional tesseractic honeycomb by a geometric folding operation that maps two pairs of mirrors into each other, sharing the same vertex arrangement:

[math]\displaystyle{ {\tilde{A}}_8 }[/math] CDel node 1.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png
[math]\displaystyle{ {\tilde{C}}_4 }[/math] CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png

See also

Notes

  1. "The Lattice A8". http://www.math.rwth-aachen.de/~Gabriele.Nebe/LATTICES/A8.html. 
  2. N.W. Johnson: Geometries and Transformations, (2018) Chapter 12: Euclidean symmetry groups, p.294
  3. Kaleidoscopes: Selected Writings of H. S. M. Coxeter, Paper 18, "Extreme forms" (1950)
  4. * Weisstein, Eric W.. "Necklace". http://mathworld.wolfram.com/Necklace.html. , OEIS sequence A000029 46-1 cases, skipping one with zero marks

References

  • Norman Johnson Uniform Polytopes, Manuscript (1991)
  • Kaleidoscopes: Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN:978-0-471-01003-6 [1]
    • (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380–407, MR 2,10] (1.9 Uniform space-fillings)
    • (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3–45]
Fundamental convex regular and uniform honeycombs in dimensions 2-9
Space Family [math]\displaystyle{ {\tilde{A}}_{n-1} }[/math] [math]\displaystyle{ {\tilde{C}}_{n-1} }[/math] [math]\displaystyle{ {\tilde{B}}_{n-1} }[/math] [math]\displaystyle{ {\tilde{D}}_{n-1} }[/math] [math]\displaystyle{ {\tilde{G}}_2 }[/math] / [math]\displaystyle{ {\tilde{F}}_4 }[/math] / [math]\displaystyle{ {\tilde{E}}_{n-1} }[/math]
E2 Uniform tiling {3[3]} δ3 3 3 Hexagonal
E3 Uniform convex honeycomb {3[4]} δ4 4 4
E4 Uniform 4-honeycomb {3[5]} δ5 5 5 24-cell honeycomb
E5 Uniform 5-honeycomb {3[6]} δ6 6 6
E6 Uniform 6-honeycomb {3[7]} δ7 7 7 222
E7 Uniform 7-honeycomb {3[8]} δ8 8 8 133331
E8 Uniform 8-honeycomb {3[9]} δ9 9 9 152251521
E9 Uniform 9-honeycomb {3[10]} δ10 10 10
En-1 Uniform (n-1)-honeycomb {3[n]} δn n n 1k22k1k21