What question did this study set out to answer?

The central aim investigates unconditional asymptotic results for Montgomery's pair-correlation function.

April 24, 20260 citationsOpen Access

An Unconditional BGSTR₂ Fourier Transfer via Poisson-Kernel Deconvolution

Puntos clave

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.

Resumen

Baluyot, Goldston, Suriajaya, and Turnage-Butterbaugh BGST23 proved the first unconditional asymptotic for Montgomery's pair-correlation function F (, T), with error O (1/ T) uniformly for 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.

Preguntar a la IA

Me gusta

Guardar

Ver artículo completo

Cite This Study

Tamás Nagy (Wed,) studied this question.

synapsesocial.com/papers/69eb0a94553a5433e34b49cb https://doi.org/https://doi.org/10.5281/zenodo.19688936

Preguntar a la IA

Me gusta

Guardar

Ver artículo completo