# Difference between revisions of "Zero-free regions"

The table below lists various regions of the $(t,y,x)$ parameter space where $H_t(x+iy)$ is known to be non-zero. In some cases the parameter

$N := \lfloor \sqrt{\frac{x}{4\pi} + \frac{t}{16}} \rfloor$

is used instead of $x$. The mesh evaluation techniques also require rigorous upper bounds on derivatives. In some cases the spacing of the mesh is fixed; in other cases it is adaptive based on the current value of the evaluation and on the derivative bound.

Date $t$ $y$ $x$ From Method Comments
1950 $t \geq 0$ $y \gt \sqrt{\max(1-2t,0)}$ Any De Bruijn Theorem 13 of de Bruijn
2009 $t \gt 0$ $y \gt 0$ $x \geq C(t)$ Ki-Kim-Lee Theorem 1.3 of Ki-Kim-Lee $C(t)$ is not given explicitly.
Mar 7 2018 0.4 0.4 $N \geq 2000$ ($x \geq 5.03 \times 10^7$) Tao Analytic lower bounds on $A^{eff}+B^{eff} / B^{eff}_0$ and analytic upper bounds on error terms Can be extended to the range $0.4 \leq y \leq 0.45$
Mar 10 2018 0.4 0.4 $151 \leq N \leq 300$ ($2.87 \times 10^5 \leq x \leq 1.13 \times 10^6$) KM Mesh evaluation of $A^{eff}+B^{eff} / B^{eff}_0$ and upper bounds on error terms
Mar 11 2018 0.4 0.4 $300 \leq N \leq 2000$ ($1.13 \times 10^6 \leq x \leq 5.03 \times 10^7$) KM Analytic lower bounds on $A^{eff}+B^{eff} / B^{eff}_0$ and upper bounds on error terms Should extend to the range $0.4 \leq y \leq 0.45$
Mar 11 2018 0.4 0.4 $20 \leq N \leq 150$ ($5026 \leq x \leq 2.87 \times 10^5$) Rudolph & KM Mesh evaluation of $A^{eff}+B^{eff} / B^{eff}_0$ and upper bounds on error terms
Mar 11 2018 0.4 0.4 $11 \leq N \leq 19$ ($1520 \leq x \leq 5026$) Rudolph & KM Mesh evaluation of $A^{eff}+B^{eff} / B^{eff}_0$ and upper bounds on error terms
Mar 22 2018 0.4 0.4 $x \leq 1000$ Anon/David/KM Mesh evaluation of $H_t$
Mar 22 2018 0.4 0.4 $1000 \leq x \leq 1600$ Rudolph Mesh evaluation of $H_t$
Mar 22 2018 0.4 0.4 $8 \leq N \leq 10$ ($803 \leq x \leq 1520$) Rudolph Mesh evaluation of $A^{eff}+B^{eff} / B^{eff}_0$ and upper bounds on error terms
Mar 23 2018 0.4 0.4 $20 \leq x \leq 1000$ Anonymous Mesh evaluation of $H_t$
Mar 23 2018 $t \gt 0$ $y \gt 0$ $x \gt \exp(C/t)$ Tao Analytic bounds on $A^{eff}+B^{eff} / B^{eff}_0$ and error terms; argument principle $C$ is in principle an explicit absolute constant
Mar 27 2018 0.4 $0.4 \leq y \leq 0.45$ $7 \leq N \leq 300$ ($615 \leq x \leq 1.13 \times 10^6$) KM Mesh evaluation of $A^{eff}+B^{eff} / B^{eff}_0$ and upper bounds on error terms; argument principle
Mar 27 2018 0.4 $0.4 \leq y \leq 0.45$ $0 \leq x \leq 1000$ Anonymous Mesh evaluation of $H_t$; argument principle Completes proof of $\Lambda \leq 0.48$!