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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: by studying lattice - point enumeration and finite Fourier series in rational polyhedra, to provide a unified framework to understand and generalize various generalized forms of Dedekind sums. Specifically, the paper shows how to connect various generalized Dedekind sums through combinatorial geometry methods, especially by studying the lattice - point enumeration problem in rational polyhedra.
### Main problem decomposition:
1. **Unifying generalized Dedekind sums**:
- By introducing the **Fourier - Dedekind sum** (defined as \(\sigma_n(a_1,\ldots,a_d; a_0):=\frac{1}{a_0}\sum_{\lambda^{a_0} = 1}\frac{\lambda^n}{(1 - \lambda^{a_1})\cdots(1 - \lambda^{a_d})}\)), the author provides a unified framework.
- These sums can be regarded as finite Fourier series, covering the existing generalized Dedekind sums (such as the work of Rademacher, Zagier, etc.).
2. **Lattice - point enumeration and polyhedra**:
- The paper explores the application of Dedekind sums in the lattice - point counting formulas of rational polyhedra. For example, through the generating function method, it is proved that the generalized Dedekind sums are natural components of these formulas.
- In particular, the paper studies the integer partition problem in the set consisting of finite positive integers, which is related to the "change - making problem".
3. **Reciprocity laws**:
- The paper derives and generalizes some classical reciprocity laws (such as the reciprocity laws of Dedekind, Zagier, and Gessel) as a result of its formulas.
- These reciprocity laws not only provide an effective method for calculating generalized Dedekind sums but also reveal the deep - seated relationships between these sums.
4. **Computational complexity**:
- Finally, the paper proves that Zagier's high - dimensional Dedekind sums can be calculated in polynomial time in a fixed dimension. This is achieved through Barvinok's algorithm, which is used to calculate the generating function of rational polyhedra.
### Summary:
The core problem of this paper is to provide a unified framework to understand and generalize various generalized forms of Dedekind sums through combinatorial geometry methods, especially by studying the lattice - point enumeration problem in rational polyhedra. This framework not only covers the existing generalized Dedekind sums but also reveals the deep - seated relationships between them and provides effective calculation methods.