Zeta-regularization and natural boundaries: Sums and products of integers and primes

技術的要約：ゼータ正則化と自然境界

問題提起
本論文は、整数および素数を含む発散する無限積および無限和に対して、有限の正則化された値を割り当てる際の課題に取り組んでいる。オイラーは、リーマン・ゼータ関数 $\zeta(s)$ を用いて、すべての自然数の積 ($P = \sqrt{2\pi}$) および整数の累乗の和を正則化した。しかし、これらをすべての自然素数の積 ($\Pi$) へと拡張することには根本的な障害が存在する。素数ゼータ関数 $P(s) = \sum p^{-s}$ は、虚軸に沿って自然境界（natural boundary）を有しており、原点 ($s=0$) の近傍において非解析的である。その結果、導関数 $P'(0)$ の評価に依存する標準的なゼータ正則化の手法は、素数の積に対しては機能しない。さらに、本論文は、自然境界から有限の距離に位置する点 ($s=-1$) における値、すなわちすべての素数の和 $P(-1)$ を正則化するという、より困難な問題に対処している。最後に、著者らはこれらの結果を、整数が素数への一意分解を持つ9つの虚二次体へと一般化することを試みている。

手法
著者らは、解析接続、メビウス反転、および Muñoz García と Pérez-Marco の研究に適応させたヒューリスティックな正則化スキームを組み合わせて用いている。

1. 自然境界の処理: 素数の積については、アルチン・ハッセ恒等式を用いて、関係式 $P(s) = \sum_{n \ge 1} \frac{\mu(n)}{n} \log \zeta(ns)$ を通じて素数ゼータ関数 $P(s)$ をリーマン・ゼータ関数 $\zeta(s)$ で表現する。これにより、メビウス関数 $\mu(n)$ を含む和を $\sum \mu(n)n^{-s} = 1/\zeta(s)$ という恒等式を用いて正則化することで、$P'(0)$ の評価を可能にしている。
2. 素数の和: $P(-1)$ を計算するために、著者らは自然境界付近における $P(-1+\epsilon)$ の級数展開を分析する。メビウス和における奇数項と偶数項を分離し、リーマン・ゼータ関数の関数等式（反射公式）を利用することで、発散する対数項を孤立させる。これらの発散は、$\mu(n)$ を含むディリクレ級数の既知の値を用いて正則化され、最終的な有限値を与える収束級数が得られる。
3. 二次体への拡張: この手法は、類数1を持つ9つの虚二次体 $\mathbb{Q}(\sqrt{-d})$（ヘーグナー数）へと拡張される。著者らは、整数環内における自然素数の分解、不分岐、および分岐の振る舞い（ガウス整数 $\mathbb{Z}[i]$、アイゼンシュタイン整数 $\mathbb{Z}[\omega]$ など）を分析することで、これらの体における素数ゼータ関数 $P_\Delta(s)$ を導出する。正則化された積は、素数ゼータ関数の微分をデデキント・ゼータ関数 $\zeta_\Delta(s)$ の $s=0$ における微分に関連付けることで決定される。

主要な貢献と結果

• 正則化された素数の和: 本論文は、自然境界のためにこれまで到達不可能と考えられていた、すべての自然素数の和に関するヒューリスティックな導出を提供している。その結果は以下の通りである：
  $$\sum_{p} p = P(-1) = \frac{5}{2} + \sum_{n \ge 1} \frac{\mu(n)}{n} \log \left( \frac{n! (e/n)^n \zeta(n+1)}{\sqrt{2\pi n}} \right) \approx 2.925292456\dots$$
  この非自明な正則化は、有理部分 $5/2$ を導き出し、残りの部分は収束する級数となっている。

• 冪乗則の関係: 著者らは、これらの数体におけるすべての整数（$P_\Delta$）の正則化された積と、すべての素数（$\Pi_\Delta$）の正則化された積との間の普遍的な冪乗則の関係を確立した。その関係は次のように与えられる：
  $$|\Pi_\Delta| = |P_\Delta|^{2w_\Delta}$$
  ここで $w_\Delta$ は、整数環における単数（units）の数である。

  • 自然整数 ($\mathbb{Z}$) の場合：$w=2$（単数 $\pm 1$）であり、$\Pi = P^4$ となる。
  • アイゼンシュタイン整数 ($\mathbb{Z}[\omega]$) の場合：$w=6$ であり、$|\Pi_3| = |P_3|^{12}$ となる。
  • ガウス整数 ($\mathbb{Z}[i]$) の場合：$w=4$ であり、$|\Pi_4| = |P_4|^8$ となる。
  • その他の7つの虚二次体の場合は、$w=2$ であり、$|\Pi_\Delta| = |P_\Delta|^4$ となる。

• 具体的な値: 本論文は、9つのすべての虚二次体における整数の正則化された積について、数値的な値および（ガンマ関数や Chowla-Selberg ガンマ比を含む）閉形式の表現を計算している。例えば、$|P_3|^2 = \frac{2\pi}{3} \frac{\Gamma(1/3)^3}{\Gamma(2/3)^3}$ および $|P_4|^2 = \frac{\pi}{2} \frac{\Gamma(1/4)^2}{\Gamma(3/4)^2}$ である。

意義と範囲
本論文は、これらの導出が、関連するゼータ関数が自然境界を持つ状況（特定のポテンシャルにおける量子力学、統計力学、ゲージ理論などの様々な物理的文脈で一般的である状況）へと、ゼータ正則化技術の適用範囲を広げるものであると主張している。著者らは、素数の積の公式 (1.2) の導出は最近の画期的な成果であるが、素数の和 (1.6) の計算は、これらの手法を「自然境界を超えて」適用した新しい拡張であると述べている。

本研究は主に数論的な文脈の中で提示されている。著者らは、このアプローチへの関心が物理学にも及ぶことを明示している。なぜなら、「様々な物理的状況において、関連するゼータ関数が自然境界を持つために、ゼータ正則化技術が実際に適用できない場合がある」からである。ただし、本論文は具体的な新しい物理実験を提案したり、これらの特定の数論的結果が既存の物理的問題を解決すると主張したりするものではない。むしろ、そのような問題に適用可能な数学的ツールとアナロジーを提供するものである。論文は、より一般的な代数的数体、特に実二次体に対する普遍的な公式 (1.10) の妥当性は未解決の課題であると述べて締めくくられている。