A Gaussian-Perron Prime-Side Defect and Local Profiles Near Critical-Line Zeros of the Riemann Zeta Function

技術要約：ガウス・ペロン型素数側欠損とクリティカルライン上の零点近傍の局所プロファイル

問題設定
本論文は、リーマンゼータ関数 $\zeta(s)$ の非自明な零点の局所的な幾何学、特に選択された零点 $\rho_0$ の近傍における挙動を扱っている。リーマン予想（RH）や、完備化された対数微分 $\xi'/\xi$ の大域的な水平単調性は、零点の分布に関するグローバルな振る舞いに焦点を当てているが、本研究は局所的な診断ツールの構築に焦点を当てている。その目的は、平滑化された素数側の「力」を用いることで、他の零点や素数冪（prime-power）の寄与という「雲」の中から、単一の零点の寄与を孤立させることである。中心となる問いは、平滑化された素数場近似を構築することで、この場と実際の対数微分 $\zeta'/\zeta$ との間の「欠損（defect）」が、すべての非選択的な寄与が指数関数的に抑制された、クリティカルライン上の零点近傍における普遍的な局所プロファイルを明らかにし得るか、ということである。

手法
著者は、カーネル $H_{X,\alpha}(z) = X^z \exp(\alpha^2 Y z^2)$ （ここで $Y = \log X$）を用いた複素積分によるガウス平滑化された素数場 $P_{X,\alpha}(s)$ を用いて、ガウス・ペロン型素数力欠損 $\Delta_{X,\alpha}(s)$ を定義する：
$$\Delta_{X,\alpha}(s) = \left(\sigma - \frac{1}{2}\right) \text{Re}\left( P_{X,\alpha}(s) - \frac{\zeta'}{\zeta}(s) \right)$$

手法は、以下の解析的ステップを通じて進行する：

1. 素数側表現： 平滑化された場 $P_{X,\alpha}(s)$ は、補誤差関数 $WX,\alpha(n) = \frac{1}{2}\text{erfc}\left(\frac{\log n - \log X}{2\alpha\sqrt{Y}}\right)$ を重みとする素数冪の加重和に対応することが示される。これにより、$n=X$ を中心とした急速に減衰するカットオフが得られる。
2. 輪郭の移動と明示公式： $P_{X,\alpha}(s)$ の積分表示の輪郭を $\text{Re}(z) = c$ から $\text{Re}(z) = -d$ へ移動させることにより、欠損の明示公式を導出する。この公式は、欠損を以下の寄与に分解する：
   • 帯域 $-d < \text{Re}(\rho-s) < c$ 内の非自明な零点 ($\rho$)
   • $s=1$ における極
   • 負の偶整数における自明な零点
   • シフトされた輪郭積分の剰余項
3. 局所スケーリング： 解析は、対数局所スケール $s = \rho_0 + \lambda / \log X$ において行われる。ここで $\rho_0$ は固定された単純な零点であり、$\lambda = a + ib$ は複素パラメータである。
4. 異方的減衰： 主要な解析ツールとして、ガウス減衰汎関数 $Q_\alpha(\rho'; \rho_0) = \text{Re}(\rho' - \rho_0) + \alpha^2 \text{Re}((\rho' - \rho_0)^2)$ を導入する。この汎関数は、垂直方向の変位は減衰させる一方で、水平方向の変位は重みを増大させる可能性があるため、特定の幾何学的条件を必要とする。これは、非選択された零点の寄与の指数減衰率を決定する。

主要な貢献と結果

• 選択された零点の正確なプロファイル： 本論文は、単一の選択された零点 $\rho_0$ が欠損に与える寄与の正確な公式を導出している。

  • クリティカルライン上のケース ($\rho_0 = 1/2 + i\gamma_0$)： $\rho_0$ が単純であり、かつクリティカルライン上にあると仮定した場合、選択された零点の寄与は、以下の普遍的な有界プロファイルに収束する：
    $$L_{\rho_0, X, \alpha}(s) \sim -a \text{Re}\left(\frac{e^{-\lambda}}{\lambda}\right)$$
    ここで $a = \text{Re}(\lambda)$ である。このプロファイルは、主要項において平滑化パラメータ $\alpha$ に依存しない。
  • ライン外のケース ($\beta_0 \neq 1/2$)： 仮にクリティカルライン外に零点が存在する場合、その寄与は $\log X$ に対して線形にスケールし、$O(\log X)$ となる。これは、この欠損の枠組みにおける、クリティカルな零点とオフラインの零点の理論的な区別を提供する。

• 局所化定理： 主定理（定理 7.6）は、リーマン予想および特定の減衰条件の下で、クリティカルライン上の零点近傍における完全な欠損 $\Delta_{X,\alpha}(s)$ が、選択された零点のプロファイルによって支配され、非局所的な剰余（他の零点、極、および輪郭からの寄与）が指数関数的に微小（$O(e^{-cY})$）になることを確立している。

  • 条件： この定理は、「極減衰条件」（$\gamma_0$ に対する $\alpha$ の下限）および「輪郭の正則性」（シフトされた直線上の $\zeta'/\zeta$ の境界）を必要とする。
  • RHの含意： RHを仮定すると、すべての非自明な零点は直線 $\text{Re}(s)=1/2$ 上に存在するため、零点間隔の条件は自動的に満たされ、すべての $\rho' \neq \rho_0$ に対して $Q_\alpha < 0$ となる。

• 数値検証： セクション 8 では、截断された素数冪和を用いた、素数側欠損の直接的な数値チェックを行う。最初の非自明な零点について、計算された欠損は、理論的な有限 $X$ における選択された零点のプロファイルと高い精度で一致しており（最大誤差 $\approx 3.4 \times 10^{-10}$）、計算可能な領域における解析的導出の妥当性を検証している。

意義と主張
本論文は、リーマンゼータ関数の零点の幾何学に関する局所的な診断法を提供することを主張している。これは、$|\xi|$ や $\text{Re}(\xi'/\xi)$ の大域的な単調性を研究する先行研究とは異なり、特定の零点近傍における「水平方向の力」の局所的な振る舞いを孤立させるものである。

その意義は以下の点にある：

1. デカップリング（分離）： ガウス・ペロン・カーネルを用いることで、単一の零点の寄与を、零点および素数の大域的な和から分離することに成功した。
2. 普遍性： クリティカルライン上の零点の近傍における局所プロファイルは（単純な零点であれば）$\alpha$ や特定の零点の高さに依存せず、普遍的であることを示した。
3. 診断の可能性： この枠組みは、$\Delta_{X,\alpha}$ が、クリティカルラインからの逸脱（オフラインの零点は有界なプロファイルではなく $\log X$ の線形成長を示す）を検出するためのツールとなり得ることを示唆している。ただし、これは非局所的な剰余を制御できる能力に依存する。

著者らは、本解析は「局所的かつ欠損論的」であり、RHレベルの設定における欠損の漸近的振る舞いに焦点を当てたものであるとして、応用については控えめな姿勢を保っている。本研究は、零点を計算するための新しいアルゴリズムを提案したり、リーマン予想を証明したりするものではなく、むしろ、もし存在する場合のゼータ関数の零点の局所構造を分析するための理論的枠組みを構築するものである。