The complete enumeration of 4-polytopes and 3-spheres with nine vertices
Abstract
We describe an algorithm to enumerate polytopes. This algorithm is then implemented to give a complete classification of combinatorial spheres of dimension 3 with 9 vertices and decide polytopality of those spheres. In particular, we completely enumerate all combinatorial types of 4-dimensional polytopes with 9 vertices. It is shown that all of those combinatorial types are rational: They can be realized with rational coordinates. We find 316014 combinatorial spheres on 9 vertices. Of those, 274148 can be realized as the boundary complex of a four-dimensional polytope and the remaining 41866 are non-polytopal.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2018
- DOI:
- 10.48550/arXiv.1803.05205
- arXiv:
- arXiv:1803.05205
- Bibcode:
- 2018arXiv180305205F
- Keywords:
-
- Mathematics - Metric Geometry;
- Mathematics - Combinatorics;
- 52B11;
- 57Q05;
- 52B40
- E-Print:
- 22 pages, 9 Tables, 1 Figure, 1 data file