A finite calculus approach to Ehrhart polynomials

From MaRDI portal
Publication:976720




Abstract: A rational polytope is the convex hull of a finite set of points in Rd with rational coordinates. Given a rational polytope PsubseteqRd, Ehrhart proved that, for , the function agrees with a quasi-polynomial LP(t), called the Ehrhart quasi-polynomial. The Ehrhart quasi-polynomial can be regarded as a discrete version of the volume of a polytope. We use that analogy to derive a new proof of Ehrhart's theorem. This proof also allows us to quickly prove two other facts about Ehrhart quasi-polynomials: McMullen's theorem about the periodicity of the individual coefficients of the quasi-polynomial and the Ehrhart-Macdonald theorem on reciprocity.











This page was built for publication: A finite calculus approach to Ehrhart polynomials

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