Related papers: Dedekind Sums with Even Denominators

Let $S(a,b)=12s(a,b)$, where $s(a,b)$ denotes the classical Dedekind sum. For a given denominator $q\in \mathbb N$, we study the numerators $k\in\mathbb Z$ of the values $k/q$, $(k,q)=1$, of Dedekind sums $S(a,b)$. Our main result says that…

Let $s(a,b)$ denote the classical Dedekind sum and $S(a,b)=12s(a,b)$. Let $k/q$, $q\in \Bbb N$, $k\in \Bbb Z$, $(k,q)=1$, be the value of $S(a,b)$. In a previous paper we showed that there are pairs $(a_r,b_r)$, $r\in\Bbb N$, such that…

We show that deciding the equality of two Dedekind sums $S(c,b)$, $S(d,b)$ is equivalent to deciding whether a Dedekind sum defined by $b, c, d$ takes a certain value. By means of this result we construct infinite sequences of pairwise…

Dedekind sums are well-studied arithmetic sums, with values uniformly distributed on the unit interval. Based on their relation to certain modular forms, Dedekind sums may be defined as functions on the cusp set of $SL(2,\mathbb{Z})$. We…

We study a generalized Dedekind sum $S_{\chi_1,\chi_2}(a,c)$ attached to newform Eisenstein series $E_{\chi_1,\chi_2}(z,s)$. Our work shows the Dedekind sum is rarely substantially larger than $\log^3 c$. The method of proof first relates…

For the generalized Dedekind sums s_{ij}(p,q) defined in association with the x^{i}y^{j}-coefficient of the Todd power series of the lattice cone in R^2 generated by (1,0) and (q,p), we associate an exponential sum. We obtain this…

In [Girstmair, A criterion for the equality of Dedekind sums mod $\mathbb{Z}$, Internat. J. Number Theory 10: (2014) 565--568], it was shown that the necessary condition $b \mid (a_1 a_2-1)(a_1-a_2)$ for equality of two dedekind sums…

Dedekind sums $s(m,n)$ occur in many fields of mathematics. Since $s(m_1,n)=s(m_2,n)$ if $m_1\equiv m_2$ mod $n$, it is natural to ask which of the Dedekind sums $s(m,n)$, $0\le m<n$, take equal values. So far no simple criterion is known…

We introduce the inversion polynomial for Dedekind sums $f_b(x)=\sum x^{\operatorname{inv}(a,b)}$ to study the number of $s(a,b)$ which have the same value for given $b$. We prove several properties of this polynomial and present some…

We show that the values of elliptic Dedekind sums, after normalization, are equidistributed mod 1. The key ingredient is a non-trivial bound on generalized Selberg-Kloosterman sums for discrete subgroups of $\PSL_2(\mathbb C)$ using…

Given a rational number $x$ and a bound $\varepsilon$, we exhibit $m,n$ such that $|x-12 s(m,n)|<\varepsilon$. Here $s(m,n)$ is the classical Dedekind sum and the parameters $m$ and $n$ are completely explicit in terms of $x$ and…

An explicit formula for the quadratic mean value at $s=1$ of the Dirichlet $L$-functions associated with the odd Dirichlet characters modulo $f>2$ is known. Here we present a situation where we could prove an explicit formula for the…

Hickerson made an explicit formula for Dedekind sums $s(p,q)$ in terms of the continued fraction of $p/q$. We develop analogous formula for generalized Dedekind sums $s_{i,j}(p,q)$ defined in association with the $x^{i}y^{j}$-coefficient of…

Dedekind sums have applications in quite a number of fields of mathematics. Therefore, their distribution has found considerable interest. This article gives a survey of several aspects of the distribution of these sums. In particular, it…

In a previous it was shown that the Dedkind sums $12s(m,n)$ and $12s(x,n)$, $1\le m,x\le n$, $(m,n)=(x,n)=1$, are equal mod $\Z$ if, and only if, $(x-m)(xm-1)\equiv 0$ mod $n$. Here we determine the cardinality of numbers $x$ in the above…

A natural question about Dedekind sums is to find conditions on the integers $a_1, a_2$, and $b$ such that $s(a_1,b) = s(a_2, b)$. We prove that if the former equality holds then $ b \ | \ (a_1a_2-1)(a_1-a_2)$. Surprisingly, to the best of…

Let $z$ be a real quadratic irrational. We compare the asymptotic behavior of Dedekind sums $S(p_k,q_k)$ belonging to convergents $p_k/q_k$ of the {\em regular} continued fraction expansion of $z$ with that of Dedekind sums $S(s_j/t_j)$…

Using a recent improvement by Bettin and Chandee to a bound of Duke, Friedlander and Iwaniec~(1997) on double exponential sums with Kloosterman fractions, we establish a uniformity of distribution result for the fractional parts of Dedekind…

Let $S(a,b)=12s(a,b)$, where $s(a,b)$ denotes the classical Dedekind sum. In a recent note E. Tsukerman gave a necessary and sufficient condition for $S(a_1,b)-S(a_2,b)\in 8\mathbb Z$. In the present paper we show that this condition is…

Using a generalization due to Lerch [M. Lerch, Sur un th\'{e}or\`{e}me de Zolotarev. Bull. Intern. de l'Acad. Fran\c{c}ois Joseph 3 (1896), 34-37] of a classical lemma of Zolotarev, employed in Zolotarev's proof of the law of quadratic…