|
Part I The Essentials of Discrete Volume Computations |
|
|
|
1 The Coin-Exchange Problem of Frobenius |
|
|
3 | (24) |
|
1.1 Why Use Generating Functions? |
|
|
3 | (2) |
|
|
5 | (3) |
|
1.3 Partial Fractions and a Surprising Formula |
|
|
8 | (4) |
|
|
12 | (2) |
|
|
14 | (13) |
|
|
16 | (3) |
|
|
19 | (7) |
|
|
26 | (1) |
|
2 A Gallery of Discrete Volumes |
|
|
27 | (32) |
|
2.1 The Language of Polytopes |
|
|
27 | (2) |
|
|
29 | (2) |
|
|
31 | (3) |
|
2.4 The Bernoulli Polynomials as Lattice-Point Enumerators of Pyramids |
|
|
34 | (4) |
|
2.5 The Lattice-Point Enumerators of the Cross-Polytopes |
|
|
38 | (2) |
|
|
40 | (3) |
|
2.7 Polygons with Rational Vertices |
|
|
43 | (5) |
|
2.8 Euler's Generating Function for General Rational Polytopes |
|
|
48 | (11) |
|
|
51 | (2) |
|
|
53 | (5) |
|
|
58 | (1) |
|
3 Counting Lattice Points in Polytopes: The Ehrhart Theory |
|
|
59 | (30) |
|
|
59 | (3) |
|
|
62 | (2) |
|
3.3 Integer-Point Transforms for Rational Cones |
|
|
64 | (4) |
|
3.4 Expanding and Counting Using Ehrhart's Original Approach |
|
|
68 | (3) |
|
3.5 The Ehrhart Series of an Integral Polytope |
|
|
71 | (5) |
|
3.6 From the Discrete to the Continuous Volume of a Polytope |
|
|
76 | (2) |
|
|
78 | (2) |
|
3.8 Rational Polytopes and Ehrhart Quasipolynomials |
|
|
80 | (1) |
|
3.9 Reflections on the Coin-Exchange Problem and the Gallery of Chapter 2 |
|
|
81 | (8) |
|
|
81 | (1) |
|
|
82 | (6) |
|
|
88 | (1) |
|
|
89 | (12) |
|
4.1 Generating Functions for Somewhat Irrational Cones |
|
|
90 | (2) |
|
4.2 Stanley's Reciprocity Theorem for Rational Cones |
|
|
92 | (1) |
|
4.3 Ehrhart-Macdonald Reciprocity for Rational Polytopes |
|
|
93 | (1) |
|
4.4 The Ehrhart Series of Reflexive Polytopes |
|
|
94 | (2) |
|
4.5 More "Reflections" on the Coin-Exchange Problem and the Gallery of Chapter 2 |
|
|
96 | (5) |
|
|
96 | (2) |
|
|
98 | (2) |
|
|
100 | (1) |
|
5 Face Numbers and the Dehn-Sommerville Relations in Ehrhartian Terms |
|
|
101 | (12) |
|
|
101 | (2) |
|
5.2 Dehn-Sommerville Extended |
|
|
103 | (2) |
|
5.3 Applications to the Coefficients of an Ehrhart Polynomial |
|
|
105 | (1) |
|
|
106 | (7) |
|
|
108 | (1) |
|
|
109 | (4) |
|
|
113 | (20) |
|
|
114 | (1) |
|
6.2 Semimagic Squares: Points in the Birkhoff-von Neumann Polytope |
|
|
115 | (4) |
|
6.3 Magic Generating Functions and Constant-Term Identities |
|
|
119 | (5) |
|
6.4 The Enumeration of Magic Squares |
|
|
124 | (9) |
|
|
125 | (2) |
|
|
127 | (1) |
|
|
128 | (5) |
|
Part II Beyond the Basics |
|
|
|
7 Finite Fourier Analysis |
|
|
133 | (16) |
|
|
133 | (2) |
|
7.2 Finite Fourier Series for Periodic Functions on Z |
|
|
135 | (4) |
|
7.3 The Finite Fourier Transform and Its Properties |
|
|
139 | (2) |
|
7.4 The Parseval Identity |
|
|
141 | (2) |
|
7.5 The Convolution of Finite Fourier Series |
|
|
143 | (6) |
|
|
145 | (1) |
|
|
146 | (3) |
|
8 Dedekind Sums, the Building Blocks of Lattice-Point Enumeration |
|
|
149 | (18) |
|
8.1 Fourier-Dedekind Sums and the Coin-Exchange Problem Revisited |
|
|
149 | (4) |
|
8.2 The Dedekind Sum and Its Reciprocity and Computational Complexity |
|
|
153 | (1) |
|
8.3 Rademacher Reciprocity for the Fourier-Dedekind Sum |
|
|
154 | (4) |
|
8.4 The Mordell-Pommersheim Tetrahedron |
|
|
158 | (9) |
|
|
160 | (1) |
|
|
161 | (3) |
|
|
164 | (3) |
|
|
167 | (16) |
|
9.1 Definitions and Examples |
|
|
167 | (3) |
|
|
170 | (2) |
|
|
172 | (4) |
|
9.4 The Ehrhart Polynomial of a Zonotope |
|
|
176 | (7) |
|
|
178 | (1) |
|
|
179 | (2) |
|
|
181 | (2) |
|
10 h-Polynomials and h*-Polynomials |
|
|
183 | (16) |
|
10.1 Simplicial Polytopes and (Unimodular) Triangulations |
|
|
183 | (4) |
|
10.2 Fundamental Parallelepipeds Open Up, with an h-Twist |
|
|
187 | (2) |
|
10.3 Palindromic Decompositions of h*-Polynomials |
|
|
189 | (2) |
|
10.4 Inequalities for h*-Polynomials |
|
|
191 | (8) |
|
|
192 | (1) |
|
|
193 | (3) |
|
|
196 | (3) |
|
11 The Decomposition of a Polytope into Its Cones |
|
|
199 | (14) |
|
11.1 The Identity "σmz zm = 0" ... Or "Much Ado About Nothing" |
|
|
199 | (2) |
|
11.2 Technically Speaking |
|
|
201 | (3) |
|
11.3 Tangent Cones and Their Rational Generating Functions |
|
|
204 | (1) |
|
|
205 | (2) |
|
11.5 Brion Implies Ehrhart |
|
|
207 | (6) |
|
|
209 | (1) |
|
|
210 | (3) |
|
12 Euler-Maclaurin Summation in Rd |
|
|
213 | (14) |
|
12.1 Todd Operators and Bernoulli Numbers |
|
|
214 | (2) |
|
12.2 A Continuous Version of Brion's Theorem |
|
|
216 | (2) |
|
12.3 Polytopes Have Their Moments |
|
|
218 | (3) |
|
12.4 Computing the Discrete Continuously |
|
|
221 | (6) |
|
|
223 | (1) |
|
|
224 | (1) |
|
|
225 | (2) |
|
|
227 | (14) |
|
13.1 A New Discrete Volume Using Solid Angles |
|
|
227 | (4) |
|
13.2 Solid-Angle Generating Functions and a Brion-Type Theorem |
|
|
231 | (1) |
|
13.3 Solid-Angle Reciprocity and the Brianchon-Gram Relations |
|
|
232 | (4) |
|
13.4 The Generating Function of Macdonald's Solid-Angle Polynomials |
|
|
236 | (5) |
|
|
237 | (1) |
|
|
238 | (1) |
|
|
239 | (2) |
|
14 A Discrete Version of Green's Theorem Using Elliptic Functions |
|
|
241 | (8) |
|
|
241 | (2) |
|
14.2 The Weierstraß ℘- and ζ-Functions |
|
|
243 | (2) |
|
14.3 A Contour-Integral Extension of Pick's Theorem |
|
|
245 | (4) |
|
|
246 | (1) |
|
|
247 | (1) |
|
|
248 | (1) |
|
Appendix: Vertex and Hyperplane Descriptions of Polytopes |
|
|
249 | (6) |
|
A.1 Every h-Cone Is a v-Cone |
|
|
250 | (2) |
|
A.2 Every v-Cone Is an h-Cone |
|
|
252 | (3) |
Hints for ♣ Exercises |
|
255 | (12) |
References |
|
267 | (12) |
List of Symbols |
|
279 | (2) |
Index |
|
281 | |