We study the double character sum $\sum\limits_{\substack{m\leq X,\\m\odd}}\sum\limits_{\substack{n\leq Y,\\n\odd}}\leg mn$ and its smoothly weighted counterpart. An asymptotic formula with power saving error term was obtained by Conrey, Farmer and Soundararajan by applying the Poisson summation formula. The result is interesting, because the main term involves a non-smooth function. In this paper, we apply the inverse Mellin transform twice and study the resulting double integral that involves a double Dirichlet series. This method has two advantages -- it leads to a better error term, and the surprising main term naturally arises from three residues of the double Dirichlet series.
We consider double Dirichlet series associated with arithmetic functions such as the von Mangoldt function, the Möbius function, and so on. We show analytic continuations of them by use of the Mellin-Barnes integral. Furthermore we observe their reverse values at non-positive integer points.
We prove a Voronoi formula for coefficients of a large class of $L$-functions including Maass cusp forms, Rankin-Selberg convolutions, and certain isobaric sums. Our proof is based on the functional equations of $L$-functions twisted by Dirichlet characters and does not directly depend on automorphy. Hence it has wider application than previous proofs. The key ingredient is the construction of a double Dirichlet series.
This paper is a continuation of our previous work on double Dirichlet series associated with arithmetic functions such as the von Mangoldt function, the Möbius function, and so on. We consider the analytic behaviour around the non-positive integer points on singularity sets which are points of indeterminacy. In particular, we show a certain reciprocity law of their residues. Also on this occasion we correct some inaccuracies in our previous paper.
For Dirichlet series roughly of the type $Z(s, w) = sum_d L(s, chi_d) d^{-w}$ the subconvexity bound $Z(s, w) \ll (sw(s+w))^{1/6+\varepsilon}$ is proved on the critical lines $\Re s = \Re w = 1/2$. The convexity bound would replace 1/6 with 1/4. In addition, a mean square bound is proved that is consistent with the Lindelöf hypothesis. An interesting specialization is $s=1/2$ in which case the above result give a subconvex bound for a Dirichlet series without an Euler product.
We study a double Dirichlet series of the form $\sum_{d}L(s,χ_{d}χ)χ'(d)d^{-w}$, where $χ$ and $χ'$ are quadratic Dirichlet characters with prime conductors $N$ and $M$ respectively. A functional equation group isomorphic to the dihedral group of order 6 continues the function meromorphically to $\mathbb{C}^{2}$. A convexity bound at the central point is established to be $(MN)^{3/8+\varepsilon}$ and a subconvexity bound of $(MN(M+N))^{1/6+\varepsilon}$ is proven. The developed theory is used to prove an upper bound for the smallest positive integer $d$ such that $L(1/2,χ_{dN})$ does not vanis…
The problem of quantum unique ergodicity (QUE) of weight 1/2 Eisenstein series for Γ_0(4) leads to the study of certain double Dirichlet series involving GL2 automorphic forms and Dirichlet characters. We study the analytic properties of this family of double Dirichlet series (analytic continuation, convexity estimate) and prove that a subconvex estimate implies the QUE result.
We provide efficient methods to evaluate the Riemann zeta, the Lerch zeta and the Dirichlet $L$-functions. The method uses the Riemann-Siegel (RS) type formulas and a modified double exponential (MDE) quadrature method near the saddle point of appropriate integrands. We provide simplified derivations of the RS formulas, containing finite series sums and residual integrals, for the Lerch and the Dirichlet $L$-functions. The MDE method allows us to remove the contribution of the singularities near the contour of integration for the residual integrals. The method allows us to evaluate the residua…
In this paper, we give an explicit formula of the Shintani double zeta functions with any ramification in the most general setting of adeles over an arbitrary number field. Three applications of the explicit formula are given. First, we obtain a functional equation satisfied by the Shintani double zeta functions in addition to Shintani's functional equations. Second, we establish the holomorphicity of a certain Dirichlet series generalizing a result by Ibukiyama and Saito. This Dirichlet series occurs in the study of unipotent contributions of the geometric side of the Arthur-Selberg trace for…
The space of toroidal automorphic forms was introduced by Zagier in the 1970s: a GL_2-automorphic form is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems (amongst others) from the fact that an Eisenstein series of weight s is toroidal for a given torus precisely if s is a non-trivial zero of the zeta function of the quadratic field corresponding to the torus. In this paper, we study the structure of the space of toroidal automorphic forms for an arbitrary number field F. We prove that it decomposes into a space span…
In this paper, we study the alternating Euler $T$-sums and $§$-sums, which are infinite series involving (alternating) odd harmonic numbers, and have similar forms and close relations to the Dirichlet beta functions. By using the method of residue computations, we establish the explicit formulas for the (alternating) linear and quadratic Euler $T$-sums and $§$-sums, from which, the parity theorems of Hoffman's double and triple $t$-values and Kaneko-Tsumura's double and triple $T$-values are further obtained. As supplements, we also show that the linear $T$-sums and $§$-sums are expressible in…
We investigate a relation between the Mordell-Tornheim type of multiple Dirichlet series and a confluent hypergeometric function. We prove it by applying the Mellin-Barnes integral formula. Also, main results in this paper contain two kinds of functional equations for double $L$-functions as a special case.
We define, and obtain the meromorphic continuation of, shifted Rankin-Selberg convolutions in one and two variables. As sample applications, this continuation is used to obtain estimates for single and double shifted sums and a Burgess-type bound for $L$-series associated to modular forms of arbitrary central character. Further applications are furnished by subsequent works by the authors and their colleagues.
In this article we study analytic properties of the multiple Dirichlet series associated to additive and Dirichlet characters. For the multiple Dirichlet series associated to additive characters, the meromorphic continuation is established via obtaining translation formulas satisfied by these multiple Dirichlet series. While it seems difficult to obtain such a translation formula for the multiple Dirichlet series associated to Dirichlet characters, we rely on their intrinsic connection with the multiple Dirichlet series associated to additive characters in order to investigate their analytic c…
In this article, we obtain the analytic continuation of the multiple shifted Lucas zeta function, multiple Lucas $L$-function associated to Dirichlet characters and additive characters. We then compute a complete list of exact singularities and residues of these functions at these poles. Further, we show the rationality of the multiple Lucas $L$-functions associated with quadratic characters at negative integer arguments.
A method of estimating sums of multiplicative functions braided with Dirichlet characters is demonstrated, leading to a taxonomy of the characters for which such sums are large.
We prove that suitable properties of the twists by Dirichlet characters of an L-function of degree 2 imply that its Euler product is of polynomial type.
We evaluate the average of cubic and quartic Dirichlet character sums with the modulus going up to a size comparable to the length of the individual sums. This generalizes a result of Conrey, Farmer and Soundararajan on quadratic Dirichlet character sums.
We obtain by simple elementary method, the character average of fourth power of Dirichlet L-series at unity.This result seems to be new.We also obtain character average of second power of Dirichlet L-series at unity,using the power series in second variable of Hurwitz zeta function at unity.
Katz showed that the L-functions of all Dirichlet characters of F_q(t), with conductor a fixed power of a degree one prime, are equidistributed in the limit as q goes to infinity. We generalize this statement to the L-functions of twists of an arbitrary Galois representation by Dirichlet characters, including independence of the L-functions of twists of different representations by the same Dirichlet character. A similar generalization, without the independence statement, for characters with squarefree conductor, was proven by Hall, Keating, and Roditty-Gershon.
The Postnikov character formula is used to express large portions of a Dirichlet character sum in terms of quadratic exponential sums. The quadratic sums are then computed using an analytic algorithm previously derived by the author. This leads to a power-saving if the modulus is smooth enough. As an application, a fast, and potentially practical, method to compute Dirichlet L-functions with complexity exponent 1/3 for smooth enough moduli is derived.
We use the $q$-analogue of van der Corput's method to estimate short character sums to smooth moduli. If $χ$ is a primitive Dirichlet character modulo a squarefree, $q^δ$-smooth integer $q$ we show that $$L(\frac12,χ)\ll_εq^{\frac{27}{164}+O(δ)+ε}.$$
We present a unified approach which gives completely elementary proofs of three weighted sum formulae for double zeta values. This approach also leads to new evaluations of sums relating to the harmonic numbers, the alternating double zeta values, and the Witten zeta function. We discuss a heuristic for finding or dismissing the existence of similar simple sums. We also produce some new sums from recursions involving the Riemann zeta and the Dirichlet beta functions.
The asymptotic formula of the fourth moment of Dirichlet $L$-functions at the central value was predicted in a conjecture by J. B. Conrey, D. W. Farmer, J. P. Keating, M. O. Rubinstein, and N. C. Snaith, and the prime moduli case was proved by M. P. Young in 2011. This work establishes this asymptotic formula for general moduli. The work relies on the study of a special divisor sum function, called $\mathcal{D}_q$-function, which plays a key role in deducing the main terms. Another key ingredient is an application of new bounds for double sums in Kloosterman sums, applied in the estimate of th…
Let $\mathbb{A}=\mathbb{F}_q[T]$ be the polynomial ring over the finite field $\mathbb{F}_q$. In this article, we prove a generalization of Tóth identity on $\mathbb{A}$ involving arithmetical functions, multiplicative and additive characters.
Using some basic properties of the gamma function, we evaluate a simple class of infinite products involving Dirichlet characters as a finite product of gamma functions and, in the case of odd characters, as a finite product of sines. As a consequence we obtain evaluations of certain multiple $L$-series. In the final part of this paper we derive expressions for infinite products of cyclotomic polynomials, again as finite products of gamma or of sine functions.
For a given Dirichlet character $χ(n) = e^{i θ_n}$, we prove central limit theorems for the series $\sum_{p'} \cos θ_{p'}$ for non-principal characters, and $\sum_{p' } \cos (t \log p')$ for principal characters, where $p'$ are integers based on a variant of Cramér's random model for the primes. For non-principal characters, we use these results to show that the Generalized Riemann Hypothesis for the associated $L$-function is true with probability equal to one. For principal characters we propose how to extend these arguments to $\Re (s) = t \to \infty$.
We obtain a second moment formula for the L-series of holomorphic cusp forms, averaged over twists by Dirichlet characters modulo a fixed conductor Q. The estimate obtained has no restrictions on Q, with an error term that has a close to optimal power savings in the exponent. However, one of the contributions to the main term is a special value of a shifted double Dirichlet series. We show that this special value is small on average, and obtain a corresponding estimate for a mean value of the second moment over Q. This mean value is non-zero even when applied to a product of two distinct L-ser…
Let $χ$ be a Dirichlet character (mod $n$) with conductor $d$. In a quite recent paper Zhao and Cao deduced the identity $\sum_{k=1}^n (k-1,n) χ(k)= φ(n)τ(n/d)$, which reduces to Menon's identity if $χ$ is the principal character (mod $n$). We generalize the above identity by considering even functions (mod $n$), and offer an alternative approach to proof. We also obtain certain related formulas concerning Ramanujan sums.
We construct a class of companion elliptic functions associated with the even Dirichlet characters. Using the well-known properties of the classical Weierstrass elliptic function $\wp(z|τ)$ as the blueprint, we will derive their representations in terms of $q$-series and partial fractions, explore the significance of the coefficients of their power series expansions and establish the modular properties under the actions of the arithmetic groups $Γ_0(N)$ and $Γ_1(N)$.
For a rational valued periodic function, we associate a Dirichlet series and provide a new necessary and sufficient condition for the vanishing of this Dirichlet series specialized at positive integers. This question was initiated by Chowla, and carried out by Okada for a particular infinite sum. Our approach relies on the decomposition of the Dirichlet characters in terms of primitive characters. Using this, we find some new family of natural numbers for which a conjecture of Erdös holds. We also characterize rational valued periodic functions for which the associated Dirichlet series vanishe…
An algorithm to compute Dirichlet $L$-functions for many quadratic characters is derived. The algorithm is optimal (up to logarithmic factors) provided that the conductors of the characters under consideration span a dyadic window.
In this paper we provide an explicit construction of a $distinctive$ multiple Dirichlet series associated to products of quadratic Dirichlet L-series, which we believe should be tightly connected to a generalized metaplectic Whittaker function on the double cover of a Kac-Moody group. To do so, we first impose a set of axioms, independent of any group of functional equations, which the aforementioned object should satisfy. As a consequence, we deduce that the coefficients of the $p$-parts of the multiple Dirichlet series satisfy certain recurrence relations. These relations lead to a family of…
In this paper, we give an asymptotic formula for the second moment of Dirichlet twists of an automorphic $L$-function $L(s, π)$ on the critical line averaged over characters and conductors, where $π$ denotes an irreducible tempered cuspidal automorphic representation of $\textrm{GL}_{4}$ with unitary central character. We give some hybrid bound for the error term with respect to the size of conductors of Dirichlet characters and that of the automorphic representation.
Let $χ$ be a primitive Dirichlet character modulo $q$ and $L(s,χ)$ be the Dirichlet L-function associated to $χ$. Using a new two-piece mollifier we show that $L(\tfrac{1}{2},χ)\ne0$ for at least 34% of the characters in the family.
This paper improves the upper bound for the exceptional zeroes of Dirichlet L-functions with even characters. The result is obtained by improving on explicit estimate for $L'(σ;χ)$ for $σ$ close to unity, using a result on the average of Dirichlet characters, and on the lower bound for $L(1;χ)$, with computational aid.
Let $ψ$ be a real primitive character modulo $D$. If the $L$-function $L(s,ψ)$ has a real zero close to $s=1$, known as a Landau-Siegel zero, then we say the character $ψ$ is exceptional. Under the hypothesis that such exceptional characters exist, we prove that at least fifty percent of the central values $L(1/2,χ)$ of the Dirichlet $L$-functions $L(s,χ)$ are nonzero, where $χ$ ranges over primitive characters modulo $q$ and $q$ is a large prime of size $D^{O(1)}$. Under the same hypothesis we also show that, for almost all $χ$, the function $L(s,χ)$ has at most a simple zero at $s = 1/2$.
Menon's identity is a classical identity involving gcd sums and the Euler totient function $ϕ$. In a recent paper, Zhao and Cao derived the Menon-type identity $\sum\limits_{\substack{k=1}}^{n}(k-1,n)χ(k) = ϕ(n)τ(\frac{n}{d})$, where $χ$ is a Dirichlet character mod $n$ with conductor $d$. We derive an identity similar to this replacing gcd with a generalization it. We also show that some of the arguments used in the derivation of Zhao-Cao identity can be improved if one uses the method we employ here.
We establish an analogue of a conjecture of Balasubramanian, Conrey, and Heath-Brown for the family of all Dirichlet characters with conductor up to $Q$. This forms another application of our work in developing an asymptotic large sieve.
We prove that more than nine percent of the central values $L(\frac{1}{2},χ_p)$ are non-zero, where $p\equiv 1 \pmod{8}$ ranges over primes and $χ_p$ is the real primitive Dirichlet character of conductor $p$. Previously, it was not known whether a positive proportion of these central values are non-zero. As a by-product, we obtain the order of magnitude of the second moment of $L(\frac{1}{2},χ_p)$, and conditionally we obtain the order of magnitude of the third moment. Assuming the Generalized Riemann Hypothesis, we show that our lower bound for the second moment is asymptotically sharp.
Let C(q,+) be the set of even, primitive Dirichlet characters (mod q). Using the mollifier method we show that L^{(k)}(1/2,chi) is not equal to zero for almost all the characters chi in C(q,+) when k and q are large. Here, L^{(k)}(s,chi) is the k-th derivative of of the Dirichlet L-function L(s,chi).
The classical Menon's identity [7] states that \begin{equation*}\label{oldbegin1} \sum_{\substack{a\in\Bbb Z_n^\ast }}\gcd(a -1,n)=φ(n) σ_{0} (n), \end{equation*} where for a positive integer $n$, $\Bbb Z_n^\ast$ is the group of units of the ring $\Bbb Z_n=\Bbb Z/n\Bbb Z$, $\gcd(\ ,\ )$ represents the greatest common divisor, $φ(n)$ is the Euler's totient function and $σ_{k} (n) =\sum_{d|n } d^{k}$ is the divisor function. In this paper, we generalize Menon's identity with Dirichlet characters in the following way: \begin{equation*} \sum_{\substack{a\in\Bbb Z_n^\ast b_1, ..., b_k\in\Bbb Z_n}} …
