Compact Hyperbolic Coxeter Six-dimensional Polytopes With Ten Facets
Abstract
We show that, up to isometry, there is exactly one compact hyperbolic Coxeter 6-polytope with 10 facets, the polytope P6,10 attributed to Bugaenko. Together with results of Felikson-Tumarkin (d ≥ 7) and of Burcroff and Ma-Zheng (d = 4, 5), this completes the classification of compact hyperbolic Coxeter d-polytopes with d+4 facets. The proof is computer assisted. Affine Gale duality applied to the complete database of order types on 10 points yields 387 combinatorial types, of which Lannér's classification excludes 83. For the remaining 304, an exhaustive search over Coxeter labellings, with no a priori bound on the dihedral angles, leaves a single realizable Gram matrix. Every rejection is certified in exact arithmetic, and completeness of the search is certified independently by DRAT proofs checked by drat-trim. The same code reproduces the known censuses in dimensions 4 and 5. Code, data and certificates are publicly available.
Related
- Dimension bounds for finite-volume hyperbolic Coxeter polytopes
- Ehrhart positivity of smooth polytopes with few facets
- Equifacetted polytopes whose facets are products of simplices: The simplicial prism case
- A Log-Free Lower Bound for the Number of Facets of 0/1-Polytopes
- Sharp dimension bounds for right-angled hyperbolic polytopes
BibTeX
@misc{mcleod2026compact,
title = {{Compact Hyperbolic Coxeter Six-dimensional Polytopes With Ten Facets}},
author = {John Mcleod},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2608.02894},
eprint = {2608.02894},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.02894},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Compact Hyperbolic Coxeter Six-dimensional Polytopes With Ten Facets
AU - John Mcleod
PY - 2026
DA - 2026/10/05
PB - arXiv
DO - 10.48550/arxiv.2608.02894
UR - https://arxiv.org/abs/2608.02894
AB - We show that, up to isometry, there is exactly one compact hyperbolic Coxeter 6-polytope with 10 facets, the polytope P_6,10 attributed to Bugaenko. Together with results of Felikson-Tumarkin (d ≥ 7) and of Burcroff and Ma-Zheng (d = 4, 5), this completes the classification of compact hyperbolic Coxeter d-polytopes with d+4 facets. The proof is computer assisted. Affine Gale duality applied to the complete database of order types on 10 points yields 387 combinatorial types, of which Lannér's classification excludes 83. For the remaining 304, an exhaustive search over Coxeter labellings, with no a priori bound on the dihedral angles, leaves a single realizable Gram matrix. Every rejection is certified in exact arithmetic, and completeness of the search is certified independently by DRAT proofs checked by drat-trim. The same code reproduces the known censuses in dimensions 4 and 5. Code, data and certificates are publicly available.
ER -