Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Open Mathematics

formerly Central European Journal of Mathematics

Editor-in-Chief: Gianazza, Ugo / Vespri, Vincenzo

IMPACT FACTOR 2018: 0.726
5-year IMPACT FACTOR: 0.869

CiteScore 2018: 0.90

SCImago Journal Rank (SJR) 2018: 0.323
Source Normalized Impact per Paper (SNIP) 2018: 0.821

Mathematical Citation Quotient (MCQ) 2017: 0.32

ICV 2017: 161.82

Open Access
See all formats and pricing
More options …
Volume 16, Issue 1


Volume 13 (2015)

Arithmetic of generalized Dedekind sums and their modularity

Dohoon Choi / Byungheup Jun / Jungyun Lee
  • Corresponding author
  • Institute of Mathematical science, Ewha womans university, 11-1 Daehyun-Dong, Seodaemun-gu, Seoul, 120-750, Republic of Korea
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Subong Lim
  • Department of Mathematics Education, Sungkyunkwan University, 25-2, Sungkyunkwan-ro, Jongno-gu, Seoul 03063, Republic of Korea
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2018-09-01 | DOI: https://doi.org/10.1515/math-2018-0082


Dedekind sums were introduced by Dedekind to study the transformation properties of Dedekind η function under the action of SL2(ℤ). In this paper, we study properties of generalized Dedekind sums si,j(p, q). We prove an asymptotic expansion of a function on ℚ defined in terms of generalized Dedekind sums by using its modular property. We also prove an equidistribution property of generalized Dedekind sums.

Keywords: Dedekind sum; Quantum modular form

MSC 2010: 11F20

1 Introduction

Dedekind sums are defined by


for coprime integers b and c, where


These sums were introduced by Dedekind [1], and have been studied with applications in diverse areas of mathematics (for example, see [2,3,4]).

The Dedekind sum has been generalized and studied by many other authors from diverse standing (for example, see [5,6,7]). In this paper, we consider generalized Dedekind sums defined as follows. The Bernoulli polynomial Bi(x) is defined by the exponential generating function


and Bi(x) denotes the periodic Bernoulli polynomial


where 〈x〉 := x – [x] and [x] denotes the greatest integer not exceeding x. Let i and j be nonnegative integers. Suppose that p is an integer and q is a positive integer with gcd(p, q) = 1. Then, generalized Dedekind sums are defined as


and the number i + j is called the weight of si,j(p, q). For convenience, we let


where Bn is the nth Bernoulli number and di,j is given by


Let {e1, …, em} be the standard basis of ℚm. We define a vector FN(p, q) ∈ ℚN for an even positive integer N by


where fi(p, q) = qN21pN2+i1hi1,N+1i(p,q) for i = 1, …, N. Then we define a function GN : ℚ → ℚN as


We remark that any rational number x can be uniquely written as pq for a positive integer q and an integer p which are relatively prime. Thus, the above mapping GN is well-defined, and has the following asymptotic expansion expressed in terms of Bernoulli numbers.

Theorem 1.1

We have an asymptotic expansion of the form


as n → ∞, where



and EN(x) = i=1Nei(x)ei is a vector-valued function defined by


Here, ab is defined by


for nonnegative integers a and b. Theorem 1.1 is proved by using the fact that GN can be understood as a modular object, which was recently introduced by Zagier [8].

Example 1.2

For a given N, we can compute the asymptotic expansion of GN explicitly and it is written in terms of Bernoulli numbers Bn. For example, if N = 2, then


as n → ∞. If N = 4, then


as n → ∞.

Dedekind sums also have a special property of distribution. For an even positive integer N and positive integers p, q which are coprime, we consider another vector-valued function




be the fractional part of the vector X = (x1, x2, … xN–1). The following theorem states that HN(p, q) satisfies the property of equidistribution.

Theorem 1.3

For an even positive integer N, there exists an integer RN such that the set of rational numbers


is equidistributed in [0, 1)N–1.

Remark 1.4

Once for an integer RN the set (12) is equidistributed in [0, 1)N–1, the same holds for any integer multiple of RN. An example of RN is given by


where βk is a positive integer such that αkβk is the reduced fraction of Bk ≠ 0 and


The following is the table for values of RN for N = 2, 4, 6, 8, 10.

The rest of the paper is organized as follows. Section 2 summarizes the properties of generalized Dedekind sums. In Section 3, we show that generalized Dedekind sums satisfy a modular property introduced by Zagier [8] and prove Theorem 1.1. In Section 4, we describe the distribution of generalized Dedekind sums and prove Theorem 1.3.

2 Reciprocity formulas

In this section, we prove the reciprocity formulas of generalized Dedekind sums, which can be induced from those of Dedekind-Rademacher sums.

2.1 Dedekind-Rademacher sums

In this subsection, we briefly review the definition and the reciprocity formulas of Dedekind-Rademacher sums based on the paper [6]. The following is the definition of Dedekind-Rademacher sums.

Definition 2.1

For a, b, c ∈ ℕ and x, y, z ∈ ℝ/ℤ, the Dedekind-Rademacher sum is defined by


Since reciprocity relations mix various pairs of indices (m, n), Hall, Wilson and Zagier [6] stated them in terms of the generating function


where X and Y are nonzero variables and the variable Z is defined as –XY. The following is the precise statement of the reciprocity formula of Dedekind-Rademacher sums.

Theorem 2.2

([6, [Section 4]). Let a, b, c be three positive integers with no common factor, x, y, z three real numbers, and X, Y, Z three variables with sum zero. Then


2.2 Reciprocity formulas of generalized Dedekind sums

The following are the reciprocity formulas of generalized Dedekind sums, which are induced from Theorem 2.2.

Theorem 2.3

Let p and q be positive integers with gcd(p, q) = 1. The generalized Dedekind sums satisfy the following reciprocity formulas.

  1. For a, b ≥ 1 with odd a + b,


  2. For a = 0 and odd b ≥ 1,



  1. By the definition of Dedekind-Rademacher sums, we have the following equations




    Then Theorem 2.2 implies that the sum


    is equal to 14.

    Suppose that m + n is even. Then, we have


    Since Bk = 0 for odd integer k > 1 and B1 = 12, we see that




    Moreover, we have


    Therefore, the following can be induced from the sum (15)


    If we multiply 1pqXYZ on both sides of equation (16), then we obtain


    From the relation X + Y + Z = 0, the equation (17) is rewritten as


    By the binomial expansion of (Y + Z)n one can see that


    Now, we compare the coefficients of YbZa on both sides of equation (19). If a, b ≥ 1, then we have


    This gives the first result after multiplying by qapb (–1)b–1 in both sides of equation (20).

  2. For the second result, suppose that a = 0 and b is an odd integer with b ≥ 1. Note that


    Here, we used the fact that B0(x) = 1 and gcd(p, q) = 1. If we compare the coefficients of Yb in both sides of equation (19), then we have


    which gives the second result.□

The reciprocity formulas of generalized Dedekind sums can be expressed in terms of the vectors FN(p, q).

Corollary 2.4

Let p and q be positive integers with gcd(p, q) = 1, and N an even positive integer. Then


where AN pq, FN(p, q) and EN pq are given as in (8), (6), and (9), respectively. Here, we define BN(p, q) by BN(p, q) = (βi,j(p, q))1≤i,jN and



Let N = a + b – 1 for a, b ≥ 1. By Theorem 2.3 (2), we have




If we change variables aNi + 1, jja, bi, and kjb in (22) and (23), then (14) can be written as


This gives the desired result.□

Besides the reciprocity formulas, generalized Dedekind sums satisfy the following properties.

Theorem 2.5

Let N be an even positive integer, and i, j be nonnegative integers with i + j = N. Then we have the following.

  1. hi,j(p,q)=(1)jhi,j(p,q)2B12,ifi=j=1;(1)jhi,j(p,q),otherwise.

  2. hi,j(p + q, q) = hi,j(p, q).


  1. By the definition of si,j(p, q), we see that


    It is known that Bj(1 – x) = (–1)jBj(x) for j ≥ 0. Therefore, we have


    for j ≥ 0. From this, we obtain


    If i = j = 1, then we have


    Otherwise, we see that


  2. Note that si,j(p + q, q) is equal to


    which is si,j(p, q) by its definition. From this, we obtain the desired result that hi,j(p + q, q) = hi,j(p, q).□

3 Modular properties of generalized Dedekind sums

In this section, we show that the vector-valued function GN defined in (7) satisfies the modular property, which was introduced by Zagier [8].

3.1 Automorphic factor

To introduce a modular property for a vector-valued function, we need an automorphic factor for a vector-valued function.

Definition 3.1

An automorphic factor of rank m is a function ρ: SL2(ℤ)×ℍ → GLm(ℂ) satisfying the following conditions.

  1. The function ρ satisfies the cocycle relation


    for γ1, γ2 ∈ SL2(ℤ) and x ∈ ℍ, where abcdx=ax+bcx+d.

  2. For a fixed γ ∈ SL2(ℤ), entries of ρ(γ, x) are rational functions of x with coefficients in ℚ.

For a fixed γ ∈ SL2(ℤ), the action of ρ(γ, x) on ℂm is defined by


where ρi,j(γ, x) is the (i, j)th entry of ρ(γ, x).

Let N be an even positive integer. Now, we define an automorphic factor ρN of rank N as follows. Let S:=0110,T:=1101SL2(Z). We define








Here, δi,j is the Kronecker delta. Then, it induces an automorphic factor of rank N.

Note that S and T generate SL2(ℤ). Therefore, from (25) and (26), we can compute ρN(γ) for any γ ∈ SL2(ℤ) by using the cocycle condition as in (24). To prove that ρN is an automorphic factor of rank N, it suffices to check that




where U := TS, ρN(U, x) = ρN(T, Sx)ρN(S, x) and I denotes the N × N identity matrix. To prove this, we need the following lemmas.

Lemma 3.2

Let N be a positive integer. Let i and j be integers with 1 ≤ i, jN.

  1. If N is even and we let


    then Λi,j = δi,j.

  2. k=1NNki1j1k1(1)k1=NjNi.


  1. Recall that


    for nonnegative integers a and b. If we consider the binomial expansion of (1 –(1 – T))j–1, then we see that


    In the above equality, we used the fact that ab = 0 if a < b. Then we have


    Since (1 –(1 – T))j–1 = Tj–1, we see that


    If i = j, then (–1)N+i+j = 1 since N is even. Therefore, we obtain the desired result that Λi,j = δi,j for 1 ≤ i, jN.

  2. We will use the induction on N. If N = 1, it is easy to see that (2) is true. Suppose that (2) is true for N ≥ 1. Let 1 < i < N + 1 and 1 ≤ j < N + 1. By the recursive formula, we have


    Then, the induction hypothesis implies that


    If we use the recursive formula again, then we have


    The last equality follows from that N+1ki1=0i1=0ifk=N+1 since i – 1 > 0.

    Now, we will check the remaining three cases: i = 1, i = N + 1, and j = N + 1. If i = 1 and 1 ≤ jN + 1, then we have


    If i = N + 1 and 1 ≤ jN + 1, then we obtain


    Suppose that j = N + 1 and 2 ≤ iN. Then, we have


    Here, we used the identity


Lemma 3.3

Let i and j be integers with Nj > i ≥1. Then



If we apply the binomial expansion twice, then we obtain


Then, one can see that


By the definition of ab as in (27), we obtain the desired result. □

Lemma 3.4

Suppose that N is an even positive integer. Let i and j be integers with 1 ≤ i, jN.

  1. k=1NNkNiNjNk(1)j+k=δi,j.

  2. Let





  1. One can obtain (1) from Lemma 3.2 (1) by replacing i (resp. j) with Ni + 1 (resp. Nj + 1).

  2. Note that by the definition of (ab) as in (27), we have


    only when ilkj. Therefore, if i < j, then Δi,j = 0. If i = j, then a nonzero term in the summation appears only when k = l = i = j. So, we have Δi,j=(1)N2+1 . In the case of i > j, one can see that


    By Lemma 3.3, Δi,j is equal to


    This completes the proof. □

Now, we prove that ρN induces an automorphic factor of rank N satisfying the cocycle relation as in (24).

Proposition 3.5

Let ρN be defined by (25) and (26). Then

  1. ρN(S, Sx)ρN(S, x) = I,

  2. ρN(U, U2x)ρN(U, Ux)ρN(U, x) = I.


  1. Lemma 3.4 (1) implies that CN2 = I, and hence we have


  2. For U = TS, we see that




    By Lemma 3.4 (2), we have


    This is the desired result. □

Remark 3.6

These kinds of automorphic factors are closely related with a monomial times a modular form. For example, we consider F(z) := z6 Δ(z), where Δ(z) is defined by


and q = e2πiz for z ∈ ℍ. Then, it is known that Δ(z) is a modular form of weight 12 on SL2(ℤ). Note that




Hence, we see that F(z) is a modular form associated with ρ, which is defined by


3.2 Modular property of GN

With the automorphic factor ρN, we can state the transformation property of the vector-valued function GN. We define a slash operator associated with ρN as follows. Let f be a vector-valued function on ℚ, i.e., f is a sum of functions f=i=1mfiei , where fi is a function on ℚ for i = 1, …, m. Then we define


for x ∈ ℚ and γ ∈ SL2(ℤ).

Lemma 3.7

The vector-valued function GN : ℚ → ℂN satisfies the functional equations


for all positive rational numbers x and


for all x ∈ ℚ.


In this proof, we will use the properties of generalized Dedekind sums. For positive integers p and q which are relatively prime, by Corollary 2.4, we have


where AN pq , BN(p, q), FN(p, q), and EN pq are defined as in (8), (21), (6), and (9), respectively.

Lemma 3.2 (1) implies that


since (vi,j(p, q))1≤i,jN × AN pq = (Λi,j)1≤i,jN, which is the identity matrix. Lemma 3.2 (2) implies that


Therefore, we see that


for any positive rational number x since GN(x) = FN(p, q), where x = pq . By Theorem 2.5 (1), we see that


Therefore, we have the first desired result.

The second result directly comes from Theorem 2.5 (2) and the definition of ρN(T) as in (26). □

Note that AN(x)−1EN(x) is a rational function of p and q, where x = pq ∈ ℚ. But AN(x) and EN(x) are homogeneous of degree 1, and hence AN(x)−1EN(x) is homogeneous of degree 0. Therefore, AN(x)−1EN(x) is actually a rational function of x. This implies that this vector-valued function can be extended to ℝ ∖ {0}. The vector-valued function GN can be understood as a quantum modular form, which is a new modular object on ℚ introduced by Zagier [8]. Quantum modular forms were studied in connection with Maass forms, mock modular forms and Eichler integrals (for example, see [9, 10]).

3.3 Proof of Theorem 1.1

By Lemma 3.7, we have


for positive rational numbers x. If we let x = 1n for n ∈ ℕ, then


as n → ∞.

3.4 Application of modular property to the arithmetic of Dedekind sums

With the cocycle property of ρ2, one can obtain an explicit expression of G2( pq ) in terms of the negative continued fraction of pq . For this, we recall the followings:

  1. G2pq=p1h0,2(p,q)h1,1(p,q)=112p1q1s1,1(p,q)+14,

  2. ρ2(S,x)1=1011,

  3. ρ2(T,x)1=x+1x001,

  4. G2(x)(G2|ρ2S)(x)=0B221x3B12+B22x,

  5. G2(x) − (G2|ρ2T)(x) = 0.

By the cocycle condition as in (24), we obtain


for a positive integer a.

Now, we express pq by using the negative continued fraction as follows


and define


for 1 ≤ in. Then, for 1 ≤ in − 1, we see that


Moreover, for 1 ≤ in − 1, we also have


For simplicity, we define


By combining equations in (30), we have


Note that




Moreover, we have




Finally, we obtain


Eventually, this formula gives a simple expression in 12 s1,1(p, q) modulo 1 that plays a crucial role of the proof for the equidistribution property of h1,1(x).

Remark 3.8

We note that in above examples, the generalized Dedekind sum s1,1(p, q) is completely determined by the initial values and transformation formulas by S=0110andT=1101 . Along this line, restricting ourselves to the two dimensional case, the Apostol sum s1,n(p, q) is completely determined by a two term relation


together with the continued fraction of pq (cf. [5]).

In this paper, we consider a similar property for generalized Dedekind sums si,j(p, q). Usually, generalized Dedekind sums si,j, (i ≠ 1, j ≠ 1) except the outermost case (i.e. Apostol sums) do not have two term reciprocity formula. Namely,


for a Laurent polynomial f(p, q). In this case, the reciprocity formula for s2,2(p, q) cannot be reduced to a Laurent polynomial, but involves a transcendental term s1,3(p, q).

However, if we consider a vector consisting of generalized Dedekind sums, then they have a two term reciprocity formula as follows


for a column vector F(p, q) = (f1(p, q), …, f4(p, q))T consisting of Laurent polynomials in p and q. Thus, we are able to compute algorithmically the (vector of) generalized Dedekind sums of (p, q) of fixed weight using the continued fraction of pq , once we obtain the reciprocity formula.

4 Distribution of generalized Dedekind sums

For an even positive integer N and positive integers p and q which are relatively prime, we consider a vector-valued function HN(p, q) defined in (11). In this section, we show that there exists an integer RN such that fractional parts of the vectors 〈RNHN(p, q)〉 are equidistributed. That is the image of these vectors under the projection ℝN onto ℝN/ℤN is equidistributed on the torus. There is a necessary and sufficient condition for this due to Weyl.

4.1 Weyl’s equidistribution criterion

We recall the statement of Weyl’s criterion on torus. For details, we refer to [11].

Theorem 4.1

(Weyl’s equidistribution criterion). A sequence


is equidistributed in [0, 1)n if and only if for every m = (m1, m2, …, mn) ∈ ℤn − {0},


where msk=i=1nmisi(k) and e(x) denotes exp(2πix).

For a nonzero vector m ∈ ℤN−1 and a positive real number x, let E(m, x) be the average of the exponentials of (2πi) mRNHN(p, q) defined by


To apply Theorem 4.1, one needs to show that E(m, x) tends to 0 as x goes to ∞. This is done by relating an exponential sum to


4.2 Exponential sums of generalized Dedekind sums

We relate (32) to an exponential sum for a Laurent polynomial. Let us first recall the exponential sum for a Laurent polynomial F(x) ∈ ℤ[x, x−1].

Definition 4.2

For a positive integer q and F(x) ∈ ℤ[x, x−1], we define the exponential sum of modulus q of F(x) as


where eq(x):=exp2πixq.

Let FN(x) be the rank (N − 1) vector of Laurent polynomials


where fi(x)=αNrNN1ixi+N1NixNi . Here, αN denotes the numerator of BN, and rN is the integer defined as in (13). For a nonzero integer vector m of rank (N − 1), we have the following Laurent polynomial in x


To prove the relation between the two exponential sums (32) and K(mFN, q), we need the following theorem.

Theorem 4.3

[12, Theorem 1.1] Let N be an even positive integer. For positive integers i and j with i + j = N,


where p′ is an integer such that p′p ≡ 1 (mod q), and RN = N! βN rN with βN being the denominator of BN.

By Theorem 4.3, one can see that


Therefore, we come to the estimation of the exponential sum of mFN(x).

4.3 Bounds for exponential sums

Let q be a prime. Then, the estimation of K(mFN, q), accompanied with some reductions, will be sufficient in showing Weyl’s criterion for


to be equidistributed. This will complete the proof of Theorem 1.3. To achieve the full estimation, we will follow the steps taken in [12].

The following lemma is necessary to prove that mFN(x) has a Weil type bound for all but finitely many primes p.

Lemma 4.4

For positive integers i and j, let F(x)=k=jiakxk be a Laurent polynomial with integer coefficients such that ai ≠ 0 and aj ≠ 0. Let p be any prime with pak for some k ≠ 0. Then



See Theorem 1.3 in [13]. □

Since mFN is written as Laurent polynomial type in Lemma 4.4 (see equation (34)), we have the following.

Proposition 4.5

Let m be a nonzero integer vector and mFN(x) be the Laurent polynomial as give in (33). Put d = gcd(m1, m2, …, mN−1). Then for any positive integer pαN rN d, we have


For a general modulus q, we have the following bound.

Proposition 4.6

Suppose that q is a positive integer, and that N is an even positive integer. Let DFN be a positive integer such that DFN||FN. Let ω(q) be the number of prime factors of q. Then


From now on, we justify Proposition 4.6.

4.4 Reduction to prime modulus

If q has many prime factors, the bound is obtained by composing the bound previously obtained for primes dividing q. This is done by the next two reduction steps.

First, we consider the case q being a power of a prime p.

Lemma 4.7

Let F(x) be a Laurent polynomial with integer coefficients. Let p be a fixed prime and pβ|| Then for α > β, we have


where F~(x)=1pβF(x).


We note that an element z ∈ (ℤ/pαℤ) is written uniquely as z = pαβ x + y for x ∈ ℤ/pβℤ and y ∈ (ℤ/pαβℤ). Thus, we obtain


After the previous lemma, we can pull out p-factors out of the coefficients of mFN(x). For positive integers i and j, let F(x)=k=jiakxk be a Laurent polynomial with integer coefficients such that ai ≠ 0 and aj ≠ 0. Let p be a prime such that F(x) ≢ 0 (mod p) and α be a positive integer.

Now, the following lemma is implied by Corollary 4.1 in [14] with the trivial character.

Lemma 4.8

With the above notation, suppose that α ≥ 2 is an integer. Then


The previous two lemmas imply the following bound for prime powers.

Proposition 4.9

Let p be a prime. Suppose that m is any fixed nonzero vector inN−1, and that pβ||mFN(x) for some integer β. Suppose that α ≥ 2 is an integer such that α > β. Then for any p, we have


where DFN is the largest positive integer such that DFN|FN.

Let us consider the case when q has several prime factors. We have the following effect of the Chinese remainder theorem for exponential sums.

Lemma 4.10

Let F(x) be a Laurent polynomial with integer coefficients, and let q1 > 1 and q2 > 1 be relatively prime integers. Let Fi(x) be the mod qi Chinese remainder of F(x) for i = 1, 2 (i.e. F ↦ (F1, F2) under the isomorphism (ℤ/q1q2ℤ)[x, x−1] → (ℤ/q1ℤ)[x, x−1] × (ℤ/q2ℤ)[x, x−1]). Then



This is a consequence of Fubini theorem. □

4.5 Proof of Theorem 1.3

For x > 1, let ϕ(x) := |(ℤ/[x]ℤ)| be Euler’s phi function. By using ∑q<x ϕ(q) ∽ x2 as x → ∞, we obtain the proof of the main theorem from Weyl’s criterion for equidistribution and Proposition 4.6.

Now, we apply Proposition 4.6 to deducing Weyl’s criterion from the bound of exponential sums. Note that ω(q) in Proposition 4.6 has a well-known estimation


for some constant c. For sufficiently large q,


Thus, we obtain that for any ϵ > 0,


Therefore, by Proposition 4.6, we have the following bound.

Proposition 4.11

Let N be an even positive integer, and let m be a nonzero integer vector of rank N − 1. Then


for all ϵ > 0.

Weyl’s criterion for HN(p, q) comes from the following estimation


Consequently, Weyl’s criterion is fulfilled for the fractional part of the vector HN(p, q):


as x → ∞. This completes the proof.


The authors would like to thank the referees for the valuable comments and helpful corrections, which improved the paper.

The second named author was supported by (NRF-2015R1D1A1A09059083) and the third named author was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (2009-0093827) and (NRF-2017R1A6A3A11030486) and the last author was supported by (NRF-2017R1C1B5017409).


  • [1]

    R. Dedekind, Erläuterungen zu den Fragmenten XXVII, in: B. Riemann’s Gesammelte mathematische Werke, 2nd ed., Teubner, Leipzig, 1892, 466–478. Google Scholar

  • [2]

    G. H. Hardy and S. Ramanujan, Asymptotic formulae in combinatory analysis, Proc. London Math. Soc. (2) 17, 75–115 (1918). Google Scholar

  • [3]

    F. Hirzebruch and D. Zagier, Atiyah-Singer index theorems and elementary number theory, Mathematics Lecture Ser. 3, Publish or Perish, Inc., Boston, MA, 1974. Google Scholar

  • [4]

    R. Kirby and P. Melvin, Dedekind sums, μ-invariants and signature cocycle, Math. Ann. 299 231–267 (1994). CrossrefGoogle Scholar

  • [5]

    T. M. Apostol, Generalized Dedekind sums and the transformation formulae of certain Lambert series, Duke Math. J. 17 (1950), 147–157. Google Scholar

  • [6]

    R. Hall, J. Wilson, and D. Zagier, Reciprocity formulae for general Dedekind-Rademacher sums, Acta Arith. 73 (1995) 389–396. Web of ScienceCrossrefGoogle Scholar

  • [7]

    H. Rademacher, Generalization of the reciprocity formula for Dedekind sums, Duke Math. J. 21 (1954), 391–397. CrossrefGoogle Scholar

  • [8]

    D. Zagier, Quantum modular forms, Quanta of Maths: Conference in honor of Alain Connes. Clay Mathematics Proceedings 11. AMS and Clay Mathematics Institute 2010, 659–675. Google Scholar

  • [9]

    D. Choi, S. Lim, and R. Rhoades, Mock modular forms and quantum modular forms, Proc. Amer. Math. Soc. 144 (2016), 2337–2349. Web of ScienceGoogle Scholar

  • [10]

    A. Folsom, K. Ono and R. C. Rhoades, Mock theta functions and quantum modular forms, Forum Math. Pi 1 (2013), e2, 27 pp. Google Scholar

  • [11]

    T. Tao, Higher order Fourier analysis, Grad. Stud. Math. 187, AMS, 2011. Google Scholar

  • [12]

    B. Jun and J. Lee, Equidistribution of generalized Dedekind sums and exponential sums, J. of Number Theory, 137, 67–92 (2014). CrossrefWeb of ScienceGoogle Scholar

  • [13]

    J. Denef and F. Loeser, Weights of exponential sums, intersection cohomology and Newton polyhedra, Invent. Math. 106 (1991), no. 2, 275–294. CrossrefGoogle Scholar

  • [14]

    T. Cochrane and Z. Y. Zheng, Exponential sums with rational function entries, Acta Arith. 95 (2000), no. 1, 67–95. CrossrefGoogle Scholar

About the article

Received: 2018-02-05

Accepted: 2018-06-01

Published Online: 2018-09-01

Citation Information: Open Mathematics, Volume 16, Issue 1, Pages 967–985, ISSN (Online) 2391-5455, DOI: https://doi.org/10.1515/math-2018-0082.

Export Citation

© 2018 Choi et al., published by De Gruyter.. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License. BY-NC-ND 4.0

Comments (0)

Please log in or register to comment.
Log in