Residue formulae for vector partitions and Euler-Maclaurin sums.
type: Item
instance of: scholarly article
title: Residue formulae for vector partitions and Euler-Maclaurin sums.
zbMATH Open document ID: 1067.52014
DOI: 10.1016/S0196-8858(02)00538-9
author: András Szenes
author: Michèle Vergne
published in: Advances in Applied Mathematics
publication date: 2003-07-29T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0202253
review text: Let \(V\) be a real vector space of dimension \(n\) and \(\Gamma\subset V\) a lattice of full rank. Let \(\Phi =(\beta_1, \ldots, \beta_N)\) be a sequence of elements of the dual lattice \(\Gamma^*\), all lying to one side of some hyperplane. Let \(\lambda \in \Gamma^*\) lie in the convex cone \(C(\Phi)\) generated by \(\Phi.\) The set of non-negative real solutions to the equation \(\sum_{i=1}^N x_i\beta_i = \lambda\) is a rational convex polytope \(\Pi_\Phi(\lambda)\) in \({\mathbb R}^N\); the number \(i_\Phi(\lambda)\) of non-negative integer solutions defines the vector partition function \(\lambda \mapsto i_\Phi(\lambda)\) associated with \(\Phi.\) More generally, an Euler-MacLaurin sum is the sum \(S(f,\Phi,\lambda)\) of the values of an ``exponential-polynomial'' function \(f: {\mathbb R}^N \to {\mathbb C}\) at the integer points of \(\Pi_\Phi(\lambda)\). An exponential-polynomial function is a linear combination of exponentials \(e^{\langle y,x\rangle}\), \(y\in V^*\), with polynomial coefficients. Such a function is periodic-polynomial if the exponentials which appear satisfy \(M y \in 2\pi i{\mathbb Z}^N\) for some integer \(M\). Independent subsets of \(\Phi\) of cardinality less than \(n\) generate simplicial cones in \(C(\Phi);\) the complement is a union of open conic chambers. For each such chamber \({\mathfrak c}\), the restriction of \(S(f,\Phi,\lambda)\) to \(\overline{\mathfrak c}\) is given by a exponential-polynomial function. In the paper under review, the authors derive a residue formula for this function which holds throughout an collared neighborhood of \(\overline{\mathfrak c}\). To be more precise, let \(\square\) denote the zonotope determined by \(\Phi\): \(\square=\sum_{i=1}^N [0,1]\beta_i.\) Then, for each conic chamber \(\mathfrak c\) in \(C(\Phi)\), there is a periodic-polynomial \(i({\mathfrak c},\lambda)\) such that \(i_\Phi(\lambda)=i({\mathfrak c},\lambda)\) at all integer lattice points in the ``Minkowsi difference'' \({\mathfra…
Mathematics Subject Classification ID: 52B11
Mathematics Subject Classification ID: 52C35
Mathematics Subject Classification ID: 11P21
zbMATH DE Number: 1956073
zbMATH Keywords: vector partition
zbMATH Keywords: Euler-Maclaurin sum
zbMATH Keywords: residue
zbMATH Keywords: hyperplane arrangement
zbMATH Keywords: Ehrhart polynomial
zbMATH Keywords: Jeffery-Kirwan residue
reviewed by: Michael Falk
MaRDI profile type: MaRDI publication profile
arXiv ID: math/0202253
cites work: Q4021407
cites work: Points entiers dans les polyèdres convexes
cites work: Residue formulae, vector partition functions and lattice points in rational polytopes
cites work: Arrangement of hyperplanes. I: Rational functions and Jeffrey-Kirwan residue
cites work: Genera of algebraic varieties and counting of lattice points
cites work: Q4866858
cites work: Q5625162
cites work: The Ehrhart polynomial of a lattice polytope
cites work: Sur un probl?me de g?om?trie diophantienne lin?aire. I. Poly?dres et r?seaux.
cites work: Polynômes arithmétiques et méthode des polyedres en combinatoire
cites work: Riemann-Roch for toric orbifolds
cites work: Localization for nonabelian group actions
cites work: Q4031179
cites work: Valuations and Euler-Type Relations on Certain Classes of Convex Polytopes
cites work: Lattice invariant valuations on rational polytopes
cites work: Singular reduction and quantization
cites work: Decompositions of Rational Convex Polytopes
cites work: On vector partition functions
cites work: Residue theorem for rational trigonometric sums and Verlinde's formula
OpenAlex ID: W1979041943
Recommended article: Residue formulae, vector partition functions and lattice points in rational polytopes
Recommended article: Q5447543
Recommended article: Q4878359
Recommended article: Q4878339
Recommended article: Vector partition functions and generalized Dahmen and Micchelli spaces
description: scientific article