The de Bruijn–Newman constant, denoted by Λ {\displaystyle \Lambda } and named after Nicolaas Govert de Bruijn and Charles Michael Newman, is a mathematical constant defined via the zeros of a certain function H ( λ , z ) {\displaystyle H(\lambda ,z)} , where λ {\displaystyle \lambda } is a real parameter and z {\displaystyle z} is a complex variable. More precisely,
H ( λ , z ) := ∫ 0 ∞ e λ u 2 Φ ( u ) cos ( z u ) d u {\displaystyle H(\lambda ,z):=\int _{0}^{\infty }e^{\lambda u^{2}}\Phi (u)\cos(zu)\,du} , where Φ {\displaystyle \Phi } is the super-exponentially decaying function
Φ ( u ) = ∑ n = 1 ∞ ( 2 π 2 n 4 e 9 u − 3 π n 2 e 5 u ) e − π n 2 e 4 u {\displaystyle \Phi (u)=\sum _{n=1}^{\infty }(2\pi ^{2}n^{4}e^{9u}-3\pi n^{2}e^{5u})e^{-\pi n^{2}e^{4u}}}
and Λ {\displaystyle \Lambda } is the unique real number with the property that H {\displaystyle H} has only real zeros if and only if λ ≥ Λ {\displaystyle \lambda \geq \Lambda } . The constant is closely connected to the Riemann hypothesis. Indeed, the Riemann hypothesis is equivalent to the statement that Λ ≤ 0 {\displaystyle \Lambda \leq 0} . Brad Rodgers and Terence Tao proved that Λ ≥ 0 {\displaystyle \Lambda \geq 0} , so the Riemann hypothesis is equivalent to Λ = 0 {\displaystyle \Lambda =0} . A simplified proof of the Rodgers–Tao result was later given by Alexander Dobner.
History De Bruijn showed in 1950 that H {\displaystyle H} has only real zeros if λ ≥ 1 / 2 {\displaystyle \lambda \geq 1/2} , and moreover, that if H {\displaystyle H} has only real zeros for some λ {\displaystyle \lambda } , H {\displaystyle H} also has only real zeros if λ {\displaystyle \lambda } is replaced by any larger value. Newman proved in 1976 the existence of a constant Λ {\displaystyle \Lambda } for which the "if and only if" claim holds; and this then implies that Λ {\displaystyle \Lambda } is unique. Newman also conjectured that Λ ≥ 0 {\displaystyle \Lambda \geq 0} , which was proven forty years later, by Brad Rodgers and Terence Tao in 2018.
Heat-flow interpretation The family H λ {\displaystyle H_{\lambda }} may be viewed as a deformation of the Riemann xi function under a heat-type equation. At λ = 0 {\displaystyle \lambda =0} , the function H 0 {\displaystyle H_{0}} is essentially the Riemann xi function, written as an even Fourier transform. Varying λ {\displaystyle \lambda } multiplies the Fourier-side kernel by e λ u 2 {\displaystyle e^{\lambda u^{2}}} . Differentiating under the integral sign gives
∂ H λ ∂ λ = − ∂ 2 H λ ∂ z 2 , {\displaystyle {\partial H_{\lambda } \over \partial \lambda }=-{\partial ^{2}H_{\lambda } \over \partial z^{2}},}
so that increasing λ {\displaystyle \lambda } evolves H λ {\displaystyle H_{\lambda }} by the backward heat equation in the variable z {\displaystyle z} . In this interpretation, the de Bruijn–Newman constant is the transition time at which the deformation changes from having non-real zeros to having only real zeros. De Bruijn's theorem says that once all zeros have become real, they remain real for all later values of the heat-flow parameter. Thus Λ {\displaystyle \Lambda } measures the stability of the real-zero property under this deformation: the Riemann hypothesis is the assertion that the undeformed function H 0 {\displaystyle H_{0}} already lies on the real-zero side of the transition, while Newman's conjecture asserts that it lies exactly at the boundary rather than safely inside it.
Proofs of Newman's conjecture Newman's conjecture is the assertion that Λ ≥ 0 {\displaystyle \Lambda \geq 0} . The proof of this lower bound by Brad Rodgers and Terence Tao proceeds by contradiction. Assuming Λ < 0 {\displaystyle \Lambda <0} , they analyze the motion of the zeros of H t {\displaystyle H_{t}} under the backwards heat-flow deformation. Their analysis forces increasingly rigid control of the zeros in the range Λ < t ≤ 0 {\displaystyle \Lambda <t\leq 0} . In particular, they prove that it implies that the zeros of H 0 {\displaystyle H_{0}} would have to be locally close to equally spaced. They then derive a contradiction with known results on the local distribution of zeros of the Riemann zeta function, such as estimates related to Montgomery's pair correlation work. A different proof was later given by Alexander Dobner. Dobner's method avoids the zero-dynamics and zeta-zero gap estimates used by Rodgers and Tao. In the case of the Riemann xi function, the argument shows that for every t < 0 {\displaystyle t<0} , the deformed function ξ t {\displaystyle \xi _{t}} can be approximated by a Dirichlet series
ζ t ( s ) = ∑ n = 1 ∞ exp ( t 4 log 2 n ) n − s , {\displaystyle \zeta _{t}(s)=\sum _{n=1}^{\infty }\exp \!\left({t \over 4}\log ^{2}n\right)n^{-s},}
whose zeros imply the existence of zeros of ξ t {\displaystyle \xi _{t}} off the critical line, equivalently non-real zeros of the corresponding H t {\displaystyle H_{t}} , where the relationship is given by
H t ( z ) = 1 8 ξ t ( 1 + i z 2 ) . {\displaystyle H_{t}(z)={1 \over 8}\,\xi _{t}\!\left({1+iz \over 2}\right).}
Dobner's proof also gives a generalized form of Newman's conjecture for L {\displaystyle L} -functions in the extended Selberg class.
Upper bounds De Bruijn's upper bound of Λ ≤ 1 / 2 {\displaystyle \Lambda \leq 1/2} was not improved until 2008, when Ki, Kim and Lee proved Λ < 1 / 2 {\displaystyle \Lambda <1/2} , making the inequality strict. In December 2018, the 15th Polymath project improved the bound to Λ ≤ 0.22 {\displaystyle \Lambda \leq 0.22} . A manuscript of the Polymath work was submitted to arXiv in late April 2019, and was published in the journal Research In the Mathematical Sciences in August 2019. This bound was further slightly improved in April 2020 by Platt and Trudgian to Λ ≤ 0.2 {\displaystyle \Lambda \leq 0.2} .
Historical bounds
References
External links Weisstein, Eric W. "de Bruijn–Newman Constant". MathWorld.