An Unconditional BGST$\to$R$_2$ Fourier Transfer via Poisson-Kernel Deconvolution

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]. Key results: 6 theorems/propositions. Maturity: Short Draft. Target venue: Proceedings of the American Mathematical Society. Includes formal verification (Lean 4 / Platonic kernel). Part of The Latent research program. Related papers in this program: Nt Shifted Divisor Epsilon.