An upper bound theorem concerning lattice polytopes (Q2834196)

A lattice polytope \(P\), with vertices in \(\mathbb{Z}^d\), is called integrally closed if, for each \(k\in \mathbb{N}\), each point in \(kP\cap\mathbb{Z}^d\) is the sum of \(k\) points in \(P\cap\mathbb{Z}^d\). A lattice polytope is called reflexive if its polar dual is also a lattice polytope. The paper establishes an upper bound for the volume of integrally closed lattice polytopes. The authors also prove unimodality of the \(\delta\)-vector of an integrally closed reflexive lattice polytope. The \(\delta\)-vector is determined by a rational function expression for the generating function of the sequence given by the values of the Ehrhart polynomial of \(P\) at the non-negative integers; see \textit{R.P. Stanley} [Ann. Discrete Math. 6, 333--342 (1980; Zbl 0812.52012)].