### April 7, 2005

2000 Mathematics Subject Classification. Primary 52C07; Secondary 05A15.We thank Margaret Readdy for helpful comments. Parts of this paper was written while the first author was at SUNY Binghamton and the Mathematical Sciences Research Institute, Berkeley; he thanks both institutions for their hospitality. The second author was partially supported by National Science Foundation grant 0200624 and by a University of Kentucky College of Arts and Sciences 2004 summer grant.
<ph f="cmbx">Ehrhart-Macdonald reciprocity extended</ph>

### Richard Ehrenborg

Department of Mathematics, San Francisco State University, San Francisco, CA 94132, USA E-mail address : beck@math.sfsu.edu URL: http://math.sfsu.edu/beck Department of Mathematics, University of Kentucky, Lexington, KY 40506-0027, USA E-mail address : jrge@ms.uky.edu URL: http://www.ms.uky.edu/~jrge/
• Abstract. For a convex polytope $\mathcal{P}$  with rational vertices, we count the number of integer points in integral dilates of $\mathcal{P}$  and its interior. The Ehrhart-Macdonald reciprocity law gives an intimate relation between these two counting functions. A similar counting function and reciprocity law exists for the sum of all solid angles at integer points in dilates of $\mathcal{P}$  . We derive a unifying generalization of these reciprocity theorems which follows in a natural way from Brion's Theorem on conic decompositions of polytopes.

1 Introduction

The origin of this work lies in two beautiful reciprocity theorems of Ehrhart and Macdonald. One attaches to a convex rational polytope $\mathcal{P}$  two counting functions: the number of integral points in $t\mathcal{P}$  and the sum of the solid angles in $t\mathcal{P}$  , as functions of a positive integer $t$  . These functions are quasi-polynomials in $t$  which have a life beyond the positive integers. Namely, when evaluated at negative integers, they give the respective counting function for the interior of $\mathcal{P}$  . Our goal is to unify and generalize the integral-point and solid-angle counting functions, using the philosophy of valuations. Our main tool is Brion's Theorem on conic decompositions of polytopes.
A convex polyhedron $\mathcal{P}$  is the intersection of (open or closed) half-spaces in ${\mathbb{R}}^{d}$  . We say $\mathcal{P}$  is a convex polytope if it is bounded, and $\mathcal{P}$  is a cone if each hyperplane bounding the half-spaces that define $\mathcal{P}$  contains the origin. To each integer point $\mathbf{m}\in {\mathbb{Z}}^{d}$  in a convex polyhedron $\mathcal{P}$  we attach the tangent cone ${\mathcal{K}}_{\mathcal{P}}\left(\mathbf{m}\right)$  , defined as follows. Denote the characteristic function of a set $X$  by ${1}_{X}\left(x\right)$  , that is, it is 1 for $x\in X$  and 0 otherwise. Let ${f}_{\mathcal{P}}\left(\mathbf{m},\mathbf{x}\right)={lim}_{\epsilon \to {0}^{+}}{1}_{\mathcal{P}}\left(\mathbf{m}+\epsilon \mathbf{x}\right)$  . Then the tangent cone at $\mathbf{m}$  is ${\mathcal{K}}_{\mathcal{P}}\left(\mathbf{m}\right)=\left\{\mathbf{x}\in {\mathbb{R}}^{d}:{f}_{\mathcal{P}}\left(\mathbf{m},\mathbf{x}\right)=1\right\}.$  In other words, ${\mathcal{K}}_{\mathcal{P}}\left(\mathbf{m}\right)$  equals
• $\bullet$  ${\mathbb{R}}^{d}$  if $\mathbf{m}$  is in the interior of $\mathcal{P}$  ;
• $\bullet$  $\varnothing$  if $\mathbf{m}$  is not in the closure of $\mathcal{P}$  ;
• $\bullet$  the intersection of the halfspaces defining a face $\mathcal{ℱ}$  if $\mathbf{m}$  is on the face $\mathcal{ℱ}$  of $\mathcal{P}$  , shifted to the origin.
A lattice of sets is a collection $\mathcal{ℒ}$  of sets, partially ordered by set inclusion, such that for any two sets $A,B\in \mathcal{ℒ}$  $A\cap B\in \mathcal{ℒ}\text{and}A\cup B\in \mathcal{ℒ}.$  A function $v$  on $\mathcal{ℒ}$  with values in some abelian group is a valuation (often called a finitely additive measure ) if for any $A,B\in \mathcal{ℒ}$
 $\begin{array}{c}v\left(A\cup B\right)=v\left(A\right)+v\left(B\right)-v\left(A\cap B\right).\end{array}$ (1.1)
We consider the lattice $\mathcal{ℒ}$  generated by (open, closed, half-open) cones. We define ${v}_{\mathcal{P}}\left(\mathbf{m}\right)$  as the valuation $v$  evaluated at the tangent cone ${\mathcal{K}}_{\mathcal{P}}\left(\mathbf{m}\right)$  . This is a valuation when viewed as a function of $\mathcal{P}$  . However, we will mostly be interested in ${v}_{\mathcal{P}}\left(\mathbf{m}\right)$  as a function in $\mathbf{m}$  .
The counting function we study is ${V}_{\mathcal{P}}\left(t\right):={\sum }_{\mathbf{m}\in {\mathbb{Z}}^{d}}{v}_{t\mathcal{P}}\left(\mathbf{m}\right),$  initially defined for positive integers $t$  . This function only makes sense if $\mathcal{P}$  is bounded, that is, $\mathcal{P}$  is a convex polytope. In order to state our main theorem, recall that a quasi-polynomial $Q$  of degree $d$  as an expression of the form $Q\left(t\right)={c}_{d}\left(t\right){t}^{d}+\cdot \cdot \cdot +{c}_{1}\left(t\right)t+{c}_{0}\left(t\right),$  where ${c}_{0},{c}_{1},...,{c}_{d}$  are periodic functions of $t$  and ${c}_{d}\not\equiv 0$  . The least common multiple of the periods of the ${c}_{j}$  is called the period of $Q$  . The denominator of the polytope $\mathcal{P}$  is the least common multiple of the denominators of the vertices of $\mathcal{P}$  . We denote the relative interior of $\mathcal{P}$  by ${\mathcal{P}}^{\circ }$  .
Theorem 1.1. For any closed convex rational $d$  -polytope, ${V}_{\mathcal{P}}\left(t\right)$  is a quasi-polynomial in $t$  of degree $d$  . The period of ${V}_{\mathcal{P}}\left(t\right)$  divides the denominator of $\mathcal{P}$  . In particular, if $\mathcal{P}$  has integer vertices then ${V}_{\mathcal{P}}$  is a polynomial. Its evaluation at negative integers gives
 $\begin{array}{c}{V}_{\mathcal{P}}\left(-t\right)=\left(-1{\right)}^{d}{V}_{-{\mathcal{P}}^{\circ }}\left(t\right).\end{array}$ (1.2)
Our motivation for studying the function ${V}_{\mathcal{P}}\left(t\right)$  comes from special cases of valuations. The first example is $v\left(A\right):=\left\{\begin{array}{cc}1& \text{if}0\in A,\\ 0& \text{if}0\notin A.\end{array}$  In this case ${V}_{\mathcal{P}}\left(t\right)$  counts the number of integer points in $t\mathcal{P}$  and Theorem  1.1 specializes to the following fundamental theorem due to Ehrhart [5, 6. Note that ${V}_{\mathcal{P}}\left(t\right)={V}_{-\mathcal{P}}\left(t\right)$  .
Corollary 1.2 (Ehrhart). If $P$  is a closed convex rational $d$  -polytope, then ${L}_{\mathcal{P}}\left(t\right):=#\left(t\mathcal{P}\cap {\mathbb{Z}}^{d}\right)$  is a quasi-polynomial of degree $d$  , having period that divides the denominator of $\mathcal{P}$  . In particular, if $\mathcal{P}$  has integer vertices, then ${L}_{\mathcal{P}}$  is a polynomial. The evaluation of ${L}_{\mathcal{P}}$  at negative integers gives
 $\begin{array}{c}{L}_{\mathcal{P}}\left(-t\right)=\left(-1{\right)}^{d}{L}_{{\mathcal{P}}^{\circ }}\left(t\right).\end{array}$ (1.3)
The reciprocity law ( 1.3 ), conjectured and partially proved by Ehrhart, was in its full generality first proved by Macdonald [11.
The second example of a valuation is $v\left(A\right):=\text{solid angle of}A\text{at}0\text{},$  that is, the ratio of the volumes of $A\cap B$  and $B$  , where $B$  is a sufficiently small $d$  -ball centered at the origin. Now ${V}_{\mathcal{P}}\left(t\right)$  counts the integer points in $t\mathcal{P}$  weighted by their solid angle in $t\mathcal{P}$  .
Theorem  1.1 specializes to the following fundamental theorem due to Macdonald [11. Note again that ${V}_{\mathcal{P}}\left(t\right)={V}_{-\mathcal{P}}\left(t\right)$  .
Corollary 1.3 (Macdonald). Suppose $\mathcal{P}$  is a convex rational $d$  -polytope. Let ${A}_{\mathcal{P}}\left(t\right)$  be the sum of the solid angles of $t\mathcal{P}$  at all integer points. Then ${A}_{\mathcal{P}}$  is a quasi-polynomial of degree $d$  , whose period divides the least common multiple of the denominators of the vertices of $\mathcal{P}$  . The evaluation of ${A}_{\mathcal{P}}$  at negative integers gives
 $\begin{array}{c}{A}_{\mathcal{P}}\left(-t\right)=\left(-1{\right)}^{d}{A}_{\mathcal{P}}\left(t\right).\end{array}$ (1.4)
In particular, if $\mathcal{P}$  has integer vertices, then ${A}_{\mathcal{P}}$  is a polynomial which is either even or odd.
It is not hard to conclude the first half of Macdonald's Theorem from Ehrhart's Theorem (Corollary  1.2 ), since all integer points in a given face of $\mathcal{P}$  have the same solid angle. The nontrivial part is equation ( 1.4 ).
A third example of a valuation is as follows. Fix a vector $\mathbf{v}\in {\mathbb{R}}^{d}$  , and let $v\left(A\right):=\left\{\begin{array}{cc}1& \text{if}\mathbf{v}\in A,\\ 0& \text{if}\mathbf{v}\notin A.\end{array}$  This time ${V}_{\mathcal{P}}\left(t\right)$  counts those integer points $\mathbf{m}$  that after a small step in direction $\mathbf{v}$  will be in $t\mathcal{P}$  .
Note that, in particular, ${V}_{\mathcal{P}}\left(t\right)\ne {V}_{-\mathcal{P}}\left(t\right)$  . Theorem  1.1 specializes to the following statement. Let $\mathcal{D}\left(\mathcal{P},\mathbf{v}\right)=\left\{\mathbf{m}\in {\mathbb{Z}}^{d}:\mathbf{m}+\epsilon \mathbf{v}\in \mathcal{P}\text{for small enough}\epsilon >0\right\}$  and ${D}_{\mathcal{P},\mathbf{v}}\left(t\right)=#\mathcal{D}\left(t\mathcal{P},\mathbf{v}\right)$  .
Corollary 1.4. Suppose $\mathcal{P}$  is a convex rational $d$  -polytope and $\mathbf{v}$  is a fixed vector in ${\mathbb{R}}^{d}$  . Then ${D}_{\mathcal{P},\mathbf{v}}\left(t\right)$  is a quasi-polynomial of degree $d$  . The period of ${D}_{\mathcal{P},\mathbf{v}}\left(t\right)$  divides the least common multiple of the denominators of the vertices of $\mathcal{P}$  . In particular, if $\mathcal{P}$  has integer vertices, then ${D}_{\mathcal{P},\mathbf{v}}$  is a polynomial. The evaluation of ${D}_{\mathcal{P},\mathbf{v}}$  at negative integers gives ${D}_{\mathcal{P},\mathbf{v}}\left(-t\right)=\left(-1{\right)}^{d}{D}_{-{\mathcal{P}}^{\circ },\mathbf{v}}\left(t\right).$
We conceived Theorem  1.1 when we realized that Ehrhart's and Macdonald's theorems (Corollaries  1.2 and  1.3 ) follow very naturally from a theorem of Brion [4, which in itself can be thought of as a consequence of a theorem due to Brianchon [3and Gram [7. To state these results, we need to introduce a few notions of polyhedral geometry in the next section. By no means do we claim that our approach is the easiest to Corollaries  1.2 and  1.3 ; our goal is merely to show the intimate connections of these results. Another such connection is given by Barvinok's result [1, which uses Brion's Theorem to conclude that in fixed dimension, the generating function of an Ehrhart quasi-polynomial is polynomial-time computable.

2 Conic decompositions of polytopes

Given a $d$  -dimensional closed convex polyhedron $\mathcal{P}\subset {\mathbb{R}}^{d}$  , the hyperplane $H=\left\{\mathbf{x}\in {\mathbb{R}}^{d}:\mathbf{a}\cdot \mathbf{x}=b\right\}$  is a supporting hyperplane of $\mathcal{P}$  if $\mathcal{P}\cap H\ne \varnothing$  and $\mathcal{P}$  lies entirely on one side of $H$  , that is, $\mathcal{P}\subseteq \left\{\mathbf{x}\in {\mathbb{R}}^{d}:\mathbf{a}\cdot \mathbf{x}\le b\right\}$  or $\mathcal{P}\subseteq \left\{\mathbf{x}\in {\mathbb{R}}^{d}:\mathbf{a}\cdot \mathbf{x}\ge b\right\}$  . A face of $\mathcal{P}$  is a set of the form $\mathcal{P}\cap H$  , where $H$  is a supporting hyperplane of $\mathcal{P}$  . Note that both $\mathcal{P}$  itself and the empty set are faces of $\mathcal{P}$  . The $\left(d-1\right)$  -dimensional faces are called facets, the 1-dimensional faces edges, and the 0-dimensional faces vertices of $\mathcal{P}$  .
For a vertex $\mathbf{v}$  of $\mathcal{P}$  , we define the affine vertex cone ${\mathcal{P}}_{\mathbf{v}}$  as the shifted cone ${\mathcal{K}}_{\mathcal{P}}\left(\mathbf{v}\right)+\mathbf{v}$  .
The integer generating function ${\sigma }_{\mathcal{P}}$  of a convex polyhedron $\mathcal{P}$  is ${\sigma }_{\mathcal{P}}\left(\mathbf{z}\right)={\sigma }_{\mathcal{P}}\left({z}_{1},...,{z}_{d}\right)={\sum }_{\left({m}_{1},...,{m}_{d}\right)\in \mathcal{P}\cap {\mathbb{Z}}^{d}}{z}_{1}^{{m}_{1}}\cdots {z}_{d}^{{m}_{d}}={\sum }_{\mathbf{m}\in \mathcal{P}\cap {\mathbb{Z}}^{d}}{\mathbf{z}}^{\mathbf{m}}.$  Here we view $\mathbf{z}$  as a $d$  -dimensional complex variable.
A polyhedron is rational if each of its defining halfspaces can be described as $\left\{\mathbf{x}\in {\mathbb{R}}^{d}:\mathbf{a}\cdot \mathbf{x}\le b\right\}$  for some $\mathbf{a}\in {\mathbb{Z}}^{d}$  and $b\in \mathbb{Z}$  . If $\mathcal{P}$  is a rational polyhedron then ${\sigma }_{\mathcal{P}}\left(\mathbf{z}\right)$  can be written as a rational function in ${z}_{1},...,{z}_{d}$  (see, for example, [13). The following theorem can be derived, for example, from the Brianchon-Gram Theorem [3, 7; this is shown in [2. The original proof of Brion is in [4; other, more elementary proofs can be found in [9, 10.
Theorem 2.1 (Brion). For a convex rational polytope $\mathcal{P}\subset {\mathbb{R}}^{d}$  , represent the generating functions of the vertex cones ${\mathcal{P}}_{\mathbf{v}}$  as rational functions. Then ${\sum }_{\mathbf{v}\text{vertex of}\mathcal{P}}{\sigma }_{{\mathcal{P}}_{\mathbf{v}}}\left(\mathbf{z}\right)={\sigma }_{\mathcal{P}}\left(\mathbf{z}\right).$
We need to extend Brion's Theorem to our more general setting, albeit for our purposes we only need a version for simplices. Our extension concerns the generating function for the valuation ${v}_{\mathcal{P}}$  , that is, ${\beta }_{\mathcal{P}}\left(\mathbf{z}\right)={\sum }_{\mathbf{m}\in {\mathbb{Z}}^{d}}{v}_{\mathcal{P}}\left(\mathbf{m}\right){\mathbf{z}}^{\mathbf{m}}.$  This is a rational function because ${v}_{\mathcal{P}}\left(\mathbf{m}\right)$  is constant on faces.
Theorem 2.2. Suppose $\mathcal{S}$  is a rational simplex and $v$  is a valuation. Then, as rational functions, ${\sum }_{\mathbf{v}\text{vertex of}\mathcal{S}}{\beta }_{{\mathcal{S}}_{\mathbf{v}}}\left(\mathbf{z}\right)={\beta }_{\mathcal{S}}\left(\mathbf{z}\right).$
In what follows, we adjust a valuation-based proof of Brion's Theorem given in [2to our more general setting.
• Proof of Theorem  2.2 . Suppose $\mathcal{S}$  is a rational $d$  -simplex. The hyperplanes bounding $\mathcal{S}$  divide ${\mathbb{R}}^{d}$  into regions. These regions are in one-to-one correspondence with the non-empty faces of $\mathcal{S}$  , namely the closure of each region touches a unique maximal face of $\mathcal{S}$  . Denote the region corresponding to the face $\mathcal{ℱ}$  by $ch\left(\mathcal{ℱ}\right)$  . We orient the hyperplanes in such a way that they point towards $\mathcal{S}$  . Thus $ch\left(\mathcal{S}\right)=\mathcal{S}$  is closed, the region corresponding to a vertex is open, and all the other regions are half open.
Let $\mathcal{W}$  be the union of regions corresponding to subfaces of a face $\mathcal{ℱ}\subseteq \mathcal{S}$  , that is, $\mathcal{W}={\bigcup }_{\mathcal{G}\subseteq \mathcal{ℱ}}ch\left(\mathcal{G}\right).$  The set $\mathcal{W}$  is a convex polyhedron that contains a line, except when $\mathcal{ℱ}$  is a vertex. Because $v$  is a valuation, the generating function ${\beta }_{\mathcal{W}}\left(\mathbf{z}\right)$  satisfies, ${\beta }_{\mathcal{W}}\left(\mathbf{z}\right)={\sum }_{\mathcal{G}\subseteq \mathcal{ℱ}}{\beta }_{ch\left(\mathcal{G}\right)}\left(\mathbf{z}\right)$  Now unless $\mathcal{ℱ}$  is a vertex, ${\beta }_{\mathcal{W}}\left(\mathbf{z}\right)$  is zero: There is an integer vector $\mathbf{m}$  such that $\mathcal{W}+\mathbf{m}=\mathcal{W}$  ; but $1-{\mathbf{z}}^{\mathbf{m}}$  is not a zero divisor in the ring of rational functions in $\mathbf{z}$  . In summary, we have ${\sum }_{\mathcal{G}\subseteq \mathcal{ℱ}}{\beta }_{ch\left(\mathcal{G}\right)}\left(\mathbf{z}\right)=\left\{\begin{array}{cc}{\beta }_{ch\left(\mathcal{ℱ}\right)}\left(\mathbf{z}\right)& \text{if}\mathcal{ℱ}\text{is a vertex,}\\ 0& \text{otherwise.}\end{array}$  By inclusion-exclusion, ${\beta }_{ch\left(\mathcal{ℱ}\right)}\left(\mathbf{z}\right)=\left(-1{\right)}^{dim\mathcal{ℱ}}{\sum }_{\mathbf{v}\text{vertex of}\mathcal{ℱ}}{\beta }_{ch\left(\mathbf{v}\right)}\left(\mathbf{z}\right).$  Again using that $v$  is a valuation, we have
 $\begin{array}{cc}{\sum }_{\mathbf{v}\text{vertex of}\mathcal{S}}{\beta }_{{\mathcal{P}}_{\mathbf{v}}}\left(\mathbf{z}\right)& =\left(d+1\right){\beta }_{\mathcal{S}}\left(\mathbf{z}\right)+{\sum }_{\mathcal{ℱ}\text{facet of}\mathcal{S}}{\beta }_{ch\left(\mathcal{ℱ}\right)}\left(\mathbf{z}\right)\end{array}$
 $\begin{array}{cc}& ={\beta }_{\mathcal{S}}\left(\mathbf{z}\right)+d\left(-1{\right)}^{d}{\sum }_{\mathbf{v}\text{vertex of}\mathcal{S}}{\beta }_{ch\left(\mathbf{v}\right)}\left(\mathbf{z}\right)+{\sum }_{\mathcal{ℱ}\text{facet of}\mathcal{S}}\left(-1{\right)}^{d-1}{\sum }_{\mathbf{v}\text{vertex of}\mathcal{ℱ}}{\beta }_{ch\left(\mathcal{ℱ}\right)}\left(\mathbf{z}\right)\end{array}$
 $\begin{array}{cc}& ={\beta }_{\mathcal{S}}\left(\mathbf{z}\right)+{\sum }_{\mathbf{v}\text{vertex of}\mathcal{S}}\left(d\left(-1{\right)}^{d}+d\left(-1{\right)}^{d-1}\right){\beta }_{ch\left(\mathcal{ℱ}\right)}\left(\mathbf{z}\right)\end{array}$
 $\begin{array}{cc}& ={\beta }_{\mathcal{S}}\left(\mathbf{z}\right).\end{array}$
 $\begin{array}{}\end{array}$
This completes the proof.
Theorem  2.2 can be extended to general convex polytopes using the valuation theorems of the next section. Since we do not need the general case to prove our main theorem, we leave the proof to the reader.
Theorem 2.3. Suppose $\mathcal{P}$  is a convex rational polytope and $v$  is a valuation. As rational functions, we have the identity ${\sum }_{\mathbf{v}\text{vertex of}\mathcal{P}}{\beta }_{{\mathcal{P}}_{\mathbf{v}}}\left(\mathbf{z}\right)={\beta }_{\mathcal{P}}\left(\mathbf{z}\right).$

3 Valuations on the triangulation lattice

A subset $\mathcal{G}$  of a lattice $\mathcal{ℒ}$  is a generating set if $\mathcal{G}$  is closed under intersection and every element of $\mathcal{ℒ}$  is the union of elements of $\mathcal{G}$  . The following extension theorem is due to Groemer [8and generalizes a valuation theorem for polyhedra due to Volland [14.
Theorem 3.1 (Groemer). Suppose $\mathcal{G}$  generates the lattice $\mathcal{ℒ}$  , and $v$  is a function on $\mathcal{G}$  that satisfies $v\left({}^{n}{\bigcup }_{i=1}{A}_{i}\right)={\sum }_{1\le i\le n}v\left({A}_{i}\right)-{\sum }_{1\le i  whenever ${A}_{1},{A}_{2},...,{A}_{n},{A}_{1}\cup {A}_{2}\cup \cdot \cdot \cdot \cup {A}_{n}\in G$  . Then $v$  extends uniquely to a valuation on $\mathcal{ℒ}$  .
A (rational) polytope is the union of finitely many open or closed convex (rational) polytopes.
We apply Groemer's Theorem as follows. Given a (rational) polytope $\mathcal{P}$  , fix a triangulation of $\mathcal{P}$  into (rational) simplices. Let ${\mathcal{T}}_{\mathcal{P}}$  denote the set of all unions of faces of these simplices. Hence ${\mathcal{T}}_{\mathcal{P}}$  is a lattice, whose top element is $\mathcal{P}$  . The generating set of ${\mathcal{T}}_{\mathcal{P}}$  consists of the simplices of the triangulation and their faces, which are also simplices. The union of $n$  faces ${\mathcal{ℱ}}_{1},{\mathcal{ℱ}}_{2},...,{\mathcal{ℱ}}_{n}$  is again a face if only if one of the faces ${\mathcal{ℱ}}_{k}$  contains all the others. In this situation the condition of Groemer's Theorem, Theorem  3.1 , is directly satisfied. This means that we can define a function arbitrarily on the faces of the triangulation, and this function will extend uniquely to a valuation on ${\mathcal{T}}_{\mathcal{P}}$  . Moreover, the values on elements of ${\mathcal{T}}_{\mathcal{P}}$  are given by an iterated application of the inclusion-exclusion formula ( 1.1 ). In particular:
Corollary 3.2. Two valuations that agree on all (rational) simplices agree on all (rational) polytopes.
This result is useful to us, since ${V}_{\mathcal{P}}$  is a valuation as a function of $\mathcal{P}$  .

4 Proof of the reciprocity theorem

• Proof of Theorem  1.1 . Because of Corollary  3.2 , it is enough to prove Theorem  1.1 for simplices.
Without loss of generality we may assume that the simplex $\mathcal{S}$  has the same dimension as the space it lies in. Hence suppose $\mathcal{S}$  is a rational $d$  -simplex in ${\mathbb{R}}^{d}$  , whose vertices have coordinates with denominator $p$  . We will prove the reciprocity identity ( 1.2 ) for the function ${V}_{\mathcal{S}}\left(r+pt\right)$  for a fixed $r$  .
The fact that ${V}_{\mathcal{S}}\left(r+pt\right)$  is a polynomial in $t$  will be recovered in passing.
By Theorem  2.2 , ${V}_{\mathcal{S}}\left(r+pt\right)={\sum }_{\mathbf{m}\in \left(r+pt\right)\mathcal{S}\cap {\mathbb{Z}}^{d}}{v}_{\left(r+pt\right)\mathcal{S}}\left(\mathbf{m}\right)={lim}_{\mathbf{z}\to 1}{\beta }_{\left(r+pt\right)\mathcal{S}}\left(\mathbf{z}\right)={lim}_{\mathbf{z}\to 1}{\sum }_{\mathbf{v}\text{vertex of}\mathcal{S}}{\beta }_{\left(r+pt\right){\mathcal{S}}_{\mathbf{v}}}\left(\mathbf{z}\right),$  so we need to look at the integer generating functions for $\left(r+pt\right)$  -dilates of cones more closely.
For a vertex $\mathbf{v}$  of $\mathcal{S}$  , suppose ${\mathcal{S}}_{\mathbf{v}}=\mathbf{v}+{\sum }_{k=1}^{d}{\mathbb{R}}_{\ge 0}{\mathbf{w}}_{k}$  for some integer vectors ${\mathbf{w}}_{1},...,{\mathbf{w}}_{d}$  ; then $\left(r+pt\right){\mathcal{S}}_{\mathbf{v}}=\left(r+pt\right)\mathbf{v}+{\sum }_{k=1}^{d}{\mathbb{R}}_{\ge 0}{\mathbf{w}}_{k}=tp\mathbf{v}+\left(r\mathbf{v}+{\sum }_{k=1}^{d}{\mathbb{R}}_{\ge 0}{\mathbf{w}}_{k}\right).$  Note that $p\mathbf{v}$  is an integer vector. Now let ${R}_{\mathbf{v}}\left(\mathbf{z}\right)$  denote the rational function equal to the integer generating function of $r\mathbf{v}+{\sum }_{k=1}^{d}{\mathbb{R}}_{\ge 0}{\mathbf{w}}_{k}$  ; because this cone is simple, ${R}_{\mathbf{v}}\left(\mathbf{z}\right)$  is easy to write down:
let ${\underline{\Pi }}_{\mathbf{v}}=r\mathbf{v}+{\sum }_{k=1}^{d}\left[0,1\right){\mathbf{w}}_{k}$  , then ${R}_{\mathbf{v}}\left(\mathbf{z}\right)=\frac{{\beta }_{{\underline{\Pi }}_{\mathbf{v}}}\left(\mathbf{z}\right)}{{\prod }_{k=1}^{d}\left(1-{\mathbf{z}}^{{\mathbf{w}}_{k}}\right)},$  whence ${\beta }_{\left(r+pt\right){\mathcal{S}}_{\mathbf{v}}}\left(\mathbf{z}\right)={\mathbf{z}}^{tp\mathbf{v}}{R}_{\mathbf{v}}\left(\mathbf{z}\right)={\mathbf{z}}^{tp\mathbf{v}}\frac{{\beta }_{{\underline{\Pi }}_{\mathbf{v}}}\left(\mathbf{z}\right)}{{\prod }_{k=1}^{d}\left(1-{\mathbf{z}}^{{\mathbf{w}}_{k}}\right)}.$  Note that we are using the fact that $v$  is a valuation. For the open cone ${\mathcal{S}}_{\mathbf{v}}^{\circ }$  we obtain, completely analogously, ${\beta }_{\left(r+pt\right){\mathcal{S}}_{\mathbf{v}}^{\circ }}\left(\mathbf{z}\right)={\mathbf{z}}^{tp\mathbf{v}}\frac{{\beta }_{{\overline{\Pi }}_{\mathbf{v}}}\left(\mathbf{z}\right)}{{\prod }_{k=1}^{d}\left(1-{\mathbf{z}}^{{\mathbf{w}}_{k}}\right)},$  where ${\overline{\Pi }}_{\mathbf{v}}=r\mathbf{v}+{\sum }_{k=1}^{d}\left(0,1\right]{\mathbf{w}}_{k}$  .
From the form of these generating functions, we can immediately conclude that ${V}_{\mathcal{S}}\left(r+pt\right)$  is a polynomial in $t$  which implies that ${V}_{\mathcal{S}}$  is a quasi-polynomial: We know that the sum of the generating functions of all vertex cones is a polynomial in the variables of $\mathbf{z}$  , hence the singularities of the rational functions cancel. To compute ${V}_{\mathcal{S}}\left(r+pt\right)={lim}_{\mathbf{z}\to 1}{\sum }_{\mathbf{v}\text{vertex of}\mathcal{S}}{\mathbf{z}}^{tp\mathbf{v}}{R}_{\mathbf{v}}\left(\mathbf{z}\right),$  we can write all the rational functions on the right-hand side over one denominator and use L'Hospital's Rule to compute the limit. The result is a polynomial in $t$  , as we simply evaluate $\mathbf{z}$  at 1 after using L'Hospital's Rule the correct number of times.
To prove the reciprocity law, we relate the geometry of ${\underline{\Pi }}_{\mathbf{v}}$  with the geometry of ${\overline{\Pi }}_{\mathbf{v}}$  . This geometry depends on $r$  ; let us include this dependency in our notation. Recall that ${\underline{\Pi }}_{\mathbf{v}}={\underline{\Pi }}_{\mathbf{v}}\left(r\right)=r\mathbf{v}+{\sum }_{k=1}^{d}\left[0,1\right){\mathbf{w}}_{k}$  and ${\overline{\Pi }}_{\mathbf{v}}={\overline{\Pi }}_{\mathbf{v}}\left(r\right)=r\mathbf{v}+{\sum }_{k=1}^{d}\left(0,1\right]{\mathbf{w}}_{k}.$  The two half-open parallelepipeds relate as  $\begin{array}{c}{\overline{\Pi }}_{\mathbf{v}}\left(r\right)=-{\underline{\Pi }}_{\mathbf{v}}\left(-r\right)+{\sum }_{k=1}^{d}{\mathbf{w}}_{k},\end{array}$ (4.1)
as illustrated in Figure  1 . Using the notation ${\mathbf{z}}^{-1}=\left({z}_{1}^{-1},...,{z}_{d}^{-1}\right)$  , we have ${\beta }_{-{\underline{\Pi }}_{\mathbf{v}}\left(-r\right)}\left(\mathbf{z}\right)={\beta }_{{\underline{\Pi }}_{\mathbf{v}}\left(-r\right)}\left({\mathbf{z}}^{-1}\right),$  which allows us to rephrase ( 4.1 ) as ${\beta }_{{\overline{\Pi }}_{\mathbf{v}}\left(r\right)}\left(\mathbf{z}\right)={\beta }_{{\underline{\Pi }}_{\mathbf{v}}\left(-r\right)}{\left({\mathbf{z}}^{-1}\right)}^{d}{\prod }_{k=1}{\mathbf{z}}^{{\mathbf{w}}_{k}}.$

Figure 1 . Top: ${\overline{\Pi }}_{\mathbf{v}}\left(r\right)$  Bottom: ${\underline{\Pi }}_{\mathbf{v}}\left(-r\right)\to -{\underline{\Pi }}_{\mathbf{v}}\left(-r\right)\to -{\underline{\Pi }}_{\mathbf{v}}\left(-r\right)+\sum {\mathbf{w}}_{k}$

Now by the extended Brion-Theorem for simplices (Theorem  2.2 ) and the rational generating functions for simple cones,
 $\begin{array}{cc}{V}_{-{\mathcal{S}}^{\circ }}\left(r+pt\right)& ={lim}_{\mathbf{z}\to 1}{\beta }_{-\left(r+pt\right){\mathcal{S}}^{\circ }}\left(\mathbf{z}\right)\end{array}$
 $\begin{array}{cc}& ={lim}_{\mathbf{z}\to 1}{\beta }_{\left(r+pt\right){\mathcal{S}}^{\circ }}\left({\mathbf{z}}^{-1}\right)\end{array}$
 $\begin{array}{cc}& ={lim}_{\mathbf{z}\to 1}{\sum }_{\mathbf{v}\text{vertex of}\mathcal{S}}{\mathbf{z}}^{-tp\mathbf{v}}\frac{{\beta }_{{\overline{\Pi }}_{\mathbf{v}}\left(r\right)}\left({\mathbf{z}}^{-1}\right)}{{\prod }_{k=1}^{d}\left(1-{\mathbf{z}}^{-{\mathbf{w}}_{k}}\right)}\end{array}$
 $\begin{array}{cc}& ={lim}_{\mathbf{z}\to 1}{\sum }_{\mathbf{v}\text{vertex of}\mathcal{S}}{\mathbf{z}}^{-tp\mathbf{v}}\frac{{\beta }_{{\underline{\Pi }}_{\mathbf{v}}\left(-r\right)}\left(\mathbf{z}\right){\prod }_{k=1}^{d}{\mathbf{z}}^{-{\mathbf{w}}_{k}}}{{\prod }_{k=1}^{d}\left(1-{\mathbf{z}}^{-{\mathbf{w}}_{k}}\right)}\end{array}$
 $\begin{array}{cc}& ={lim}_{\mathbf{z}\to 1}{\sum }_{\mathbf{v}\text{vertex of}\mathcal{S}}{\mathbf{z}}^{-tp\mathbf{v}}\frac{{\beta }_{{\underline{\Pi }}_{\mathbf{v}}\left(-r\right)}\left(\mathbf{z}\right)}{{\prod }_{k=1}^{d}\left({\mathbf{z}}^{{\mathbf{w}}_{k}}-1\right)}\end{array}$
 $\begin{array}{cc}& =\left(-1{\right)}^{d}{V}_{\mathcal{S}}\left(-r-pt\right)\end{array}$
 $\begin{array}{}\end{array}$

5 Concluding remarks

There exists a slightly more general version of our main Theorem  1.1 . Namely, instead of $\mathcal{P}$  one can take ${\mathcal{P}}^{\circ }$  together with some facets of $\mathcal{P}$  . Then ${\mathcal{P}}^{\circ }$  on the other side of the reciprocity identity gets replaced by ${\mathcal{P}}^{\circ }$  together with the remaining facets. This parallels a theorem of Stanley which generalizes Ehrhart-Macdonald Reciprocity [12.
There is also a theorem analogous to Brion's for polyhedra (not just polytopes). Our proof goes through in this case once one allows unbounded simplices, which result when one moves a certain face of a simplex to infinity. (Any polyhedron can be triangulated into bounded and unbounded simplices.) References

1. A. I. Barvinok, A polynomial time algorithm for counting integral points in polyhedra when the dimension is fixed, Math. Oper. Res. 19 (1994), 769–779.
2. M. Beck, S. Robins, F. Sottile, and J. Weitsman, Conic decompositions of polytopes, Preprint (2004).
3. C. J. Brianchon, Théorème nouveau sur les polyèdres, J. Ecole (Royale) Polytechnique 15 (1837), 317–319.
4. M. Brion, Points entiers dans les polyèdres convexes, Ann. Sci. École Norm. Sup. (4) 21 (1988), no. 4, 653–663.
5. E. Ehrhart, Sur les polyèdres rationnels homothétiques à $n$  dimensions, C. R. Acad. Sci. Paris 254 (1962), 616–618.
6. , Sur un problème de géométrie diophantienne linéaire. I. Polyèdres et réseaux, J. Reine Angew. Math. 226 (1967), 1–29.
7. J. P. Gram, Om rumvinklerne i et polyeder, Tidsskrift for Math. (Copenhagen) 4 (1874), no. 3, 161–163.
8. H. Groemer, On the extension of additive functionals on classes of convex sets, Pacific J. Math. 75 (1978), no. 2, 397–410.
9. M.-N. Ishida, Polyhedral Laurent series and Brion's equalities, Internat. J. Math. 1 (1990), no. 3, 251–265.
10. J. Lawrence, Rational-function-valued valuations on polyhedra, Discrete and computational geometry (New Brunswick, NJ, 1989/1990), Amer. Math. Soc., Providence, RI, 1991, pp. 199–208.
11. I. G. Macdonald, Polynomials associated with finite cell-complexes, J. London Math. Soc. (2) 4 (1971), 181–192.
12. R. P. Stanley, Combinatorial reciprocity theorems, Advances in Math. 14 (1974), 194–253.
13. , Enumerative Combinatorics, 2nd ed., vol. I, Cambridge University Press, 1997.
14. W. Volland, Ein Fortsetzungssatz für additive Eipolyederfunktionale im euklidischen Raum, Arch. Math. 8 (1957), 144–149.

Department of Mathematics, San Francisco State University, San Francisco, CA 94132, USA E-mail address : beck@math.sfsu.edu URL: http://math.sfsu.edu/beck Department of Mathematics, University of Kentucky, Lexington, KY 40506-0027, USA E-mail address : jrge@ms.uky.edu URL: http://www.ms.uky.edu/~jrge/