Almost all primes are partially regular

技術要約：「ほとんどすべての素数は部分的に正則である」

問題設定
本論文は、円分体の算術における不規則性の分布を取り扱う。奇素数 $p$ に対し、$K_p = \mathbb{Q}(\zeta_p)$ を $p$ 次の円分体、$Cl(K_p)$ をそのイデアル類群とする。素数 $p$ が「正則（regular）」であるとは、古典的には $p$ が類数 $|Cl(K_p)|$ を割り切らないことと定義される。これは、$2 \le 2k \le p-3$ の範囲にあるすべてのベルヌーイ数 $B_{2k}$ の分子を $p$ が割り切らないことと同値である。不規則な素数が存在することは既知であるが（Jensen）、その密度は $1 - e^{-1/2}$ に近いと予想されている。

著者らは、「部分的な正則性（partial regularity）」と呼ばれるより弱い概念を調査している。奇素数 $p$ が $m$-正則 であるとは、$2 \le 2k \le \min(m, p-3)$ の範囲にあるすべての偶数 $2k$ に対して $p \nmid \text{num}(B_{2k})$ が成り立つことを指す。中心となる問いは、特定の範囲 $M_\alpha(p)$（ここで $M_\alpha(p) \approx \sqrt{p}/(\log p)^\alpha$、$\alpha > 1/2$）に対して、部分的な正則性を満たす素数の集合が「密度1」の集合であるかどうかである。

手法
主定理の証明は、ベルヌーイ数の分子の増大度および素因数の分布に関する解析的数論の手法に基づいている。手法のプロセスは以下の通りである：

1. 一様範囲への帰着： 著者らは、素数 $p \le X$ に対する一様な境界 $m_X = \lfloor \sqrt{X}/(\log X)^\alpha \rfloor$ を定義する。$p \le X$ である素数 $p$ が $M_\alpha(p)$-正則でないならば、それは $m_X$-正則でもない（十分大きな $X$ に対して）ことを示す。
2. 不規則な素数の評価： レマ 2.1 を用いて、$m_X$-正則ではない素数 $p \le X$ の個数を、$\omega_{pf}(P_{m_X})$ によって抑える。ここで $P_{m_X}$ は $1 \le k \le m_X$ におけるベルヌーイ数 $B_{2k}$ の分子の積であり、$\omega_{pf}(n)$ は $n$ の異なる素因数の個数を表す。
3. ベルヌーイ数の分子の推定： 著者らは、ゼータ関数 $\zeta(2k)$ のオイラーの公式とフォン・シュタット・クラウスの定理を用いて、$\log |P_m|$ の上界を導出する。これにより、$\log P_m \le C_2 m^2 \log m$ を確立する。
4. 素因数個数のカウント： 素数定理および擬素数（primorial）の性質を適用することで、$\omega_{pf}(P_{m_X})$ を $C_3 \frac{\log P_{m_X}}{\log \log P_{m_X}}$ で抑える。
5. 漸近解析： これらの推定を組み合わせることで、非正則な素数の個数が $O\left(\frac{X}{(\log X)^{2\alpha}}\right)$ で抑えられることを示す。$\alpha > 1/2$ であるため、指数 $2\alpha > 1$ となり、$X \to \infty$ のとき非正則な素数の密度がゼロに収束することを保証する。

主要な貢献と結果
本論文は以下の主要な結果を確立している：

• 定理 1.1： 任意の固定された $\alpha > 1/2$ に対して、$M_\alpha(p)$-正則ではない素数 $p$ の集合の漸近密度はゼロである。具体的には、$X$ までのそのような素数の個数は $C_\alpha \frac{X}{(\log X)^{2\alpha}}$ で抑えられる。著者らは、定数 $C_\alpha$ は $\alpha$ に依存せず（具体的には $C_\alpha = 10$）選べることを注記している。

系と含意
本論文は、この部分的な正則性の結果からいくつかの重要な帰結を導いている：

1. 部分的ヴァンデルヴェール定理（系 1.4）： ヘルブランド・リベットの定理（類群の奇数成分とベルヌーイ数を結びつけるもの）およびレオポルトルトの反射原理（偶数成分と奇数成分を結びつけるもの）を定理 1.1 と組み合わせることで、密度1の素数の集合において、類群の $p$ 部分の偶数成分 $A_p(\omega^{2k})$ がすべての $2k \le M_\alpha(p)$ に対して消滅することを証明する。これは、クンマー・ヴァンデルヴェール予想の部分的な検証を提供する。
2. $p$ 進 $L$ 関数の非消滅（系 1.5）： イワサ理論の主予想（マズール・ワイルズ）を通じて、代数的成分の消滅は、関連するクボタ・レオポルトルト $p$ 進 $L$ 関数 $L_p(s, \omega^{2k})$ がイワサ環 $\Lambda = \mathbb{Z}_p[[T]]$ の単元であることを意味する。したがって、ほとんどすべての素数において、これらの関数は $\mathbb{Z}_p$ 内に零点を持たない。
3. 合同式と K 理論（系 1.7）： この結果は、ほとんどすべての素数に対して以下を意味する：
   • ベルヌーイ数を含む特定の冪和合同式が $\text{mod } p^2$ で成立する。
   • レベル1、重さ $2k$ の正規化されたカスプ形式のヘッケ固有形式とアイゼンシュタイン級数との間に、小さな重さにおいて $\text{mod } p$ での合同式が存在しない。
   • 代数的 K 群 $K_{4k-2}(\mathbb{Z})$ は、これらの重さに対して $p$ 捩れを持たない。

意義と検証
本論文は、その意義として主に2つの側面を強調している：

1. 数学的成果： 不規則な素数の分布に関する理解を広げ、特定の範囲におけるヴァンデルヴェール予想の部分的な解決を提示することで、「ほとんどすべての」素数が強い形態の部分的な正則性を満たすという厳密な証明を提供する。
2. 形式化と AI： 本論文は、開発中の AI ツールである AxiomProver のケーススタディとして機能している。著者らは、定理 1.1 が、自然言語による予想の記述のみから、人間の支援なしに AxiomProver によって Lean/Mathlib (バージョン 4.26.0) 上で完全に証明および形式化されたことを述べている。その後、人間の著者が、その形式的な証明に基づいて叙述的な解説を再構成した。コードおよびアーティファクトは AxiomMath リポジトリで公開されている。

著者らは、AI が深い外部の定理（ヘルブランド・リベットや主予想など）を再証明したのではなく、定理 1.1 に必要な特定の解析的推定を、フォン・シュタット・クラウスの定理に関連する独立した導出を含めて自律的に導出したことを強調している。