five-dimensional A five-dimensional space is a space with five dimensions. In mathematics, a sequence of ''N'' numbers can represent a location in an ''N''-dimensional space. If interpreted physically, that is one more than the usual three spatial dimensions a ...

geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...

, a demipenteract or 5-demicube is a semiregular 5-polytope, constructed from a ''5-hypercube'' (

penteract In five-dimensional geometry, a 5-cube is a name for a five-dimensional hypercube with 32 vertices, 80 edges, 80 square faces, 40 cubic cells, and 10 tesseract 4-faces. It is represented by Schläfli symbol or , constructed as 3 tesseract ...

) with alternated vertices removed. It was discovered by

Thorold Gosset John Herbert de Paz Thorold Gosset (16 October 1869 – December 1962) was an English lawyer and an amateur mathematician. In mathematics, he is noted for discovering and classifying the semiregular polytopes in dimensions four and higher, and ...

. Since it was the only semiregular 5-polytope (made of more than one type of regular

facets A facet is a flat surface of a geometric shape, e.g., of a cut gemstone. Facet may also refer to: Arts, entertainment, and media * ''Facets'' (album), an album by Jim Croce * ''Facets'', a 1980 album by jazz pianist Monty Alexander and his tri ...

), he called it a 5-ic semi-regular.

E. L. Elte Emanuel Lodewijk Elte (16 March 1881 in Amsterdam – 9 April 1943 in Sobibor extermination camp, Sobibór) Em ...

identified it in 1912 as a semiregular polytope, labeling it as HM₅ for a 5-dimensional ''half measure'' polytope.

Coxeter Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington to ...

named this polytope as 1₂₁ from its

Coxeter diagram Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington to ...

, which has branches of length 2, 1 and 1 with a ringed node on one of the short branches, and

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 ...

\left\

or . It exists in the k₂₁ polytope family as 1₂₁ with the Gosset polytopes: 2₂₁, 3₂₁, and 4₂₁. The graph formed by the vertices and edges of the demipenteract is sometimes called the

Clebsch graph In the mathematical field of graph theory, the Clebsch graph is either of two complementary graphs on 16 vertices, a 5-regular graph with 40 edges and a 10-regular graph with 80 edges. The 80-edge graph is the dimension-5 halved cube graph; it ...

, though that name sometimes refers to the

folded cube graph In graph theory, a folded cube graph is an undirected graph formed from a hypercube graph by adding to it a perfect matching that connects ''opposite'' pairs of hypercube vertices. Construction The folded cube graph of dimension ''k'' (containin ...

of order five instead.

Cartesian coordinates

Cartesian coordinates A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...

for the vertices of a demipenteract centered at the origin and edge length 2 are alternate halves of the

: : (±1,±1,±1,±1,±1) with an odd number of plus signs.

As a configuration

This configuration matrix represents the 5-demicube. 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-demicube. The nondiagonal numbers say how many of the column's element occur in or at the row's element. The diagonal f-vector numbers are derived through the

Wythoff construction In geometry, a Wythoff construction, named after mathematician Willem Abraham Wythoff, is a method for constructing a uniform polyhedron or plane tiling. It is often referred to as Wythoff's kaleidoscopic construction. Construction process ...

, dividing the full group order of a subgroup order by removing one mirror at a time.

Projected images

Images

Related polytopes

It is a part of a dimensional family of

uniform polytope In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons (the definition is different in 2 dimensions to exclude vert ...

s called

demihypercube In geometry, demihypercubes (also called ''n-demicubes'', ''n-hemicubes'', and ''half measure polytopes'') are a class of ''n''- polytopes constructed from alternation of an ''n''- hypercube, labeled as ''hγn'' for being ''half'' of the hy ...

s for being alternation of the

hypercube In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, ...

family. There are 23

Uniform 5-polytope In geometry, a uniform 5-polytope is a five-dimensional uniform polytope. By definition, a uniform 5-polytope is vertex-transitive and constructed from uniform 4-polytope Facet (geometry), facets. The complete set of convex uniform 5-polytopes ...

s (uniform 5-polytopes) that can be constructed from the D₅ symmetry of the demipenteract, 8 of which are unique to this family, and 15 are shared within the

ic family. The 5-demicube is third in a dimensional series of

semiregular polytope In geometry, by Thorold Gosset's definition a semiregular polytope is usually taken to be a polytope that is vertex-transitive and has all its facets being regular polytopes. E.L. Elte compiled a longer list in 1912 as ''The Semiregular Polytop ...

s. Each progressive

is constructed

vertex figure In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off. Definitions Take some corner or Vertex (geometry), vertex of a polyhedron. Mark a point somewhere along each connect ...

of the previous polytope.

identified this series in 1900 as containing all

regular polytope 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, f ...

facets, containing all

simplex In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...

es and

orthoplex In geometry, a cross-polytope, hyperoctahedron, orthoplex, or cocube is a regular, convex polytope that exists in ''n''- dimensional Euclidean space. A 2-dimensional cross-polytope is a square, a 3-dimensional cross-polytope is a regular octahed ...

es ( 5-simplices and 5-orthoplexes in the case of the 5-demicube). In

's notation the 5-demicube is given the symbol 1₂₁.

References

* T. Gosset: ''On the Regular and Semi-Regular Figures in Space of n Dimensions'',

Messenger of Mathematics The ''Messenger of Mathematics'' is a defunct British mathematics journal. The founding editor-in-chief was William Allen Whitworth with Charles Taylor and volumes 1–58 were published between 1872 and 1929. James Whitbread Lee Glaisher was the ...

, Macmillan, 1900 * H.S.M. Coxeter: ** Coxeter, ''

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, , p. 296, Table I (iii): Regular Polytopes, three regular polytopes in n-dimensions (n≥5) ** H.S.M. Coxeter, ''Regular Polytopes'', 3rd Edition, Dover New York, 1973, p. 296, Table I (iii): Regular Polytopes, three regular polytopes in n-dimensions (n≥5) ** 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 22) H.S.M. Coxeter, ''Regular and Semi Regular Polytopes I'', ath. Zeit. 46 (1940) 380-407, MR 2,10*** (Paper 23) H.S.M. Coxeter, ''Regular and Semi-Regular Polytopes II'', ath. Zeit. 188 (1985) 559-591*** (Paper 24) H.S.M. Coxeter, ''Regular and Semi-Regular Polytopes III'', ath. Zeit. 200 (1988) 3-45*

John H. Conway John Horton Conway (26 December 1937 – 11 April 2020) was an English people, English mathematician active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to ...

, Heidi Burgiel, Chaim Goodman-Strass, ''The Symmetries of Things'' 2008, (Chapter 26. pp. 409: Hemicubes: 1_n1) *

External links

*
Multi-dimensional Glossary
{{Polytopes 5-polytopes