The first simultaneous sign change and non-vanishing of Hecke eigenvalues of newforms (Q669222)

The paper contributes to the study of simultaneous sign changes of Hecke eigenvalues for newforms. To state some of the results in a bit more detail let $f \in S_{k_1}^{\mathrm{new}}(N_1)$ and $g \in S_{k_2}^{\mathrm{new}}(N_2)$ be two distinct normalised Hecke eigenforms. Theorem 1 gives an explicit bound $B$ such that there is a prime $p$, $m\in \{1,2\}$ with $p^m < B $ such that Hecke eigenvalues for $p^m$ for $f$ and $g$ have opposite signs: $a_f(p^m) a_g(p^m) < 0$. Theorem 3 shows that for all primes $p$ not dividing $N_1N_2$ the set $\{m\in \mathbb{N} \mid a_f(p^m) a_g(p^m) \neq 0 \}$ has positive density. Theorem 2 treats the case $N_1=N_2=1$ showing that the sequence $\{ a_f(n)a_g(n^2))_{n\in \mathbb{N}}$ changes sign in $(x,x+x^{\delta}]$ for any sufficiently large $x$ and any $\delta >\frac{17}{18}$.