[論文レビュー] The Riemann zeta function in short intervals [after Najnudel, and Arguin, Belius, Bourgade, Radziwiłł, and Soundararajan]

Adam J. Harper|arXiv (Cornell University)|Apr 17, 2019

Analytic Number Theory Research参考文献 15被引用数 8

ひとこと要約

この論文は、臨界線における短区間におけるリーマン・ゼータ関数の分布に関する最近の進展を調査し、Fyodorov–Hiary–Keating予想に焦点を当てている。この予想は、h ∈ [−1, 1] の範囲で |ζ(1/2 + it + ih)| の最大値に関するもので、確率的ヒューリスティクス、ランダム行列理論の類似、およびモーメント法——特に素数和近似と分枝ランダムウォークモデルを通じて——を用いることで、log log T − c log log log T（c = 3/4 + o(1)）の予想される対数的成長率と一致する厳密な下界が得られている。

ABSTRACT

This is the text to accompany my Bourbaki seminar from 30th March 2019, on the maximum size of the Riemann zeta function in "almost all" intervals of length 1 on the critical line. It surveys the conjecture of Fyodorov--Hiary--Keating on the behaviour of this typical maximum, as well as recent progress towards the conjecture by Najnudel and by Arguin--Belius--Bourgade--Radziwiłł--Soundararajan. There is also some general background discussion of the value distribution and large values of zeta.

研究の動機と目的

• t が変化する際、短区間 h ∈ [−1, 1] における |ζ(1/2 + it + ih)| の最大値に関する最近の厳密な結果を調査すること。
• Fyodorov–Hiary–Keating予想を説明すること。この予想は、典型的な短区間において最大値が exp((log log T − 3/4 log log log T)/2) のように成長するとするものである。
• 素数 p−it が単位円上で独立であるという確率的原理が、短区間におけるゼータ関数の挙動を規定する仕組みを明確にすること。
• モーメント計算と分枝ランダムウォークのヒューリスティクスが、|ζ(1/2 + it + ih)| の最大値に対する下界を導出するのにどのように機能するかを示すこと。
• 現在の方法の精度を制限する要因としてのゼータ関数の零点と、長大な素数和近似における非対角項の役割を特定すること。

提案手法

• 素数 p−it が単位円上で独立な一様確率変数として振る舞うというヒューリスティクスを用い、ゼータ関数の挙動を確率的モデル化することを正当化する。
• モーメント法を適用し、log|ζ(1/2 + it + ih)| を ∑_{p ≤ x} Re(p^{−1/2 − it − ih}) という素数に関する和で近似する。この和を独立な確率変数の和として扱う。
• 分枝ランダムウォークの変種を用いて、このような素数和の最大値を推定し、短区間におけるゼータ関数の極値をモデル化する。
• ハリー・リトルウッドの近似関数方程式を用いて、部分和 ∑_{n ≤ T} n^{−1/2 − it} + O(T^{−1/2}) を通じてゼータ関数を制御し、局所的近似を可能にする。
• ソボレフ–ガラガー型の推定を用いて、点での結果をほとんど everywhere での結果へ拡張し、境界がほとんどの t に対して成り立つことを保証する。
• 転送原理を適用し、臨界線からわずかにずれた場所で大きな値が得られれば、臨界線上でも大きな値が得られることを示し、Riemann予想に依存しない未条件結果を得る。

実験結果

リサーチクエスチョン

• RQ1 T → ∞ のとき、|ζ(1/2 + it + ih)| の最大値の正しいオーダーは何か？（h ∈ [−1, 1] の範囲で）。
• RQ2 ζ(1/2 + it) の短区間におけるフラクチュエーションは、素数におけるオイラー積の統計的性質とどのように関係しているか？
• RQ3 ゼータ関数は短区間においてどの程度分枝ランダムウォークでモデル化可能であり、その結果として極値にどのような意味があるか？
• RQ4 log|ζ(1/2 + it + ih)| の最大値に対する予想される上界 log log T − 3/4 log log log T を厳密に確立できるか？
• RQ5 ゼータ関数の零点と、モーメント計算における非対角項は、現在の手法の精度を制限する上で果たす役割は何か？

主な発見

• Najnudel は、Riemann予想を仮定した下で、max_{|h|≤1/2} |ζ(1/2 + it + ih)| に対して、予想されるオーダーと一致する下界を確立した。
• Arguin, Belius, Bourgade, Radziwiłł, および Soundararajan は、Riemann予想を仮定せず、Fyodorov–Hiary–Keating予想に一致する未条件下での下界を証明した。
• 下界は exp((log log T − 3/4 log log log T)/2) のオーダーであり、短区間における最大値の予想される成長率と整合的である。
• これらの手法は、ゼータ関数を長大な素数和で近似し、それらが独立な確率変数の和として振る舞うことを示すことに依存しており、これにより分枝ランダムウォーク風の解析が可能になる。
• 古典的な L2 およびソボレフ型推定を用いて、点での結果からほとんど everywhere での結果へと拡張されている。
• 重要な技術的ステップとして、ハリー・リトルウッド近似からの導関数の境界を用いて、臨界線からわずかにずれた場所で大きな値が得られれば、臨界線上でも大きな値が得られることを示している。