Abstract:The literature on Dedekind sums is vast. In this expository paper we show that there is a common thread to many generalizations of Dedekind sums, namely through the study of lattice point enumeration of rational polytopes. In particular, there are some natural finite Fourier series which we call Fourier-Dedekind sums, and which form the building blocks of the number of partitions of an integer from a finite set of positive integers. This problem also goes by the name of the `coin exchange problem'. Dedekind sums have enjoyed a resurgence of interest recently, from such diverse fields as topology, number theory, and combinatorial geometry. The Fourier-Dedekind sums we study here include as special cases generalized Dedekind sums studied by Berndt, Carlitz, Grosswald, Knuth, Rademacher, and Zagier. Our interest in these sums stems from the appearance of Dedekind's and Zagier's sums in lattice point count formulas for polytopes. Using some simple generating functions, we show that generalized Dedekind sums are natural ingredients for such formulas. As immediate `geometric' corollaries to our formulas, we obtain and generalize reciprocity laws of Dedekind, Zagier, and Gessel. Finally, we prove a polynomial-time complexity result for Zagier's higher-dimensional Dedekind sums.

Minkowski decomposition of convex lattice polytopes

Decomposition of an Integrally Convex Set into a Minkowski Sum of Bounded and Conic Integrally Convex Sets

Decomposition of minkowski sum of convex polygons and optimal estimation

Integer Decomposition Property of Polytopes

On the Lp Minkowski Problem for Polytopes

A worst-case optimal algorithm to compute the Minkowski sum of convex polytopes

Computation of an algebraic variety on a convex polyhedron

On the Classification of Convex Lattice Polytopes

Relative Stanley-Reisner theory and Upper Bound Theorems for Minkowski sums

The volume polynomial of lattice polygons

A matroid polytope approach to sharp affine isoperimetric inequalities for volume decomposition functionals

Geometric families of degenerations from mutations of polytopes

The Legendre Transform of Convex Lattice Sets

Towards Strong Reverse Minkowski-type Inequalities for Lattices

Sums, Projections, and Sections of Lattice Sets, and the Discrete Covariogram

New covering and illumination results for a class of polytopes

Fourier transforms of polytopes, solid angle sums, and discrete volume

Dedekind sums: a combinatorial-geometric viewpoint

On the classification of lattice polytopes via affine equivalence

M-Representation of Polytopes