We obtain upper bounds for the fourth and higher moments of short exponential sums involving Fourier coefficients of holomorphic cusp forms twisted by rational additive twists with small denominators.
We prove that the fourth moment of holomorphic Hecke cusp forms is bounded provided that the Riemann Hypothesis holds for an appropriate degree 8 L-function. We accomplish this using Watson's formula, which translates the question in hand into a moment problem for L-functions which is amenable to the techniques of Soundararajan and Harper on obtaining sharp bounds for moments of the Riemann zeta function.
The summatory function of $t_j(n^2)$ is estimated, where $H_j(s) = \sum_{n=1}^\infty t_j(n)n^{-s}$ is the Hecke series of a non-holomorphic cusp form. The analogous problem of holomorphic cusp forms is also treated.
We estimate the mean square of a short exponential sum involving Fourier coefficients of a cusp form with a linear twist, a smooth weight function, and a relatively short averaging interval.
Let $a(n)$ be the Fourier coefficients of a holomorphic cusp form of weight $κ=2n\geqslant12$ for the full modular group and $A(x)=\sum\limits_{n\leqslant x}a(n)$. In this paper, we establish an asymptotic formula of the fourth power moment of $A(x)$ and prove that \begin{equation*} \int_1^TA^4(x)\mathrm{d}x=\frac{3}{64κπ^4}s_{4;2}(\tilde{a}) T^{2κ}+O\big(T^{2κ-δ_4+\varepsilon}\big) \end{equation*} with $δ_4=1/8$, which improves the previous result.
We estimate the sums \[ \sum_{c\leq x} \frac{S(m,n,c,χ)}{c}, \] where the $S(m,n,c,χ)$ are Kloosterman sums of half-integral weight on the modular group. Our estimates are uniform in $m$, $n$, and $x$ in analogy with Sarnak and Tsimerman's improvement of Kuznetsov's bound for the ordinary Kloosterman sums. Among other things this requires us to develop mean value estimates for coefficients of Maass cusp forms of weight $1/2$ and uniform estimates for $K$-Bessel integral transforms. As an application, we obtain an improved estimate for the classical problem of estimating the size of the error t…
We study sign changes in the sequence $\{ A(n) : n = c^2 + d^2 \}$, where $A(n)$ are the coefficients of a holomorphic cuspidal Hecke eigenform. After proving a variant of an axiomatization for detecting and quantifying sign changes introduced by Meher and Murty, we show that there are at least $X^{\frac{1}{4} - ε}$ sign changes in each interval $[X, 2X]$ for $X \gg 1$. This improves to $X^{\frac{1}{2} - ε}$ many sign changes assuming the Generalized Lindelöf Hypothesis.
We obtain closed-form expressions for all sums of the form \mbox{$\sum_{k = 1}^n {F_{mk}{}^4 }$} and \mbox{$\sum_{k = 1}^n {L_{mk}{}^4 }$} and their alternating versions, where $F_i$ and $L_i$ denote Fibonacci and Lucas numbers respectively. Our results complement those of Melham who studied the alternating sums.
We consider large values of long linear exponential sums involving Fourier coefficients of holomorphic cusp forms. The sums we consider involve rational linear twists $e(nh/k)$ with sufficiently small denominators. We prove both pointwise upper bounds and bounds for the frequency of large values. In particular, the $k$-aspect is treated. As an application we obtain upper bounds for all the moments of the sums in question. We also give the asymptotics with the right main term for fourth moments. We also consider the mean square of very short sums, proving that on average short linear sums with …
Let $A_f(1,n)$ be the normalized Fourier coefficients of a Hecke-Maass cusp form $f$ for $SL_3(\mathbb{Z})$ and $$ r_3(n)=\#\left\{(n_1,n_2,n_3)\in \mathbb{Z}^3:n_1^2+n_2^2+n_3^2=n\right\}. $$ Let $1\leq h\leq X$ and $ϕ(x)$ be a smooth function compactly supported on $[1/2,1]$. It is shown that $$ \sum_{n\geq 1}A_f(1,n+h)r_3(n)ϕ\left(\frac{n}{X}\right) \ll_{f,\varepsilon} X^{\frac{3}{2}-\frac{1}{8}+\varepsilon} $$ uniformly with respect to the shift $h$.
We derive explicit formulas for some Kloosterman sums on $Γ_0(N)$, and for the Fourier coefficients of Eisenstein series attached to arbitrary cusps, around a general Atkin-Lehner cusp.
Let $f$ be a Hecke cusp form of weight $k$ for the full modular group, and let $\{λ_f(n)\}_{n\geq 1}$ be the sequence of its normalized Fourier coefficients. Motivated by the problem of the first sign change of $λ_f(n)$, we investigate the range of $x$ (in terms of $k$) for which there are cancellations in the sum $S_f(x)=\sum_{n\leq x} λ_f(n)$. We first show that $S_f(x)=o(x\log x)$ implies that $λ_f(n)<0$ for some $n\leq x$. We also prove that $S_f(x)=o(x\log x)$ in the range $\log x/\log\log k\to \infty$ assuming the Riemann hypothesis for $L(s, f)$, and furthermore that this range is best …
Let $f$ and $g$ be holomorphic cusp forms for the modular group $SL_2(\mathbb Z)$ of weight $k_1$ and $k_2$ with Fourier coefficients $λ_f(n)$ and $λ_g(n)$, respectively. For real $α\neq0$ and $0<β\leq1$, consider a smooth resonance sum $S_X(f,g;α,β)$ of $λ_f(n)λ_g(n)$ against $e(αn^β)$ over $X\leq n\leq2X$. Double square moments of $S_X(f,g;α,β)$ over both $f$ and $g$ are nontrivially bounded when their weights $k_1$ and $k_2$ tend to infinity together. By allowing both $f$ and $g$ to move, these double moments are indeed square moments associated with automorphic forms for $GL(4)$. By taking…
Let $f$ and $g$ be weight $k$ holomorphic cusp forms and let $S_f(n)$ and $S_g(n)$ denote the sums of their first $n$ Fourier coefficients. Hafner and Ivic [HI], building on Chandrasekharan and Narasimhan [CN], proved asymptotics for $\sum_{n \leq X} \lvert S_f(n) \rvert^2$ and proved that the Classical Conjecture, that $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{4} + ε}$, holds on average over long intervals. In this paper, we introduce and obtain meromorphic continuations for the Dirichlet series $D(s, S_f \times S_g) = \sum S_f(n)\overline{S_g(n)} n^{-(s+k-1)}$ and $D(s, S_f \times \overline{S_…
We prove an explicit integral representation -- involving the pullback of a suitable Siegel Eisenstein series -- for the twisted standard $L$-function associated to a holomorphic vector-valued Siegel cusp form of degree $n$ and arbitrary level. In contrast to all previously proved pullback formulas in this situation, our formula involves only scalar-valued functions despite being applicable to $L$-functions of vector-valued Siegel cusp forms. The key new ingredient in our method is a novel choice of local vectors at the archimedean place which allows us to exactly compute the archimedean local…
We prove the Kloosterman-Spectral sum formula for PSL(2,Z[i])\PSL(2,C), and apply it to derive an explicit spectral expansion for the fourth power moment of the Dedekind zeta function of the Gaussian number field. This sum formula allows the extension of the spectral theory of Kloosterman sums to all algebraic number fields.
Extending the approach of Iwaniec and Duke, we present strong uniform bounds for Fourier coefficients of half-integral weight cusp forms of level $N$. As an application, we consider a Waring-type problem with sums of mixed powers.
In this paper we determine the limiting distribution of the image of the Eichler--Shimura map or equivalently the limiting joint distribution of the coefficients of the period polynomials associated to a fixed cusp form. The limiting distribution is shown to be the distribution of a certain transformation of two independent random variables both of which are equidistributed on the circle $\mathbb{R}/\mathbb{Z}$, where the transformation is connected to the additive twist of the cuspidal $L$-function. Furthermore we determine the asymptotic behavior of the zeroes of the period polynomials of a …
Conditionally on the Generalized Lindelöf Hypothesis, we obtain an asymptotic for the fourth moment of Hecke Maass cusp forms of large Laplacian eigenvalue for the full modular group. This lends support to the Random Wave Conjecture.
Let $f$ be a weight $k$ holomorphic cusp form of level one, and let $S_f(n)$ denote the sum of the first $n$ Fourier coefficients of $f$. In analogy with Dirichlet's divisor problem, it is conjectured that $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{4} + ε}$. Understanding and bounding $S_f(X)$ has been a very active area of research. The current best bound for individual $S_f(X)$ is $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{3}} (\log X)^{-0.1185}$ from Wu. Chandrasekharan and Narasimhan showed that the Classical Conjecture for $S_f(X)$ holds on average over intervals of length $X$. Jutila improved …
The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agree with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak \cite{ILS} proved that the behavior of zeros near the central point of holomorphic cusp forms agree with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions. We prove a similar result for level 1 cuspidal Maass forms, the other natural fami…
We extend the axiomatization for detecting and quantifying sign changes of Meher and Murty to sequences of complex numbers. We further generalize this result when the sequence is comprised of the coefficients of an $L$-function. As immediate applications, we prove that there are sign changes in intervals within sequences of coefficients of GL(2) holomorphic cusp forms, GL(2) Maass forms, and GL(3) Maass forms. Building on previous works by the authors, we prove that there are sign changes in intervals within sequences of partial sums of coefficients of GL(2) holomorphic cusp forms and Maass fo…
We examine the calculation 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. Previously this approach has proved unsuccessful in computing moments beyond the eighth, even heuristically. A careful analysis of the second and fourth moments illustrates the nature of the problem and enables us to identify the terms that are missed in the standard application of these methods.
We estimate short exponential sums weighted by the Fourier coefficients of a Maass form. This requires working out a certain transformation formula for non-linear exponential sums, which is of independent interest. We also discuss how the results depend on the growth of the Fourier coefficients in question. As a byproduct of these considerations, we can slightly extend the range of validity of a short exponential sum estimate for holomorphic cusp forms. The short estimates allow us to reduce smoothing errors. In particular, we prove an analogue of an approximate functional equation previously …
We study the behavior of the shifted convolution sum involving fourth power of the Fourier coefficients of holomorphic cusp forms with a weight function to be the $k$-full kernel function for any fixed integer $k\geq2$.
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…
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.
This thesis contributes to the analytic theory of automorphic L-functions. We prove an approximate functional equation for the central value of the L-series attached to an irreducible cuspidal automorphic representation of GL(m) over a number field. We investigate the decay rate of the cutoff function and its derivatives in terms of the analytic conductor introduced by Iwaniec and Sarnak. We also see that the truncation can be made uniformly explicit at the cost of an error term. The results extend to products of central values. We establish, via the Hardy-Littlewood circle method, a nontrivia…
We study sums of Hecke eigenvalues of Hecke-Maass cusp forms for the group $\mathrm{SL}(n,\mathbb Z)$, with general $n\geq 3$, over certain short intervals under the assumption of the generalised Lindelöf hypothesis and a slightly stronger upper bound concerning the exponent towards the Ramanujan-Petersson conjecture that is currently known. In particular, in this case we evaluate the second moment of the sums in question asymptotically.
We prove an automorphic analogue of Deligne's conjecture for symmetric fourth $L$-functions of Hilbert modular forms. We extend the result of Morimoto based on generalization and refinement of the results of Grobner and Lin to cohomological irreducible essentially conjugate self-dual cuspidal automorphic representations of ${\rm GL}_2$ and ${\rm GL}_3$ over CM-fields.
Let $A_f(1,n)$ be the normalized Fourier coefficients of a $GL(3)$ Maass cusp form $f$ and let $a_g(n)$ be the normalized Fourier coefficients of a $GL(2)$ cusp form $g$. Let $λ(n)$ be either $A_f(1,n)$ or the triple divisor function $d_3(n)$. It is proved that for any $ε>0$, any integer $r\geq 1$ and $r^{5/2}X^{1/4+7δ/2}\leq H\leq X$ with $δ>0$, $$ \frac{1}{H}\sum_{h\geq 1}W\left(\frac{h}{H}\right) \sum_{n\geq 1}λ(n)a_g(rn+h)V\left(\frac{n}{X}\right)\ll X^{1-δ+ε}, $$ where $V$ and $W$ are smooth compactly supported functions, and the implied constants depend only on the associated forms and $…
We prove that the "naive" convolution Dirichlet series D_2(s) attached to a degree 2 Siegel Hecke cusp form F, has a pole at s=1. As an application, we write down the asymptotic formula for the partial sums of the squares of the eigenvalues of $F$ with an explicit error term. Further, as a corollary, we are able to show that the abscissa of absolute convergence of the (normalized) spinor zeta function attached to F is s = 1.
Sums of squares of $|ζ(1/2+it)|$ over short intervals are investigated. Known upper bounds for the fourth and twelfth moment of $|ζ(1/2+it)|$ are derived. A discussion concerning other possibilities for the estimation of higher power moments of $|ζ(1/2+it)|$ is given.
The aim of the present work is to exhibit a new proof of the explicit spectral expansion for the fourth moment of the Riemann zeta-function that was established by the second named author a decade ago. Our proof is new, particularly in the sense that it dispenses completely with the Kloostermania, the spectral theory of sums of Kloosterman sums that was used in the former proof. The argument is now constructed precisely upon the spectral structure of the Lie group PSL(2,R). Main ingredients in our argument are the theory of automorphic representations as well as the harmonic analysis on the bi…
Let $\mathitΠ$ be a cohomological irreducible cuspidal automorphic representation of ${\rm GL}_2(\mathbb{A}_{\mathbb F})$ with central character $ω_{\mathitΠ}$ over a totally real number field ${\mathbb F}$. In this paper, we prove the algebraicity of the near central non-critical value of the symmetric fourth $L$-function of $\mathitΠ$ twisted by $ω_{\mathitΠ}^{-2}$. The algebraicity is expressed in terms of the Petersson norm of the normalized newform of $\mathitΠ$ and the top degree Whittaker period of the Gelbart-Jacquet lift ${\rm Sym}^2\mathitΠ$ of $\mathitΠ$.
We evaluate some twisted fourth moment of Dirichlet $L$-functions at the central point s=1/2 and for prime moduli q. The principal tool is a careful analysis of a shifted convolution problem involving the divisor function using spectral theory of automorphic forms and bounds for bilinear forms in Kloosterman sums. Having in mind simultaneous non vanishing results, we apply the Theorem to establish an asymptotic formula of a mollified fourth moment for this family of $L$-functions
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.
In a previous paper with Schmid (math.NT/0402382) we considered the regularity of automorphic distributions for GL(2,R), and its connections to other topics in number theory and analysis. In this paper we turn to the higher rank setting, establishing the nontrivial bound sum_{n < T} a_n exp(2 pi i n alpha) = O_ε(T^{3/4+ε}) uniformly for alpha real, for a_n the coefficients of the L-function of a cusp form on GL(3,Z)\GL(3,R). We also derive an equivalence (Theorem 7.1) between analogous cancellation statements for cusp forms on GL(n,R), and the sizes of certain period integrals. These in turn i…
We obtain a generalisation of the Quantum Unique Ergodicity for holomorphic cusp forms on $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathbb{H}$ in the weight aspect. We show that correlations of masses coming from off-diagonal terms dissipate as the weight tends to infinity. This corresponds to classifying the possible quantum limits along any sequence of Hecke eigenforms of increasing weight. Our new ingredient is to incorporate the spectral theory of weight $k$ automorphic functions to the method of Holowinsky-Soundararajan. For Holowinsky's shifted convolution sums approach, we need to develop …