The special cuts of the 600-cell

From MaRDI portal
Publication:2473596



Abstract: A polytope is called {em regular-faced} if every one of its facets is a regular polytope. The 4-dimensional regular-faced polytopes were determined by G. Blind and R. Blind cite{BlBl2,roswitha,roswitha2}. The last class of such polytopes is the one which consists of polytopes obtained by removing a set of non-adjacent vertices (an independent set) of the 600-cell. These independent sets are enumerated up to isomorphism and it is determined that the number of polytopes in this last class is 314,248,344.


A polytope is regular-faced if each of its facets is a regular polytope (e.g., in dimension 4 its facets can only be regular cubes, tetrahedra, octahedra, icosahedra, or dodecahedra). While there was already a complete description of regular-faced \(d\)-dimensional polytopes for \(d\geq 4\), obtained from work by G. Blind and R. Blind, there was no full enumeration or listing of all polyhedra within the class of special cuts of the 600-cell. The authors of this paper, relying on delicate and hard computer investigations, are able to complete the enumeration. For this purpose, the authors generate all independent sets of the 120-vertex graph of the 600-cell. The answer is verified using two algorithms.











This page was built for publication: The special cuts of the \(600\)-cell

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2473596)