de Bruijn–Newman constant
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 , where is a real parameter and is a complex variable. More precisely,
- ,
where is the super-exponentially decaying function
and is the unique real number with the property that 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 .[1] Brad Rodgers and Terence Tao proved that , so the Riemann hypothesis is equivalent to .[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 has only real zeros if , and moreover, that if has only real zeros for some , 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 ,[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 was not improved until 2008, when Ki, Kim and Lee proved , making the inequality strict.[6]
In December 2018, the 15th Polymath project improved the bound to .[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 .[12]
Historical bounds
[edit | edit source]| 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] |
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). (announcement post)
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). (discussion).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).(preprint)
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).(preprint)
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).