Ehrhart limits
Consider a \(d\)-dimensional lattice polytope \(P\); that is, the convex hull in \(\mathbb{R}^d\) of finitely many points from \(\mathbb{Z}^d\) that affinely span the entire space. The Ehrhart polynomial \(i(P;t)\) of \(P\) is the function of the non-negative integer \(t\) defined as \N\[\Ni(P;t)=|tP\cap\mathcal{Z}^d|\mbox{.}\N\]\NIn other words, \(i(P;t)\) is the number of lattice points contained in the multiple of \(P\) by a coefficient \(t\). It was proven by \textit{E. Ehrhart} [C. R. Acad. Sci., Paris 254, 616--618 (1962; Zbl 0100.27601)] that \N\[\N\sum_{t\in\mathbb{N}}i(P;t)z^t=\frac{h^\star(P;z)}{(1-z)^{d+1}}\N\]\Nwhere \N\[\Nh^\star(P;z)=\sum_{i=0}^dh^{\star}_i z^i\N\]\Nis the \(h^\star\)-polynomial of \(P\). This article looks at the formal power series that arise as the limit of the \(h^\star\)-polynomials of a sequence of dimension increasing polytopes \((P_k)_{k>0}\). The authors call these power series \textit{Ehrhart limits}.\N\NThe first result is that for every positive integer \(i\) and every lattice polytope \(Q\) that contains the origin, the fraction \N\[\N\frac{h^\star(Q;z)}{(1-z)^i}\N\]\Nis a Ehrhart limit. The second result is that the product of two Ehrhart limits is also an Ehrhart limit. This is obtained by taking the join of two sequences of polytopes. Then it is shown that certain families of lattice simplices (in Hermit normal form) yield Ehrhart limits and this limit is computed explicitly in a special case.
This page was built for publication: Ehrhart limits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7012455)
