Abstract:Let $N$ be a fixed positive integer, and let $f\in S_k(N)$ be a primitive cusp form given by the Fourier expansion $f(z)=\sum_{n=1}^{\infty} \lambda_f(n)n^{\frac{k-1}{2}}e(nz)$. We consider the partial sum $S(x,f)=\sum_{n\leq x}\lambda_f(x)$. It is conjectured that $S(x,f)=o(x\log x)$ in the range $x\geq k^{\epsilon}$. Lamzouri proved in <a class="link-https" data-arxiv-id="1703.10582" href="https://arxiv.org/abs/1703.10582">arXiv:1703.10582</a> [math.NT] that this is true under the assumption of the Generalized Riemann Hypothesis (GRH) for $L(s,f)$. In this paper, we prove that this conjecture holds under a weaker assumption than GRH. In particular, we prove that given $\epsilon>(\log k)^{-\frac{1}{8}}$ and $1\leq T\leq (\log k)^{\frac{1}{200}}$, we have $S(x,f)\ll \frac{x\log x}{T}$ in the range $x\geq k^{\epsilon}$ provided that $L(s,f)$ has no more than $\epsilon^2\log k/5000$ zeros in the region $\left\{s\,:\, \Re(s)\geq \frac34, \, |\Im(s)-\phi| \leq \frac14\right\}$ for every real number $\phi$ with $|\phi|\leq T$.

The Riemann Hypothesis for period polynomials of cusp forms

On the Cuspidal Cohomology of Arithmetic Groups

Large Sums of Fourier Coefficients of Cusp Forms

Zeros of modular forms and Faber polynomials

Upper Bounds for the Lowest First Zero in Families of Cuspidal Newforms

Period polynomial relations between formal double zeta values of odd weight

Uniqueness of Rankin–Selberg Periods

Period functions for vector-valued Maass cusp forms of real weight, with an application to Jacobi Maass cusp forms

Periods and Distribution of Cycles on Hilbert Modular Varieties

On the number of prime divisors and radicals of non-zero Fourier coefficients of Hilbert cusp forms

A discrepancy result for Hilbert modular forms

Period-like polynomials for $L$-series associated with half-integral weight cusp forms

Hecke-Symmetry and Rational Period Functions

On the Real Zeroes of Half-integral Weight Hecke Cusp Forms

Non-vanishing Fourier Coefficients of Modular Forms

Non-vanishing of Taylor coefficients and Poincaré series

Modular forms with non-vanishing central values and linear independence of Fourier coefficients

A Fourier-Jacobi Dirichlet series for cusp forms on orthogonal groups

A note on series equivalent of the Riemann hypothesis