A Numerical Realization of Suzuki's Weil-Quadratic-Form Operator: The Archimedean Spectral Law, its Universality, and an Operator Form of Weil's Positivity Criterion

技術要約：鈴木のヴェイル・二次形式作用素の数値的実現

問題提起
リーマン仮説（RH）は、160年以上の努力にもかかわらず未解決のままである。ヒルベルト＝ポリア・プログラムは、リーマン・ゼータ関数の非自明な零点が、自己共役作用素の固有値に対応することを提唱している。2026年6月、M. 鈴木は、スクリュー関数とド・ブランジュ空間の理論を通じて、ヴェイルの陽的な公式（explicit formula）の二次形式を実現する、そのような作用素の純粋に理論的な構成法を提示した。鈴木の作用素は自己共役であり、その正定値性はRHと等価である。しかし、鈴木の研究には数値計算が含まれておらず、スペクトルは抽象的なままであり、最小の正規化固有値 $\mu_1$ も未決定であった。本研究は、鈴木の理論的枠組みと数値的現実との間の溝を埋めるため、この作用素をコンピュータ上でインスタンス化し、そのスペクトル特性、普遍性、および陽的な公式との構造的関係を調査することを目指す。

手法
著者らは、連続な区分線形（「ハット」型）基底関数を用いた P1 有限要素法 を用いて、区間 $(-a, a)$ 上のヴェイルの二次形式 $Q_W^a(v)$ を離散化する。

• 離散化: 双線形形式を、スクリュー・カーネル $g(x-y)$ から導かれる剛性行列 $Q$ と標準的な質量行列 $M$ を用いた一般化固有値問題 $Q\mathbf{v} = \lambda M\mathbf{v}$ に変換する。
• 精度と外挿: 非解析的なスクリュー・カーネル（特に $t \log t$ 項）を扱い、高精度を実現するために、メッシュサイズ $N = 2000, 4000, 8000$ に対して 3点リチャードソン外挿 を採用する。
• 領域: 本研究は、以下の2つの異なる領域で動作する。
  1. 素数フリー領域 ($2a < \log 2$): ここでは、作用素は純粋にアルキメデス的（ガンマ因子駆動）であり、素数の干渉なしに普遍的な法則を導出できる。
  2. 素数活性領域 ($a \ge 3$): ここでは、作用素はフォン・マンゴルト関数を取り込み、陽的な公式およびヴェイルの正定値判定基準の研究を可能にする。
• 検証: すべての数値結果は、スプライン外挿誤差のようなアーティファクトを避けるため、シャッフルされたサロゲート、偽の零点の注入、および直接の高精度評価（mpmath）を含む解析的コントロールに対してクロス検証される。

主要な貢献と結果

1. 初の数値的スペクトルと閉形式の法則 (R1):
   本研究は、鈴木の作用素のスペクトルを初めて計算した。素数フリー窓において、固有値は導出された閉形式のアルキメデス的法則に従う：
   $$\lambda_k(a) = \log(1/a) + \log(k - 1/2) + B_0 + O(a)$$
   ここで $B_0 = \log q - 2\log 2$ である。この法則は30桁の精度で確認されている。著者らは、鈴木の抽象的な定数である最小の正規化固有値 $\mu_1 \approx 0.2347$ の最初の数値を提供している。

2. 普遍性とセルベル・クラス (R2, R2b):
   アルキメデス的法則は、セルベル・クラス全体で普遍的であることが証明されている。スペクトルのオフセット $B_0$ は のみ 導手 $q$ に依存し、アルキメデス・パラメータ $\nu$（ガンマ因子のシフト）には依存しない。さらに、$L$ 関数の次数 $d$ はスペクトルの対数的傾き（$\mu_k \sim d \log(k-1/2)$）として直接現れ、次数がスペクトルの観測量となっている。

3. スペクトルの強度と素数定理 (R3):
   素数チャネルの全スペクトル強度 $S(a)$ は $(2a)^3/6$ に収束することが示され、作用素の強さが素数定理（PNT）に直接結びついていることが示された。

4. 零点の局在化 (R4):
   決定的な構造的発見は、非自明な零点は作用素の固有値ではないということである。代わりに、固有値は硬い「ピケット・フェンス（柵）」状のラダー（決定論的な間隔）を形成する。零点は、素数記号の誤差項（陽的な公式）の中に存在する。素数摂動はアルキメデス的基底に対して対角的に作用し、単にラダーを再スケールさせるだけであり、零点の情報は記号内の 2.4% 未満の残差として現れる。したがって、有限の $a$ におけるスペクトルにおいて、直接的な GUE（ガウス型ユニタリ・アンサンブル）統計は構造的にブロックされている。

5. 臨界線への降下 (R5):
   作用素の素数記号は、$-\zeta'/\zeta$ と一致させたとき、$a$ の増加とともに臨界線 $\Re(s) = 1/2$ へと降下する線 $\sigma^*(a)$ 上に最もよく整列する。この降下はべき乗則 $\sigma^*(a) - 1/2 \sim a^{-1.38}$ に従う。しかし、著者らは、臨界線の 0.01 以内に到達するには、計算不可能なほど多くの素数カウント（$a \approx 42$）が必要であると指摘している。

6. 作用素形式によるヴェイルの正定値判定基準 (R6):
   著者らは、ヴェイルの判定基準を作用素形式で実現した。すべての零点が臨界線上にある場合、作用素の残留成長は有界かつ $a$ に依存しない（約 1.72 でプラトーに達する）ことを示した。逆に、オフラインの零点を一つ注入すると、残留は指数関数的（$e^{2a\delta}$）に増大する。これは、ヴェイルの判定基準の「容易な」方向（オンライン $\implies$ 有界）を裏付けるとともに、作用素の違反に対する感度を示すものである。

7. 最小固有値の超指数関数的減衰 (R7):
   最小固有値 $\lambda_1(a)$ は、テストされたすべての $a$ に対して厳密に正であり、超指数関数的に減衰する。これは最初の素数閾値（$a = \log 2 / 2$）を滑らかに通過し、鈴木の理論的な連続性の結果を裏付けている。

8. 特性関数と零点統計 (R8, R9):
   特性関数 $W(a, \theta; z)$ が初めて計算され、その零点が実数であることが確認された。直接的な GUE の観測はブロックされているものの、零点統計の痕跡は素数摂動のモーメント構造に現れており、凝縮系物理学における RKKY 相互作用に類似した符号構造を示している。

意義と主張
著者らは、本研究はリーマン仮説を証明するものではなく、また証明に向けた進展をもたらすものでもないことを明示している。

• 主張の謙虚さ: 結果は「実験数学」として記述されている。アルキメデス的法則（R1–R3）は普遍的であり、すべての $L$ 関数に適用されるもので、ゼータ関数の零点については何も語っていない。構造的知見（R4–R6）は、古典的な恒等式（陽的な公式およびヴェイルの判定基準）の数値的実現である。
• 主要な価値: 本研究の価値は、鈴木の理論的作用素の忠実な数値的実現にある。それは、作用素のスペクトルに関する最初の具体的なデータを提供し、普遍的なアルキメデス的法則を導出し、零点の情報がどこに位置するか（固有値ではなく記号の中にあること）を正確に特定した。
• 限界: 著者らは、ヴェイルの判定基準の「困難な」方向（有界性 $\implies$ オンラインの零点）は未証明であり、RH と等価であることを認めている。また、直接的な GUE 統計のスペクトル検出は、有限の $a$ において構造的に不可能であることも述べている。

要約すれば、本論文は理論的な作用素を実装することに成功し、普遍的なスペクトル構造を明らかにし、作用素が陽的な公式を忠実に符号化していることを確認すると同時に、この特定の数値的アプローチから何が導出可能であるかという境界を厳密に画定している。