Related papers: Dedekind sums take each value infinitely many time…

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…

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…

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 $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)$,…

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…

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,…

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…

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 study the asymptotic behaviour of the classical Dedekind sums $s(s_k/t_k)$ for the sequence of convergents $s_k/t_k$ $k\ge 0$, of the transcendental number \BD \sum_{j=0}^\infty\frac {1}{b^{2^j}},\ b\ge 3. \ED In particular, we show that…

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…

Let $p_1,p_2,\dots,p_n, a_1,a_2,\dots,a_n \in \N$, $x_1,x_2,\dots,x_n \in \R$, and denote the $k$th periodized Bernoulli polynomial by $\B_k(x)$. We study expressions of the form \[ \sum_{h \bmod{a_k}} \ \prod_{\substack{i=1\\ i\not=k}}^{n}…

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…

The classical Dedekind sums $s(d, c)$ can be represented as sums over the partial quotients of the continued fraction expansion of the rational $\frac{d}{c}$. Hardy sums, the analog integer-valued sums arising in the transformation of the…

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

In \cite{csc}, Cetin et al. defined a new special finite sum which is denoted by $B_{1}(h,k)$. In this paper, with the help of the Hardy and Dedekind sums we will give many properties of the sum $B_{1}(h,k).$ Then we will give 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…

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…

We define Dedekind sums attached to a totally real number field of class number one. We prove that they satisfy some reciprocity law. Then we relate them to special values of Hecke $L$-functions. We conclude that they are ruled by Stark's…

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…

Higher-dimensional Dedekind sums are defined as a generalization of a recent 1-dimensional probability model of Dilcher and Girstmair to a d-dimensional cube. The analysis of the frequency distribution of marked lattice points leads to new…