Amplified moments of the Riemann zeta function

技術要約：リーマンゼータ関数の増幅されたモーメント（Amplified Moments）

問題設定
$M_k(T) = \int_0^T |\zeta(1/2 + it)|^{2k} dt$ と定義されるリーマンゼータ関数のモーメントの評価は、解析的数論における中心的な問題である。$k=1$ および $k=2$ については漸近公式が既知であるが（Hardy–Littlewood および Ingham）、高次の $k$ に対しては鋭い境界が存在するものの（上界についてはリーマン仮説を条件とする）、$k \ge 3$ における無条件の漸近公式は依然として到達不可能な領域にある。本研究の主な目的は、古典的なモーメント $M_k(T)$ および、ゼータ関数の導関数を含む様々な結合モーメントに対する、改善された無条件の有効な下界を確立することである。これらの下界は、ランダム行列理論に基づいた Keating–Snaith、Keating–Wei などの予想と比較される。

手法
著者らは、高次のモーメントを探索するために、ねじれた平均値（twisted mean values）を用いた「増幅されたモーメント（amplified moments）」の手法を用いている。核心となる技術は、以下の形式の積分にヘルダーの不等式を適用することである：
$$\int_0^T |\zeta(1/2 + it)|^{2k} dt \ge \frac{\left( \int_0^T |\zeta(1/2 + it)|^4 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-4} dt \right)^{k-1}}{\left( \int_0^T |\zeta(1/2 + it)|^2 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-2} dt \right)^{k-2}}$$
ここで、$A(s)$ は滑らかな多項式係数 $P[n]$ を持つ長さ $y = T^\theta$（または第4モーメントの場合は $T^\vartheta$）のディリクレ多項式である。

主要な手法構成要素は以下の通りである：

1. 二部構成の増幅器（Two-Piece Amplifier）： 単一のディリクレ多項式を用いた従来のアプローチとは異なり、著者らは近似関数等式を模倣した「二部構成」の増幅器 $A(s) + \chi(s)A(1-s)$ を用いている。これにより、$\zeta(s)$ のより優れたモデリングが可能となり、結合モーメントの扱いが容易になる。
2. 二項展開（Binomial Decomposition）： 増幅器の累乗を二項定理を用いて展開し、積分を主項（対角成分の寄与）と $\chi(1-s)$ の冪を含む振動項へと分離する。
3. 漸近評価： 著者らは、高い冪を持つ増幅器を伴うねじれた第2および第4モーメントの漸近公式を確立する。増幅器の長さのパラメータが $\theta_k < 1/(2k)$ および $\vartheta_k < 1/(4k)$ を満たす場合、$\chi(1-s)$ の高い冪（具体的には第2モーメントで $\nu \ge 2$、第4モーメントで $\nu \ge 3$）を持つ項は、急速な振動により無視可能（$O(T^{1-\varepsilon})$）であることを証明する。
4. 多面体積分（Polytope Integrals）： 主項は、多面体（単体）上の高次元積分へと帰着される。これらの積分は、メリン変換とリーマンゼータ関数の性質を用いて明示的に評価され、Barnes $G$-関数や算術的因子を含む式として得られる。
5. 最適化： 得られる下界を最大化するために、多項式 $P(x)$ の係数を数値的（Wolfram Mathematica を使用）に最適化する。

主要な貢献と結果

• 古典的モーメントに対する無条件の下界：
  本論文は、第6モーメントに関する新しい無条件の下界を確立している：
  $$M_3(T) \ge (34.1 + o(1))c_3 T (\log T)^9$$
  これは Conrey–Ghosh、Soundararajan、Page による従来の境界を改善しており、Keating–Snaith の予想値である $42c_3 T (\log T)^9$ に接近している。

• 導関数のモーメント：
  $\zeta(s)$ の第1および第2導関数の第6モーメントに関する新しい無条件の下界が得られた：
  $$\int_0^T |\zeta'(1/2 + it)|^6 dt \ge (0.549 + o(1))c_3 T (\log T)^{15}$$
  $$\int_0^T |\zeta''(1/2 + it)|^6 dt \ge (0.0231 + o(1))c_3 T (\log T)^{21}$$
  これらの結果は、Page らによる以前の境界を改善している。

• 結合モーメント：
  著者らは、$\zeta(s)$ とその導関数を含むいくつかの結合モーメント（例：$\int |\zeta|^2 |\zeta'|^4$, $\int |\zeta|^4 |\zeta'|^2$ など）に対する無条件の下界を提示している。これらの下界は、Keating–Wei の予想と強く一致している。

• Soundararajan の境界の洗練（定理 10）：
  本論文は、$M_5(T)$ および $M_6(T)$ に対する Soundararajan の境界からリンデレフ仮説の仮定を除去し、それらを無条件のものとしている。さらに、増幅器に第2のパーツを導入することで、$7 \le k \le 11$ における $M_k(T)$ の下界を改善している。例えば：
  $$M_5(T) \ge (6484 + o(1))c_5 T (\log T)^{25}$$
  $$M_6(T) \ge (56260 + o(1))c_6 T (\log T)^{36}$$
  これらの結果は、振動項を無条件で扱うために Soundararajan の議論を修正することによって導出されている。

• 一般の結合モーメント（定理 11）：
  $\zeta(s)$ とその導関数のすべての整数結合モーメントに対する一般的な無条件の下界が確立されている。この下界は、オイラー積と有理関数の微分から導かれる定数 $C(a_1, \dots, a_K)$ によって与えられ、ランダム行列理論からの予測と一致している。

意義と主張
本論文は、ゼータ関数のモーメントの下界に関する知識を大きく進展させたと主張している。その主な意義は以下の点にある：

1. 条件付き仮定の除去： 特定の高次モーメント（$k=5, 6$）に対してリンデレフ仮説の要求を排除することに成功し、広範な結合モーメントに対して無条件の境界を提供している。
2. 数値的定数の改善： 導出された下界は、これまでのいかなる無条件の結果よりも、予想値（Keating–Snaith, Keating–Wei）に近い数値となっている。
3. 手法の柔軟性： 「二部構成」の増幅されたモーメントの手法は、結合モーメントに対して特に効果的であることが示されており、高次モーメントにおける多面体積分の計算上の困難を、Soundararajan の増幅器の手法と組み合わせることで克服している。

著者らは、彼らの手法が強力な境界を与える一方で、許容されるディリクレ多項式の長さがモーメントの次数 $k$ が大きくなるにつれて減少することを指摘している。これは、他の枠組み（Bui, Hall, および Subira Jorge によるものなど）で見られる特定の一様現象の回収を制限している。しかし、整数のモーメントに対する有効な無条件の下界を得るという特定の目的においては、このアプローチは非常に成功している。