A generating function of higher-dimensional Apostol-Zagier sums and its reciprocity law

We introduce higher-dimensional Dedekind sums with a complex parameter z, generalizing Zagier's higher-dimensional Dedekind sums. The sums tend to Zagier's higher-dimensional Dedekind sums as z→∞. We show that the sums turn out to be generating functions of higher-dimensional Apostol-Zagier sums which are defined to be hybrids of Apostol's sums and Zagier's sums. We prove reciprocity law for the sums. The new reciprocity law includes reciprocity formulas for both Apostol and Zagier's sums as its special case. Furthermore, as its application we obtain relations between special values of Hurwitz zeta function and Bernoulli numbers, as well as new trigonometric identities.     

Higher dimensional Dedekind sums in finite fields

We introduce Dedekind sums of a new type defined over finite fields. These are similar to the higher dimensional Dedekind sums of Zagier. The main result is the reciprocity law for them.     

Dedekind sums with a parameter in finite fields

We first introduce the multiple Dedekind–Rademacher sum with a parameter in finite fields and establish its reciprocity law. We then construct an analog of the higher-dimensional Apostol–Dedekind sums, and establish their reciprocity laws using the parameterized Dedekind sum.     

Reciprocity formulae for multiple Dedekind–Rademacher sums

We introduce multiple Dedekind–Rademacher sums, in terms of values of Bernoulli functions, that generalize the classical Dedekind–Rademacher sums. The aim of this paper is to give and prove a reciprocity law for these sums. The main theorem presented in this paper contains all previous results in the literature about Dedekind–Rademacher sums.     

Rationality of Dedekind sums in function fields

In the previous paper we introduced the higher dimensional Dedekind sum in a function field (Bayad and Hamahata, Acta Arith. 152:71–80, 2012). The purpose of this paper is to present a criterion for the rationality of our Dedekind sum. To do so, we establish a connection between the field of definition of the Drinfeld module ? and the field of definition of the higher dimensional Dedekind sum s _Λ (a ₀;a ₁,…,a _d ) associated to the A-lattice Λ, which corresponds to ?.     

Explicit and Efficient Formulas for the Lattice Point Count in Rational Polygons Using Dedekind—Rademacher Sums

Abstract. We give explicit, polynomial-time computable formulas for the number of integer points in any two-dimensional rational polygon. A rational polygon is one whose vertices have rational coordinates. We find that the basic building blocks of our formulas are Dedekind—Rademacher sums , which are polynomial-time computable finite Fourier series. As a by-product we rederive a reciprocity law for these sums due to Gessel, which generalizes the reciprocity law for the classical Dedekind sums. In addition, our approach shows that Gessel's reciprocity law is a special case of the one for Dedekind—Rademacher sums, due to Rademacher.     

Dedekind symbols with plus reciprocity laws

Dedekind symbols are generalizations of the classical Dedekind sums (symbols), and the symbols are determined uniquely by their reciprocity laws, up to an additive constant. For Dedekind symbols D and F, we can consider two kinds of reciprocity laws: D(p,q)−D(q,−p)=R(p,q) and F(p,q)+F(q,−p)=T(p,q). The first type, which we call minus reciprocity laws, have been studied extensively. On the contrary, the second type, which we call plus reciprocity laws, have not yet been investigated. In this note we study fundamental properties of Dedekind symbols with plus reciprocity law F(p,q)+F(q,−p)=T(p,q). We will see that there is a fundamental difference between Dedekind symbols with minus and plus reciprocity laws.     

Generalized Dedekind symbols associated with the Eisenstein series

We have shown recently that the space of modular forms, the space of generalized Dedekind sums, and the space of period polynomials are all isomorphic. In this paper, we will prove, under these isomorphisms, that the Eisenstein series correspond to the Apostol generalized Dedekind sums, and that the period polynomials are expressed in terms of Bernoulli numbers. This gives us a new more natural proof of the reciprocity law for the Apostol generalized Dedekind sums. Our proof yields as a by-product new polylogarithm identities.

     

The Dedekind symbol associated with the Eisenstein series of weight two

Dedekind symbols generalize the classical Dedekind sums (symbols). These symbols are determined uniquely, up to additive constants, by their reciprocity laws. For k ≧ 2, there is a natural isomorphism between the space of Dedekind symbols with Laurent polynomial reciprocity laws of degree 2k − 2 and the space of modular forms of weight 2k for the full modular group However, this is not the case when k = 1 as there is no modular form of weight two; nevertheless, there exists a unique (up to a scalar multiple) quasi-modular form (Eisenstein series) of weight two. The purpose of this note is to define the Dedekind symbol associated with this quasi-modular form, and to prove its reciprocity law. Furthermore we show that the odd part of this Dedekind symbol is nothing but a scalar multiple of the classical Dedekind sum. This gives yet another proof of the reciprocity law for the classical Dedekind sum in terms of the quasi-modular form.Received: 13 September 2004     

A new generalization of Hardy–Berndt sums

In this paper, we construct a new generalization of Hardy–Berndt sums which are explicit extensions of Hardy–Berndt sums. We express these sums in terms of Dedekind sums s _r (h, k : x, y|λ) with x?=?y?=?0 and obtain corresponding reciprocity formulas.     

On generalized Dedekind sums attached to Dirichlet characters

Generalized reciprocity formulas and Dedekind-Petersson-Knopp-type formulas are given to generalized Dedekind sums attached to Dirichlet characters, defined on a certain congruence subgroup of SL₂($\text{Z}$). In addition, these formulas are respectively construed as transformational and eigen properties of those sums redefined on a certain set of cusps.     

Degenerate and character Dedekind sums

In this paper, we study on two subjects. We first construct degenerate analogues of Dedekind sums in the sense of Apostol, Carlitz and Takács, and prove the corresponding reciprocity formulas. Secondly, we define generalized Dedekind character sums, which are explicit extensions of Berndt's definition, and prove the reciprocity laws. From the derived reciprocity laws, we obtain Berndt's reciprocity laws as special cases.     

An identity involving Dedekind sums and generalized Kloosterman sums

The various properties of classical Dedekind sums S(h, q) have been investi-gated by many authors. For example, Yanni Liu and Wenpeng Zhang: A hybrid mean value related to the Dedekind sums and Kloosterman sums, Acta Mathematica Sinica, 27 (2011), 435–440 studied the hybrid mean value properties involving Dedekind sums and generalized Kloosterman sums K(m, n, r; q). The main purpose of this paper, is using the analytic methods and the properties of character sums, to study the computational problem of one kind of hybrid mean value involving Dedekind sums and generalized Kloosterman sums, and give an interesting identity.     

The Pick Theorem and the Proof of the Reciprocity Law for Dedekind Sums

This paper is to provide some new generalizations of the Pick Theorem. We first derive a point-set version of the Pick Theorem for an arbitrary bounded lattice polyhedron. Then, we use the idea of a weight function of [2] to obtain a weighted version. Other Pick type theorems known to the author for the integral lattice Z² are reduced to some special cases of this generalization. Finally, using an idea of Ehrhart [6] and the Pick Theorem, we give a direct proof of the reciprocity law for Dedekind sums. The ideas and methods presented here may be pushed to higher dimensions.AMS Subject Classification: 52C05, 11H06, 57N05, 57N15, 57N35.     

Analogies of Dedekind sums in function fields

The classical Dedekind sums were found in transformation formulae of η-functions. It is known that these sums have some properties, especially a reciprocity law

     

The elliptic Apostol–Dedekind sums generate odd Dedekind symbols with Laurent polynomial reciprocity laws

Dedekind symbols are generalizations of the classical Dedekind sums (symbols). There is a natural isomorphism between the space of Dedekind symbols with Laurent polynomial reciprocity laws and the space of modular forms. We will define a new elliptic analogue of the Apostol–Dedekind sums. Then we will show that the newly defined sums generate all odd Dedekind symbols with Laurent polynomial reciprocity laws. Our construction is based on Machide’s result (J Number Theory 128:1060–1073, 2008) on his elliptic Dedekind–Rademacher sums. As an application of our results, we discover Eisenstein series identities which generalize certain formulas by Ramanujan (Collected Papers of Srinivasa Ramanujan, pp. 136–162. AMS Chelsea Publishing, Providence, 2000), van der Pol (Indag Math 13:261–271, 272–284, 1951), Rankin (Proc R Soc Edinburgh Sect A 76:107–117, 1976) and Skoruppa (J Number Theory 43:68–73, 1993).     

Applications aux sommes elliptiques d'Apostol–Dedekind–Zagier

In this Note, we give two applications to our work [Bayad, C. R. Acad. Sci. Paris, Ser. I 339 (2004); DOI: 10.1016/j.crma.2004.07.018] concerning multiple elliptic Apostol–Dedekind–Zagier sums. These elliptic sums are defined by means of certain Jacobi modular forms of two variables $D_{\tau }(z\text{;}\phi )$. When $\text{Im}(\tau )\to \infty$, these elliptic sums give the classical Apostol–Dedekind–Zagier multiple sums [Apostol, Duke Math. J. 17 (1950) 147–157, Pacific. J. Math 2 (1952) 1–9; Zagier, Math. Ann, 202 (1973) 149–172]. We give a reciprocity law for these sums. To cite this article: A. Bayad, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Dedekind symbols with polynomial reciprocity laws

A Dedekind symbol is a generalization of the classical Dedekind symbol (sum). A Dedekind symbol is characterized by its reciprocity law. Dedekind symbols with polynomial reciprocity laws are of special interest and importance, as such symbols are known to correspond bijectively to cusp forms for the full modular group, and to period polynomials. However, explicit forms of such Dedekind symbols are not yet known. In this article we construct Dedekind symbols explicitly by means of Poincaré series, and then show that these symbols satisfy polynomial reciprocity laws and that they form a spanning set for the space of Dedekind symbols with polynomial reciprocity laws. That is, we show that any Dedekind symbol with polynomial reciprocity law can be expressed as a linear combination of these symbols.Mathematics Subject Classification (2000): 11F20; 11F11, 33E05The author wishes to thank Professor N. Yui for her helpful advice.