clopen.solutions

A counterexample to the facet bound for reflexive polytopes

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Kaiwen Jin

A lattice polytope is reflexive if it contains the origin in its interior and its polar is also a lattice polytope. We construct a $45$-dimensional reflexive lattice polytope with $2^{32}\binom{40}{8}+5$ facets, exceeding $6^{45/2}$. This disproves the unrestricted facet bound conjectured by Nill. The construction starts with a lattice polytope having many vertices and a polar whose denominators divide $32$. Five successive pyramids multiply the original polar coordinates by $32$ while adding only five vertices. Taking the polar gives the required counterexample.

Claims

SOLUTION CLAIMED OP-00831 — Nill's facet bound for reflexive lattice polytopes
Counterexample · fidelity not yet established

Files and sources

Paper
AIM @ 24edaad, paper/manuscript.pdf ↗
Posted on GitHub
14 October 2026

No verification run is on record for this version.