Conditional Upper Bounds for Large Deviations and Moments of the Riemann Zeta Function

Arguin、Bailey、Roberts による論文「リマンゼータ関数の大偏差とモーメントに対する条件付き上限」の詳細な技術的要約を以下に示す。

1. 問題設定

本論文は、臨界直線 $\text{Re}(s) = 1/2$ 上におけるリマンゼータ関数 $\zeta(s)$ の大値の分布を取り扱う。具体的には、以下の 2 つについて鋭い上限を確立することを目的としている：

1. 大偏差: $|\zeta(1/2 + it)|$ が $(\log T)^k$ のオーダーの閾値（あるいは同様に、$\log|\zeta(1/2+it)| > V$ ここで $V \sim k \log \log T$）を超える $t \in [T, 2T]$ の集合の測度。
2. モーメント: $|\zeta(1/2+it)|$ の $2k$ 乗モーメント、すなわち $\frac{1}{T} \int_T^{2T} |\zeta(1/2+it)|^{2k} dt$ で定義されるもの。

背景:

• セバーグの中心極限定理は、固定された $v$ に対して、$\log|\zeta(1/2+it)|$ が分散 $\frac{1}{2}\log \log T$ を持つガウス確率変数のように振る舞うことを示している。
• Soundararajan (2009) は、リーマン予想 (RH) の下で、大偏差の測度がおよそ $(\log T)^{-k^2}$ であることを証明した。
• Harper (2013) は、モーメントの上限を $\ll e^{O(k)} (\log T)^{k^2}$ へと鋭くした。
• ギャップ: 小 $k$ ($0 \le k \le 2$) に対する無条件の上限は存在するが、Harper の鋭いモーメント上限をより大きな $k$ に拡張し、RH の下で $V \sim k \log \log T$ の全範囲に対する正確な大偏差評価を確立することは、未解決の課題であった。これらの上限における最適定数は、Keating-Snaith 予想によって、$k \to \infty$ とともに急速に減少する算術的・幾何学的定数 ($a_k g_k$) を含むと予測されている。

2. 手法

著者らは、Soundararajan の条件付き点別上限と、以前 [ABR20] で開発された再帰的スキームを組み合わせる、洗練された確率的アプローチを採用している。

A. Soundararajan の点別上限

証明は、Proposition 1.3 (Soundararajan) に依存しており、それによれば RH の下で、パラメータ $x$ に対して $\log|\zeta(1/2+it)|$ はディリクレ多項式の実部と剰余項によって以下のように上限付けられる：
$$\log |\zeta(1/2+it)| \le \text{Re} \sum_{n \le x} \frac{a(n)\Lambda(n)}{n^{\sigma+it}\log n} + \text{Error}$$
課題は、モーメントへの主要な寄与を捉えるのに十分なほど $x$ を大きくしつつ、ガウス挙動を証明するためにディリクレ多項式を制御し続けることである。

B. 再帰的スキーム（事象の分解）

核心的な革新は、「悪い」事象 $H = \{ \log|\zeta(1/2+i\tau)| > V \}$ を「良い」事象 $G_\ell$ の和に分解することである。

1. チェックポイント: 区間 $[T, 2T]$ は、$T_\ell = T^{\beta_\ell}$ で定義されるチェックポイントの系列を通じて解析される。ここで $\beta_\ell$ は指数関数的に減少する。
2. 部分和: 各チェックポイントにおいて、著者らはディリクレ多項式の部分和 $S^{(j)}_\ell$ を定義する。これらの和は、時間インデックス $t_\ell = \log \log T_\ell$ を持つランダムウォークとしてモデル化される。
3. 良い事象 ($G_\ell$): 事象 $G_\ell$ は、部分和が目標値 $V$ の線形補間を中心とした「チューブ」内に留まることを制限する。具体的には、$S^{(j)}_\ell \in [L_\ell, U_\ell]$ であり、ここで障壁は以下のように定義される：
   $$L_\ell = \kappa \log \log T_\ell - c_\ell, \quad U_\ell = \kappa \log \log T_\ell + c_\ell$$
   ここで、$\kappa = V / \log \log T$ は勾配であり、$c_\ell$ は許容される揺らぎ（障壁幅）を表す。
4. 障壁幅: 重要な技術的選択として、幅 $c_\ell = \beta_\ell^{-\gamma}$（ただし $\gamma = 1/25$）が採用される。この幅は $\ell$ が増加するにつれて狭くなり、ランダムウォークが大偏差 $V$ に到達するために必要な線形傾向の近くに留まることを強制する。

C. 推定技術

事象 $H \cap (G_{\ell-1} \setminus G_\ell)$（すなわち、ステップ $\ell$ でウォークがチューブから外れること）の確度を上限付けるために、著者らは解析を以下のように分割する：

• 上限障壁: ディリクレ多項式の増分に対するガウス尾部推定を用いた和の上限。
• 下限障壁（新規性）: これが最も困難な部分である。著者らは Soundararajan の上限（Proposition 1.3）を用いて、$\log|\zeta|$ の尾部を部分和に関連付ける。ステップ $\ell$ での位置を条件付け、もし和が下限障壁より下に落ちた場合、ゼータ関数の残りの尾部が総高さ $V$ に到達するために補うことができないことを示す。これには、ディリクレ和における異なる絶対収束軸（$\sigma_j$ と $\sigma_m$）の間の不一致の慎重な解析が含まれる。
• ディリクレ多項式のモーメント: 証明では、ガウス挙動を近似するためにディリクレ多項式を独立した Steinhaus 確率変数（ランダム位相）と比較するモーメント推定（付録 A）を利用する。

3. 主要な貢献

1. 条件付き大偏差上限: 本論文は Theorem 1.1 を証明し、RH の下で $V \sim k \log \log T$ に対して以下が成り立つことを示している：
   $$\frac{1}{T} \text{meas} \{ t \in [T, 2T] : \log|\zeta(1/2+it)| > V \} \le C_k \frac{e^{-V^2 / \log \log T}}{\sqrt{\log \log T}}$$
   ここで $C_k = \exp(e^{ck})$ である。これは、ガウス揺らぎが $V \sim k \log \log T$ の全範囲において大偏差領域まで拡張されることを確認するものである。
2. 鋭いモーメント上限: 大偏差上限を積分することで、著者らは $2k$ 乗モーメントに対する Harper の上限を回復する（Corollary 1.2）：
   $$\frac{1}{T} \int_T^{2T} |\zeta(1/2+it)|^{2k} dt \ll e^{eck} (\log T)^{k^2}$$
   これは $k \ge 2$ に対して成り立つ（以前は $k < 2$ で無条件に、$k \ge 2$ で条件付きながら定数があまり精密でなかった）。
3. 改良された再帰的スキーム: 本論文は、Soundararajan の上限を用いて「下限障壁」の問題をより効果的に処理することで [ABR20] のスキームを改良し、より大きな $k$ を扱い、ディリクレ多項式の切り捨てに対するより厳密な制御を可能にした。
4. 短区間への応用: 結果は長さ $(\log T)^\gamma$ の短区間に拡張され、これらの区間における $|\zeta|$ の最大値とそのモーメントに対する条件付き上限が提供される（Corollaries 3.1 および 3.2）。

4. 主要な結果

• Theorem 1.1: 大値の測度に対する条件付き上限を提供する。減衰率はガウス予測 $e^{-V^2 / \log \log T}$ と一致し、大偏差であっても「ガウス尾部」の挙動を確認する。
• Corollary 1.2: モーメント上限 $\ll e^{O(k)} (\log T)^{k^2}$ を確立する。定数 $C_k$ は、$k \to \infty$ とともに 0 に減少する Keating-Snaith によって予測される最適定数 $a_k g_k$ にはまだ達していないが、$k$ に対する指数関数的依存性は制御されており、$\log T$ のべきは正確に $k^2$ である。
• Corollary 3.1 & 3.2: これらの上限を短区間に拡張し、長さ $(\log T)^\gamma$ の区間における $|\zeta|$ の最大値が（対数因子を除いて）$(\log T)^{\sqrt{1+\gamma}}$ によって上限付けられることを示す（RH に条件付き）。

5. 意義

• ガウス的ヒューリスティクスの検証: この研究は、$\log|\zeta|$ に対するガウス中心極限定理が堅牢であり、ゼータ関数の算術的性質を考慮すると非自明な結果である大偏差領域まで拡張されることを示す厳密な証拠を提供する。
• モーメント問題の進展: リーマン予想の下で既知のモーメント上限の境界を押し広げる。最適定数は依然として不明瞭である（$T^{1/k^2}$ から $T^{1/k}$ の範囲の素数の制御が必要であるが）、本論文はこのギャップを著しく狭めた。
• 方法論的インパクト: Soundararajan の上限と組み合わされた再帰的スキームは、$L$ 関数の極値を解析するための強力な新たなツールキットを提供する。同様の手法が他の $L$ 関数の族に適用され、鋭い大偏差推定を導出できることを示唆している。
• 短区間: 短区間への拡張は、ゼータ関数の局所的挙動、特にゼータ関数の最大値に関する Fyodorov-Hiary-Keating 予想に関連する理解にとって重要である。

要約すると、本論文はリーマンゼータ関数の解析的数論における重要な前進であり、古典的なモーメント推定とリーマン予想の仮定の下での大偏差の予想される挙動の間のギャップを成功裡に埋めている。