To cover a permutohedron
Combinatorics
2026-04-10 v3
Abstract
The permutohedron of order is a polytope embedded in whose vertex coordinates are permutations of the first natural numbers. It is obvious that lies on the hyperplane consisting of points whose coordinates sum up to . We prove that if the vertices of are contained in the union of affine hyperplanes different from , then when is odd, and when is even. This result has been established by Pawlowski in a more general form. Our proof is shorter, rather different, and gives an algebraic criterion for a non-standard permutohedron generated by distinct real numbers to require at least non-trivial hyperplanes to cover its vertices.
Cite
@article{arxiv.2509.13877,
title = {To cover a permutohedron},
author = {Bochao Kong and Ji Zeng},
journal= {arXiv preprint arXiv:2509.13877},
year = {2026}
}