Intermediate sums on polyhedra. II: Bidegree and Poisson formula

DOI10.1112/S0025579315000418zbMATH Open1347.05005MaRDI QIDQ2827909FDOQ2827909

Authors Jesús A. De Loera, Matthias Köppe, Michèle Vergne, Velleda Baldoni, Nicole Berline 

Publication date 21 October 2016

Published in Mathematika (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1404.0065

zbMATH Keywords

Baldoni-Berline-Vergne approximation theorem for discrete generating functions

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Exact enumeration problems, generating functions (05A15) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Lattices and convex bodies in (n) dimensions (aspects of discrete geometry) (52C07)

Abstract: We continue our study of intermediate sums over polyhedra, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449-1466]. By well-known decompositions, it is sufficient to consider the case of affine cones s+c, where s is an arbitrary real vertex and c is a rational polyhedral cone. For a given rational subspace L, we integrate a given polynomial function h over all lattice slices of the affine cone s + c parallel to the subspace L and sum up the integrals. We study these intermediate sums by means of the intermediate generating functions $S^L(s+c)(xi)$, and expose the bidegree structure in parameters s and $xi$, which was implicitly used in the algorithms in our papers [Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra, Found. Comput. Math. 12 (2012), 435-469] and [Intermediate sums on polyhedra: Computation and real Ehrhart theory, Mathematika 59 (2013), 1-22]. The bidegree structure is key to a new proof for the Baldoni--Berline--Vergne approximation theorem for discrete generating functions [Local Euler--Maclaurin expansion of Barvinok valuations and Ehrhart coefficients of rational polytopes, Contemp. Math. 452 (2008), 15-33], using the Fourier analysis with respect to the parameter s and a continuity argument. Our study also enables a forthcoming paper, in which we study intermediate sums over multi-parameter families of polytopes.

Recommendations

• Intermediate sums on polyhedra: computation and real Ehrhart theory
• Three Ehrhart quasi-polynomials
• Generalized solid-angle theory for real polytopes
• Formulas of Brion, Lawrence, and Varchenko on rational generating functions for cones.
• Sum-integral interpolators and the Euler-Maclaurin formula for polytopes

Cites work

• Computing the Ehrhart quasi-polynomial of a rational simplex
• Computing the volume, counting integral points, and exponential sums
• Counting integer points in parametric polytopes using Barvinok's rational functions
• Points entiers dans les polyèdres convexes

Cited in

(4)

• Intermediate sums on polyhedra: computation and real Ehrhart theory
• Local asymptotic Euler-Maclaurin expansion for Riemann sums over a semi-rational polyhedron
• Three Ehrhart quasi-polynomials
• Dilated floor functions having nonnegative commutator. I: Positive and mixed sign dilations

This page was built for publication: Intermediate sums on polyhedra. II: Bidegree and Poisson formula

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