Abstract:Fourier-Dedekind sums are a generalization of Dedekind sums - important number-theoretical objects that arise in many areas of mathematics, including lattice point enumeration, signature defects of manifolds and pseudo random number generators. A remarkable feature of Fourier-Dedekind sums is that they satisfy a reciprocity law called Rademacher reciprocity. In this paper, we study several aspects of Fourier-Dedekind sums: properties of general Fourier-Dedekind sums, extensions of the reciprocity law, average behavior of Fourier-Dedekind sums, and finally, extrema of 2-dimensional Fourier-Dedekind sums.
On properties of general Fourier-Dedekind sums we show that a general Fourier-Dedekind sum is simultaneously a convolution of simpler Fourier-Dedekind sums, and a linear combination of these with integer coefficients. We show that Fourier-Dedekind sums can be extended naturally to a group under convolution. We introduce "Reduced Fourier-Dedekind sums", which encapsulate the complexity of a Fourier-Dedekind sum, describe these in terms of generating functions, and give a geometric interpretation.
Next, by finding interrelations among Fourier-Dedekind sums, we extend the range on which Rademacher reciprocity Theorem holds.
We go on to study the average behavior of Fourier-Dedekind sums, showing that the average behavior of a Fourier-Dedekind sum is described concisely by a lower-dimensional, simpler Fourier-Dedekind sum.
Finally, we focus our study on 2-dimensional Fourier-Dedekind sums. We find tight upper and lower bounds on these for a fixed $t$, estimates on the argmax and argmin, and bounds on the sum of their "reciprocals".
What problem does this paper attempt to address?
This paper attempts to solve problems related to the Fourier - Dedekind sum and its properties, especially to expand the application range of the Rademacher reciprocity law. Specifically:
1. **Study the general properties of the Fourier - Dedekind sum**: The author explores the convolution properties of these sums and proves that they can naturally form a group. In addition, the "Reduced Fourier - Dedekind sums" are introduced, and their generating functions and geometric interpretations are described.
2. **Expand the Rademacher reciprocity law**: The traditional Rademacher reciprocity law is applicable to parameter values within a specific range. In this paper, by discovering the inter - relationships between Fourier - Dedekind sums, the range of parameters to which the law is applicable is expanded.
3. **Study the average behavior of the Fourier - Dedekind sum**: The author analyzes the average behavior of the Fourier - Dedekind sum when the parameters change and shows that it can be described by lower - dimensional and simpler Fourier - Dedekind sums.
4. **The extreme value problem of the two - dimensional Fourier - Dedekind sum**: For the two - dimensional case, the author finds the upper and lower bounds of these sums and estimates the positions of their maximum and minimum values.
### Formula summary
- **Definition of the Fourier - Dedekind sum**:
\[
S(a_1, a_2,\ldots, a_d; b)(n)=\frac{1}{b}\sum_{j = 1}^{b - 1}\xi_j^n\prod_{i = 1}^d(1-\xi_j^{a_i})^{-1}
\]
where \(\xi_b = e^{2\pi i/b}\).
- **Rademacher reciprocity law**:
\[
S(a_2,\ldots, a_d; a_1)(n)+S(a_1, a_3,\ldots, a_d; a_2)(n)+\cdots+S(a_1,\ldots, a_{d - 1}; a_d)(n)=-\text{poly}\{a_1, a_2,\ldots, a_d\}(-n)
\]
- **Reduced Fourier - Dedekind sum**:
\[
\tilde{S}(a_1, a_2,\ldots, a_d; b)(t)=\sum_{1\leq k_1, k_2,\ldots, k_d\leq b - 1,\atop a_1k_1 + a_2k_2+\cdots+a_dk_d\equiv - t\pmod{b}}k_1k_2\cdots k_d
\]
- **Upper and lower bounds of the two - dimensional Fourier - Dedekind sum**:
\[
-\frac{(b - 1)(b - 5)}{12b}\leq S(a_1, a_2; b)(0)\leq\frac{(b - 1)(b + 1)}{12b}
\]
Through these studies, the paper not only deepens the understanding of the Fourier - Dedekind sum but also provides a theoretical basis for further research in related fields.