de Bruijn–Newman constant

From Wikipedia, the free encyclopedia
(Redirected from De Bruijn constant)
Jump to navigation Jump to search

The de Bruijn–Newman constant, denoted by Λ 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), where λ is a real parameter and z is a complex variable. More precisely,

H(λ,z):=0eλu2Φ(u)cos(zu)du,

where Φ is the super-exponentially decaying function

Φ(u)=n=1(2π2n4e9u3πn2e5u)eπn2e4u

and Λ is the unique real number with the property that H has only real zeros if and only if λΛ.

The constant is closely connected with Riemann hypothesis. Indeed, the Riemann hypothesis is equivalent to the conjecture that Λ0.[1] Brad Rodgers and Terence Tao proved that Λ0, so the Riemann hypothesis is equivalent to Λ=0.[2] A simplified proof of the Rodgers–Tao result was later given by Alexander Dobner.[3]

History

[edit | edit source]

De Bruijn showed in 1950 that H has only real zeros if λ1/2, and moreover, that if H has only real zeros for some λ, H also has only real zeros if λ is replaced by any larger value.[4] Newman proved in 1976 the existence of a constant Λ for which the "if and only if" claim holds; and this then implies that Λ is unique. Newman also conjectured that Λ0,[5] which was proven forty years later, by Brad Rodgers and Terence Tao in 2018.

Upper bounds

[edit | edit source]

De Bruijn's upper bound of Λ1/2 was not improved until 2008, when Ki, Kim and Lee proved Λ<1/2, making the inequality strict.[6]

In December 2018, the 15th Polymath project improved the bound to Λ0.22.[7][8][9] A manuscript of the Polymath work was submitted to arXiv in late April 2019,[10] and was published in the journal Research In the Mathematical Sciences in August 2019.[11]

This bound was further slightly improved in April 2020 by Platt and Trudgian to Λ0.2.[12]

Historical bounds

[edit | edit source]
Historical lower bounds
Year Lower bound on Λ
1987 −50[13]
1990 −5[14]
1991 −0.0991[15]
1993 −5.895×10−9[16]
2000 −2.7×10−9[17]
2011 −1.1×10−11[18]
2018 0[2]
Historical upper bounds
Year Upper bound on Λ
1950 0.5[4]
2008 < 0.5[6]
2019 0.22[7]
2020 0.2[12]

References

[edit | edit source]
  1. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). (announcement post)
  2. ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  3. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  4. ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  5. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  6. ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). (discussion).
  7. ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  8. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  9. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  10. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).(preprint)
  11. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  12. ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).(preprint)
  13. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  14. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  15. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  16. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  17. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  18. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
[edit | edit source]
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).