More than two thirds of the zeta zeros are simple and on the critical line

技術要約：「リーマン・ゼータ関数の零点のうち、3分の2より大きい割合が単純かつクリティカル・ライン上に存在する」

問題の所在
本論文は、リーマン・ゼータ関数 $\zeta(s)$ の非自明な零点の分布を扱っている。具体的には、$T \to \infty$ において以下の2つの量に対する無条件の下界を求めることを目的とする：

1. クリティカル・ライン（$\text{Re}(s) = 1/2$）上に存在する零点のうち、単純（重複度1）であるものの割合。
2. クリティカル・ライン上に存在する相異なる零点（重複度を問わず、相異なる零点を1つと数える）の割合。

本研究以前の無条件の記録は、単純な零点がライン上にある割合が $5/12$ ($\approx 0.4167$)、相異なる零点が $0.6603$ であった。リーマン仮説（RH）の下では、モンゴメリー（1973）が、ライン上の単純な零点は少なくとも $2/3$ であると導出した。また、その後の研究により、相異なる零点の境界値も改善されている。課題は、歴史的に、実数成分の和をとる際のヴェイル（Weil）の陽的な公式における「零点側」の正性を保証するために必要であったRHへの依存を、どのように排除するかであった。

手法
証明は、ヴェイルの陽的な公式の有限次元近似を構築し、RHを回避するために線形代数的なランク・トレース不等式を適用するものである。

1. ヴェイルの陽的な公式とエルミート形式：
   著者らは、テスト関数に対するエルミート形式 $W(f, g) = \sum_\rho m_\rho \hat{f}(\gamma_\rho) \overline{\hat{g}(\gamma_\rho)}$ を定義するために、ヴェイルの陽的な公式を利用する。すべてのコンパクト支持を持つ関数に対するこの形式の正性は、RHと等価である。
   この形式の正性を仮定する代わりに、著者らは、区間 $[T, 2T]$ にわたって配置された、特定の変調テスト関数の族 $d \approx N(T, 2T)$ （「ウィンドウ」$\psi$）にこの形式を制限する。これにより、実対称行列 $\tilde{G}$ が得られる。

2. 行列分解（零点側）：
   行列 $\tilde{G}$ は $\tilde{G} = P + Q + E$ と分解される：

• $P$ はクリティカル・ライン上の零点による寄与を表す。
• $Q$ はライン外のペア $\{\rho, 1-\bar{\rho}\}$ による寄与を表す。
• $E$ は小さなトレースノルムを持つテイル項である。

決定的なことに、著者らはこれらの成分のランクおよび正の指数（正の固有数の数）を分析する：

• ライン上の各単純な零点は、$P$ に対してランク1の寄与を与える。
• 各ライン外のペアは、シグネチャ $(1, 1)$ のブロックを $Q$ にもたらす。これは、$Q$ の正の指数 $n_+(Q)$ に対して1を寄与するが、「オンライン」の部分のランクには寄与しないことを意味する。
  この構造的な洞察はボンベリ（Bombieri）に帰せられるものであり、これを用いることで、正の指数 $n_+(Q)$ を用いてライン外のペアの数を抑えることが可能となる。

3. ランク・トレース不等式（核心となる革新）：
   論文では、エルミート行列 $P_1 \succeq 0$ と $Q'$ に対する特定の線形代数的不等式（補題 3.2）を導入する：
   $$\text{rank}(P_1) \ge 2\text{tr}(P_1) + 4\text{tr}(Q') - 4n_+(Q') - \|P_1 + Q'\|_{HS}^2$$
   $P_1$ を $P$ に対応する単純なオンライン零点の部分とし、$Q'$ を残りの部分と設定することで、著者らは、$\tilde{G}$ のトレースとフロベニウスノルム、およびオフラインのペアの数のみを用いて、単純なオンライン零点の数（$N_s^0$）の低次下限を導出する。これは、古典的な項ごとの正性の要求（ライン外では成立しない）を、「ランク・トレース」による境界値へと置き換えるものである。

4. 素数側（無条件の評価）：
   $\text{tr}(\tilde{G})$ および $\|\tilde{G}\|_{HS}^2$ は、ヴェイルの公式の「素数側」を用いて評価される。

• $\text{tr}(\tilde{G})$ は漸近的に $N(T, 2T)$ になることが示されている。
• $\|\tilde{G}\|_{HS}^2$ は、ディリクレ多項式の平均値として評価される。これには、モンゴメリー・ヴォーン（Montgomery–Vaughan）の不等式と $\Lambda(n)^2$ の和に関する境界値の利用が含まれる。
• 結果として、$\|\tilde{G}\|_{HS}^2 = (R(\psi) + o(1))N(T, 2T)$ となる。ここで $R(\psi)$ はウィンドウ関数に依存する定数であり、指示関数ウィンドウの場合、$R(\psi_0) = 4/3$ である。

主要な貢献と結果
本論文は、区間 $(T, 2T)$ において以下の無条件の結果を確立している：

• 定理 A(i)： 非自明な零点の少なくとも $2/3$（具体的には $2/3 - o(1)$）は、単純であり、かつクリティカル・ライン上に存在する。
  • モンゴメリー・テイラー（Montgomery–Taylor）のウィンドウを用いることで、この定数は $0.6725$ に改善される。
• 定理 A(ii)： 非自明な零点の少なくとも $5/6$（具体的には $5/6 - o(1)$）は、相異なるものであり、かつクリティカル・ライン上に存在する。
  • モンゴメリー・テイラーのウィンドウを用いることで、この定数は $0.8362$ に改善される。
• 定理 B： これらの結果は、原始的なディリクレ $L$ 関数 $L(s, \chi)$ に対してもそのまま適用される。

証明は、モリファイア（mollifier）、零点密度推定、または零領域を使用していない。これらは、陽的な公式、スターリングの近似、チェビシェフ・メルテンス（Chebyshev–Mertens）の推定、およびモンゴメリー・ヴォーンの不等式に基づいている。

意義と主張

• モンゴメリーの推論の無条件化： 本論文は、モンゴメリーによる1973年の「$2/3$ の割合」という推論を無条件化したと主張している。古典的には、零点側の和を実数成分の正の和として解釈するためにRHが必要であった。ここでは、有限圧縮されたヴェイルの形式にランク・トレース不等式を適用することで、この正性を置き換えている。
• 手法の最適性： 著者らは、この特定のメソッドにおいて $2/3$ という境界値がシャープであることを主張している。彼らは、トレース、フロベニウスノルム、および行列のブロック構造のみが与えられた場合に、使用された不等式がシャープであることを示している。この「ランク・トレース」のアプローチを用いて $2/3$ を超える境界値を得るには、フーリエ支持が1を超えるペア相関の情報（すなわち、現在無条件では利用不可能な、素数側の高次モーメントに関する知識）が必要となる。
• 形式的検証： 数学的議論はAI（Claude）によって発見・記述され、人間の著者によって検証され、Lean 4 で形式的に検証された。この形式化は、証明が標準的な公理のみに依存していることを確認している。
• 限界： 本論文は、結果が「何ではないか」についても明記している。これらは下限に過ぎない。残りの零点は、ライン外にあることが証明されたわけではなく、単にこの特定の証明書によって捕捉されないだけである。この手法は $o(N)$ のオフラインの零点に対して鈍感であり、算術的な入力が保持される限り、リーマン仮説が偽である関数（例：ダベンポート・ハイルベルト・ゼータ関数）に対しても成立する。

要約すると、本論文は、ゼータの零点の大部分（$>66\%$）が単純かつクリティカル・ライン上に存在することを、ヴェイルの公式への新しい線形代数的なランク制約の適用を通じて、厳密かつ無条件に証明しており、モンゴメリーの条件付きの結果と一致する境界値を達成している。