An Unconditional BGSTR₂ Fourier Transfer via Poisson-Kernel Deconvolution

Key Points

• The central aim investigates unconditional asymptotic results for Montgomery's pair-correlation function.
• Proved asymptotic for Montgomery's pair-correlation function F(α, T) with an error term involving log T.
• Included formal verification using Lean 4 and Platonic kernel.
• Presented as part of The Latent research program.
• Established the first unconditional asymptotic for the correlation function with error O(1/√log T).
• Presented 6 theorems/propositions regarding the behavior of the correlation function.