Order-4 octahedral honeycomb explained

bgcolor=#e7dcc3 colspan=2Order-4 octahedral honeycomb
bgcolor=#ffffff align=center colspan=2
Perspective projection view
within Poincaré disk model
TypeHyperbolic regular honeycomb
Paracompact uniform honeycomb
Schläfli symbols
Coxeter diagrams


Cells
Faces
Edge figure
Vertex figuresquare tiling,
DualSquare tiling honeycomb,
Coxeter groups

\overline{R}3

, [3,4,4]

\overline{O}3

, [3,4<sup>1,1</sup>]
PropertiesRegular
The order-4 octahedral honeycomb is a regular paracompact honeycomb in hyperbolic 3-space. It is paracompact because it has infinite vertex figures, with all vertices as ideal points at infinity. Given by Schläfli symbol, it has four ideal octahedra around each edge, and infinite octahedra around each vertex in a square tiling vertex figure.[1]

Symmetry

A half symmetry construction, [3,4,4,1<sup>+</sup>], exists as, with two alternating types (colors) of octahedral cells: ↔ .

A second half symmetry is [3,4,1<sup>+</sup>,4]: ↔ .

A higher index sub-symmetry, [3,4,4<sup>*</sup>], which is index 8, exists with a pyramidal fundamental domain, [((3,∞,3)),((3,∞,3))]: .

This honeycomb contains and that tile 2-hypercycle surfaces, which are similar to the paracompact infinite-order triangular tilings and, respectively:

Related polytopes and honeycombs

The order-4 octahedral honeycomb is a regular hyperbolic honeycomb in 3-space, and is one of eleven regular paracompact honeycombs.

There are fifteen uniform honeycombs in the [3,4,4] Coxeter group family, including this regular form.

It is a part of a sequence of honeycombs with a square tiling vertex figure:

It a part of a sequence of regular polychora and honeycombs with octahedral cells:

Rectified order-4 octahedral honeycomb

bgcolor=#e7dcc3 colspan=2Rectified order-4 octahedral honeycomb
TypeParacompact uniform honeycomb
Schläfli symbolsr or t1
Coxeter diagrams


Cellsr
Faces
Vertex figure
square prism
Coxeter groups

\overline{R}3

, [3,4,4]

\overline{O}3

, [3,4<sup>1,1</sup>]
PropertiesVertex-transitive, edge-transitive
The rectified order-4 octahedral honeycomb, t1, has cuboctahedron and square tiling facets, with a square prism vertex figure.

Truncated order-4 octahedral honeycomb

bgcolor=#e7dcc3 colspan=2Truncated order-4 octahedral honeycomb
TypeParacompact uniform honeycomb
Schläfli symbolst or t0,1
Coxeter diagrams


Cellst
Faces
Vertex figure
square pyramid
Coxeter groups

\overline{R}3

, [3,4,4]

\overline{O}3

, [3,4<sup>1,1</sup>]
PropertiesVertex-transitive
The truncated order-4 octahedral honeycomb, t0,1, has truncated octahedron and square tiling facets, with a square pyramid vertex figure.

Bitruncated order-4 octahedral honeycomb

The bitruncated order-4 octahedral honeycomb is the same as the bitruncated square tiling honeycomb.

Cantellated order-4 octahedral honeycomb

bgcolor=#e7dcc3 colspan=2Cantellated order-4 octahedral honeycomb
TypeParacompact uniform honeycomb
Schläfli symbolsrr or t0,2
s2
Coxeter diagrams

Cells
Faces
Vertex figure
wedge
Coxeter groups

\overline{R}3

, [3,4,4]

\overline{O}3

, [3,4<sup>1,1</sup>]
PropertiesVertex-transitive
The cantellated order-4 octahedral honeycomb, t0,2, has rhombicuboctahedron, cube, and square tiling facets, with a wedge vertex figure.

Cantitruncated order-4 octahedral honeycomb

bgcolor=#e7dcc3 colspan=2Cantitruncated order-4 octahedral honeycomb
TypeParacompact uniform honeycomb
Schläfli symbolstr or t0,1,2
Coxeter diagrams
Cells
Faces
Vertex figure
mirrored sphenoid
Coxeter groups

\overline{R}3

, [3,4,4]

\overline{O}3

, [3,4<sup>1,1</sup>]
PropertiesVertex-transitive
The cantitruncated order-4 octahedral honeycomb, t0,1,2, has truncated cuboctahedron, cube, and truncated square tiling facets, with a mirrored sphenoid vertex figure.

Runcinated order-4 octahedral honeycomb

The runcinated order-4 octahedral honeycomb is the same as the runcinated square tiling honeycomb.

Runcitruncated order-4 octahedral honeycomb

bgcolor=#e7dcc3 colspan=2Runcitruncated order-4 octahedral honeycomb
TypeParacompact uniform honeycomb
Schläfli symbolst0,1,3
Coxeter diagrams
Cells
Faces
Vertex figure
square pyramid
Coxeter groups

\overline{R}3

, [3,4,4]
PropertiesVertex-transitive
The runcitruncated order-4 octahedral honeycomb, t0,1,3, has truncated octahedron, hexagonal prism, and square tiling facets, with a square pyramid vertex figure.

Runcicantellated order-4 octahedral honeycomb

The runcicantellated order-4 octahedral honeycomb is the same as the runcitruncated square tiling honeycomb.

Omnitruncated order-4 octahedral honeycomb

The omnitruncated order-4 octahedral honeycomb is the same as the omnitruncated square tiling honeycomb.

Snub order-4 octahedral honeycomb

bgcolor=#e7dcc3 colspan=2Snub order-4 octahedral honeycomb
TypeParacompact scaliform honeycomb
Schläfli symbolss
Coxeter diagrams



Cellssquare tiling
icosahedron
square pyramid
Faces
Vertex figure
Coxeter groups[4,4,3<sup>+</sup>]
[4<sup>1,1</sup>,3<sup>+</sup>]
[(4,4,(3,3)<sup>+</sup>)]
PropertiesVertex-transitive
The snub order-4 octahedral honeycomb, s, has Coxeter diagram . It is a scaliform honeycomb, with square pyramid, square tiling, and icosahedron facets.

See also

References

Notes and References

  1. Coxeter The Beauty of Geometry, 1999, Chapter 10, Table III