Ehrhart quasi-polynomials via Barnes polynomials and discrete moments of parallelepipeds

Abstract

We give novel explicit formulas for the Ehrhart quasi-polynomials of any rational polytope $P$, in terms of Barnes polynomials and discrete moments of half-open parallelepipeds. These formulas hold for all positive dilations of $P$ and involve an auxiliary complex $z$-parameter that yields compact formulations. We give analogous formulas for discrete moments of $P$ and its positive dilates, closely related to the literature on sums of polynomials over a polytope. Barnes polynomials and Barnes numbers permit explicit computations, showing that the main complexity in computing Ehrhart quasi-polynomials lies in the discrete moments of half-open integer parallelepipeds that we study here. These moments are generally summed over a particular lattice flow on a compact torus, introduced below. Developing these moments further, we interpret them as geometric higher-dimensional Dedekind sums, which we call polytope Dedekind sums, and establish reciprocity laws extending the classical Dedekind sum reciprocity law. As an application, we obtain a novel vertex formula for the general codimension-$1$ quasi-coefficient $c_{d-1}(t)$, valid for all $t>0$. Our main results also yield novel canonical vanishing identities for a rational polytope $P$, extending the well-known identities of Brion--Vergne. As a further consequence, we obtain a differential equation for discrete moments of $P$, extending work of Eva Linke. For smooth polytopes, we obtain novel and substantially simpler formulas for Ehrhart polynomials, discrete moments, and vanishing identities. From the perspective of Barnes polynomials and Barnes numbers, these identities may be of independent interest. They also demonstrate the utility of Barnes polynomials in geometric combinatorics, through their rich structure that extends the $1$-dimensional Bernoulli polynomials.