We prove an asymptotic formula for the mean-square average of $L$- functions associated to subgroups of characters of sufficiently large size. Our proof relies on the study of certain character sums ${\cal A}(p,d)$ recently introduced by E. Elma. We obtain an asymptotic formula for ${\cal A}(p,d)$ which holds true for any divisor $d$ of $p-1$ removing previous restrictions on the size of $d$. This anwers a question raised in Elma's paper. Our proof relies both on estimates on the frequency of large character sums and techniques from the theory of uniform distribution. As an application we deduce the following bound $h_{p,d}^- \leq 2\left (\frac{(1+o(1))p}{24}\right )^{m/4}$ on the relative class numbers of the imaginary number fields of conductor $p\equiv 1\mod d$ and degree $m=(p-1)/d$.
Under the generalized Lindelöf 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 eigenvalues at Piatetski-Shapiro primes.
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.
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.
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 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(δ)+ε}.$$
Improving and extending recent results of the author, we conditionally estimate exponential sums with Dirichlet coefficients of L-functions, both over all integers and over all primes in an interval. In particular, we establish new conditional results on exponential sums with Hecke eigenvalues and squares of Hecke eigenvalues over primes. We employ these estimates to improve our recent result on squares of Hecke eigenvalues at Piatetski-Shapiro primes under the Riemann Hypothesis for symmetric square L-functions for Hecke eigenforms.
We show that there is significant cancellation in certain exponential sums over small multiplicative subgroups of finite fields, giving an exposition of the arguments by Bourgain and Chang.
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 new bounds on short Weil sums over small multiplicative subgroups of prime finite fields which remain nontrivial in the range the classical Weil bound is already trivial. The method we use is a blend of techniques coming from algebraic geometry and additive combinatorics.
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.
Let $q\ge3$ be an integer, $χ$ denote a Dirichlet character modulo $q$, for any real number $a\ge 0$, we define the generalized Dirichlet $L$-functions $$ L(s,χ,a)=\sum_{n=1}^{\infty}\frac{χ(n)}{(n+a)^s}, $$ where $s=σ+it$ with $σ>1$ and $t$ both real. It can be extended to all $s$ by analytic continuation. For any integer $m$, the famous Gauss sum $G(m,χ)$ is defined as follows: $$G(m,χ)=\sum_{a=1}^{q}χ(a)e\left(\frac{am}{q}\right), $$ where $e(y)=e^{2πiy}$. The main purpose of this paper is to use the analytic method to study the mean value properties of the generalized Dirichlet $L$-functio…
Let F_q be the finite field of q elements. Let H be a multiplicative subgroup of F_q^*. For a positive integer k and element b\in F_q, we give a sharp estimate for the number of k-element subsets of H which sum to b.
We consider families of exponential sums indexed by a subgroup of invertible classes modulo some prime power $q$. For fixed $d$, we restrict to moduli $q$ so that there is a unique subgroup of invertible classes modulo $q$ of order $d$. We study distribution properties of these families of sums as $q$ grows and we establish equidistribution results in some regions of the complex plane which are described as the image of a multi-dimensional torus via an explicit Laurent polynomial. In some cases, the region of equidistribution can be interpreted as the one delimited by a hypocycloid, or as a Mi…
Let $p$ be an odd prime. Using I. M. Vinogradov's bilinear estimate, we present an elementary approach to estimate nontrivially the character sum $$ \sum_{x\in H}χ(x+a),\qquad a\in\Bbb F_p^*, $$ where $H<\Bbb F_p^*$ is a multiplicative subgroup in finite prime field $\Bbb F_p$. Some interesting mean-value estimates are also provided.
Friedberg, Hoffstein and Lieman have constructed two related multiple Dirichlet series from quadratic and higher-order $L$-functions and Gauss sums. We compute these multiple Dirichlet series explicitly in the case of the rational function field. This is done by utilizing the functional equation of the $L$-functions and the functional equation relating the two multiple Dirichlet series. We also point out a very simple correspondence between these series and their $p$-parts.
We produce a new proof of the reciprocity law for the twisted second moment of Dirichlet L-functions that was recently proved by Conrey. Our method is to analyze certain two-variable sums where the variables satisfy a linear congruence. We show that these sums satisfy an elegant reciprocity formula. In the case that the modulus is prime, these sums are closely related to the twisted second moment, and the reciprocity formula for these sums implies Conrey's reciprocity formula. We also extend the range of uniformity of Conrey's formula.
We study sums of Dirichlet characters over polynomials in $\mathbb{F}_q[t]$ with a prescribed number of irreducible factors. Our main results are explicit formulae for these sums in terms of zeros of Dirichlet L-functions. We also exhibit new phenomena concerning Chebyshev-type biases of such sums when the number of irreducible factors is very large.
In this paper we study sums of Dirichlet series whose coefficients are terms of the Thue-Morse sequence and variations thereof. We find closed-form expressions for such sums in terms of known constants and functions including the Riemann zeta function and the Dirichlet eta function using elementary methods.
We obtain a nontrivial bound on the number of solutions to the equation $$ A^{x_1} + \ldots + A^{x_ν} = A^{x_{ν+1}} + \ldots + A^{x_{2ν}}, \quad 1 \le x_1, \ldots,x_{2ν} \le τ, $$ with a fixed $n\times n$ matrix $A$ over a finite field $\mathbb F_q$ of $q$ elements of multiplicative order $τ$. We give applications of our result to obtaining a new bound of additive character sums with a matrix exponential function, which is nontrivial beyond the square-root threshold. For $n=2$ this equation has been considered by Kurlberg and Rudnick (2001) (for $ν=2$) and Bourgain (2005) (for large $ν$) in th…
Let ${\mathcal H}$ be a multiplicative subgroup of $\mathbb{F}_p^*$ of order $H>p^{1/4}$. We show that $$ \max_{(a,p)=1}\left|\sum_{x\in {\mathcal H}} {\mathbf{\,e}}_p(ax)\right| \le H^{1-31/2880+o(1)}, $$ where ${\mathbf{\,e}}_p(z) = \exp(2 πi z/p)$, which improves a result of Bourgain and Garaev (2009). We also obtain new estimates for double exponential sums with product $nx$ with $x \in {\mathcal H}$ and $n \in {\mathcal N}$ for a short interval ${\mathcal N}$ of consecutive integers.
We estimate double sums $$ S_χ(a, I, G) = \sum_{x \in I} \sum_{λ\in G} χ(x + aλ), \qquad 1\le a < p-1, $$ with a multiplicative character $χ$ modulo $p$ where $I= \{1,\ldots, H\}$ and $G$ is a subgroup of order $T$ of the multiplicative group of the finite field of $p$ elements. A nontrivial upper bound on $S_χ(a, I, G)$ can be derived from the Burgess bound if $H \ge p^{1/4+\varepsilon}$ and from some standard elementary arguments if $T \ge p^{1/2+\varepsilon}$, where $\varepsilon>0$ is arbitrary. We obtain a nontrivial estimate in a wider range of parameters $H$ and $T$. We also estimate dou…
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper begins the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^3$ with divisor functions as coefficients.
In this series of papers we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper completes the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of arbitrary length with divisor functions as coefficients.
We extend the results obtained by E. Ntienjem to all positive integers. Let $\EuFrak{N}$ be the subset of $\mathbb{N}$ consisting of $\,2^ν\mho$, where $ν$ is in $\{0,1,2,3\}$ and $\mho$ is a squarefree finite product of distinct odd primes. We discuss the evaluation of the convolution sum, $\underset{\substack{ {(l,m)\in\mathbb{N}^{2}} {α\,l+β\,m=n} } }{\sum}σ(l)σ(m)$, when $αβ$ is in $\mathbb{N}\setminus\EuFrak{N}$. The evaluation of convolution sums belonging to this class is achieved by applying modular forms and primitive Dirichlet characters. In addition, we revisit the evaluation of the…
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper is concerned with the precise input of the conjectural formula for the classical shifted convolution problem for divisor sums so as to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^2$ with divisor functions as coefficients.
We give explicit expressions for the Fourier coefficients of Eisenstein series twisted by Dirichlet characters and modular symbols on $Γ_0(N)$ in the case where $N$ is prime and equal to the conductor of the Dirichlet character. We obtain these expressions by computing the spectral decomposition of automorphic functions closely related to these Eisenstein series. As an application, we then evaluate certain sums of modular symbols in a way which parallels past work of Goldfeld, O'Sullivan, Petridis, and Risager. In one case we find less cancellation in this sum than would be predicted by the co…
We improve an existing result on exponential quadrilinear sums in the case of sums over multiplicative subgroups of a finite field and use it to give a new bound on exponential sums with quadrinomials.
Let $M=M_1 M_2 M_3$ be the product of three distinct primes and let $χ=χ_1 χ_2 χ_3$ be a Dirichlet character of modulus $M$ such that each $χ_i$ is a primitive character modulo $M_i$ for $i=1,2,3$. In this paper, we provide a $δ$-symbol method for obtaining non-trivial cancellation in smooth character sums of the form $\sum_{n=1}^\infty χ(n) W(n/N)$, with $N$ roughly of size $\sqrt M$ and $W$ a smooth compactly supported weight function on $(0, \infty)$. As a corollary, we establish hybrid subconvexity bounds for the associated Dirichlet $L$-function.
This is part II of our examination of the second and fourth moments and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations.
In the paper we obtain some new upper bounds for exponential sums over multiplicative subgroups G of F^*_p having sizes in the range [p^{c_1}, p^{c_2}], where c_1,c_2 are some absolute constants close to 1/2. As an application we prove that in symmetric case G is always an additive basis of order five, provided by |G| > p^{1/2} log^{1/3} p. Also the method allows us to give a new upper bound for Heilbronn's exponential sum.
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…
We study upper bounds for sums of Dirichlet characters. We prove a uniform upper bound of the character sum over all proper generalized arithmetic progressions, which generalizes the classical Polya and Vinogradov inequality. Our argument is based on getting an upper bound for the l1 norm of the Fourier coefficients of a generalized arithmetic progression. Our method also applies to give upper bounds for polynomial exponential sums.
We present other proofs, generalizations and analogues of the identities concerning multiple Dirichlet series by Tahmi and Derbal (2022). As applications, we obtain asymptotic formulas with remainder terms for certain related sums.
Let $q\ge3$ be an integer, $χ$ be a Dirichlet character modulo $q$, and $L(s,χ)$ denote the Dirichlet $L$-functions corresponding to $χ$. In this paper, we show some special function series, and give some new identities for the Dirichlet $L$-functions involving Gauss sums. Specially, we give specific identities for $L(2,χ)$.
We study the p-adic behavior of Jacobi Sums for $\mathbb Q(ζ_p)$ and link this study to the p-Sylow subgroup of the ideal class group of $\mathbb Q(ζ_pà^+$
We show that an asymptotic property of the determinants of certain matrices whose entries are finite sums of cotangents with rational arguments is equivalent to the GRH for odd Dirichlet characters. This is then connected to the existence of certain quantum modular forms related to Maass Eisenstein series.
We compute the second moment of spinor $L$-functions at central points of Siegel modular forms on congruence subgroups of large prime level $N$ and give applications to non-vanishing.
We establish that three well-known and rather different looking conjectures about Dirichlet characters and their (weighted) sums, (concerning the Pólya-Vinogradov theorem for maximal character sums, the maximal admissible range in Burgess' estimate for short character sums, and upper bounds for $L(1,χ)$ and $L(1+it,χ)$) are more-or-less "equivalent". We also obtain a new mean value theorem for logarithmically weighted sums of 1-bounded multiplicative functions.
