English

To cover a permutohedron

Combinatorics 2026-04-10 v3

Abstract

The permutohedron PnP_n of order nn is a polytope embedded in Rn\mathbb{R}^n whose vertex coordinates are permutations of the first nn natural numbers. It is obvious that PnP_n lies on the hyperplane HnH_n consisting of points whose coordinates sum up to n(n+1)/2n(n+1)/2. We prove that if the vertices of PnP_n are contained in the union of mm affine hyperplanes different from HnH_n, then mnm\geq n when n3n \geq 3 is odd, and mn1m \geq n-1 when n4n \geq 4 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 nn distinct real numbers to require at least nn non-trivial hyperplanes to cover its vertices.

Keywords

Cite

@article{arxiv.2509.13877,
  title  = {To cover a permutohedron},
  author = {Bochao Kong and Ji Zeng},
  journal= {arXiv preprint arXiv:2509.13877},
  year   = {2026}
}
R2 v1 2026-07-01T05:41:40.967Z