8-simplex honeycomb

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
8-simplex honeycomb
(No image)
Type Uniform 8-honeycomb
Family Simplectic honeycomb
Schläfli symbol {3[9]} = 0[9]
Coxeter diagram
6-face types {37} , t1{37}
t2{37} File:8-simplex t2.svg, t3{37} File:8-simplex t3.svg
6-face types {36} File:7-simplex t0.svg, t1{36} File:7-simplex t1.svg
t2{36} File:7-simplex t2.svg, t3{36} File:7-simplex t2.svg
6-face types {35} File:6-simplex t0.svg, t1{35} File:6-simplex t1.svg
t2{35} File:6-simplex t2.svg
5-face types {34} File:5-simplex t0.svg, t1{34} File:5-simplex t1.svg
t2{34} File:5-simplex t2.svg
4-face types {33} File:4-simplex t0.svg, t1{33} File:4-simplex t1.svg
Cell types {3,3} File:3-simplex t0.svg, t1{3,3} File:3-simplex t1.svg
Face types {3} File:2-simplex t0.svg
Vertex figure t0,7{37} File:8-simplex t07.svg
Symmetry A~8×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

[edit | edit source]

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 A~8 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.

E~8 contains A~8 as a subgroup of index 5760.[2] Both E~8 and A~8 can be seen as affine extensions of A8 from different nodes: File:Affine A8 E8 relations.png

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

File:CDel node.pngFile:CDel nodes 10lr.pngFile:CDel node.pngFile:CDel nodes 01lr.png = File:CDel nodea 1.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.png.

The A*
8
lattice (also called A9
8
) 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

File:CDel node.pngFile:CDel nodes 10lr.pngFile:CDel node.pngFile:CDel nodes 01lr.pngFile:CDel node.pngFile:CDel nodes 10lr.pngFile:CDel node.pngFile:CDel nodes 01lr.pngFile:CDel node.pngFile:CDel nodes 10lr.pngFile:CDel node.pngFile:CDel nodes 01lr.pngFile:CDel node.pngFile:CDel branch 10l.pngFile:CDel node.pngFile:CDel branch 01l.png = dual of File:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 11.png.

[edit | edit source]

This honeycomb is one of 45 unique uniform honeycombs[4] constructed by the A~8 Coxeter group. The symmetry can be multiplied by the ring symmetry of the Coxeter diagrams:

A8 honeycombs
Enneagon
symmetry
Symmetry Extended
diagram
Extended
group
Honeycombs
a1 [3[9]] File:CDel node.png A~8

File:CDel nodes 10lur.pngFile:CDel nodes 10lr.png File:CDel nodes 10lur.pngFile:CDel branch 10l.png File:CDel node.pngFile:CDel nodes 11.pngFile:CDel branch 10l.png File:CDel nodes 11.pngFile:CDel nodes 10lr.png File:CDel nodes 11.pngFile:CDel branch 10l.png File:CDel nodes 10lur.pngFile:CDel nodes 10lr.pngFile:CDel branch 01l.png File:CDel nodes 10lur.pngFile:CDel nodes 11.png

File:CDel node.pngFile:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 10l.png File:CDel nodes 11.pngFile:CDel nodes 10lr.pngFile:CDel branch 01l.png File:CDel nodes 11.pngFile:CDel nodes 10lr.pngFile:CDel branch 10l.png File:CDel node.pngFile:CDel nodes 10lur.pngFile:CDel nodes 11.pngFile:CDel branch 11.png File:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 10l.png File:CDel nodes 10lur.pngFile:CDel nodes 11.pngFile:CDel branch 11.png File:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 10l.png

i2 [[3[9]]] File:CDel node c1.pngFile:CDel nodeab c2.pngFile:CDel nodeab c3.pngFile:CDel nodeab c4.pngFile:CDel branch c5.png A~8×2

1 File:CDel node.pngFile:CDel nodes 11.png File:CDel node.pngFile:CDel nodes 11.png File:CDel node.pngFile:CDel branch 11.png 2

File:CDel nodes 11.png File:CDel nodes 11.png File:CDel nodes 11.png File:CDel branch 11.png

File:CDel node.pngFile:CDel nodes 11.pngFile:CDel nodes 11.png File:CDel node.pngFile:CDel nodes 11.pngFile:CDel nodes 11.png File:CDel node.pngFile:CDel nodes 11.pngFile:CDel branch 11.png File:CDel node.pngFile:CDel nodes 11.pngFile:CDel nodes 11.png File:CDel node.pngFile:CDel nodes 11.pngFile:CDel branch 11.png File:CDel node.pngFile:CDel nodes 11.pngFile:CDel branch 11.png

File:CDel nodes 11.pngFile:CDel nodes 11.png File:CDel nodes 11.pngFile:CDel nodes 11.png File:CDel nodes 11.pngFile:CDel branch 11.png File:CDel nodes 11.pngFile:CDel nodes 11.png File:CDel nodes 11.pngFile:CDel branch 11.png File:CDel nodes 11.pngFile:CDel branch 11.png

File:CDel node.pngFile:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel nodes 11.png File:CDel node.pngFile:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 11.png File:CDel node.pngFile:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 11.png

File:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel nodes 11.png File:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 11.png File:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 11.png File:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 11.png

File:CDel node.pngFile:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 11.png

i6 [3[3[9]]] File:CDel node c3.pngFile:CDel nodeab c1.pngFile:CDel nodeab c1.pngFile:CDel nodeab c3.pngFile:CDel branch c1.png A~8×6 File:CDel nodes 11.png File:CDel node.pngFile:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 11.png
r18 [9[3[9]]] File:CDel node c1.pngFile:CDel nodeab c1.pngFile:CDel nodeab c1.pngFile:CDel nodeab c1.pngFile:CDel branch c1.png A~8×18 File:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel nodes 11.pngFile:CDel branch 11.png 3

Projection by folding

[edit | edit source]

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:

A~8
C~4 File:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.png

See also

[edit | edit source]

Notes

[edit | edit source]
  1. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  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. ^ * Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)., OEIS sequence A000029 46-1 cases, skipping one with zero marks

References

[edit | edit source]
  • 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, Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). [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]
Space Family A~n1 C~n1 B~n1 D~n1 G~2 / F~4 / E~n1
E2 Uniform tiling 0[3] δ3 3 3 Hexagonal
E3 Uniform convex honeycomb 0[4] δ4 4 4
E4 Uniform 4-honeycomb 0[5] δ5 5 5 24-cell honeycomb
E5 Uniform 5-honeycomb 0[6] δ6 6 6
E6 Uniform 6-honeycomb 0[7] δ7 7 7 222
E7 Uniform 7-honeycomb 0[8] δ8 8 8 133331
E8 Uniform 8-honeycomb 0[9] δ9 9 9 152251521
E9 Uniform 9-honeycomb 0[10] δ10 10 10
E10 Uniform 10-honeycomb 0[11] δ11 11 11
En−1 Uniform (n−1)-honeycomb 0[n] δn n n 1k22k1k21