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 . Brad Rodgers and Terence Tao proved that , so the Riemann hypothesis is equivalent to . A simplified proof of the Rodgers–Tao result was later given by Alexander Dobner.