OpenAlex ·

On the OpenAI proof that Landau-Siegel zeros do not exist

William D. Banks

Published
Source
OpenAlex
Published in
arXiv (Cornell University)
DOI
10.48550/arxiv.2610.15483
Original
Read it at the publisher
Topics
Mathematical PhysicsCombinatoricsNumber Theory

Abstract

A recent manuscript of OpenAI asserts that Landau-Siegel zeros do not exist. Here, we give a detailed account of its argument, arranged as a direct proof with explicit constants. There are absolute constants $q_0$ and $δ_0>0$ such that, for every primitive real Dirichlet character $χ$ of conductor $q\ge q_0$, every real zero $β\in(0,1)$ of $L(s,χ)$ satisfies $(1-β)\log q\geδ_0$, and one can take $q_0=10^{10}$ and $δ_0=3.0\times 10^{-3}$. Combined with a recent computation of Lu, Zaman, and Zhao, this result yields the bound $(1-β)\log q\ge 3.0\times 10^{-3}$ for every conductor $q\ge 3$. The proof is an interpolation determinant argument in the biquadratic field generated by $\sqrt{2}$ over the quadratic field attached to $χ$. A real zero close to one forces $χ(p)=-1$ for most primes $p$, and the Frobenius congruence at these primes makes a certain nonzero determinant divisible by higher powers of these primes than its Archimedean size allows. The underlying ideas are those of the OpenAI manuscript. The explicit constants, and the presentation, are new.

The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.

Read it on ReadSearch

Each opens after you create an account, and brings you back to this paper.

Already a reader? Sign in

All new papers in Mathematical Physics

Get the few papers worth your time in Mathematical Physics every morning.

ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.

Papers belong to their authors and publishers; every page here links to the original. All research topics