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

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

Analytic Number Theory Research参考文献 29被引用数 22

ひとこと要約

この論文は、臨界線における短い区間におけるリーマン・ゼータ関数の最大値に関するFyodorov-Hiary-Keating予想の上界部分を確立する。Dirichlet多項式近似とデカップリング技術に基づく反復型バリア法を用いて、$ t \in [T, 2T] $ で最大値が $ e^y \frac{\log T}{(\log\log T)^{3/4}} $ を超えるような集合の測度が、$ y \geq 1 $ に対して一様に $ C y e^{-2y} T $ で抑えられることを証明する。ここで $ C > 0 $ は絶対定数である。この結果は $ y = O(\sqrt{\log\log T}) $ の範囲で鋭い。

ABSTRACT

By analogy with conjectures for random matrices, Fyodorov-Hiary-Keating and Fyodorov-Keating proposed precise asymptotics for the maximum of the Riemann zeta function in a typical short interval on the critical line. In this paper, we settle the upper bound part of their conjecture in a strong form. More precisely, we show that the measure of those $T \leq t \leq 2T$ for which $$ \max_{|h| \leq 1} |ζ(1/2 + i t + i h)| > e^y \frac{\log T }{(\log\log T)^{3/4}}$$ is bounded by $Cy e^{-2y}$ uniformly in $y \geq 1$. This is expected to be optimal for $y= O(\sqrt{\log\log T})$. This upper bound is sharper than what is known in the context of random matrices, since it gives (uniform) decay rates in $y$. In a subsequent paper we will obtain matching lower bounds.

研究の動機と目的

• 臨界線上の短い区間におけるリーマン・ゼータ関数の局所的最大値の分布に関する予想を扱う。
• 極値の正確な尾部崩壊率を予測するFyodorov-Hiary-Keating予想の上界部分を解決する。
• 指数的崩壊を示す、$ y $ に関して一様な鋭い上界を確立し、解析的数論における先行研究を改善する。
• 素数が $ T $ 付近に存在するDirichlet多項式の大きな逸脱を制御するための、標準的なモーメント法の限界を乗り越える、新しい反復型バリア法を開発する。
• 特に $ (\log\log T)^{3/4} $ の指数に対応する、確率的行列理論と分岐ランダムウォークの予測を模倣する厳密なフレームワークを提供する。

提案手法

• スケール $ k \leq \log\log T $ を段階的に増加させながら、部分和の上界および下界の制約を再帰的に課す反復型バリアスキームを構築し、分岐ランダムウォークのダイナミクスを模倣する。
• well spaced 点 $ \mathcal{T}_n $ を用いた離散化により、$ |h| \leq 1 $ の範囲における $ |\zeta(\frac{1}{2} + it + ih)| $ の最大値を近似し、滑らかなカットオフ関数とフーリエ解析による誤差制御を実施する。
• デカップリング不等式と2次モーメント推定を用いて、最大値の尾部確率を制御し、調和解析およびDirichlet多項式における $ L^2 $-型の境界に依存する。
• 最大値の分散を制御するため、$ |\zeta|^{4} $ の下調和性と小さな円板上での積分平均化を活用したねじれ付き4次モーメント推定を用いる。
• 近似関数方程式を用いて、長さ $ T $ の滑らかなカットオフを施したDirichlet多項式により $ \zeta(s) $ を近似し、短い区間上で一様近似を保証する。
• モリフィアのアプローチを用いて下側尾部を制御し、バリア構成を精緻化することで、強い相関が存在する状況下での大きな逸脱を正確に制御する。

実験結果

リサーチクエスチョン

• RQ1 $ T \to \infty $ のとき、$ |\zeta(\frac{1}{2} + it + ih)| $ の $ |h| \leq 1 $ における最大値の鋭い上尾部崩壊率は何か？
• RQ2 短い区間におけるゼータ関数の値の相関構造から、正規化に現れる $ (\log\log T)^{3/4} $ の指数はどのように生じるか？
• RQ3 高次のモーメントを計算することが難しいにもかかわらず、Dirichlet多項式の部分和に基づくバリア法を、ゼータ関数の大きな逸脱を制御するために適応可能か？
• RQ4 最大値の尾部確率に対する予想される崩壊率 $ \ll y e^{-2y} $ は、解析的数論的手法によって達成可能か？
• RQ5 上界を $ y $ に関して一様にできるか？また、$ y = O(\sqrt{\log\log T}) $ の範囲で鋭いか？

主な発見

• この論文は一様な上界を確立する：$ t \in [T, 2T] $ で $ \max_{|h| \leq 1} |\zeta(\frac{1}{2} + it + ih)| > e^y \frac{\log T}{(\log\log T)^{3/4}} $ を満たす集合の測度は、$ C > 0 $ を絶対定数として、$ C y e^{-2y} T $ 以下である。
• この上界は $ y = O(\sqrt{\log\log T}) $ の範囲で鋭く、Fyodorov-Hiary-Keating予想が予測する尾部崩壊 $ 1 - F(y) \sim C y e^{-2y} $ と一致する。
• この結果は、右尾部の $ e^{-2y} $ 崩壊率に対する、最初の厳密な確認を提供する。これは、確率的行列理論の文脈で知られているものよりも強い。
• この方法は $ y $ に関して一様な崩壊を達成しており、これまでは得られなかった特徴であり、素数が $ T $ 付近に存在する長いDirichlet多項式の高次モーメントを計算する困難さを克服する。
• 反復型バリア構成は、部分和の制約を再帰的に課すことで、大きな逸脱を効果的に制御し、分岐ランダムウォークの構造を模倣する。
• 証明は、最大値が $ |h| \leq 1 $ で定義された $ \mathcal{T}_n $ の点における最大値によって抑えられることに依存する離散化の議論に基づく。誤差は $ O_A(e^{-An}) $ の程度で無視可能となる。