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

About 1 year old · traced to

Fix θ∈[0,2π)\theta\in[0,2\pi), let a=1/2−c/log⁡Ta=1/2-c/\log T with 0<c=o(log⁡T)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 Re⁡w=0\operatorname{Re}w=0. Gonek–Ki conjecture. Uniformly for 0≤∣α∣≤A0\leq|\alpha|\leq A,

FΓ(α,T)=(2+o(1))T−4∣α∣log⁡T+min⁡(2∣α∣,1)(a+1/2)(3−2a)T(4a−2)∣α∣+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.

References

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.