Strong twisted pair correlation conjecture

Let nn be a prime power, define

Fn(α)=(T2πΛ(n)n)1Tγ,γ2TniγTiα(γγ)ω(γγ),F_n(\alpha)=-\left(\frac{T}{2\pi}\frac{\Lambda(n)}{\sqrt n}\right)^{-1}\sum_{T\leq\gamma,\gamma'\leq2T}n^{i\gamma}T^{i\alpha(\gamma-\gamma')}\omega(\gamma-\gamma'),

and define

r1(α,n)=1Λ(n)mΛ(mn)Λ(m)mmin{mTα,Tαm}2,r_1(\alpha,n)=\frac1{\Lambda(n)}\sum_m\frac{\Lambda(mn)\Lambda(m)}m\min\left\{\frac m{T^\alpha},\frac{T^\alpha}m\right\}^2, r2(α,n)=1Λ(n)mΛ(m)Λ(n/m)min{nTαm,mnTα}2.r_2(\alpha,n)=\frac1{\Lambda(n)}\sum_m\Lambda(m)\Lambda(n/m)\min\left\{\frac{nT^\alpha}m,\frac m{nT^\alpha}\right\}^2.

Strong twisted pair correlation conjecture. Fix ε>0\varepsilon>0. Uniformly for all prime powers nT1εn\leq T^{1-\varepsilon},

Fn(α)={T2α(logT+O(1))+logT+O(1)(nTα)2r2(α,n)+O(1/logT),lognlogTα0,T2α(logT+logTn2+O(1))r1(α,n)+O(1/logT),0<α<1lognlogT,min{1,logTΛ(n)(α1+lognlogT)}+O(1/logT),α1lognlogT.F_n(\alpha)=\begin{cases}T^{2\alpha}(\log T+O(1))+\dfrac{\log T+O(1)}{(nT^\alpha)^2}-r_2(\alpha,n)+O(1/\log T),&-\dfrac{\log n}{\log T}\leq\alpha\leq0,\\ T^{-2\alpha}(\log T+\dfrac{\log T}{n^2}+O(1))-r_1(\alpha,n)+O(1/\log T),&0<\alpha<1-\dfrac{\log n}{\log T},\\ \min\{1,\dfrac{\log T}{\Lambda(n)}(\alpha-1+\dfrac{\log n}{\log T})\}+O(1/\log T),&\alpha\geq1-\dfrac{\log n}{\log T}. \end{cases}

This conjecture gives the detailed asymptotic for the twisted pair-correlation function needed in the paper's third-moment analysis. The source explains the delta-like behavior of the first terms and the localized nature of the r1,r2r_1,r_2 corrections; it proves restricted ranges but leaves the full uniform statement open.

Sources & referencesView supporting material

Primary source

Alessandro Fazzari and Maxim Gerspach, “The third moment of the logarithm of zeta and a twisted pair correlation conjecture”, arXiv:2412.20099 (2024).

Additional references

2 papers in this index state this conjecture (2008–2024). The statement above is taken from the most recent of them; the others are arXiv:0805.2745.

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.