Birectified 16-cell honeycomb

From Wikipedia, the free encyclopedia
Birectified 16-cell honeycomb
(No image)
Type Uniform honeycomb
Schläfli symbol t2{3,3,4,3}
Coxeter-Dynkin diagram CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 10lu.png = CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node h1.png
CDel node.pngCDel 3.pngCDel node.pngCDel splitsplit1.pngCDel branch3 11.pngCDel node 1.png
4-face type Rectified tesseract Schlegel half-solid rectified 8-cell.png
Rectified 24-cell Schlegel half-solid cantellated 16-cell.png
Cell type Cube Hexahedron.png
Cuboctahedron Cuboctahedron.png
Tetrahedron Tetrahedron.png
Face type {3}, {4}
Vertex figure Birectified 16-cell honeycomb verf.png
{3}×{3} duoprism
Coxeter group = [3,3,4,3]
= [4,3,31,1]
= [31,1,1,1]
Dual ?
Properties vertex-transitive

In four-dimensional Euclidean geometry, the birectified 16-cell honeycomb (or runcic tesseractic honeycomb) is a uniform space-filling tessellation (or honeycomb) in Euclidean 4-space.

Symmetry constructions[]

There are 3 different symmetry constructions, all with 3-3 duoprism vertex figures. The symmetry doubles on in three possible ways, while contains the highest symmetry.

Affine Coxeter group
[3,3,4,3]

[4,3,31,1]

[31,1,1,1]
Coxeter diagram CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 10lu.png CDel node.pngCDel 3.pngCDel node.pngCDel splitsplit1.pngCDel branch3 11.pngCDel node 1.png
Vertex figure Birectified 16-cell honeycomb verf.png Birectified 16-cell honeycomb verf2.png Birectified 16-cell honeycomb verf3.png
Vertex figure
symmetry
[3,2,3]
(order 36)
[3,2]
(order 12)
[3]
(order 6)
4-faces CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.png
CDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
CDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 10lu.png
CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png
CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
CDel node.pngCDel splitsplit1.pngCDel branch3 11.pngCDel node 1.png
CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes 11.png
Cells CDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.png
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png
CDel node.pngCDel 4.pngCDel node 1.pngCDel 2.pngCDel node 1.png
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
CDel node.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.png
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png
CDel node 1.pngCDel 2.pngCDel node 1.pngCDel 2.pngCDel node 1.png
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png

Related honeycombs[]

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.

F4 honeycombs
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 ,
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 , CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.png , 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 , CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png , 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 ,
CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png 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 , CDel node.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png ,
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 , CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.png , CDel node 1.pngCDel 3.pngCDel node 1.pngCDel 4.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.png

[(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,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.

B4 honeycombs
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

There are ten uniform honeycombs constructed by the 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:

D4 honeycombs
Extended
symmetry
Extended
diagram
Extended
group
Honeycombs
[31,1,1,1] CDel nodes.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.png (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)
<2[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,3,4,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
[4[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 = ×2 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
[(3,3)[31,1,1,1]]
↔ [3,4,3,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 =
[(3,3)[31,1,1,1]]+
↔ [3+,4,3,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 = ½ CDel nodes hh.pngCDel split2.pngCDel node h.pngCDel split1.pngCDel nodes hh.png 10

See also[]

Regular and uniform honeycombs in 4-space:

Notes[]

References[]

  • 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)
  • Klitzing, Richard. "4D Euclidean tesselations". x3o3x *b3x *b3o, x3o3o *b3x4o, o3o3x4o3o - bricot - O106
Space Family / /
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
E10 Uniform 10-honeycomb {3[11]} δ11 11 11
En-1 Uniform (n-1)-honeycomb {3[n]} δn n n 1k22k1k21
Retrieved from ""