Convex uniform honeycomb

• 1900: Thorold Gosset enumerated the list of semiregular convex polytopes with regular cells (Platonic solids) in his publication On the Regular and Semi-Regular Figures in Space of n Dimensions, including one regular cubic honeycomb, and two semiregular forms with tetrahedra and octahedra.
• 1905: Alfredo Andreini enumerated 25 of these tessellations.
• 1991: Norman Johnson's manuscript Uniform Polytopes identified the list of 28.[1]
• 1994: Branko Grünbaum, in his paper Uniform tilings of 3-space, also independently enumerated all 28, after discovering errors in Andreini's publication. He found the 1905 paper, which listed 25, had 1 wrong, and 4 being missing. Grünbaum states in this paper that Norman Johnson deserves priority for achieving the same enumeration in 1991. He also mentions that I. Alexeyev of Russia had contacted him regarding a putative enumeration of these forms, but that Grünbaum was unable to verify this at the time.
• 2006: George Olshevsky, in his manuscript Uniform Panoploid Tetracombs, along with repeating the derived list of 11 convex uniform tilings, and 28 convex uniform honeycombs, expands a further derived list of 143 convex uniform tetracombs (Honeycombs of uniform 4-polytopes in 4-space).[2][1]

Only 14 of the convex uniform polyhedra appear in these patterns:

• three of the five Platonic solids (the tetrahedron, cube, and octahedron),
• six of the thirteen Archimedean solids (the ones with reflective tetrahedral or octahedral symmetry), and
• five of the infinite family of prisms (the 3-, 4-, 6-, 8-, and 12-gonal ones; the 4-gonal prism duplicates the cube).

The icosahedron, snub cube, and square antiprism appear in some alternations, but those honeycombs cannot be realised with all edges unit length.

Fundamental domains in a cubic element of three groups.

Family correspondences

The fundamental infinite Coxeter groups for 3-space are:

1. The ${\displaystyle {\tilde {C}}_{3}}$, [4,3,4], cubic, (8 unique forms plus one alternation)
2. The ${\displaystyle {\tilde {B}}_{3}}$, [4,3^1,1], alternated cubic, (11 forms, 3 new)
3. The ${\displaystyle {\tilde {A}}_{3}}$ cyclic group, [(3,3,3,3)] or [3^[4]], (5 forms, one new)

There is a correspondence between all three families. Removing one mirror from ${\displaystyle {\tilde {C}}_{3}}$ produces ${\displaystyle {\tilde {B}}_{3}}$, and removing one mirror from ${\displaystyle {\tilde {B}}_{3}}$ produces ${\displaystyle {\tilde {A}}_{3}}$. This allows multiple constructions of the same honeycombs. If cells are colored based on unique positions within each Wythoff construction, these different symmetries can be shown.

In addition there are 5 special honeycombs which don't have pure reflectional symmetry and are constructed from reflectional forms with elongation and gyration operations.

The total unique honeycombs above are 18.

The prismatic stacks from infinite Coxeter groups for 3-space are:

1. The ${\displaystyle {\tilde {C}}_{2}}$×${\displaystyle {\tilde {I}}_{1}}$, [4,4,2,∞] prismatic group, (2 new forms)
2. The ${\displaystyle {\tilde {G}}_{2}}$×${\displaystyle {\tilde {I}}_{1}}$, [6,3,2,∞] prismatic group, (7 unique forms)
3. The ${\displaystyle {\tilde {A}}_{2}}$×${\displaystyle {\tilde {I}}_{1}}$, [(3,3,3),2,∞] prismatic group, (No new forms)
4. The ${\displaystyle {\tilde {I}}_{1}}$×${\displaystyle {\tilde {I}}_{1}}$×${\displaystyle {\tilde {I}}_{1}}$, [∞,2,∞,2,∞] prismatic group, (These all become a cubic honeycomb)

In addition there is one special elongated form of the triangular prismatic honeycomb.

The total unique prismatic honeycombs above (excluding the cubic counted previously) are 10.

Combining these counts, 18 and 10 gives us the total 28 uniform honeycombs.

The C̃₃, [4,3,4] group (cubic)

The regular cubic honeycomb, represented by Schläfli symbol {4,3,4}, offers seven unique derived uniform honeycombs via truncation operations. (One redundant form, the runcinated cubic honeycomb, is included for completeness though identical to the cubic honeycomb.) The reflectional symmetry is the affine Coxeter group [4,3,4]. There are four index 2 subgroups that generate alternations: [1⁺,4,3,4], [(4,3,4,2⁺)], [4,3⁺,4], and [4,3,4]⁺, with the first two generated repeated forms, and the last two are nonuniform.

C3 honeycombs
Space group	Fibrifold	Extended symmetry	Extended diagram	Order	Honeycombs
Pm3m (221)	4−:2	[4,3,4]		×1	1, 2, 3, 4, 5, 6
Fm3m (225)	2−:2	[1+,4,3,4] ↔ [4,31,1]	↔	Half	7, 11, 12, 13
I43m (217)	4o:2	[[(4,3,4,2+)]]		Half × 2	(7),
Fd3m (227)	2+:2	[[1+,4,3,4,1+]] ↔ [[3[4]]]	↔	Quarter × 2	10,
Im3m (229)	8o:2	[[4,3,4]]		×2	(1), 8, 9

[4,3,4], space group Pm3m (221)

Reference Indices	Honeycomb name Coxeter diagram and Schläfli symbol	Cell counts/vertex and positions in cubic honeycomb						Frames (Perspective)	Vertex figure	Dual cell
		(0)	(1)	(2)	(3)	Alt	Solids (Partial)
J11,15 A1 W1 G22 δ4	cubic (chon) t0{4,3,4} {4,3,4}				(8) (4.4.4)				octahedron	Cube,
J12,32 A15 W14 G7 O1	rectified cubic (rich) t1{4,3,4} r{4,3,4}	(2) (3.3.3.3)			(4) (3.4.3.4)				cuboid	Square bipyramid
J13 A14 W15 G8 t1δ4 O15	truncated cubic (tich) t0,1{4,3,4} t{4,3,4}	(1) (3.3.3.3)			(4) (3.8.8)				square pyramid	Isosceles square pyramid
J14 A17 W12 G9 t0,2δ4 O14	cantellated cubic (srich) t0,2{4,3,4} rr{4,3,4}	(1) (3.4.3.4)	(2) (4.4.4)		(2) (3.4.4.4)				oblique triangular prism	Triangular bipyramid
J17 A18 W13 G25 t0,1,2δ4 O17	cantitruncated cubic (grich) t0,1,2{4,3,4} tr{4,3,4}	(1) (4.6.6)	(1) (4.4.4)		(2) (4.6.8)				irregular tetrahedron	Triangular pyramidille
J18 A19 W19 G20 t0,1,3δ4 O19	runcitruncated cubic (prich) t0,1,3{4,3,4}	(1) (3.4.4.4)	(1) (4.4.4)	(2) (4.4.8)	(1) (3.8.8)				oblique trapezoidal pyramid	Square quarter pyramidille
J21,31,51 A2 W9 G1 hδ4 O21	alternated cubic (octet) h{4,3,4}				(8) (3.3.3)	(6) (3.3.3.3)			cuboctahedron	Dodecahedrille
J22,34 A21 W17 G10 h2δ4 O25	Cantic cubic (tatoh) ↔	(1) (3.4.3.4)			(2) (3.6.6)	(2) (4.6.6)			rectangular pyramid	Half oblate octahedrille
J23 A16 W11 G5 h3δ4 O26	Runcic cubic (sratoh) ↔	(1) (4.4.4)			(1) (3.3.3)	(3) (3.4.4.4)			tapered triangular prism	Quarter cubille
J24 A20 W16 G21 h2,3δ4 O28	Runcicantic cubic (gratoh) ↔	(1) (3.8.8)			(1) (3.6.6)	(2) (4.6.8)			Irregular tetrahedron	Half pyramidille
Nonuniformb	snub rectified cubic (serch) sr{4,3,4}	(1) (3.3.3.3.3)	(1) (3.3.3)		(2) (3.3.3.3.4)	(4) (3.3.3)			Irr. tridiminished icosahedron
Nonuniform	Cantic snub cubic (casch) 2s0{4,3,4}	(1) (3.3.3.3.3)			(2) (3.4.4.4)	(3) (3.4.4)
Nonuniform	Runcicantic snub cubic (rusch)	(1) (3.4.3.4)	(2) (4.4.4)	(1) (3.3.3)	(1) (3.6.6)	(3) Tricup
Nonuniform	Runcic cantitruncated cubic (esch) sr3{4,3,4}	(1) (3.3.3.3.4)	(1) (4.4.4)	(1) (4.4.4)	(1) (3.4.4.4)	(3) (3.4.4)

[[4,3,4]] honeycombs, space group Im3m (229)

Reference Indices	Honeycomb name Coxeter diagram and Schläfli symbol	Cell counts/vertex and positions in cubic honeycomb			Solids (Partial)	Frames (Perspective)	Vertex figure	Dual cell
		(0,3)	(1,2)	Alt
J11,15 A1 W1 G22 δ4 O1	runcinated cubic (same as regular cubic) (chon) t0,3{4,3,4}	(2) (4.4.4)	(6) (4.4.4)				octahedron	Cube
J16 A3 W2 G28 t1,2δ4 O16	bitruncated cubic (batch) t1,2{4,3,4} 2t{4,3,4}	(4) (4.6.6)					(disphenoid)	Oblate tetrahedrille
J19 A22 W18 G27 t0,1,2,3δ4 O20	omnitruncated cubic (gippich) t0,1,2,3{4,3,4}	(2) (4.6.8)	(2) (4.4.8)				irregular tetrahedron	Eighth pyramidille
J21,31,51 A2 W9 G1 hδ4 O27	Quarter cubic honeycomb (batatoh) ht0ht3{4,3,4}	(2) (3.3.3)	(6) (3.6.6)				elongated triangular antiprism	Oblate cubille
J21,31,51 A2 W9 G1 hδ4 O21	Alternated runcinated cubic (octet) (same as alternated cubic) ht0,3{4,3,4}	(2) (3.3.3)	(6) (3.3.3)	(6) (3.3.3.3)			cuboctahedron
Nonuniform	Biorthosnub cubic honeycomb (gabreth) 2s0,3{(4,2,4,3)}	(2) (4.6.6)	(2) (4.4.4)	(2) (4.4.6)
Nonuniforma	Alternated bitruncated cubic (bisch) h2t{4,3,4}	(4) (3.3.3.3.3)		(4) (3.3.3)
Nonuniform	Cantic bisnub cubic (cabisch) 2s0,3{4,3,4}	(2) (3.4.4.4)	(2) (4.4.4)	(2) (4.4.4)
Nonuniformc	Alternated omnitruncated cubic (snich) ht0,1,2,3{4,3,4}	(2) (3.3.3.3.4)	(2) (3.3.3.4)	(4) (3.3.3)

B̃₃, [4,3^1,1] group

The ${\displaystyle {\tilde {B}}_{3}}$, [4,3] group offers 11 derived forms via truncation operations, four being unique uniform honeycombs. There are 3 index 2 subgroups that generate alternations: [1⁺,4,3^1,1], [4,(3^1,1)⁺], and [4,3^1,1]⁺. The first generates repeated honeycomb, and the last two are nonuniform but included for completeness.

The honeycombs from this group are called alternated cubic because the first form can be seen as a cubic honeycomb with alternate vertices removed, reducing cubic cells to tetrahedra and creating octahedron cells in the gaps.

Nodes are indexed left to right as 0,1,0',3 with 0' being below and interchangeable with 0. The alternate cubic names given are based on this ordering.

B3 honeycombs
Space group	Fibrifold	Extended symmetry	Extended diagram	Order	Honeycombs
Fm3m (225)	2−:2	[4,31,1] ↔ [4,3,4,1+]	↔	×1	1, 2, 3, 4
Fm3m (225)	2−:2	<[1+,4,31,1]> ↔ <[3[4]]>	↔	×2	(1), (3)
Pm3m (221)	4−:2	<[4,31,1]>		×2	5, 6, 7, (6), 9, 10, 11

[4,3^1,1] uniform honeycombs, space group Fm3m (225)

Referenced indices	Honeycomb name Coxeter diagrams	Cells by location (and count around each vertex)				Solids (Partial)	Frames (Perspective)	vertex figure
		(0)	(1)	(0')	(3)
J21,31,51 A2 W9 G1 hδ4 O21	Alternated cubic (octet) ↔			(6) (3.3.3.3)	(8) (3.3.3)			cuboctahedron
J22,34 A21 W17 G10 h2δ4 O25	Cantic cubic (tatoh) ↔	(1) (3.4.3.4)		(2) (4.6.6)	(2) (3.6.6)			rectangular pyramid
J23 A16 W11 G5 h3δ4 O26	Runcic cubic (sratoh) ↔	(1) cube		(3) (3.4.4.4)	(1) (3.3.3)			tapered triangular prism
J24 A20 W16 G21 h2,3δ4 O28	Runcicantic cubic (gratoh) ↔	(1) (3.8.8)		(2) (4.6.8)	(1) (3.6.6)			Irregular tetrahedron

<[4,3^1,1]> uniform honeycombs, space group Pm3m (221)

Referenced indices	Honeycomb name Coxeter diagrams ↔	Cells by location (and count around each vertex)				Solids (Partial)	Frames (Perspective)	vertex figure
		(0,0')	(1)	(3)	Alt
J11,15 A1 W1 G22 δ4 O1	Cubic (chon) ↔	(8) (4.4.4)						octahedron
J12,32 A15 W14 G7 t1δ4 O15	Rectified cubic (rich) ↔	(4) (3.4.3.4)		(2) (3.3.3.3)				cuboid
	Rectified cubic (rich) ↔	(2) (3.3.3.3)		(4) (3.4.3.4)				cuboid
J13 A14 W15 G8 t0,1δ4 O14	Truncated cubic (tich) ↔	(4) (3.8.8)		(1) (3.3.3.3)				square pyramid
J14 A17 W12 G9 t0,2δ4 O17	Cantellated cubic (srich) ↔	(2) (3.4.4.4)	(2) (4.4.4)	(1) (3.4.3.4)				obilique triangular prism
J16 A3 W2 G28 t0,2δ4 O16	Bitruncated cubic (batch) ↔	(2) (4.6.6)		(2) (4.6.6)				isosceles tetrahedron
J17 A18 W13 G25 t0,1,2δ4 O18	Cantitruncated cubic (grich) ↔	(2) (4.6.8)	(1) (4.4.4)	(1) (4.6.6)				irregular tetrahedron
J21,31,51 A2 W9 G1 hδ4 O21	Alternated cubic (octet) ↔	(8) (3.3.3)			(6) (3.3.3.3)			cuboctahedron
J22,34 A21 W17 G10 h2δ4 O25	Cantic cubic (tatoh) ↔	(2) (3.6.6)		(1) (3.4.3.4)	(2) (4.6.6)			rectangular pyramid
Nonuniforma	Alternated bitruncated cubic (bisch) ↔	(2) (3.3.3.3.3)		(2) (3.3.3.3.3)	(4) (3.3.3)
Nonuniformb	Alternated cantitruncated cubic (serch) ↔	(2) (3.3.3.3.4)	(1) (3.3.3)	(1) (3.3.3.3.3)	(4) (3.3.3)			Irr. tridiminished icosahedron

Ã₃, [3^[4]] group

There are 5 forms[3] constructed from the ${\displaystyle {\tilde {A}}_{3}}$, [3^[4]] Coxeter group, of which only the quarter cubic honeycomb is unique. There is one index 2 subgroup [3^[4]]⁺ which generates the snub form, which is not uniform, but included for completeness.

A3 honeycombs
Space group	Fibrifold	Square symmetry	Extended symmetry	Extended diagram	Extended group	Honeycomb diagrams
F43m (216)	1o:2	a1	[3[4]]		${\displaystyle {\tilde {A}}_{3}}$	(None)
Fm3m (225)	2−:2	d2	<[3[4]]> ↔ [4,31,1]	↔	${\displaystyle {\tilde {A}}_{3}}$×21 ↔ ${\displaystyle {\tilde {B}}_{3}}$	1, 2
Fd3m (227)	2+:2	g2	[[3[4]]] or [2+[3[4]]]	↔	${\displaystyle {\tilde {A}}_{3}}$×22	3
Pm3m (221)	4−:2	d4	<2[3[4]]> ↔ [4,3,4]	↔	${\displaystyle {\tilde {A}}_{3}}$×41 ↔ ${\displaystyle {\tilde {C}}_{3}}$	4
I3 (204)	8−o	r8	[4[3[4]]]+ ↔ [[4,3+,4]]	↔	½${\displaystyle {\tilde {A}}_{3}}$×8 ↔ ½${\displaystyle {\tilde {C}}_{3}}$×2	(*)
Im3m (229)	8o:2		[4[3[4]]] ↔ [[4,3,4]]		${\displaystyle {\tilde {A}}_{3}}$×8 ↔ ${\displaystyle {\tilde {C}}_{3}}$×2	5

[[3^[4]]] uniform honeycombs, space group Fd3m (227)

Referenced indices	Honeycomb name Coxeter diagrams	Cells by location (and count around each vertex)		Solids (Partial)	Frames (Perspective)	vertex figure
		(0,1)	(2,3)
J25,33 A13 W10 G6 qδ4 O27	quarter cubic (batatoh) ↔ q{4,3,4}	(2) (3.3.3)	(6) (3.6.6)			triangular antiprism

<[3^[4]]> ↔ [4,3^1,1] uniform honeycombs, space group Fm3m (225)

Referenced indices	Honeycomb name Coxeter diagrams ↔	Cells by location (and count around each vertex)			Solids (Partial)	Frames (Perspective)	vertex figure
		0	(1,3)	2
J21,31,51 A2 W9 G1 hδ4 O21	alternated cubic (octet) ↔ ↔ h{4,3,4}		(8) (3.3.3)	(6) (3.3.3.3)			cuboctahedron
J22,34 A21 W17 G10 h2δ4 O25	cantic cubic (tatoh) ↔ ↔ h2{4,3,4}	(2) (3.6.6)	(1) (3.4.3.4)	(2) (4.6.6)			Rectangular pyramid

[2[3^[4]]] ↔ [4,3,4] uniform honeycombs, space group Pm3m (221)

Referenced indices	Honeycomb name Coxeter diagrams ↔	Cells by location (and count around each vertex)		Solids (Partial)	Frames (Perspective)	vertex figure
		(0,2)	(1,3)
J12,32 A15 W14 G7 t1δ4 O1	rectified cubic (rich) ↔ ↔ ↔ r{4,3,4}	(2) (3.4.3.4)	(1) (3.3.3.3)			cuboid

[4[3^[4]]] ↔ [[4,3,4]] uniform honeycombs, space group Im3m (229)

Referenced indices	Honeycomb name Coxeter diagrams ↔ ↔	Cells by location (and count around each vertex)		Solids (Partial)	Frames (Perspective)	vertex figure
		(0,1,2,3)	Alt
J16 A3 W2 G28 t1,2δ4 O16	bitruncated cubic (batch) ↔ ↔ 2t{4,3,4}	(4) (4.6.6)				isosceles tetrahedron
Nonuniforma	Alternated cantitruncated cubic (bisch) ↔ ↔ h2t{4,3,4}	(4) (3.3.3.3.3)	(4) (3.3.3)

Nonwythoffian forms (gyrated and elongated)

Three more uniform honeycombs are generated by breaking one or another of the above honeycombs where its faces form a continuous plane, then rotating alternate layers by 60 or 90 degrees (gyration) and/or inserting a layer of prisms (elongation).

The elongated and gyroelongated alternated cubic tilings have the same vertex figure, but are not alike. In the elongated form, each prism meets a tetrahedron at one triangular end and an octahedron at the other. In the gyroelongated form, prisms that meet tetrahedra at both ends alternate with prisms that meet octahedra at both ends.

The gyroelongated triangular prismatic tiling has the same vertex figure as one of the plain prismatic tilings; the two may be derived from the gyrated and plain triangular prismatic tilings, respectively, by inserting layers of cubes.

Referenced indices	symbol	Honeycomb name	cell types (# at each vertex)	Solids (Partial)	Frames (Perspective)	vertex figure
J52 A2' G2 O22	h{4,3,4}:g	gyrated alternated cubic (gytoh)	tetrahedron (8) octahedron (6)			triangular orthobicupola
J61 A? G3 O24	h{4,3,4}:ge	gyroelongated alternated cubic (gyetoh)	triangular prism (6) tetrahedron (4) octahedron (3)
J62 A? G4 O23	h{4,3,4}:e	elongated alternated cubic (etoh)	triangular prism (6) tetrahedron (4) octahedron (3)
J63 A? G12 O12	{3,6}:g × {∞}	gyrated triangular prismatic (gytoph)	triangular prism (12)
J64 A? G15 O13	{3,6}:ge × {∞}	gyroelongated triangular prismatic (gyetaph)	triangular prism (6) cube (4)

The C̃₂×Ĩ₁(∞), [4,4,2,∞], prismatic group

There are only 3 unique honeycombs from the square tiling, but all 6 tiling truncations are listed below for completeness, and tiling images are shown by colors corresponding to each form.

Indices	Coxeter-Dynkin and Schläfli symbols	Honeycomb name	Plane tiling	Solids (Partial)	Tiling
J11,15 A1 G22	{4,4}×{∞}	Cubic (Square prismatic) (chon)	(4.4.4.4)
	r{4,4}×{∞}
	rr{4,4}×{∞}
J45 A6 G24	t{4,4}×{∞}	Truncated/Bitruncated square prismatic (tassiph)	(4.8.8)
	tr{4,4}×{∞}
J44 A11 G14	sr{4,4}×{∞}	Snub square prismatic (sassiph)	(3.3.4.3.4)
Nonuniform	ht0,1,2,3{4,4,2,∞}

The G̃₂xĨ₁(∞), [6,3,2,∞] prismatic group

Indices	Coxeter-Dynkin and Schläfli symbols	Honeycomb name	Plane tiling	Solids (Partial)	Tiling
J41 A4 G11	{3,6} × {∞}	Triangular prismatic (tiph)	(36)
J42 A5 G26	{6,3} × {∞}	Hexagonal prismatic (hiph)	(63)
	t{3,6} × {∞}
J43 A8 G18	r{6,3} × {∞}	Trihexagonal prismatic (thiph)	(3.6.3.6)
J46 A7 G19	t{6,3} × {∞}	Truncated hexagonal prismatic (thaph)	(3.12.12)
J47 A9 G16	rr{6,3} × {∞}	Rhombi-trihexagonal prismatic (srothaph)	(3.4.6.4)
J48 A12 G17	sr{6,3} × {∞}	Snub hexagonal prismatic (snathaph)	(3.3.3.3.6)
J49 A10 G23	tr{6,3} × {∞}	truncated trihexagonal prismatic (grothaph)	(4.6.12)
J65 A11' G13	{3,6}:e × {∞}	elongated triangular prismatic (etoph)	(3.3.3.4.4)
J52 A2' G2	h3t{3,6,2,∞}	gyrated tetrahedral-octahedral (gytoh)	(36)
	s2r{3,6,2,∞}
Nonuniform	ht0,1,2,3{3,6,2,∞}

Enumeration of Wythoff forms

All nonprismatic Wythoff constructions by Coxeter groups are given below, along with their alternations. Uniform solutions are indexed with Branko Grünbaum's listing. Green backgrounds are shown on repeated honeycombs, with the relations are expressed in the extended symmetry diagrams.

Coxeter group	Extended symmetry	Honeycombs		Chiral extended symmetry	Alternation honeycombs
[4,3,4]	[4,3,4]	6	7 | 8 9 | 25 | 20	[1+,4,3+,4,1+]	(2)	b
	[2+[4,3,4]] =	(1)	22	[2+[(4,3+,4,2+)]]	(1)	6
	[2+[4,3,4]]	1	28	[2+[(4,3+,4,2+)]]	(1)	a
	[2+[4,3,4]]	2	27	[2+[4,3,4]]+	(1)	c
[4,31,1]	[4,31,1]	4	7 | 10 | 28
	[1[4,31,1]]=[4,3,4] =	(7)	22 | 7 | 22 | 7 | 9 | 28 | 25	[1[1+,4,31,1]]+	(2)	6 | a
				[1[4,31,1]]+ =[4,3,4]+	(1)	b
[3[4]]	[3[4]]	(none)
	[2+[3[4]]]	1	6
	[1[3[4]]]=[4,31,1] =	(2)	10
	[2[3[4]]]=[4,3,4] =	(1)	7
	[(2+,4)[3[4]]]=[2+[4,3,4]] =	(1)	28	[(2+,4)[3[4]]]+ = [2+[4,3,4]]+	(1)	a