![]() | ||
In geometry, a convex uniform honeycomb is a uniform tessellation which fills three-dimensional Euclidean space with non-overlapping convex uniform polyhedral cells.
Contents
- History
- Names
- Compact Euclidean uniform tessellations by their infinite Coxeter group families
- The C3 434 group cubic
- B4 4311 group
- A3 34 group
- Nonwythoffian forms gyrated and elongated
- Prismatic stacks
- The C2I1 442 prismatic group
- Enumeration of Wythoff forms
- Examples
- Frieze forms
- Scaliform honeycomb
- Hyperbolic forms
- Paracompact hyperbolic forms
- References
Twenty-eight such honeycombs exist:
They can be considered the three-dimensional analogue to the uniform tilings of the plane.
The Voronoi diagram of any lattice forms a convex uniform honeycomb in which the cells are zonohedra.
History
Only 14 of the convex uniform polyhedra appear in these patterns:
Names
This set can be called the regular and semiregular honeycombs. It has been called the Archimedean honeycombs by analogy with the convex uniform (non-regular) polyhedra, commonly called Archimedean solids. Recently Conway has suggested naming the set as the Architectonic tessellations and the dual honeycombs as the Catoptric tessellations.
The individual honeycombs are listed with names given to them by Norman Johnson. (Some of the terms used below are defined in Uniform 4-polytope#Geometric derivations for 46 nonprismatic Wythoffian uniform 4-polytopes)
For cross-referencing, they are given with list indices from Andreini (1-22), Williams(1-2,9-19), Johnson (11-19, 21-25, 31-34, 41-49, 51-52, 61-65), and Grünbaum(1-28). Coxeter uses δ4 for a cubic honeycomb, hδ4 for an alternated cubic honeycomb, qδ4 for a quarter cubic honeycomb, with subscripts for other forms based on the ring patterns of the Coxeter diagram.
Compact Euclidean uniform tessellations (by their infinite Coxeter group families)
The fundamental infinite Coxeter groups for 3-space are:
- The
C ~ 3 - The
B ~ 3 - The
A ~ 3
There is a correspondence between all three families. Removing one mirror from
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:
- The
C ~ 2 I ~ 1 - The
H ~ 2 I ~ 1 - The
A ~ 2 I ~ 1 - The
I ~ 1 I ~ 1 I ~ 1
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~3, [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.
B~4, [4,31,1] group
The
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.
A~3, [3[4])] group
There are 5 forms constructed from the
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.
Prismatic stacks
Eleven prismatic tilings are obtained by stacking the eleven uniform plane tilings, shown below, in parallel layers. (One of these honeycombs is the cubic, shown above.) The vertex figure of each is an irregular bipyramid whose faces are isosceles triangles.
The C~2×I~1(∞), [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.
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.
Examples
All 28 of these tessellations are found in crystal arrangements.
The alternated cubic honeycomb is of special importance since its vertices form a cubic close-packing of spheres. The space-filling truss of packed octahedra and tetrahedra was apparently first discovered by Alexander Graham Bell and independently re-discovered by Buckminster Fuller (who called it the octet truss and patented it in the 1940s). [2] [3] [4] [5]. Octet trusses are now among the most common types of truss used in construction.
Frieze forms
If cells are allowed to be uniform tilings, more uniform honeycombs can be defined:
Families:
Scaliform honeycomb
A scaliform honeycomb is vertex-transitive, like a uniform honeycomb, with regular polygon faces while cells and higher elements are only required to be orbiforms, equilateral, with their vertices lying on hyperspheres. For 3D honeycombs, this allows a subset of Johnson solids along with the uniform polyhedra. Some scaliforms can be generated by an alternation process, leaving, for example, pyramid and cupola gaps.
Hyperbolic forms
There are 9 Coxeter group families of compact uniform honeycombs in hyperbolic 3-space, generated as Wythoff constructions, and represented by ring permutations of the Coxeter-Dynkin diagrams for each family.
From these 9 families, there are a total of 76 unique honeycombs generated:
The full list of hyperbolic uniform honeycombs has not been proven and an unknown number of non-Wythoffian forms exist. One known example is in the {3,5,3} family.
Paracompact hyperbolic forms
There are also 23 paracompact Coxeter groups of rank 4. These families can produce uniform honeycombs with unbounded facets or vertex figure, including ideal vertices at infinity: