References & Citations
Mathematics > Number Theory
Title: The De Bruijn-Newman constant is non-negative
(Submitted on 18 Jan 2018 (v1), last revised 3 Jul 2021 (this version, v5))
Abstract: For each $t \in {\bf R}$, define the entire function $$ H_t(x) := \int_0^\infty e^{tu^2} \Phi(u) \cos(xu)\ du$$ where $\Phi$ is the super-exponentially decaying function $$ \Phi(u) := \sum_{n=1}^\infty (2\pi^2 n^4 e^{9u} - 3\pi n^2 e^{5u} ) \exp(-\pi n^2 e^{4u} ).$$ Newman showed that there exists a finite constant $\Lambda$ (the \emph{de Bruijn-Newman constant}) such that the zeroes of $H_t$ are all real precisely when $t \geq \Lambda$. The Riemann hypothesis is the equivalent to the assertion $\Lambda \leq 0$, and Newman conjectured the complementary bound $\Lambda \geq 0$.
In this paper we establish Newman's conjecture. The argument proceeds by assuming for contradiction that $\Lambda < 0$, and then analyzing the dynamics of zeroes of $H_t$ (building on the work of Csordas, Smith, and Varga) to obtain increasingly strong control on the zeroes of $H_t$ in the range $\Lambda < t \leq 0$, until one establishes that the zeroes of $H_0$ are in local equilibrium, in the sense that locally behave (on average) as if they were equally spaced in an arithmetic progression, with gaps staying close to the global average gap size. But this latter claim is inconsistent with the known results about the local distribution of zeroes of the Riemann zeta function, such as the pair correlation estimates of Montgomery.
Submission history
From: Terence C. Tao [view email][v1] Thu, 18 Jan 2018 02:47:14 GMT (34kb)
[v2] Wed, 14 Feb 2018 23:37:46 GMT (35kb)
[v3] Fri, 6 Mar 2020 19:49:21 GMT (37kb)
[v4] Wed, 22 Apr 2020 18:52:25 GMT (37kb)
[v5] Sat, 3 Jul 2021 20:15:22 GMT (51kb)
Link back to: arXiv, form interface, contact.