PreprintCC BY 4.0arXiv
Ehrhart polynomials of cyclic polytopes as averages of zonotope Ehrhart polynomials
Abstract
We prove an averaging formula for the Ehrhart polynomial of a cyclic polytope whose vertices are given by integer parameters on the moment curve. More precisely, its Ehrhart polynomial is the average of the Ehrhart polynomials of an explicitly constructed family of lattice zonotopes. Since lattice zonotopes are magic positive, this formula implies magic positivity for these cyclic polytopes. Consequently, their h∗-polynomials are real-rooted, and their h∗-vectors are log-concave and unimodal.
Related
- Equivariant Ehrhart series for rational simplices and rational cross-polytopes
- Ehrhart positivity of smooth polytopes with few facets
- Ehrhart Properties under Operations on Lattice Polytopes
- The equivariant Ehrhart theory of polytopes with order-two symmetries: Part II
- Exact Ehrhart Series of Birkhoff Polytopes via Constant Terms and Finite-Field Evaluation
BibTeX
@misc{konoike2026ehrhart,
title = {{Ehrhart polynomials of cyclic polytopes as averages of zonotope Ehrhart polynomials}},
author = {Masato Konoike},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.28417},
eprint = {2609.28417},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.28417},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Ehrhart polynomials of cyclic polytopes as averages of zonotope Ehrhart polynomials
AU - Masato Konoike
PY - 2026
DA - 2026/09/23
PB - arXiv
DO - 10.48550/arxiv.2609.28417
UR - https://arxiv.org/abs/2609.28417
AB - We prove an averaging formula for the Ehrhart polynomial of a cyclic polytope whose vertices are given by integer parameters on the moment curve. More precisely, its Ehrhart polynomial is the average of the Ehrhart polynomials of an explicitly constructed family of lattice zonotopes. Since lattice zonotopes are magic positive, this formula implies magic positivity for these cyclic polytopes. Consequently, their h^∗-polynomials are real-rooted, and their h^∗-vectors are log-concave and unimodal.
ER -