Weighted lattice point sums in lattice polytopes, unifying Dehn-Sommerville and Ehrhart-Macdonald

DOI10.1007/S00454-020-00175-2zbMATH1462.11082OpenAlexW3003474178MaRDI QIDQ2227237FDOQ2227237

Authors Matthias Beck, E. N. Materov, Paul E. Gunnells

Publication date 10 February 2021

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

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

zbMATH Keywords

lattice polytopesEhrhart polynomialEuler-Maclaurin summationDehn-Sommerville relations

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Lattices and convex bodies (number-theoretic aspects) (11H06) Lattice points in specified regions (11P21) Riemann-Roch theorems (14C40)

Abstract: Let $V$ be a real vector space of dimension $n$ and let $MsubsetV$ be a lattice. Let $PsubsetV$ be an $n$-dimensional polytope with vertices in $M$, and let $varphicolonVightarrowCC$ be a homogeneous polynomial function of degree $d$ (i.e., an element of $Sy{m}^d(V^{\ast })$). For $$ and any face $F$ of $P$, let $D_{varphi,F}(q)$ be the sum of $varphi$ over the lattice points in the dilate $qF$. We define a generating function $G_{varphi}(q,y)inQQ[q][y]$ packaging together the various $D_{varphi,F}(q)$, and show that it satisfies a functional equation that simultaneously generalizes Ehrhart--Macdonald reciprocity and the Dehn--Sommerville relations. When $P$ is a simple lattice polytope (i.e., each vertex meets $n$ edges), we show how $G_{varphi}$ can be computed using an analogue of Brion--Vergne's Euler--Maclaurin summation formula.

Recommendations

• scientific article; zbMATH DE number 966943
• scientific article; zbMATH DE number 847806
• Multivariate volume, Ehrhart, and \(h^\ast \)-polynomials of polytropes
• scientific article; zbMATH DE number 1021586
• Ehrhart series and lattice triangulations
• The Ehrhart polynomial of a lattice polytope
• New polytope decompositions and Euler-Maclaurin formulas for simple integral polytopes
• Lattice points in simple polytopes
• An algebraic construction of sum-integral interpolators
• scientific article; zbMATH DE number 775143

Cites work

• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 3163858 (Why is no real title available?)
• scientific article; zbMATH DE number 4063945 (Why is no real title available?)
• scientific article; zbMATH DE number 148667 (Why is no real title available?)
• scientific article; zbMATH DE number 1795938 (Why is no real title available?)
• scientific article; zbMATH DE number 966943 (Why is no real title available?)
• Characteristic classes of singular toric varieties
• Computing the Continuous Discretely
• Eulerian polynomials
• Hirzebruch classes and motivic Chern classes for singular spaces
• Introduction to Toric Varieties. (AM-131)
• Lattice points in simple polytopes
• Polynomials Associated with Finite Gell-Complexes
• Residue formulae, vector partition functions and lattice points in rational polytopes
• Toric varieties

Cited in

(3)

• Generalizations of Ehrhart-Macdonald reciprocity
• Criteria for Hattori-Masuda multi-polytopes via Duistermaat-Heckman functions and winding numbers
• Applying computer algebra systems to study Chaundy-Bullard identities for the vector partition function with weight

This page was built for publication: Weighted lattice point sums in lattice polytopes, unifying Dehn-Sommerville and Ehrhart-Macdonald

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