Related papers: Dedekind Sums with Even Denominators

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

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

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…

For an even integer $k$, let $r_{2k}(n)$ be the number of representations of $n$ as a sum of $2k$ squares. The quantity $r_{2k}(n)$ is appoximated by the classical singular series $\rho_{2k}(n) \asymp n^{k-1}$. Deligne's bound on the…

Let $q\geq 2$ and denote by $s_q$ the sum-of-digits function in base $q$. For $j=0,1,...,q-1$ consider $$# \{0 \le n < N : \;\;s_q(2n) \equiv j \pmod q \}.$$ In 1983, F. M. Dekking conjectured that this quantity is greater than $N/q$ and,…

We consider elliptic Dedekind sums that were introduced by Sczech as generalizations of the classical ones to complex lattices. We prove that these sums -- suitably normalized -- have a Gaussian limiting distribution. As an application, we…

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…

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

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

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

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…

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

We obtain new bounds, pointwisely and on average, for Dedekind sums $\mathsf{s}(\lambda,p)$ modulo a prime $p$ with $\lambda$ of small multiplicative order $d$ modulo $p$. Assuming the infinitude of Mersenne primes, the range of our results…

We investigate the averages of Dedekind sums over rational numbers in the set $$\mathscr{F}_\alpha(Q):=\{\, {v}/{w}\in \mathbb{Q}: 0<w\leq Q\,\}\cap [0, \alpha)$$ for fixed $\alpha\leq 1/2$. In previous work, we obtained asymptotics for…

In this paper, we investigate sums of four squares of integers whose prime factorizations are restricted, making progress towards a conjecture of Sun that states that two of the integers may be restricted to the forms $2^a3^b$ and $2^c5^d$.…

We introduce the notion of an adelically summable normalized weight $g$, which is a family of normalized weights on the Berkovich projective lines satisfying a summability condition. We then establish an adelic equidistribution of effective…

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 $\sigma(x)$ be the sum of the divisors of $x$. If $N$ is odd and $\sigma(N) = 2N$, then the odd perfect number $N$ is said to be given in Eulerian form if $N = {q^k}{n^2}$ where $q$ is prime with $q \equiv k \equiv 1 \pmod 4$ and…

Under the generalized Lindel\"of Hypothesis in the t- and q-aspects, we bound exponential sums with coefficients of Dirichlet series belonging to a certain class. We use these estimates to establish a conditional result on squares of Hecke…

We investigate when the exponential sum $S_f(x,\alpha) := \sum_{n\le x}f(n)\mathrm{e}(n\alpha)$ is bounded, for a multiplicative function $f$ and $\alpha\in\mathbb{R}$. We show that under natural assumptions, $S_f(x,\alpha)$ is bounded only…