Intermediate sums on polyhedra. II: Bidegree and Poisson formula

DOI10.1112/S0025579315000418zbMATH Open1347.05005arXiv1404.0065MaRDI 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)

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.

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

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

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)

Cites Work

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

Cited In (4)

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

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)