We specialize the Eichler-Selberg trace formula to obtain trace formulas for the prime-to-level Hecke action on cusp forms for certain congruence groups of arbitrary level. As a consequence, we determine the asymptotic in the prime p of the number of (weighted) SL(2,Z)-conjugation orbits of 2 by 2 matrices of determinant p whose reductions modulo N lie in a given conjugacy class in GL(2,Z/NZ). This generalizes an 1885 result of Hurwitz.
We generalize results of Duke, Garcia, Hyde, Lutz and others on the distribution of sums of roots of unity related to Gaussian periods to obtain equidistribution of similar sums over zeros of arbitrary integral polynomials. We also interpret these results in terms of trace functions, and generalize them to higher rank trace functions.
We show that under certain general conditions, short sums of $\ell$-adic trace functions over finite fields follow a normal distribution asymptotically when the origin varies, generalizing results of Erdős-Davenport, Mak-Zaharescu and Lamzouri. In particular, this applies to exponential sums arising from Fourier transforms such as Kloosterman sums or Birch sums, as we can deduce from the works of Katz. By approximating the moments of traces of random matrices in monodromy groups, a quantitative version can be given as in Lamzouri's article, exhibiting a different phenomenon than the averaging …
In this paper, we investigate the distribution of the maximum of partial sums of families of $m$-periodic complex valued functions satisfying certain conditions. We obtain precise uniform estimates for the distribution function of this maximum in a near optimal range. Our results apply to partial sums of Kloosterman sums and other families of $\ell$-adic trace functions, and are as strong as those obtained by Bober, Goldmakher, Granville and Koukoulopoulos for character sums. In particular, we improve on the recent work of the third author for Birch sums. However, unlike character sums, we are…
We construct a binary linear code $C(O(3,q))$, associated with the orthogonal group $O(3,q)$. Here $q$ is a power of two. Then we obtain a recursive formula for the odd power moments of Kloosterman sums with trace one arguments in terms of the frequencies of weights in the codes $C(O(3,q))$ and $C(Sp(2,q))$. This is done via Pless power moment identity and by utilizing the explicit expressions of Gauss sums for the orthogonal groups.
We obtain new bounds for short sums of isotypic trace functions associated to some sheaf modulo prime $p$ of bounded conductor, twisted by the Mobius function and also by the generalised divisor function. These trace functions include Kloosterman sums and several other classical number theoretic objects. Our bounds are nontrivial for intervals of length at least $p^{1/2+\varepsilon}$ with an arbitrary fixed $\varepsilon >0$, which is shorter than the length at least $p^{3/4+\varepsilon}$ in the case of the Mobius function and at least $p^{2/3+\varepsilon}$ in the case of the divisor function r…
We consider sums of oscillating functions on intervals in cyclic groups of size close to the square root of the size of the group. We first prove non-trivial estimates for intervals of length slightly larger than this square root (bridging the "Polyá-Vinogradov gap" in some sense) for bounded functions with bounded Fourier transforms. We then prove that the existence of non-trivial estimates for ranges slightly below the square-root bound is stable under the discrete Fourier transform, and we give applications related to trace functions over finite fields.
We study sums over primes of trace functions of $\ell$-adic sheaves. Using an extension of our earlier results on algebraic twist of modular forms to the case of Eisenstein series and bounds for Type II sums based on similar applications of the Riemann Hypothesis over finite fields, we prove general estimates with power-saving for such sums. We then derive various concrete applications.
We consider $\ell$-adic trace functions over finite fields taking values in cyclotomic integers, such as characters and exponential sums. Through ideas of Deligne and Katz, we explore probabilistic properties of the reductions modulo a prime ideal, exploiting especially the determination of their integral monodromy groups. In particular, this gives a generalization of a result of Lamzouri-Zaharescu on the distribution of short sums of the Legendre symbol reduced modulo an integer to all multiplicative characters and to hyper-Kloosterman sums.
We prove recursive formulas for sums of squares and sums of triangular numbers in terms of sums of divisors functions and we give a variety of consequences of these formulas. Intermediate applications include statements about positivity of the coefficients of some infinite products.
Kloosterman sums for a finite field arise as Frobenius trace functions of certain local systems defined over $\Gm$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$ arise as Frobenius traces on a continuous $\ell$-adic Galois representation that comes from geometry. We also give bounds on the ramification of these Galois representations. All this is done in the g…
We give a general version of cancellation in exponential sums that arise as sums of products of trace functions satisfying a suitable independence condition related to the Goursat-Kolchin-Ribet criterion, in a form that is easily applicable in analytic number theory.
Let $\mathcal{K}(a)$ denote the Kloosterman sum on the finite field of order $2^n$. We give a simple characterization of $\mathcal{K}(a)$ modulo 16, in terms of the trace of $a$ and one other function. We also give a characterization of $\mathcal{K}(a)$ modulo 64 in terms of a different function, which we call the lifted trace. Our proofs use Fourier analysis, Stickelberger's theorem and the Gross-Koblitz formula.
In this paper, we present several explicit formulas of the sums and hyper-sums of the powers of the first (n+1)-terms of a general arithmetic sequence in terms of Stirling numbers and generalized Bernoulli polynomials.
In this paper, we construct two ternary linear codes $C(SO(3,q))$ and $C(O(3,q))$, respectively associated with the orthogonal groups $SO(3,q)$ and $O(3,q)$. Here $q$ is a power of three. Then we obtain two recursive formulas for the power moments of Kloosterman sums with $``$trace nonzero square arguments" in terms of the frequencies of weights in the codes. This is done via Pless power moment identity and by utilizing the explicit expressions of Gauss sums for the orthogonal groups.
Let GF(q), q=p^r, be a finite field with a primitive element g. In this paper we use exponential sums and Jacobi sums to compute the number of the irreducible polynomials of degree m over GF(q) with trace fixed and norm restricted to a coset of a subgroup <g^s>, s|(q-1). We give the number explicitly for s=2, 3, 4 when q=p, and for s|(p^e+1) when r=2en. Finally, we give explicit formulae for the number when both trace and norm are fixed, p=2 and m =< 30.
In this paper we prove a weighted sum formula for multiple harmonic sums modulo primes, thereby proving a weighted sum formula for finite multiple zeta values. Our proof utilizes difference equations for the generating series of multiple harmonic sums. We also conjecture several weighted sum formulas of similar flavor for finite multiple zeta values.
In this paper, a transformation formula under modular substitutions is derived for a large class of generalized Eisenstein series. Appearing in the transformation formulae are generalizations of Dedekind sums involving the periodic Bernoulli function. Reciprocity theorems are proved for these Dedekind sums. Furthermore, as an application of the transformation formulae, relations between various infinite series and evaluations of several infinite series are deduced. Finally, we consider these sums for some special cases.
We give results characterising ternary Kloosterman sums modulo 9 and 27. This leads to a complete characterisation of values that ternary Kloosterman sums assume modulo 18 and 54. The proofs uses Stickelberger's theorem, the Gross-Koblitz formula and Fourier analysis.
Using the Kuznetsov trace formula, we prove a spectral decomposition for the sums of generalized Dirichlet $L$-functions. Among applications are an explicit formula relating norms of prime geodesics to moments of symmetric square $L$-functions and an asymptotic expansion for the average of central values of generalized Dirichlet $L$-functions.
We state and prove three general formulas allowing to transform formal finite sums into formal continued fractions and apply them to generalize certain expansions in continued fractions given by Hone and Varona.
By using a variant of Kowalski's large sieve for Frobenius in compatible systems, we obtain zero-density estimates for arguments of $\ell$-adic trace functions over finite fields with values in some algebraic subsets of the cyclotomic integers, when the monodromy groups are known. This applies in particular to hyper-Kloosterman sums and general exponential sums considered by Katz.
Several asymptotic expansions and formulas for cubic exponential sums are derived. The expansions are most useful when the cubic coefficient is in a restricted range. This generalizes previous results in the quadratic case and helps to clarify how to numerically approximate cubic exponential sums and how to obtain upper bounds for them in some cases.
In this paper, we construct an infinite family of binary linear codes associated with double cosets with respect to certain maximal parabolic subgroup of the orthogonal group O(2n+1,q). Here q is a power of two. Then we obtain an infinite family of recursive formulas generating the odd power moments of Kloosterman sums with trace one arguments in terms of the frequencies of weights in the codes associated with those double cosets in O(2n+1,q) and in the codes associated with similar double cosets in the symplectic group Sp(2n,q). This is done via Pless power moment identity and by utilizing th…
We establish cancellation in short sums of certain special trace functions over $\mathbb{F}_q[u]$ below the Pólya-Vinogradov range, with savings approaching square-root cancellation as $q$ grows. This is used to resolve the $\mathbb{F}_q[u]$-analog of Chowla's conjecture on cancellation in Möbius sums over polynomial sequences, and of the Bateman-Horn conjecture in degree $2$, for some values of $q$. A final application is to sums of trace functions over primes in $\mathbb{F}_q[u]$.
In this paper, we obtain some formulae for harmonic sums, alternating harmonic sums and Stirling number sums by using the method of integral representations of series. As applications of these formulae, we give explicit formula of several quadratic and cubic Euler sums through zeta values and linear sums. Furthermore, some relationships between harmonic numbers and Stirling numbers of the first kind are established.
Let $\F_q$ ($q=p^r$) be a finite field. In this paper the number of irreducible polynomials of degree $m$ in $\F_q[x]$ with prescribed trace and norm coefficients is calculated in certain special cases and a general bound for that number is obtained improving the bound by Wan if $m$ is small compared to $q$. As a corollary, sharp bounds are obtained for the number of elements in $\F_{q^3}$ with prescribed trace and norm over $\F_q$ improving the estimates by Katz in this special case. Moreover, a characterization of Kloosterman sums over $\F_{2^r}$ divisible by three is given generalizing the …
We prove a variety of explicit formulas relating special values of generalized hypergeometric functions to lattice sums with four indices of summation. These results are related to Boyd's conjectured identities between Mahler measures and special values of $L$-series of elliptic curves.
The purpose of this paper is to give some explicit formulas involving Möbius functions, which may be known under the generalized Riemann Hypothesis, but unconditional in this paper. Concretely, we prove explicit formulas of partial sums of the Möbius function in arithmetic progressions and partial sums of the Möbius functions on an Abelian number field $K$. In addition, to obtain these explicit formulas, we study a certain finite Euler product appearing from certain relation of primitive characters and imprimitive characters in the present paper.
In this paper we present a generalization of Faulhaber's formula to sums of arbitrary complex powers $m\in\mathbb{C}$. These summation formulas for sums of the form $\sum_{k=1}^{\lfloor x\rfloor}k^{m}$ and $\sum_{k=1}^{n}k^{m}$, where $x\in\mathbb{R}^{+}$ and $n\in\mathbb{N}$, are based on a series acceleration involving Stirling numbers of the first kind. While it is well-known that the corresponding expressions obtained from the Euler-Maclaurin summation formula diverge, our summation formulas are all very rapidly convergent.
In this paper, we introduce vast generalizations of the Hardy-Berndt sums. They involve higher-order Euler and/or Bernoulli functions, in which the variables are affected by certain linear shifts. By employing the Fourier series technique we derive linear relations for these sums. In particular, these relations yield reciprocity formulas for Carlitz, Rademacher, Mikolás and Apostol type generalizations of the Hardy-Berndt sums, and give rise to generalizations for some Goldberg's three-term relations. We also present an elementary proof for the Mikolás' linear relation and a reciprocity formul…
We prove a duality formula for certain sums of values of poly-Bernoulli polynomials which generalizes dualities for poly-Bernoulli numbers. We first compute two types of generating functions for these sums, from which the duality formula is apparent. Secondly we give an analytic proof of the duality from the viewpoint of our previous study of zeta-functions of Arakawa-Kaneko type. As an application, we give a formula that relates poly-Bernoulli numbers to the Genocchi numbers.
In this paper, we construct four infinite families of ternary linear codes associated with double cosets in $O(2n+1,q)$ with respect to certain maximal parabolic subgroup of the special orthogonal group $SO(2n+1,q)$. Here $q$ is a power of three. Then we obtain two infinite families of recursive formulas, the one generating the power moments of Kloosterman sums with $``$trace nonzero square arguments" and the other generating the even power moments of those. Both of these families are expressed in terms of the frequencies of weights in the codes associated with those double cosets in $O(2n+1,q…
In this paper, new asymptotic formulas for sums over zeros of functions from the Selberg class are obtained. These results continue the investigations of Murty $\&$ Perelli \cite{12}, of Murty $\&$ Zaharescu \cite{13}, of Kamiya $\&$ Suzuki \cite{8}, of Steuding \cite{19} and other authors.
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, $$ where $aa^*\equiv 1\mod b$ and $bb^* \equiv 1 \mod a$. In this paper we show that this formula is a special case of a series of similar reciprocity formulas. Whereas Du and Zhang worked with the connection of Dedekind sums and values of $L$-series, our main tool is the three-term relation for Dedekind sums.
A typical formula of multiple zeta values is the sum formula which expresses a Riemann zeta value as a sum of all multiple zeta values of fixed weight and depth. Recently weighted sum formulas, which are weighted analogues of the sum formula, have been studied by many people. In this paper, we give two formulas of weighted sums with two parameters of multiple zeta values. As applications of the formulas, we find some linear combinations of multiple zeta values which can be expressed as polynomials of usual zeta values with coeffcients in the rational polynomial ring generated by the two parame…
Sarnak obtained the asymptotic formula of the sum of the class numbers of indefinite binary quadratic forms from the prime geodesic theorem for the modular group. In the present paper, we show several asymptotic formulas of partial sums of the class numbers by using the prime geodesic theorems for the congruence subgroups of the modular group.
For a given l-adic sheaf F on a commutative algebraic group over a finite field k and an integer r we define the r-th local norm L-function of F at a point t in G(k) and prove its rationality. This function gives information on the sum of the local Frobenius traces of F over the points of G(k_r) (where k_r is the extension of degree r of k) with norm t. For G the one-dimensional affine line or the torus, these sums can in turn be used to estimate the number of rational points on curves or the absolute value of exponential sums which are invariant under a large group of translations or homothet…
By developing a connection between partial theta functions and Appell-Lerch sums, we find and prove a formula which expresses Hecke-type double sums in terms of Appell-Lerch sums and theta functions. Not only does our formula prove classical Hecke-type double sum identities such as those found in work Kac and Peterson on affine Lie Algebras and Hecke modular forms, but once we have the Hecke-type forms for Ramanujan's mock theta functions our formula gives straightforward proofs of many of the classical mock theta function identities. In particular, we obtain a new proof of the mock theta conj…
Starting from a classical generating series for Bessel functions due to Schlomilch, we use Dwork's relative dual theory to broadly generalize unit-root results of Dwork on Kloosterman sums and Sperber on hyperkloosterman sums. In particular, we express the (unique) p-adic unit root of an arbitrary exponential sum on the torus in terms of special values of the p-adic analytic continuation of a ratio of A-hypergeometric functions. In contrast with the earlier works, we use noncohomological methods and obtain results that are valid for arbitrary exponential sums without any hypothesis of nondegen…
In this paper, we work out some explicit formulae for double nonlinear Euler sums involving harmonic numbers and alternating harmonic numbers. As applications of these formulae, we give new closed form representations of several quadratic Euler sums through Riemann zeta function and linear sums. The given representations are new.
We give a simple proof for the reciprocity formulas of character Dedekind sums associated with two primitive characters, whose modulus need not to be same, by utilizing the character analogue of the Euler-MacLaurin summation formula. Moreover, we extend known results on the integral of products of Bernoulli polynomials by considering the integral \[ \int\limits_{0}^{x}B_{n_{1}}(b_{1}z+y_{1})... B_{n_{r}}(b_{r}z+y_{r}) dz, \] where $b_{l}$ $(b_{l}\neq 0)$ and $y_{l}$ $(1\leq l\leq r)$ are real numbers. As a consequence of this integral we establish a connection between the reciprocity relations…
In this paper, we obtain some formulas for double nonlinear Euler sums involving harmonic numbers and alternating harmonic numbers. By using these formulas, we give new closed form sums of several quadratic Euler series through Riemann zeta values, polylogarithm functions and linear sums. Furthermore, some relationships between Euler sums and integrals of polylogarithm functions are established.
We use the action of Atkin-Lehner operators to generate a family of reciprocity formulas for newform Dedekind sums. This family of reciprocity formulas provides symmetries which we use to investigate the kernel of these Dedekind sums.
Flajolet and Salvy pointed out that every Euler sum is a $\mathbb{Q}$-linear combination of multiple zeta values. However, in the literature, there is no formula completely revealing this relation. In this paper, using permutations and compositions, we establish two explicit formulas for the Euler sums, and show that all the Euler sums are indeed expressible in terms of MZVs. Moreover, we apply this method to the alternating Euler sums, and show that all the alternating Euler sums are reducible to alternating MZVs. Some famous results, such as the Euler theorem, the Borwein--Borwein--Girgensoh…
