The Fyodorov--Hiary--Keating Conjecture on Mesoscopic Intervals

技術的サマリー：メソスコピック区間におけるフィョードロフ・ヒアリ・キーティング予想

問題の定義
本論文は、臨界線 $\Re(s) = 1/2$ 上の「メソスコピック」な短い区間におけるリーマンのゼータ関数 $\zeta(s)$ の最大値と第二モーメント（分配関数）の分布に焦点を当てている。具体的には、著者らは $\tau$ が $[T, 2T]$ 一様分布に従い、$\theta \in (-1, 0]$ であるとき、$\max_{|h| \le (\log T)^\theta} |\zeta(1/2 + i(\tau + h))|$ の挙動と、その二乗の積分を調査する。

中心的な問題は、フィョードロフ・ヒアリ・キーティング（FHK）予想を検証することであり、この予想は、そのような区間における $\log |\zeta|$ の局所的最大値が、分岐ランダムウォーク（BRW）の最大値のように振る舞うと予測している。主導的な次数の挙動は、$\theta < 0$ の場合（Arguin、Ouimet、Radziwiłł によって）および $\theta = 0$ の場合の完全な分布（Arguin、Bourgade、Radziwiłł によって）が以前に確立されていたが、$\theta \in (-1, 0)$ の場合については、正確な次導項とガウス揺らぎ項の明示的な同定に関して未解決であった。

手法
著者らは、ゼータ関数と分岐ランダムウォークの間の関係に根ざした確率的アプローチを採用し、Arguin、Bourgade、Radziwiłł [6] から適応された再帰的スキームを利用する。手法には、いくつかの主要な技術的構成要素が含まれる。

1. ゼータ関数の分解：著者らは $\log |\zeta(1/2 + i(\tau + h))|$ を、$p \le \exp((\log T)^{|\theta|})$ までの素数までの相関を捉える「長い」ディリクレ多項式部分 $S_{t_\theta}(h)$ と、「短い」シフトされた部分 $S_k(h) = S_{t_\theta+k}(h) - S_{t_\theta}(h)$ に分解する。

   • $\theta < 0$ の場合、項 $S_{t_\theta}(0)$ は区間全体でほぼ一定である共通因子として作用し、ガウス揺らぎを導入する。
   • 残りの項は、深さ $t(1+\theta)$ の木上の BRW としてモデル化される。

2. 再帰的バリア・スキーム：最大値を評価するために、著者らは、部分和 $S_k(h)$ が特定のチェックポイント $t_\ell$ において満たさなければならない上限および下限バリア（$U_y(k)$ および $L_y(k)$）によって定義される「良い集合」$G_\ell$ の列を構築する。このスキームは、もともと Bramson [15] によって BRW 向けに開発されたものであり、ディリクレ多項式の範囲をモーメント評価（平均値定理による）が有効に保たれる長さまで制限することで、大きな偏差の制御を可能にする。

3. 分配関数に対する部分的バリア戦略：臨界点（$\beta=2$）における第二モーメント（分配関数）に対して、著者らは「部分的バリア」戦略を導入する。全時間区間にわたってバリアを必要とした従来のアプローチとは異なり、プロセスを時間 $t^* = (t - t_\theta)/2$ まで制限することが、正しい正規化因子を回復するのに十分であることを示す。これにより、全区間にわたる長いディリクレ多項式の制御という技術的困難を回避する。

4. 相関制御：重要な技術的補題（命題 1.5）は、$p \le \exp((\log T)^{|\theta|})$ までの素数からの寄与が、区間 $|h| \le (\log T)^\theta$ 全体で本質的に一定であり、偏差がガウス尾部として減衰することを確立する。これにより、最大値およびモーメントの評価から項 $|P_\tau(\theta)|$（$e^{-S_{t_\theta}(0)}$ に関連する）を因数分解することが正当化される。

主要な貢献と結果

1. 局所的最大値の上限（定理 1.2）：
   著者らは、メソスコピック区間における $\zeta$ の最大値に対する鋭い上限を証明する。固定された $\theta \in (-1, 0]$ および大きな $T$ に対して、最大値が閾値 $y$ を超える確率は以下のように評価される。
   $$P\left( \max_{|h| \le (\log T)^\theta} |\zeta(1/2 + i(\tau + h))| > e^y \frac{(\log T)^{1+\theta}}{(\log \log T)^{3/4}} \right) \le C y \exp\left(-2y - \frac{y^2}{(1+\theta)\log \log T}\right)$$
   決定的なことに、この結果は FHK 予想におけるガウス項の源を、標準ガウス分布に収束する量 $S(t) = S_{t_\theta}(0)$ として明示的に同定する。これにより、$\theta \in (-1, 0]$ に対する予想の上限が乗数定数の範囲で解決された。

2. 分配関数の上限（定理 1.3）：
   本論文は、メソスコピック区間における第二モーメント $Z_2(\theta)$ の上限を導出する。結果は、$Z_2(\theta)$ が閾値を超える確率が $A^{-1+\epsilon}$ として減衰することを示す。この評価には、長い素数に起因する対数正規因子と、短い素数に起因する平方根補正項 $\sqrt{\log \log T}$ の積が含まれ、$\theta=0$ に対する Harper の結果を一般化する。
   $$P\left( Z_2(\theta) |P_\tau(\theta)|^2 \ge A \frac{(\log T)^{1+\theta}}{\sqrt{(1+\theta)\log \log T}} \right) \le C A^{-1+\epsilon}$$

3. 制約付き大偏差評価（定理 1.4）：
   著者らは、素数区間におけるバリアによって制約された $\log |\zeta|$ に対する大偏差評価を確立する。[1] および [6] からの手法を一般化するこの結果は、それ自体が独立した興味を有し、主要な定理の技術的エンジンとして機能する。これは、バリア制約の下でゼータ関数が値 $V$ を超える確率を、ガウスランダムウォークの対応する確率に関連付ける。

意義
本論文は、メソスコピック区間（$\theta \in (-1, 0]$）におけるフィョードロフ・ヒアリ・キーティング予想の上限を $O(1)$ の精度で解決すると主張しており、これは以前の主導的な次数の結果に対する重要な改善である。ガウス揺らぎ項 $S(t)$ を明示的に同定することにより、この研究は最大値の構造を明確にし、それが（長い素数からの）ガウス変数と（短い素数からの）分岐ランダムウォークの最大値の和であることを確認する。

さらに、本論文は $\theta = 0$ における臨界第二モーメントに対する Harper の評価の新たな証明を提供し、それを $\theta < 0$ に一般化する。著者らは、Harper のアプローチとは異なり、「部分的バリア」戦略を利用することで、区間全体にわたるバリアの完全な複雑性に依存することなく、高点の測度を厳密に制御できることを指摘している。この研究は、$\theta=0$（ランダム行列理論の類似）と $\theta < 0$ に対する既知の結果の間のギャップを埋め、異なるスケールにわたるゼータ関数の極値を理解するための統一的な枠組みを提供する。