UPDF AI

Explicit zero-free regions for the Riemann zeta-function

Michael J. Mossinghoff,T. Trudgian,Andrew Yang

2022 · DOI: 10.1007/s40993-023-00498-y
Research in Number Theory · 29 Citations

TLDR

The Riemann zeta-function has no zeros in the region and the results improve the largest known zero-free region within the critical strip for 3⋅1012≤∣t∣≤exp⁡(64.1)3\cdot10^{12} \leq |t|\leq \exp(64.1) and ∣t∣≥exp⁡(1000)|t| \geq\exp(1000).

Abstract

We prove that the Riemann zeta-function ζ(σ+it)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$ζ(σ+it)\zeta (\sigma + it)$\end{document} has no zeros in the region σ≥1-1/(55.241(log|t|)2/3(loglog|t|)1/3)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$σ≥1−1/(55.241(log⁡∣t∣)2/3(log⁡log⁡∣t∣)1/3)\sigma \ge 1 - 1/(55.241(\log |t|)^{2/3} (\log \log |t|)^{1/3})$\end{document} for |t|≥3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$∣t∣≥3|t|\ge 3$\end{document}. In addition, we improve the constant in the classical zero-free region, showing that the zeta-function has no zeros in the region σ≥1-1/(5.558691log|t|)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$σ≥1−1/(5.558691log⁡∣t∣)\sigma \ge 1 - 1/(5.558691\log |t|)$\end{document} for |t|≥2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$∣t∣≥2|t|\ge 2$\end{document}. We also provide new bounds that are useful for intermediate values of |t|\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$∣t∣|t|$\end{document}. Combined, our results improve the largest known zero-free region within the critical strip for 3·1012≤|t|≤exp(64.1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$3⋅1012≤∣t∣≤exp⁡(64.1)3\cdot 10^{12} \le |t|\le \exp (64.1)$\end{document} and |t|≥exp(1000)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$∣t∣≥exp⁡(1000)|t| \ge \exp (1000)$\end{document}.