An Unconditional BGST$\to$R$_2$ Fourier Transfer via Poisson-Kernel Deconvolution
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Summary
Baluyot, Goldston, Suriajaya, and Turnage-Butterbaugh [BGST23] proved the first unconditional asymptotic for Montgomery's pair-correlation function $F(\alpha, T)$, with error $O(1/\sqrt{\log T})$ uniformly for $\alpha \in [0,1]$.
Length
4,073 words
Claims
6 theorems
Status
Draft
Target
Proceedings of the American Mathematical Society