In
four-dimensional
A four-dimensional space (4D) is a mathematical extension of the concept of three-dimensional or 3D space. Three-dimensional space is the simplest possible abstraction of the observation that one only needs three numbers, called ''dimensions'', ...
Euclidean geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematics, Greek mathematician Euclid, which he described in his textbook on geometry: the ''Euclid's Elements, Elements''. Euclid's approach consists in assuming a small ...
, the 16-cell honeycomb is one of the three regular space-filling
tessellations
A tessellation or tiling is the covering of a surface, often a plane (mathematics), plane, using one or more geometric shapes, called ''tiles'', with no overlaps and no gaps. In mathematics, tessellation can be generalized to high-dimensional ...
(or
honeycombs), represented by
Schläfli symbol
In geometry, the Schläfli symbol is a notation of the form \ that defines regular polytopes and tessellations.
The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, who generalized Euclidean geometry to more ...
, and constructed by a 4-dimensional packing of
16-cell
In geometry, the 16-cell is the regular convex 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is one of the six regular convex 4-polytopes first described by the Swiss mathematician Ludwig Schläfli in the mi ...
facet
Facets () are flat faces on geometric shapes. The organization of naturally occurring facets was key to early developments in crystallography, since they reflect the underlying symmetry of the crystal structure. Gemstones commonly have facets cut ...
s, three around every face.
Its dual is the
24-cell honeycomb
In Four-dimensional space, four-dimensional Euclidean geometry, the 24-cell honeycomb, or icositetrachoric honeycomb is a regular polytope, regular space-filling tessellation (or honeycomb (geometry), honeycomb) of 4-dimensional Euclidean space by ...
. Its vertex figure is a
24-cell
In geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, oct ...
. The
vertex arrangement
In geometry, a vertex arrangement is a set of points in space described by their relative positions. They can be described by their use in polytopes.
For example, a ''square vertex arrangement'' is understood to mean four points in a plane, equ ...
is called the B
4, D
4, or
F4 lattice.
Alternate names
* Hexadecachoric tetracomb/honeycomb
* Demitesseractic tetracomb/honeycomb
Coordinates
Vertices can be placed at all integer coordinates (i,j,k,l), such that the sum of the coordinates is even.
D4 lattice
The
vertex arrangement
In geometry, a vertex arrangement is a set of points in space described by their relative positions. They can be described by their use in polytopes.
For example, a ''square vertex arrangement'' is understood to mean four points in a plane, equ ...
of the 16-cell honeycomb is called the
D4 lattice or F
4 lattice.
The vertices of this lattice are the centers of the
3-sphere
In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimensi ...
s in the densest known
packing of equal spheres in 4-space; its
kissing number
In geometry, the kissing number of a mathematical space is defined as the greatest number of non-overlapping unit spheres that can be arranged in that space such that they each touch a common unit sphere. For a given sphere packing (arrangement of ...
is 24, which is also the same as the kissing number in R
4, as proved by Oleg Musin in 2003.
The related D lattice (also called D) can be constructed by the union of two D
4 lattices, and is identical to the C
4 lattice:
: ∪ = =
The kissing number for D is 2
3 = 8, (2
''n'' – 1 for ''n'' < 8, 240 for ''n'' = 8, and 2''n''(''n'' – 1) for ''n'' > 8).
The related D lattice (also called D and C) can be constructed by the union of all four D
4 lattices, but it is identical to the ''D
4 lattice'': It is also the 4-dimensional
body centered cubic
In crystallography, the cubic (or isometric) crystal system is a crystal system where the unit cell is in the shape of a cube. This is one of the most common and simplest shapes found in crystals and minerals.
There are three main varieties o ...
, the union of two
4-cube honeycombs in dual positions.
: ∪ ∪ ∪ = = ∪ .
The
kissing number
In geometry, the kissing number of a mathematical space is defined as the greatest number of non-overlapping unit spheres that can be arranged in that space such that they each touch a common unit sphere. For a given sphere packing (arrangement of ...
of the D lattice (and D
4 lattice) is 24 and its
Voronoi tessellation Voronoi or Voronoy is a Slavic masculine surname; its feminine counterpart is Voronaya. It may refer to
*Georgy Voronoy (1868–1908), Russian and Ukrainian mathematician
**Voronoi diagram
**Weighted Voronoi diagram
** Voronoi deformation density
** ...
is a
24-cell honeycomb
In Four-dimensional space, four-dimensional Euclidean geometry, the 24-cell honeycomb, or icositetrachoric honeycomb is a regular polytope, regular space-filling tessellation (or honeycomb (geometry), honeycomb) of 4-dimensional Euclidean space by ...
, , containing all rectified 16-cells (
24-cell
In geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, oct ...
)
Voronoi cell
In mathematics, a Voronoi diagram is a partition of a plane into regions close to each of a given set of objects. In the simplest case, these objects are just finitely many points in the plane (called seeds, sites, or generators). For each seed t ...
s, or .
[Conway and Sloane, ''Sphere packings, lattices, and groups'', p. 466]
Symmetry constructions
There are three different symmetry constructions of this tessellation. Each symmetry can be represented by different arrangements of colored
16-cell
In geometry, the 16-cell is the regular convex 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is one of the six regular convex 4-polytopes first described by the Swiss mathematician Ludwig Schläfli in the mi ...
facets.
Related honeycombs
It is related to the regular hyperbolic 5-space
5-orthoplex honeycomb, , with
5-orthoplex
In five-dimensional geometry, a 5-orthoplex, or 5-cross polytope, is a five-dimensional polytope with 10 vertices, 40 edges, 80 triangle faces, 80 tetrahedron cells, 32 5-cell 4-faces.
It has two constructed forms, the first being regular with ...
facets, the regular 4-polytope
24-cell
In geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, oct ...
, with octahedral (3-orthoplex) cell, and cube , with (2-orthoplex) square faces.
It has a 2-dimensional analogue,
, and as an
alternated form (the demitesseractic honeycomb, h) it is related to the
alternated cubic honeycomb
The tetrahedral-octahedral honeycomb, alternated cubic honeycomb is a quasiregular space-filling tessellation (or honeycomb) in Euclidean 3-space. It is composed of alternating regular octahedra and tetrahedra in a ratio of 1:2.
Other names incl ...
.
See also
Regular and uniform honeycombs in 4-space:
*
Tesseractic honeycomb
In four-dimensional euclidean geometry, the tesseractic honeycomb is one of the three regular space-filling tessellations (or honeycombs), represented by Schläfli symbol , and constructed by a 4-dimensional packing of tesseract facets.
Its verte ...
*
24-cell honeycomb
In Four-dimensional space, four-dimensional Euclidean geometry, the 24-cell honeycomb, or icositetrachoric honeycomb is a regular polytope, regular space-filling tessellation (or honeycomb (geometry), honeycomb) of 4-dimensional Euclidean space by ...
*
Truncated 24-cell honeycomb
In four-dimensional Euclidean geometry, the truncated 24-cell honeycomb is a uniform space-filling honeycomb. It can be seen as a truncation of the regular 24-cell honeycomb, containing tesseract and truncated 24-cell cells.
It has a uniform alte ...
*
Snub 24-cell honeycomb
In four-dimensional Euclidean geometry, the snub 24-cell honeycomb, or snub icositetrachoric honeycomb is a uniform space-filling tessellation (or honeycomb) by snub 24-cells, 16-cells, and 5-cells. It was discovered by Thorold Gosset with his 1900 ...
*
5-cell honeycomb
*
Truncated 5-cell honeycomb
*
Omnitruncated 5-cell honeycomb
In Four-dimensional space, four-dimensional Euclidean geometry, the 4-simplex honeycomb, 5-cell honeycomb or pentachoric-dispentachoric honeycomb is a space-filling tessellation honeycomb (geometry), honeycomb. It is composed of 5-cells and recti ...
Notes
References
*
Coxeter, H.S.M. ''
Regular Polytopes
In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or -faces (for all , where is the dimension of the polytope) — cells, ...
'', (3rd edition, 1973), Dover edition,
** pp. 154–156: Partial truncation or alternation, represented by ''h'' prefix: h = ; h = , h = , ...
* 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,
** (Paper 24) H.S.M. Coxeter, ''Regular and Semi-Regular Polytopes III'',
ath. 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)''
* x3o3o4o3o - hext - O104
*
{{DEFAULTSORT:Demitesseractic Honeycomb
Honeycombs (geometry)
5-polytopes
Regular tessellations