Order-4 hexagonal tiling honeycomb

Order-4 hexagonal tiling honeycomb
File:H3 634 FC boundary.png Perspective projection view within Poincaré disk model
Type	Hyperbolic regular honeycomb Paracompact uniform honeycomb
Schläfli symbols	{6,3,4} {6,31,1} t0,1{(3,6)2}
Coxeter diagrams	Template:CDD Template:CDD ↔ Template:CDD Template:CDD Template:CDD ↔ Template:CDD File:CDel K6 636 11.png ↔ Template:CDD
Cells	{6,3} File:Uniform tiling 63-t0.svg File:Uniform tiling 63-t12.svg File:Uniform tiling 333-t012.png
Faces	hexagon {6}
Edge figure	square {4}
Vertex figure	File:Order-4 hexagonal tiling honeycomb verf.png octahedron
Dual	Order-6 cubic honeycomb
Coxeter groups	${\overline{BV}}_3$, [4,3,6] ${\overline{DV}}_3$, [6,31,1] ${\widehat{VV}}_3$, [(6,3)[2]]
Properties	Regular, quasiregular

In the field of hyperbolic geometry, the order-4 hexagonal tiling honeycomb arises as one of 11 regular paracompact honeycombs in 3-dimensional hyperbolic space. It is paracompact because it has cells composed of an infinite number of faces. Each cell is a hexagonal tiling whose vertices lie on a horosphere: a flat plane in hyperbolic space that approaches a single ideal point at infinity.

The Schläfli symbol of the order-4 hexagonal tiling honeycomb is {6,3,4}. Since that of the hexagonal tiling is {6,3}, this honeycomb has four such hexagonal tilings meeting at each edge. Since the Schläfli symbol of the octahedron is {3,4}, the vertex figure of this honeycomb is an octahedron. Thus, eight hexagonal tilings meet at each vertex of this honeycomb, and the six edges meeting at each vertex lie along three orthogonal axes.

Images

File:Hyperbolic 3d order 4 hexagonal tiling.png Perspective projection	File:Order-4 hexagonal tiling honeycomb cell.png One cell, viewed from outside the Poincare sphere
File:H2 tiling 33i-7.png The vertices of a t{(3,∞,3)}, Template:CDD tiling exist as a 2-hypercycle within this honeycomb	File:Order-4 hexagonal tiling honeycomb one cell horocycle.png The honeycomb is analogous to the H2 order-4 apeirogonal tiling, {∞,4}, shown here with one green apeirogon outlined by its horocycle

Symmetry

File:Hyperbolic subgroup tree 36.png

Subgroup relations

The order-4 hexagonal tiling honeycomb has three reflective simplex symmetry constructions.

The half-symmetry uniform construction {6,3^1,1} has two types (colors) of hexagonal tilings, with Coxeter diagram Template:CDD ↔ Template:CDD. A quarter-symmetry construction also exists, with four colors of hexagonal tilings: Template:CDD.

An additional two reflective symmetries exist with non-simplectic fundamental domains: [6,3^*,4], which is index 6, with Coxeter diagram Template:CDD; and [6,(3,4)^*], which is index 48. The latter has a cubic fundamental domain, and an octahedral Coxeter diagram with three axial infinite branches: File:CDel K6 636 11.png. It can be seen as using eight colors to color the hexagonal tilings of the honeycomb.

The order-4 hexagonal tiling honeycomb contains Template:CDD, which tile 2-hypercycle surfaces and are similar to the truncated infinite-order triangular tiling, Template:CDD:

File:H2 tiling 23i-6.png

Related polytopes and honeycombs

The order-4 hexagonal tiling honeycomb is a regular hyperbolic honeycomb in 3-space, and one of 11 which are paracompact. Template:Regular paracompact H3 honeycombs

There are fifteen uniform honeycombs in the [6,3,4] Coxeter group family, including this regular form, and its dual, the order-6 cubic honeycomb. Template:634 family

The order-4 hexagonal tiling honeycomb has a related alternated honeycomb, Template:CDD ↔ Template:CDD, with triangular tiling and octahedron cells.

It is a part of sequence of regular honeycombs of the form {6,3,p}, all of which are composed of hexagonal tiling cells: Template:Hexagonal tiling cell tessellations

This honeycomb is also related to the 16-cell, cubic honeycomb and order-4 dodecahedral honeycomb, all of which have octahedral vertex figures. Template:Octahedral vertex figure tessellations

The aforementioned honeycombs are also quasiregular:

Regular and Quasiregular honeycombs: {p,3,4} and {p,31,1}
Space	Euclidean 4-space	Euclidean 3-space	Hyperbolic 3-space
Name	{3,3,4} {3,31,1} = $\{3,\genfrac{}{}{0ex}{}{3}{3}\}$	{4,3,4} {4,31,1} = $\{4,\genfrac{}{}{0ex}{}{3}{3}\}$	{5,3,4} {5,31,1} = $\{5,\genfrac{}{}{0ex}{}{3}{3}\}$	{6,3,4} {6,31,1} = $\{6,\genfrac{}{}{0ex}{}{3}{3}\}$
Coxeter diagram	Template:CDD = Template:CDD	Template:CDD = Template:CDD	Template:CDD = Template:CDD	Template:CDD = Template:CDD
Image	File:16-cell nets.png	File:Bicolor cubic honeycomb.png	Error creating thumbnail:	File:H3 634 FC boundary.png
Cells {p,3}	Error creating thumbnail: Template:CDD	File:Uniform polyhedron-43-t0.png Template:CDD	Error creating thumbnail: Template:CDD	File:Uniform polyhedron-63-t0.png Template:CDD

Rectified order-4 hexagonal tiling honeycomb

Rectified order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbols	r{6,3,4} or t1{6,3,4}
Coxeter diagrams	Template:CDD Template:CDD ↔ Template:CDD Template:CDD ↔ Template:CDD Template:CDD ↔ Template:CDD
Cells	{3,4} File:Uniform polyhedron-43-t2.png r{6,3} File:Uniform tiling 63-t1.png
Faces	triangle {3} hexagon {6}
Vertex figure	File:Rectified order-4 hexagonal tiling honeycomb verf.png square prism
Coxeter groups	${\overline{BV}}_3$, [4,3,6] ${\overline{BP}}_3$, [4,3[3]] ${\overline{DV}}_3$, [6,31,1] ${\overline{DP}}_3$, [3[]×[]]
Properties	Vertex-transitive, edge-transitive

The rectified order-4 hexagonal tiling honeycomb, t₁{6,3,4}, Template:CDD has octahedral and trihexagonal tiling facets, with a square prism vertex figure.

Error creating thumbnail:

It is similar to the 2D hyperbolic tetraapeirogonal tiling, r{∞,4}, Template:CDD which alternates apeirogonal and square faces:

Error creating thumbnail:

Truncated order-4 hexagonal tiling honeycomb

Truncated order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbol	t{6,3,4} or t0,1{6,3,4}
Coxeter diagram	Template:CDD Template:CDD ↔ Template:CDD
Cells	{3,4} File:Uniform polyhedron-43-t2.png t{6,3} File:Uniform tiling 63-t01.png
Faces	triangle {3} dodecagon {12}
Vertex figure	square pyramid
Coxeter groups	${\overline{BV}}_3$, [4,3,6] ${\overline{DV}}_3$, [6,31,1]
Properties	Vertex-transitive

The truncated order-4 hexagonal tiling honeycomb, t_0,1{6,3,4}, Template:CDD has octahedron and truncated hexagonal tiling facets, with a square pyramid vertex figure.

File:H3 634-1100.png

It is similar to the 2D hyperbolic truncated order-4 apeirogonal tiling, t{∞,4}, Template:CDD with apeirogonal and square faces:

Error creating thumbnail:

Bitruncated order-4 hexagonal tiling honeycomb

Bitruncated order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbol	2t{6,3,4} or t1,2{6,3,4}
Coxeter diagram	Template:CDD Template:CDD ↔ Template:CDD Template:CDD ↔ Template:CDD Template:CDD ↔ Template:CDD
Cells	t{4,3} Error creating thumbnail: t{3,6} File:Uniform tiling 63-t12.svg
Faces	square {4} hexagon {6}
Vertex figure	digonal disphenoid
Coxeter groups	${\overline{BV}}_3$, [4,3,6] ${\overline{BP}}_3$, [4,3[3]] ${\overline{DV}}_3$, [6,31,1] ${\overline{DP}}_3$, [3[]×[]]
Properties	Vertex-transitive

The bitruncated order-4 hexagonal tiling honeycomb, t_1,2{6,3,4}, Template:CDD has truncated octahedron and hexagonal tiling cells, with a digonal disphenoid vertex figure.

File:H3 634-0110.png

Cantellated order-4 hexagonal tiling honeycomb

Cantellated order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbol	rr{6,3,4} or t0,2{6,3,4}
Coxeter diagram	Template:CDD Template:CDD ↔ Template:CDD
Cells	r{3,4} File:Uniform polyhedron-43-t1.svg {}x{4} File:Tetragonal prism.png rr{6,3} Error creating thumbnail:
Faces	triangle {3} square {4} hexagon {6}
Vertex figure	wedge
Coxeter groups	${\overline{BV}}_3$, [4,3,6] ${\overline{DV}}_3$, [6,31,1]
Properties	Vertex-transitive

The cantellated order-4 hexagonal tiling honeycomb, t_0,2{6,3,4}, Template:CDD has cuboctahedron, cube, and rhombitrihexagonal tiling cells, with a wedge vertex figure.

Error creating thumbnail:

Cantitruncated order-4 hexagonal tiling honeycomb

Cantitruncated order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbol	tr{6,3,4} or t0,1,2{6,3,4}
Coxeter diagram	Template:CDD Template:CDD ↔ Template:CDD
Cells	t{3,4} Error creating thumbnail: {}x{4} File:Tetragonal prism.png tr{6,3} File:Uniform tiling 63-t012.png
Faces	square {4} hexagon {6} dodecagon {12}
Vertex figure	File:Cantitruncated order-4 hexagonal tiling honeycomb verf.png mirrored sphenoid
Coxeter groups	${\overline{BV}}_3$, [4,3,6] ${\overline{DV}}_3$, [6,31,1]
Properties	Vertex-transitive

The cantitruncated order-4 hexagonal tiling honeycomb, t_0,1,2{6,3,4}, Template:CDD has truncated octahedron, cube, and truncated trihexagonal tiling cells, with a mirrored sphenoid vertex figure.

File:H3 634-1110.png

Runcinated order-4 hexagonal tiling honeycomb

Runcinated order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbol	t0,3{6,3,4}
Coxeter diagram	Template:CDD Template:CDD ↔ Template:CDD
Cells	{4,3} File:Uniform polyhedron-43-t0.png {}x{4} File:Tetragonal prism.png {6,3} File:Uniform tiling 63-t0.svg {}x{6} File:Hexagonal prism.png
Faces	square {4} hexagon {6}
Vertex figure	File:Runcinated order-4 hexagonal tiling honeycomb verf.png irregular triangular antiprism
Coxeter groups	${\overline{BV}}_3$, [4,3,6]
Properties	Vertex-transitive

The runcinated order-4 hexagonal tiling honeycomb, t_0,3{6,3,4}, Template:CDD has cube, hexagonal tiling and hexagonal prism cells, with an irregular triangular antiprism vertex figure.

Error creating thumbnail:

It contains the 2D hyperbolic rhombitetrahexagonal tiling, rr{4,6}, Template:CDD with square and hexagonal faces. The tiling also has a half symmetry construction Template:CDD.

File:H2 tiling 246-5.png
Template:CDD	Template:CDD = Template:CDD

Runcitruncated order-4 hexagonal tiling honeycomb

Runcitruncated order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbol	t0,1,3{6,3,4}
Coxeter diagram	Template:CDD
Cells	rr{3,4} File:Uniform polyhedron-43-t02.png {}x{4} File:Tetragonal prism.png {}x{12} t{6,3} File:Uniform tiling 63-t01.png
Faces	triangle {3} square {4} dodecagon {12}
Vertex figure	File:Runcitruncated order-4 hexagonal tiling honeycomb verf.png isosceles-trapezoidal pyramid
Coxeter groups	${\overline{BV}}_3$, [4,3,6]
Properties	Vertex-transitive

The runcitruncated order-4 hexagonal tiling honeycomb, t_0,1,3{6,3,4}, Template:CDD has rhombicuboctahedron, cube, dodecagonal prism, and truncated hexagonal tiling cells, with an isosceles-trapezoidal pyramid vertex figure.

Error creating thumbnail:

Runcicantellated order-4 hexagonal tiling honeycomb

The runcicantellated order-4 hexagonal tiling honeycomb is the same as the runcitruncated order-6 cubic honeycomb.

Omnitruncated order-4 hexagonal tiling honeycomb

Omnitruncated order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbol	t0,1,2,3{6,3,4}
Coxeter diagram	Template:CDD
Cells	tr{4,3} File:Uniform polyhedron-43-t012.png tr{6,3} File:Uniform tiling 63-t012.svg {}x{12} {}x{8}
Faces	square {4} hexagon {6} octagon {8} dodecagon {12}
Vertex figure	File:Omnitruncated order-4 hexagonal tiling honeycomb verf.png irregular tetrahedron
Coxeter groups	${\overline{BV}}_3$, [4,3,6]
Properties	Vertex-transitive

The omnitruncated order-4 hexagonal tiling honeycomb, t_0,1,2,3{6,3,4}, Template:CDD has truncated cuboctahedron, truncated trihexagonal tiling, dodecagonal prism, and octagonal prism cells, with an irregular tetrahedron vertex figure.

Error creating thumbnail:

Alternated order-4 hexagonal tiling honeycomb

Alternated order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb Semiregular honeycomb
Schläfli symbols	h{6,3,4}
Coxeter diagrams	Template:CDD ↔ Template:CDD
Cells	{3[3]} Error creating thumbnail: {3,4} File:Uniform polyhedron-43-t2.svg
Faces	triangle {3}
Vertex figure	truncated octahedron
Coxeter groups	${\overline{BP}}_3$, [4,3[3]]
Properties	Vertex-transitive, edge-transitive, quasiregular

The alternated order-4 hexagonal tiling honeycomb, Template:CDD ↔ Template:CDD, is composed of triangular tiling and octahedron cells, in a truncated octahedron vertex figure. Template:Clear

Cantic order-4 hexagonal tiling honeycomb

Cantic order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbols	h2{6,3,4}
Coxeter diagrams	Template:CDD ↔ Template:CDD
Cells	h2{6,3} t{3,4} Error creating thumbnail: r{3,4} File:Uniform polyhedron-43-t1.svg
Faces	triangle {3} square {4} hexagon {6}
Vertex figure	File:Cantic order-4 hexagonal tiling honeycomb verf.png wedge
Coxeter groups	${\overline{BP}}_3$, [4,3[3]]
Properties	Vertex-transitive

The cantic order-4 hexagonal tiling honeycomb, Template:CDD ↔ Template:CDD, is composed of trihexagonal tiling, truncated octahedron, and cuboctahedron cells, with a wedge vertex figure. Template:Clear

Runcic order-4 hexagonal tiling honeycomb

Runcic order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbols	h3{6,3,4}
Coxeter diagrams	Template:CDD ↔ Template:CDD
Cells	{3[3]} Error creating thumbnail: rr{3,4} File:Uniform polyhedron-43-t02.png {4,3} File:Uniform polyhedron-43-t0.svg {}x{3} Error creating thumbnail:
Faces	triangle {3} square {4}
Vertex figure	File:Runcic order-4 hexagonal tiling honeycomb verf.png triangular cupola
Coxeter groups	${\overline{BP}}_3$, [4,3[3]]
Properties	Vertex-transitive

The runcic order-4 hexagonal tiling honeycomb, Template:CDD ↔ Template:CDD, is composed of triangular tiling, rhombicuboctahedron, cube, and triangular prism cells, with a triangular cupola vertex figure. Template:Clear

Runcicantic order-4 hexagonal tiling honeycomb

Runcicantic order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbols	h2,3{6,3,4}
Coxeter diagrams	Template:CDD ↔ Template:CDD
Cells	h2{6,3} tr{3,4} File:Uniform polyhedron-43-t012.png t{4,3} {}x{3}
Faces	triangle {3} square {4} hexagon {6} octagon {8}
Vertex figure	File:Runcicantic order-4 hexagonal tiling honeycomb verf.png rectangular pyramid
Coxeter groups	${\overline{BP}}_3$, [4,3[3]]
Properties	Vertex-transitive

The runcicantic order-4 hexagonal tiling honeycomb, Template:CDD ↔ Template:CDD, is composed of trihexagonal tiling, truncated cuboctahedron, truncated cube, and triangular prism cells, with a rectangular pyramid vertex figure. Template:Clear

Quarter order-4 hexagonal tiling honeycomb

Quarter order-4 hexagonal tiling honeycomb
Type	Paracompact uniform honeycomb
Schläfli symbol	q{6,3,4}
Coxeter diagram	Template:CDD ↔ Template:CDD
Cells	{3[3]} Error creating thumbnail: {3,3} Error creating thumbnail: t{3,3} h2{6,3} Error creating thumbnail:
Faces	triangle {3} hexagon {6}
Vertex figure	File:Paracompact honeycomb DP3 1100 verf.png triangular cupola
Coxeter groups	${\overline{DP}}_3$, [3[]x[]]
Properties	Vertex-transitive

The quarter order-4 hexagonal tiling honeycomb, q{6,3,4}, Template:CDD or Template:CDD, is composed of triangular tiling, trihexagonal tiling, tetrahedron, and truncated tetrahedron cells, with a triangular cupola vertex figure. Template:Clear

See also

• Convex uniform honeycombs in hyperbolic space
• Regular tessellations of hyperbolic 3-space
• Paracompact uniform honeycombs

References

• Coxeter, Regular Polytopes, 3rd. ed., Dover Publications, 1973. Template:Isbn. (Tables I and II: Regular polytopes and honeycombs, pp. 294–296)
• The Beauty of Geometry: Twelve Essays (1999), Dover Publications, Template:LCCN, Template:Isbn (Chapter 10, Regular Honeycombs in Hyperbolic Space) Table III
• Jeffrey R. Weeks The Shape of Space, 2nd edition Template:Isbn (Chapter 16-17: Geometries on Three-manifolds I, II)
• Norman Johnson Uniform Polytopes, Manuscript
  • N.W. Johnson: The Theory of Uniform Polytopes and Honeycombs, Ph.D. Dissertation, University of Toronto, 1966
  • N.W. Johnson: Geometries and Transformations, (2018) Chapter 13: Hyperbolic Coxeter groups