Boundary H^ -Polynomials of Rational Polytopes

DOI10.1137/22M1508911MaRDI QIDQ6046824zbMATH OpenOpenAlexFDO

Authors Matthias Beck

Publication date 6 September 2023

Published in SIAM Journal on Discrete Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2206.04175

zbMATH Keywords

boundary \(h^\ast\) -polynomialEhrhart quasipolynomialGorenstein polytopelattice polytoperational polytopesymmetric decomposition

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Lattices and convex bodies in (n) dimensions (aspects of discrete geometry) (52C07)

Abstract: If $P$ is a lattice polytope (i.e., $P$ is the convex hull of finitely many integer points in $mathbb{R}^d$) of dimension $d$, Ehrhart's famous theorem (1962) asserts that the integer-point counting function $|nPcapmathbb{Z}^d|$ is a degree-$d$ polynomial in the integer variable $n$. Equivalently, the generating function $1+su{m}_{ngeq1}|nPcapmathbb{Z}^d|,z^n$ is a rational function of the form $frac{h}^{a}st(z)(1-z{)}^{d+1}$; we call $h^{a}st(z)$ the $h^{a}st$-polynomial of $P$. There are several known necessary conditions for $h^{a}st$-polynomials, including results by Hibi (1990), Stanley (1991), and Stapledon (2009), who used an interplay of arithmetic (integer-point structure) and topological (local $h$-vectors of triangulations) data of a given polytope. We introduce an alternative ansatz to understand Ehrhart theory through the $h^{a}st$-polynomial of the boundary of a polytope, recovering all of the above results and their extensions for rational polytopes in a unifying manner. We include applications for (rational) Gorenstein polytopes and rational Ehrhart dilations.

Recommendations

• Rational Ehrhart theory
• Decompositions of Ehrhart \(h^*\)-polynomials for rational polytopes
• Lattice polytopes having \(h^*\)-polynomials with given degree and linear coefficient
• Counting lattice points of rational polyhedra
• A finite calculus approach to Ehrhart polynomials

Cites work

• A lower bound theorem for Ehrhart polynomials of convex polytopes
• A monotonicity property of h-vectors and h^*-vectors
• A note on palindromic delta-vectors for certain rational polytopes
• A proof of the lower bound conjecture for convex polytopes
• Combinatorial Reciprocity Theorems
• Combinatorics and commutative algebra.
• Computing the Continuous Discretely
• Counterexamples of the conjecture on roots of Ehrhart polynomials
• Counting lattice points in free sums of polytopes
• Decompositions of Ehrhart \(h^*\)-polynomials for rational polytopes
• Decompositions of Rational Convex Polytopes
• Dual polytopes of rational convex polytopes
• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 3163858 (Why is no real title available?)
• scientific article; zbMATH DE number 273025 (Why is no real title available?)
• Inequalities and Ehrhart \delta -vectors
• Intermediate sums on polyhedra: computation and real Ehrhart theory
• Lattice points in lattice polytopes
• Magic labelings of graphs, symmetric magic squares, systems of parameters, and Cohen-Macaulay rings
• On the Hilbert function of a graded Cohen-Macaulay domain
• Rational Ehrhart quasi-polynomials
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
• Some results on Ehrhart polynomials of convex polytopes
• Symmetric decompositions and real-rootedness
• Weighted Ehrhart theory and orbifold cohomology

Cited in

(6)

• An upper bound theorem for rational polytopes
• Decompositions of Ehrhart \(h^*\)-polynomials for rational polytopes
• scientific article; zbMATH DE number 2051421 (Why is no real title available?)
• \(h^\ast \)-polynomials of zonotopes
• Weighted Ehrhart theory: extending Stanley's nonnegativity theorem
• Local h^*-polynomials for one-row Hermite normal form simplices

This page was built for publication: Boundary \({\boldsymbol{H^\ast}}\) -Polynomials of Rational Polytopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6046824)