16-cell honeycomb

From Wikipedia, the free encyclopedia
Jump to: navigation, search
16-cell honeycomb
Demitesseractic tetra hc.png
Perspective projection: the first layer of adjacent 16-cell facets.
Type Regular 4-space honeycomb
Uniform 4-honeycomb
Family Alternated hypercube honeycomb
Schläfli symbol {3,3,4,3}
Coxeter-Dynkin diagram CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
4-face type {3,3,4} Schlegel wireframe 16-cell.png
Cell type {3,3} Tetrahedron.png
Face type {3}
Edge figure cube
Vertex figure 24-cell t0 F4.svg
24-cell
Coxeter group {\tilde{F}}_4 = [3,3,4,3]
Dual {3,4,3,3}
Properties vertex-transitive, edge-transitive, face-transitive, cell-transitive

In four-dimensional Euclidean geometry, the 16-cell honeycomb is the one of three regular space-filling tessellation (or honeycomb) in Euclidean 4-space. The other two are its dual the 24-cell honeycomb, and the tesseractic honeycomb. This honeycomb is constructed from 16-cell facets, three around every face. It has a 24-cell vertex figure.

This vertex arrangement or lattice is called the B4, D4, or F4 lattice.[1][2]

Alternate names[edit]

  • Hexadecachoric tetracomb/honeycomb
  • Demitesseractic tetracomb/honeycomb

Coordinates[edit]

As a regular honeycomb, {3,3,4,3}, it has no lower dimensional analogues, but as an alternated form (the demitesseractic honeycomb, h{4,3,3,4}) it is related to the alternated cubic honeycomb.

Vertices can be placed at all integer coordinates (i,j,k,l), such that the sum of the coordinates is even.

D4 lattice[edit]

Its vertex arrangement is called the D4 lattice or F4 lattice.[2] The vertices of this lattice are the centers of the 3-spheres in the densest possible packing of equal spheres in 4-space; its kissing number is 24, which is also the highest possible in 4-space.[3]

CDel nodes 10ru.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.png = CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png

The D+
4
lattice (also called D2
4
) can be constructed by the union of two 4-demicubic lattices, and is identical to the tesseractic honeycomb:

CDel nodes 10ru.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel nodes 01rd.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.png = CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png = CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png

This packing is only a lattice for even dimensions. The kissing number is 23=8, (2n-1 for n<8, 240 for n=8, and 2n(n-1) for n>8).[4]

The D*
4
lattice (also called D4
4
and C2
4
) can be constructed by the union of all four 5-demicubic honeycombs, but it is identical to the D4 lattice: It is also the 4-dimensional body centered cubic, the union of two 4-cube honeycombs in dual positions.

CDel nodes 10ru.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel nodes 01rd.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes 10lu.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes 01ld.png = CDel nodes 10ru.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.png = CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.png.

The kissing number of the D*
4
lattice (and D4 lattice) is 24[5] and its Voronoi tessellation is a 24-cell honeycomb, CDel node 1.pngCDel split1.pngCDel nodes.pngCDel 4a4b.pngCDel nodes.png, containing all rectified 16-cells (24-cell) Voronoi cells, CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png or CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png.[6]

Symmetry constructions[edit]

There are three different symmetry constructions of this tessellation. Each symmetry can be represented by different arrangements of colored 16-cell facets.

Name Coxeter group Schläfli symbol Coxeter diagram Vertex figure
Symmetry
Facets/verf
16-cell honeycomb {\tilde{F}}_4 = [3,3,4,3] {3,3,4,3} CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
[3,4,3], order 1152
24: 16-cell
4-demicube honeycomb {\tilde{B}}_4 = [31,1,3,4] = h{4,3,3,4} CDel nodes 10ru.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png = CDel node h1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png CDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
[3,3,4], order 384
16+8: 16-cell
{\tilde{D}}_4 = [31,1,1,1] {3,31,1,1}
= h{4,3,31,1}
CDel nodes 10ru.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.png = CDel node h1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png CDel node.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes.png
[31,1,1], order 192
8+8+8: 16-cell

Related honeycombs[edit]

The [3,4,3,3], CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png, Coxeter group generates 31 permutations of uniform tessellations, 28 are unique in this family and ten are shared in the [4,3,3,4] and [4,3,31,1] families. The alternation (13) is also repeated in other families.

Extended
symmetry
Extended
diagram
Order Honeycombs
[3,3,4,3] CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png ×1

CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png 1, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png 3, CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.png 5, CDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png 6, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.png 8,
CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.png 9, CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.png 10, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.png 11, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.png 12

[3,4,3,3] CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png ×1

CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png 2, CDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png 4, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png 7, CDel node h.pngCDel 3.pngCDel node h.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png 13,
CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png 14, CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png 15, CDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png 16, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png 17,
CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png 18, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png 19, CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png 20, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png 21,
CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png 22 CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png 23, CDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png 24, CDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png 25,
CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png 26, CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png 27, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.png 28, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.png 29

[(3,3)[3,3,4,3*]]
=[(3,3)[31,1,1,1]]
=[3,4,3,3]
CDel node c2.pngCDel split1.pngCDel nodeab c1.pngCDel 4a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
=CDel nodeab c1.pngCDel split2.pngCDel node c2.pngCDel split1.pngCDel nodeab c1.png
= CDel node c2.pngCDel 3.pngCDel node c1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
×4

CDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png (2), CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png (4), CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png (7), CDel node h.pngCDel 3.pngCDel node h.pngCDel 3.pngCDel node h.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png (13)

The [4,3,3,4], CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png, Coxeter group generates 31 permutations of uniform tessellations, 21 with distinct symmetry and 20 with distinct geometry. The expanded tesseractic honeycomb (also known as the stericated tesseractic honeycomb) is geometrically identical to the tesseractic honeycomb. Three of the symmetric honeycombs are shared in the [3,4,3,3] family. Two alternations (13) and (17), and the quarter tesseractic (2) are repeated in other families.

Extended
symmetry
Extended
diagram
Order Honeycombs
[4,3,3,4]: CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png ×1

CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png 1, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png 2, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png 3, CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png 4,
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.png 5, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png 6, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png 7, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.png 8,
CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.png 9, CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.png 10, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.png 11, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.png 12,
CDel node h1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png 13

[[4,3,3,4]] CDel node c3.pngCDel split1.pngCDel nodeab c2.pngCDel 4a4b.pngCDel nodeab c1.png ×2 CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.png (1), CDel node h1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node h1.png (2), CDel node h.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node h.png (13), CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node 1.png 18
CDel node h1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node h1.png (6), CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.png 19, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.png 20
[(3,3)[1+,4,3,3,4,1+]]
= [(3,3)[31,1,1,1]]
= [3,4,3,3]
CDel node c2.pngCDel split1.pngCDel nodeab c1.pngCDel 4a4b.pngCDel nodes.png
= CDel nodeab c1.pngCDel split2.pngCDel node c2.pngCDel split1.pngCDel nodeab c1.png
= CDel node c2.pngCDel 3.pngCDel node c1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
×6

CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png 14, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.png 15, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.png 16, CDel node.pngCDel 4.pngCDel node h.pngCDel 3.pngCDel node h.pngCDel 3.pngCDel node h.pngCDel 4.pngCDel node.png 17

The [4,3,31,1], CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png, Coxeter group generates 31 permutations of uniform tessellations, 23 with distinct symmetry and 4 with distinct geometry. There are two alternated forms: the alternations (19) and (24) have the same geometry as the 16-cell honeycomb and snub 24-cell honeycomb respectively.

Extended
symmetry
Extended
diagram
Order Honeycombs
[4,3,31,1]: CDel node c5.pngCDel 4.pngCDel node c4.pngCDel 3.pngCDel node c3.pngCDel split1.pngCDel nodeab c1-2.png ×1

CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 10lu.png 5, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 10lu.png 6, CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes 10lu.png 7, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes 10lu.png 8

<[4,3,31,1]>:
=[4,3,3,4]
CDel node c5.pngCDel 4.pngCDel node c4.pngCDel 3.pngCDel node c3.pngCDel split1.pngCDel nodeab c1.png
= CDel node c5.pngCDel 4.pngCDel node c4.pngCDel 3.pngCDel node c3.pngCDel 3.pngCDel node c1.pngCDel 4.pngCDel node.png
×2

CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png 9, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png 10, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png 11, CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes.png 12, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes.png 13, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes.png 14,

CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 11.png (10), CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 11.png 15, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 11.png 16, CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes 11.png (13), CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes 11.png 17, CDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes 11.png 18, CDel node h1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png 19

[3[1+,4,3,31,1]]
= [3[3,31,1,1]]
= [3,3,4,3]
CDel node c3.pngCDel 3.pngCDel node c2.pngCDel split1.pngCDel nodeab c1.pngCDel 4a.pngCDel nodea.png
= CDel node c3.pngCDel 3.pngCDel node c2.pngCDel splitsplit1.pngCDel branch3 c1.pngCDel node c1.png
= CDel node c3.pngCDel 3.pngCDel node c2.pngCDel 3.pngCDel node c1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
×3

CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 10lu.png 1, CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes 10lu.png 2, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 10lu.png 3, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes 10lu.png 4

[(3,3)[1+,4,3,31,1]]
= [(3,3)[31,1,1,1]]
= [3,4,3,3]
CDel node.pngCDel 4.pngCDel node c1.pngCDel 3.pngCDel node c2.pngCDel split1.pngCDel nodeab c1.png
= CDel nodeab c1.pngCDel split2.pngCDel node c2.pngCDel split1.pngCDel nodeab c1.png
= CDel node c2.pngCDel 3.pngCDel node c1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
×12

CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes.png 20, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 11.png 21, CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel split1.pngCDel nodes 11.png 22, CDel node.pngCDel 4.pngCDel node h.pngCDel 3.pngCDel node h.pngCDel split1.pngCDel nodes hh.png 23

This honeycomb is one of ten uniform honeycombs constructed by the {\tilde{D}}_4 Coxeter group, all repeated in other families by extended symmetry, seen in the graph symmetry of rings in the Coxeter–Dynkin diagrams. The 10th is constructed as an alternation. As subgroups in Coxeter notation: [3,4,(3,3)*] (index 24), [3,3,4,3*] (index 6), [1+,4,3,3,4,1+] (index 4), [31,1,3,4,1+] (index 2) are all isomorphic to [31,1,1,1]. The ten permutations are listed with its highest extended symmetry relation:

Extended
symmetry
Extended
diagram
Order Honeycombs
[31,1,1,1] CDel nodes.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.png ×1 (none)
<[31,1,1,1]>
= [31,1,3,4]
CDel nodeab c1-2.pngCDel split2.pngCDel node c3.pngCDel split1.pngCDel nodeab c4.png
= CDel nodeab c1-2.pngCDel split2.pngCDel node c3.pngCDel 3.pngCDel node c4.pngCDel 4.pngCDel node.png
×2 (none)
<<[1,131,1]>>
= [4,3,3,4]
CDel nodeab c1.pngCDel split2.pngCDel node c3.pngCDel split1.pngCDel nodeab c2.png
= CDel node.pngCDel 4.pngCDel node c1.pngCDel 3.pngCDel node c3.pngCDel 3.pngCDel node c2.pngCDel 4.pngCDel node.png
×4 CDel nodes 11.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.png 1, CDel nodes 11.pngCDel split2.pngCDel node 1.pngCDel split1.pngCDel nodes.png 2
[3[3,31,1,1]]
= [3,4,3,3]
CDel node c3.pngCDel 3.pngCDel node c2.pngCDel splitsplit1.pngCDel branch3 c1.pngCDel node c1.png
= CDel node c3.pngCDel 3.pngCDel node c2.pngCDel 3.pngCDel node c1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
×6 CDel node 1.pngCDel 3.pngCDel node.pngCDel splitsplit1.pngCDel branch3.pngCDel node.png3, CDel node 1.pngCDel 3.pngCDel node 1.pngCDel splitsplit1.pngCDel branch3.pngCDel node.png 4, CDel node.pngCDel 3.pngCDel node.pngCDel splitsplit1.pngCDel branch3 11.pngCDel node 1.png 5, CDel node.pngCDel 3.pngCDel node 1.pngCDel splitsplit1.pngCDel branch3 11.pngCDel node 1.png 6
[<<[1,131,1]>>]
= [[4,3,3,4]]
CDel nodeab c1.pngCDel split2.pngCDel node c2.pngCDel split1.pngCDel nodeab c1.png
= CDel node.pngCDel 4.pngCDel node c1.pngCDel 3.pngCDel node c2.pngCDel 3.pngCDel node c1.pngCDel 4.pngCDel node.png
×8 CDel nodes.pngCDel split2.pngCDel node 1.pngCDel split1.pngCDel nodes.png 7, CDel nodes 11.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes 11.png 8, CDel nodes 11.pngCDel split2.pngCDel node 1.pngCDel split1.pngCDel nodes 11.png 9, CDel nodes hh.pngCDel split2.pngCDel node h.pngCDel split1.pngCDel nodes hh.png 10
[(3,3)[31,1,1,1]]
= [3,3,4,3]
CDel nodeab c1.pngCDel split2.pngCDel node c2.pngCDel split1.pngCDel nodeab c1.png
= CDel node c2.pngCDel 3.pngCDel node c1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
×24

See also[edit]

Regular and uniform honeycombs in 4-space:

Notes[edit]

  1. ^ http://www.math.rwth-aachen.de/~Gabriele.Nebe/LATTICES/F4.html
  2. ^ a b http://www.math.rwth-aachen.de/~Gabriele.Nebe/LATTICES/D4.html
  3. ^ O. R. Musin (2003). "The problem of the twenty-five spheres". Russ. Math. Surv. 58: 794–795. doi:10.1070/RM2003v058n04ABEH000651. 
  4. ^ Conway (1998), p. 119
  5. ^ Conway (1998), p. 120
  6. ^ Conway (1998), p. 466

References[edit]

  • Coxeter, H.S.M. Regular Polytopes, (3rd edition, 1973), Dover edition, ISBN 0-486-61480-8
    • pp. 154–156: Partial truncation or alternation, represented by h prefix: h{4,4} = {4,4}; h{4,3,4} = {31,1,4}, h{4,3,3,4} = {3,3,4,3}, ...
  • 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 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
  • George Olshevsky, Uniform Panoploid Tetracombs, Manuscript (2006) (Complete list of 11 convex uniform tilings, 28 convex uniform honeycombs, and 143 convex uniform tetracombs)
  • Richard Klitzing, 4D, Euclidean tesselations x3o3o4o3o - hext - O104
  • Conway JH, Sloane NJH (1998). Sphere Packings, Lattices and Groups (3rd ed.). ISBN 0-387-98585-9.