INTERMEDIATE SUMS ON POLYHEDRA: COMPUTATION AND REAL EHRHART THEORY

V Baldoni (1) , N Berline (2) , Matthias Koeppe (3) , M. Vergne (4)

1 Università degli Studi di Roma Tor Vergata [Roma] = University of Rome Tor Vergata
2 CMLS - Centre de Mathématiques Laurent Schwartz
3 UC Davis - University of California [Davis]
4 IMJ - Institut de Mathématiques de Jussieu

We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvi-nok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449–1466]. For a given semi-rational polytope p and a rational subspace L, we integrate a given polyno-mial function h over all lattice slices of the polytope p parallel to the subspace L and sum up the integrals. We first develop an al-gorithmic theory of parametric intermediate generating functions. Then we study the Ehrhart theory of these intermediate sums, that is, the dependence of the result as a function of a dilation of the polytope. We provide an algorithm to compute the resulting Ehrhart quasi-polynomials in the form of explicit step polynomi-als. These formulas are naturally valid for real (not just integer) dilations and thus provide a direct approach to real Ehrhart theory.

Domaines: Géométrie métrique [math.MG]

V Baldoni, N Berline, Matthias Koeppe, M. Vergne. INTERMEDIATE SUMS ON POLYHEDRA: COMPUTATION AND REAL EHRHART THEORY. 2014. ⟨hal-01087290⟩