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 hypercube family, γn. Half of the vertices are deleted and new facets are formed. The 2n facets become 2n (n-1)-demicubes, and 2n (n-1)-simplex facets are formed in place of the deleted vertices.
They have been named with a demi- prefix to each hypercube name: demicube, demitesseract, etc. The demicube is identical to the regular tetrahedron, and the demitesseract is identical to the regular 16-cell. The demipenteract is considered semiregular for having only regular facets. Higher forms don't have all regular facets but are all uniform polytopes.
The vertices and edges of a demihypercube form two copies of the halved cube graph.
Thorold Gosset described the demipenteract in his 1900 publication listing all of the regular and semiregular figures in n-dimensions above 3. He called it a 5-ic semi-regular. It also exists within the semiregular k21 polytope family.
They are represented by Coxeter-Dynkin diagrams of three constructive forms:
H.S.M. Coxeter also labeled the third bifurcating diagrams as 1k1 representing the lengths of the 3 branches and led by the ringed branch.
An n-demicube, n greater than 2, has n*(n-1)/2 edges meeting at each vertex. The graphs below show less edges at each vertex due to overlapping edges in the symmetry projection.
|Schläfli symbol||Coxeter diagrams
In general, a demicube's elements can be determined from the original n-cube: (With Cn,m = mth-face count in n-cube = 2n-m*n!/(m!*(n-m)!))
The symmetry group of the demihypercube is the Coxeter group [3n-3,1,1] has order and is an index 2 subgroup of the hyperoctahedral group (which is the Coxeter group [4,3n-1]). It is generated by permutations of the coordinate axes and reflections along pairs of coordinate axes.
Constructions as alternated orthotopes have the same topology, but can be stretched with different lengths in n-axes of symmetry.
|Family||An||Bn||I2(p) / Dn||E6 / E7 / E8 / F4 / G2||Hn|
|Uniform polyhedron||Tetrahedron||Octahedron • Cube||Demicube||Dodecahedron • Icosahedron|
|Uniform 4-polytope||5-cell||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||122 • 221|
|Uniform 7-polytope||7-simplex||7-orthoplex • 7-cube||7-demicube||132 • 231 • 321|
|Uniform 8-polytope||8-simplex||8-orthoplex • 8-cube||8-demicube||142 • 241 • 421|
|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||1k2 • 2k1 • k21||n-pentagonal polytope|
|Topics: Polytope families • Regular polytope • List of regular polytopes and compounds|