Gonek–Ki conjecture for zeros of real and imaginary parts of the zeta function

Fix θ[0,2π)\theta\in[0,2\pi), let a=1/2c/logTa=1/2-c/\log T with 0<c=o(logT)0<c=o(\log T), and let A>0A>0 be arbitrarily large but fixed. Let fa(w,θ)f_a(w,\theta) be the function in the source, and let Γ(T)\Gamma(T) consist of the zeros of fa(w,θ)f_a(w,\theta) on the line Rew=0\operatorname{Re}w=0. Gonek–Ki conjecture. Uniformly for 0αA0\leq|\alpha|\leq A,

FΓ(α,T)=(2+o(1))T4αlogT+min(2α,1)(a+1/2)(32a)T(4a2)α+o(1).\mathfrak{F}_\Gamma(\alpha,T)=(2+o(1))T^{-4|\alpha|}\log T+\frac{\min(2|\alpha|,1)}{(a+1/2)(3-2a)}T^{(4a-2)|\alpha|}+o(1).

This conjecture predicts the relevant form factor for zeros of the family fa(w,θ)f_a(w,\theta) along the imaginary axis. The paper explains that its bounds show the conjectured expression cannot hold in certain regimes, so the conjecture is refuted as stated.

Sources & referencesView supporting material

Primary source

Mithun Kumar Das, Tolibjon Ismoilov and Antonio Pedro Ramos, “Fourier optimization and pair correlation problems”, arXiv:2502.05106 (2025).

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.