Average first negative value conjecture for Rankin–Selberg Fourier coefficients

Let D1D_1 and D2D_2 range over fundamental discriminants with D1D2x|D_1D_2|\leq x, and let p1<p2<p_1<p_2<\cdots be the primes. Define η(D1,D2)\eta(D_1,D_2) to be the smallest pip_i such that

sgn(σχ1,χ2k1(pi))=1.\operatorname{sgn}(\sigma_{\chi_1,\chi_2}^{k-1}(p_i))=-1.

Average first negative value conjecture. As xx\to\infty, one expects

D1D2xη(D1,D2)D1D2x1θ,\frac{\sum_{|D_1D_2|\leq x}\eta(D_1,D_2)}{\sum_{|D_1D_2|\leq x}1}\longrightarrow\theta,

where

θ:==1p2(p+2)2(p+1)2i=112+pi(pi+2)2(pi+1)2.\theta:=\sum_{\ell=1}^{\infty}\frac{p_\ell^2(p_\ell+2)}{2(p_\ell+1)^2}\prod_{i=1}^{\ell-1}\frac{2+p_i(p_i+2)}{2(p_i+1)^2}.

The conjecture predicts that the average first prime at which the relevant Fourier coefficient has negative sign converges to the numerical constant θ=3.9750223902667539847734759105175510246019355513991\theta=3.9750223902667539847734759105175510246019355513991\ldots.

Sources & referencesView supporting material

Primary source

Benjamin Linowitz and Lola Thompson, “The sign changes of Fourier coefficients of Eisenstein series”, arXiv:1305.6356 (2013).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.