Explicit bounds on $ζ(s)$ in the critical strip and a zero-free region

Andrew Yang

Published 2023-01-09Version 1

We derive explicit upper bounds for the Riemann zeta-function $\zeta(\sigma + it)$ on the lines $\sigma = 1 - k/(2^k - 2)$ for integer $k \ge 4$. This is used to show that the zeta-function has no zeroes in the region $$\sigma > 1 - \frac{\log\log|t|}{21.432\log|t|},\qquad |t| \ge 3.$$ This is the largest known zero-free region for $\exp(209) \le t \le \exp(5\cdot 10^{5})$. Our results rely on an explicit version of the van der Corput $A^nB$ process for bounding exponential sums.