5-simplex

5-simplex Hexateron (hix)
Type	uniform 5-polytope
Schläfli symbol	{3⁴}
Coxeter diagram
4-faces	6	6 {3,3,3}
Cells	15	15 {3,3}
Faces	20	20 {3}
Edges	15
Vertices	6
Vertex figure	5-cell
Coxeter group	A₅, [3⁴], order 720
Dual	self-dual
Base point	(0,0,0,0,0,1)
Circumradius	0.645497
Properties	convex, isogonal regular, self-dual

In five-dimensional geometry, a 5-simplex is a self-dual regular 5-polytope. It has six vertices, 15 edges, 20 triangle faces, 15 tetrahedral cells, and 6 5-cell facets. It has a dihedral angle of cos⁻¹(1/5), or approximately 78.46°.

The 5-simplex is a solution to the problem: Make 20 equilateral triangles using 15 matchsticks, where each side of every triangle is exactly one matchstick.

Alternate names

It can also be called a hexateron, or hexa-5-tope, as a 6-facetted polytope in 5-dimensions. The name hexateron is derived from hexa- for having six facets and teron (with ter- being a corruption of tetra-) for having four-dimensional facets.

By Jonathan Bowers, a hexateron is given the acronym hix.^[1]

As a configuration

This configuration matrix represents the 5-simplex. The rows and columns correspond to vertices, edges, faces, cells and 4-faces. The diagonal numbers say how many of each element occur in the whole 5-simplex. The nondiagonal numbers say how many of the column's element occur in or at the row's element. This self-dual simplex's matrix is identical to its 180 degree rotation.^[2]^[3]

${\begin{bmatrix}{\begin{matrix}6&5&10&10&5\\2&15&4&6&4\\3&3&20&3&3\\4&6&4&15&2\\5&10&10&5&6\end{matrix}}\end{bmatrix}}$

Regular hexateron cartesian coordinates

The hexateron can be constructed from a 5-cell by adding a 6th vertex such that it is equidistant from all the other vertices of the 5-cell.

The Cartesian coordinates for the vertices of an origin-centered regular hexateron having edge length 2 are:

{\begin{aligned}&\left({\tfrac {1}{\sqrt {15}}},\ {\tfrac {1}{\sqrt {10}}},\ {\tfrac {1}{\sqrt {6}}},\ {\tfrac {1}{\sqrt {3}}},\ \pm 1\right)\\[5pt]&\left({\tfrac {1}{\sqrt {15}}},\ {\tfrac {1}{\sqrt {10}}},\ {\tfrac {1}{\sqrt {6}}},\ -{\tfrac {2}{\sqrt {3}}},\ 0\right)\\[5pt]&\left({\tfrac {1}{\sqrt {15}}},\ {\tfrac {1}{\sqrt {10}}},\ -{\tfrac {\sqrt {3}}{\sqrt {2}}},\ 0,\ 0\right)\\[5pt]&\left({\tfrac {1}{\sqrt {15}}},\ -{\tfrac {2{\sqrt {2}}}{\sqrt {5}}},\ 0,\ 0,\ 0\right)\\[5pt]&\left(-{\tfrac {\sqrt {5}}{\sqrt {3}}},\ 0,\ 0,\ 0,\ 0\right)\end{aligned}}

The vertices of the 5-simplex can be more simply positioned on a hyperplane in 6-space as permutations of (0,0,0,0,0,1) or (0,1,1,1,1,1). These construction can be seen as facets of the 6-orthoplex or rectified 6-cube respectively.

Projected images

orthographic projections
A_k Coxeter plane	A₅	A₄
Graph
Dihedral symmetry	[6]	[5]
A_k Coxeter plane	A₃	A₂
Graph
Dihedral symmetry	[4]	[3]

Stereographic projection 4D to 3D of Schlegel diagram 5D to 4D of hexateron.

Lower symmetry forms

A lower symmetry form is a 5-cell pyramid ( )v{3,3,3}, with [3,3,3] symmetry order 120, constructed as a 5-cell base in a 4-space hyperplane, and an apex point above the hyperplane. The five sides of the pyramid are made of 5-cell cells. These are seen as vertex figures of truncated regular 6-polytopes, like a truncated 6-cube.

Another form is { }∨{3,3}, with [2,3,3] symmetry order 48, the joining of an orthogonal digon and a tetrahedron, orthogonally offset, with all pairs of vertices connected between. Another form is {3}∨{3}, with [3,2,3] symmetry order 36, and extended symmetry [[3,2,3]], order 72. It represents joining of 2 orthogonal triangles, orthogonally offset, with all pairs of vertices connected between.

The form { }∨{ }∨{ } has symmetry [3[2,2,2]], order 48.

These are seen in the vertex figures of bitruncated and tritruncated regular 6-polytopes, like a bitruncated 6-cube and a tritruncated 6-simplex. The edge labels here represent the types of face along that direction, and thus represent different edge lengths.

The vertex figure of the omnitruncated 5-simplex honeycomb, , is a 5-simplx with a petrie polygon cycle of 5 long edges.

Vertex figures for uniform 6-polytopes
Name	( )∨{3,3,3} 5-1 fusil	{ }∨{3,3} 4-2 fusil	{3}∨{3} 3-3 fusil	{ }∨{ }∨{ } 2-2-2 fusil
Symmetry	[3,3,3] Order 120	[2,3,3] Order 48	[[3,2,3]] Order 72	[3[2,2,2]] Order 48
Diagram
Polytope	truncated 6-simplex	bitruncated 6-simplex	tritruncated 6-simplex	3-3-3 prism	Omnitruncated 5-simplex honeycomb

Compound

The compound of two 5-simplexes in dual configurations can be seen in this A6 Coxeter plane projection, with a red and blue 5-simplex vertices and edges. This compound has [[3,3,3,3]] symmetry, order 1440. The intersection of these two 5-simplexes is a uniform birectified 5-simplex. = ∩ .

Related uniform 5-polytopes

It is first in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 1_3k series. A degenerate 4-dimensional case exists as 3-sphere tiling, a tetrahedral hosohedron.

1_3k dimensional figures
Space	Finite				Euclidean	Hyperbolic
n	4	5	6	7	8	9
Coxeter group	A₃A₁	A₅	D₆	E₇	${\tilde {E}}_{7}$ =E₇⁺	${\bar {T}}_{8}$ =E₇⁺⁺
Coxeter diagram
Symmetry	[3^−1,3,1]	[3^0,3,1]	[3^1,3,1]	[3^2,3,1]	[[3^3,3,1]]	[3^4,3,1]
Order	48	720	23,040	2,903,040	∞
Graph					-	-
Name	1_3,-1	1₃₀	1₃₁	1₃₂	1₃₃	1₃₄

It is first in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 3_k1 series. A degenerate 4-dimensional case exists as 3-sphere tiling, a tetrahedral dihedron.

3_k1 dimensional figures
Space	Finite				Euclidean	Hyperbolic
n	4	5	6	7	8	9
Coxeter group	A₃A₁	A₅	D₆	E₇	${\tilde {E}}_{7}$ =E₇⁺	${\bar {T}}_{8}$ =E₇⁺⁺
Coxeter diagram
Symmetry	[3^−1,3,1]	[3^0,3,1]	[[3^1,3,1]] = [4,3,3,3,3]	[3^2,3,1]	[3^3,3,1]	[3^4,3,1]
Order	48	720	46,080	2,903,040	∞
Graph					-	-
Name	3_1,-1	3₁₀	3₁₁	3₂₁	3₃₁	3₄₁

The 5-simplex, as 2₂₀ polytope is first in dimensional series 2_2k.

2_2k figures of n dimensions
Space	Finite			Euclidean	Hyperbolic
n	4	5	6	7	8
Coxeter group	A₂A₂	A₅	E₆	${\tilde {E}}_{6}$ =E₆⁺	E₆⁺⁺
Coxeter diagram
Graph				∞	∞
Name	2_2,-1	2₂₀	2₂₁	2₂₂	2₂₃

The regular 5-simplex is one of 19 uniform polytera based on the [3,3,3,3] Coxeter group, all shown here in A₅ Coxeter plane orthographic projections. (Vertices are colored by projection overlap order, red, orange, yellow, green, cyan, blue, purple having progressively more vertices)

A5 polytopes
t₀	t₁	t₂	t_0,1	t_0,2	t_1,2	t_0,3
t_1,3	t_0,4	t_0,1,2	t_0,1,3	t_0,2,3	t_1,2,3	t_0,1,4
t_0,2,4	t_0,1,2,3	t_0,1,2,4	t_0,1,3,4	t_0,1,2,3,4

Notes

^ Klitzing, Richard. "5D uniform polytopes (polytera) x3o3o3o3o — hix".
^ Coxeter 1973, §1.8 Configurations
^ Coxeter, H.S.M. (1991). Regular Complex Polytopes (2nd ed.). Cambridge University Press. p. 117. ISBN 9780521394901.

References

Gosset, T. (1900). "On the Regular and Semi-Regular Figures in Space of n Dimensions". Messenger of Mathematics. Macmillan. pp. 43–.
Coxeter, H.S.M.:
- — (1973). "Table I (iii): Regular Polytopes, three regular polytopes in n-dimensions (n≥5)". Regular Polytopes (3rd ed.). Dover. pp. 296. ISBN 0-486-61480-8.
- Sherk, F. Arthur; McMullen, Peter; Thompson, Anthony C.; Weiss, Asia Ivic, eds. (1995). Kaleidoscopes: Selected Writings of H.S.M. Coxeter. Wiley. ISBN 978-0-471-01003-6.
  - (Paper 22) — (1940). "Regular and Semi Regular Polytopes I". Math. Zeit. 46: 380–407. doi:10.1007/BF01181449. S2CID 186237114.
  - (Paper 23) — (1985). "Regular and Semi-Regular Polytopes II". Math. Zeit. 188 (4): 559–591. doi:10.1007/BF01161657. S2CID 120429557.
  - (Paper 24) — (1988). "Regular and Semi-Regular Polytopes III". Math. Zeit. 200: 3–45. doi:10.1007/BF01161745. S2CID 186237142.
Conway, John H.; Burgiel, Heidi; Goodman-Strass, Chaim (2008). "26. Hemicubes: 1_n1". The Symmetries of Things. p. 409. ISBN 978-1-56881-220-5.
Johnson, Norman (1991). "Uniform Polytopes" (Manuscript). {{cite journal}}: Cite journal requires |journal= (help)
- Johnson, N.W. (1966). The Theory of Uniform Polytopes and Honeycombs (PhD). University of Toronto.

External links

Olshevsky, George. "Simplex". Glossary for Hyperspace. Archived from the original on 4 February 2007.
Polytopes of Various Dimensions, Jonathan Bowers
Multi-dimensional Glossary

v t e Fundamental convex regular and uniform polytopes in dimensions 2–10
Family	A_n	B_n	I₂(p) / D_n	E₆ / E₇ / E₈ / F₄ / G₂	H_n
Regular polygon	Triangle	Square	p-gon	Hexagon	Pentagon
Uniform polyhedron	Tetrahedron	Octahedron • Cube	Demicube		Dodecahedron • Icosahedron
Uniform polychoron	Pentachoron	16-cell • Tesseract	Demitesseract	24-cell	120-cell • 600-cell
Uniform 5-polytope	5-simplex	5-orthoplex • 5-cube	5-demicube
Uniform 6-polytope	6-simplex	6-orthoplex • 6-cube	6-demicube	1₂₂ • 2₂₁
Uniform 7-polytope	7-simplex	7-orthoplex • 7-cube	7-demicube	1₃₂ • 2₃₁ • 3₂₁
Uniform 8-polytope	8-simplex	8-orthoplex • 8-cube	8-demicube	1₄₂ • 2₄₁ • 4₂₁
Uniform 9-polytope	9-simplex	9-orthoplex • 9-cube	9-demicube
Uniform 10-polytope	10-simplex	10-orthoplex • 10-cube	10-demicube
Uniform n-polytope	n-simplex	n-orthoplex • n-cube	n-demicube	1_k2 • 2_k1 • k₂₁	n-pentagonal polytope
Topics: Polytope families • Regular polytope • List of regular polytopes and compounds

[1] Klitzing, Richard. "5D uniform polytopes (polytera) x3o3o3o3o — hix".

[2] Coxeter 1973, §1.8 Configurations

[3] Coxeter, H.S.M. (1991). Regular Complex Polytopes (2nd ed.). Cambridge University Press. p. 117. ISBN 9780521394901.

[1]

[2]

[3]