Related papers: On the values of Dedekind sums

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…

Let $S(a,b)$ denote the normalized Dedekind sum. We study the range of possible values for $S(a,b)=\frac{k}{q}$ with $\gcd(k,q)=1$. Girstmair proved local restrictions on $k$ depending on $q\pmod{12}$ and whether $q$ is a square and…

Let $s(m,n)$ denote the classical \DED sum, where $n$ is a positive integer and $m\in\{0,1,\ldots, n-1\}$, $(m,n)=1$. For a given positive integer $k$, we describe a set of at most $k^2$ numbers $m$ for which $s(m,n)$ may be $\ge s(k,n)$,…

For $a\in \Bbb Z$ and $b\in\Bbb N$, $(a,b)=1$, let $s(a,b)$ denote the classical Dedekind sum. We show that Dedekind sums take this value infinitely many times in the following sense. There are pairs $(a_i,b_i)$, $i\in\Bbb N$, with $b_i$…

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…

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…

For a positive integer k and an arbitrary integer h, the Dedekind sum s(h,k) was first studied by Dedekind because of the prominent role it plays in the transformation theory of the Dedekind eta-function, which is a modular form of weight…

Let $s(a,b)$ denote the classical Dedekind sum and $S(a,b)=12s(a,b)$. Recently, Du and Zhang proved the following reciprocity formula. If $a$ and $b$ are odd natural numbers, $(a,b)=1$, then $$ S(2a^*,b)+S(2b^*,a)=\frac{a^2+b^2+4}{2ab}-3,…

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…

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…

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…

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…

In [3] it was shown that the Dedekond sums $s(m_1,n)$ and $s(m_2,n)$ are equal only if $(m_1m_2-1)(m_1-m_2)\equiv 0$ mod $n$. Here we show that the latter condition is equivalent to $12s(m_1,n)-12s(m_2,n)\in \Z$. In addition, we determine,…

In this paper, for coprime numbers p and q we consider the well known Dedekind sums S(p,q) First, we give an improvement of the proof given by H. Rademacher and A. Whiteman, and we construct a new arithmetical proof for the reciprocity law

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…

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…

We show that each rational number $r$, $0\le r<1$, occurs as the fractional part of a Dedekind sum $S(m,n)$.

For integers $n,k,s$, we give a formula for the number $T(n,k,s)$ of order $k$ subsets of the ring $\mathbb{Z}/n\mathbb{Z}$ whose sum of elements is $s$ modulo $n$. To do so, we describe explicitly a sequence of matrices $M(k)$, for…

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…

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…