CRF polychora discovery project (Meta, 13)
From Higher Dimensions Database
See also: List of convex regular-faced polyhedra
This page documents an ongoing project to discover as many CRF polychora as possible, and perhaps as a long-term goal prove that every CRF polychoron has been found.
Other than infinite series, the non-Johnson CRF polyhedra are the regular polyhedra and the Archimedean polyhedra. The Johnson solids can be roughly divided into four categories: prismatoids (includes pyramids, cupolae, rotundae, and elongated/bi/gyro forms of the above), augmented polyhedra, diminished polyhedra and crown jewels. We will use the same categorizations here.
Richard Klitzing enumerated a list of 177 segmentochora, which are the orbiform CRF polychora. However, these overlap with several different categories below, so the segmentochora will not be considered a category of their own. TODO: find out how many segmentochora are not yet counted below.
Discovery index (D numbers)
As of February 2014, new CRF discoveries are assigned a discovery index (aka D number), as a way of uniquely identifying the discovery without committing to a specific categorization or naming of it, which may not be feasible due to insufficient information at the time of discovery.
The discovery index page serves as the authoritative list of D number assignments.
Total in this section (excluding stacks): 264
- The first 64 CRF polychora are the convex uniform polychora, which can be divided up into 9 pyromorphs, 9 xylomorphs, 12 stauromorphs (not 15, because three were already covered as xylomorphs), 15 rhodomorphs, the snub demitesseract and the grand antiprism, and 17 prisms of convex uniform polyhedra (not 18, because one was already covered as the tesseract, a stauromorph).
- A further 92 CRF prisms are possible, based on each of the 92 Johnson solids. This brings the running total to 156. Some of these prisms are included in Klitzing's list of segmentotopes, but some are not due to their corresponding Johnson solids not being orbiform (having all vertices lie on a glome).
- There are 30 CRF monostratic cupolic forms (or just cupolae). These are constructed by placing uniform polyhedra from the same symmetry group (except in one special case, the snubdis antiprism) in each plane.
- There are 10 bicupolic rings (not 12, because 2 are already counted).
- There are 62 more prismatoid forms (not 64, because 2 are already counted).
- There are some bistratic polychora formed by stacking monostratic polychora together, but these have not been counted up yet.
- There are 6 ursachora.
Main article: CRFP4DP/Diminishings
- Some diminishings of uniform polychora produce various segmentotopes and CRF polychora.
- There are many BT polychora.
- There are three known non-uniform convex scaliform (equilateral and vertex transitive) polytopes. All their ridges are regular.
- There are 18 diminishings of the xylochoron (not 19, because one is the tesseract).
- The tesseract augmentations are precisely those that are only ortho or para; all meta-diminishings are not augmented tesseracts; there are 6 of these.
- The 600-cell has a large number of diminishings, two of which are uniform (the snub 24-cell and the grand antiprism). Removing icosahedral pyramids from the 600-cell generates a large number of CRF polychora; removing 24 in 24-cell configuration generates the snub 24-cell. Removing two rings of 10 vertices each from mutually complementary 2-planes generates the grand antiprism; removing subsets of these vertices generates various intermediates (full exploration of the possibilities still in progress).
- There are some modified bisected 600-cells, lunae (wedge-like multiply-bisected 600-cells) and rotundae.
Main article: CRFP4DP/Augmentations
- The pyrochoron has a single augmentation, consisting of two pyrochora joined cell-to-cell.
- The tesseract has 14 augmentations with cubical pyramids, one of which corresponds with the xylochoron. However, these augmentations are also a subset of the xylochoron's diminishings, so their count should not be included under the present category.
- There are some modified tesseract augmentations and augmentations of truncated tesseracts.
- There are probably many other augmentable uniform polychora, these have yet to be explored.
- The duoprisms are a source of 1633 CRF polychora via augmentation with CRF pyramids, especially because the pentagonal prism pyramid is very shallow. This shallowness permits it to be fitted onto pentagonal prisms of n,5-duoprisms in various combinations up to n=20. The other prism pyramids (triangular and square) are less shallow, but still contribute a good number of CRF polychora.
- Besides CRF pyramids, certain other segmentotopes can augment duoprisms to form CRFs. The full enumeration of such duoprism augmentations is currently in progress. Preliminary calculations indicate that augmentation with n-gonal magnabicupolic rings number in the millions, due to combinatorial explosion.
- wintersolstice discovered that some CRFs can be gyrated in various ways.
Main article: Partial Stott-expansion
- Klitzing discovered in 2013 that some infinite families can be expanded according to a lower symmetry group, giving new polytopes. In 2014 quickfur discovered a derivation of a bilbiro from an icosahedron. This led to the discovery of various partial expansions of the hydrochoron.
Main article: CRFP4DP/Infinite families
- The obvious infinite family is that of the m,n-duoprisms (m ≥ n ≥ 3).
- There is also an infinite family of prisms of the n-gonal antiprisms.
- Mrrl discovered an infinite family of ringed forms, with a 3-membered ring consisting of two antiprisms and a prism, with various Johnson polyhedra filling in the gaps. The first member contains two square antiprisms, one cube, four tetrahedra and four square pyramids. Details can be found in this post. In general, members of this family consists of two n-gonal antiprisms and an n-gonal prism, forming a 3-membered ring, with n tetrahedra and n square pyramids filling in the lateral gaps, for all n ≥ 3. Keiji has devised a similar naming scheme to the one he used for the cupolic rings: the collective term is the family of biantiprismatic rings, and the specific term is the n-gonal biantiprismatic ring, e.g. square biantiprismatic ring. These ringed forms are included as an infinite subfamily in Klitzing's list of segmentotopes where they are numbered among the wedges.
- The n-gonal pyramid antiprisms (n-gonal pyramid || inverted gyro n-gonal pyramid) are CRF, and for n=4 and n=5, non-orbiform. (For n=3, it is identical to the 16-cell.) They are identical to the n-antiprism bipyramid.