[論文レビュー] The Fyodorov-Hiary-Keating Conjecture. II

Louis‐Pierre Arguin, Paul Bourgade+1 more|arXiv (Cornell University)|Jul 3, 2023

Analytic Number Theory ResearchMathematics被引用数 3

ひとこと要約

この論文は、臨界線上の短い区間におけるリーマンゼータ関数の極値に関するFyodorov-Hiary-Keating予想の証明を完了する。|h| ≤ 1における|ζ(1/2 + it + ih)|の最大値に対するきつい下界を確立することで、最大値の分布が尾部減衰が ∼ye⁻²ʸ である極限分布に収束することを確認し、対数的に相関のある場の普遍性クラスが予言された通りであることを裏付ける。

ABSTRACT

We prove a lower bound on the maximum of the Riemann zeta function in a typical short interval on the critical line. Together with the upper bound from the previous work of the authors, this implies tightness of $$ \max_{|h|\leq 1}|ζ( frac 12+{ m i} τ+{ m i} h)|\cdot \frac{(\log\log T)^{3/4}}{\log T}, $$ for large $T$, where $τ$ is uniformly distributed on $[T,2T]$. The techniques are also applied to bound the right tail of the maximum, proving the distributional decay $\asymp y e^{-2y}$ for $y$ positive. This confirms the Fyodorov-Hiary-Keating conjecture, which states that the maximum of $ζ$ in short intervals lies in the universality class of logarithmically correlated fields.

研究の動機と目的

• 臨界線上の短い区間におけるリーマンゼータ関数の極値に関するFyodorov-Hiary-Keating予想の証明を完了すること。
• |h| ≤ 1における|ζ(1/2 + it + ih)|の正規化された最大値のtightnessを確立し、先行研究からの上界と一致させること。
• 最大値の極限分布の尾部減衰が、大きな正のyに対して ∼ye⁻²ʸ であることを確認し、予想の漸近的特徴付けを完成させること。
• ゼータ関数の極値と分岐過程との間の関係を拡張し、ディリクレ多項式近似と相関したランダムウォークを用いること。

提案手法

• ゼータ関数の有限オイラー積による新しい積分近似を用い、log|ζ|を臨界線上でのディリクレ多項式の部分和（Sₖ(h)）に関連付ける。
• 素数でインデックスが付いた相関したガウス型ランダムウォーク（Sₖ(h)）の洗練された解析を適用し、ゼータ関数の挙動をモデル化する。
• 大きな素数に対してもSₖ(h)の増分における大偏差を制御するための下位障壁を導入し、極値の出現を保証する。
• ディリクレ和を用いて、Sₖ(h)が上位および下位障壁で定義されるコーナル内に留まる事象を正確に符号化する。
• ボールトの定理とブラウン運動ブリッジの結合を用いて、正のまま保たれる確率を評価し、レアイベントの制御を可能にする。
• [ArgBouRad2020]の結果と新たな入力を組み合わせ、下尾部と右尾部の両方の減衰を証明し、tightnessを確認する。

実験結果

リサーチクエスチョン

• RQ1 通常の短い区間における臨界線上で、|h| ≤ 1における|ζ(1/2 + it + ih)|の最大値は、log T と (log log T)^{-3/4} の予想された漸近的スケーリングを達成するか？
• RQ2 短い区間における|ζ|の最大値の極限分布は、Fyodorov、Hiary、Keatingが予想したように、尾部減衰 ∼ye⁻²ʸ で特徴づけられるか？
• RQ3 正規化された最大値の下尾部が十分にきつく抑えられるか、これにより部分列の極限が存在することを確認できるか？
• RQ4 ゼータ関数の極値は、Bramsonのシナリオが示唆するように、分岐過程に類似したメカニズムから生じるか？
• RQ5 ゼータ関数と相関したランダムウォークとの関係を十分に精密化し、鋭い尾部推定を導出できるか？

主な発見

• 論文は、t ∈ [T, 2T] に対して、|h| ≤ 1における|ζ(1/2 + it + ih)|の最大値が e^{-y} log T / (log log T)^{3/4} より小さい確率の測度に対して下界を確立し、y ≥ 0 に対して c^{-1} y^{-c} のように減衰することを示した。
• 先行研究[ArgBouRad2020]からの上界と併せることで、正規化された最大値のtightnessが証明され、最大値が (log log T - 3/4 log log log T) のO(1)の範囲内にあることが確認された。
• 正規化された最大値の極限分布F(y)は、大きな正のyに対してF(y) ≍ y e^{-2y} を満たし、予想された右尾部減衰が確認された。
• 部分列の極限の存在が確立された：Tₗ → ∞ となる部分列と、分布Fが存在し、最大値が e^y log T / (log log T)^{3/4} を超える集合の正規化された測度が、可算集合を除くすべてのyで一様にF(y)に収束する。
• 証明により、短い区間におけるゼータ関数の極値が、Fyodorov-Hiary-Keating予想が予言したように、対数的に相関のある場の普遍性クラスに属することが確認された。
• 高点におけるSₙₗ(h)の正則性を制御するための新規な手法が開発され、臨界線上で直接解析が可能となり、以前の手法よりも改善された。