Almost all primes are partially regular

技术摘要：“几乎所有素数都是部分正则的”

问题陈述
本文研究了分圆域算术中不规则性的分布问题。对于奇素数 $p$，令 $K_p = \mathbb{Q}(\zeta_p)$ 为第 $p$ 个分圆域，其理想类群为 $Cl(K_p)$。一个素数 $p$ 在经典定义下被称为正则的，如果 $p$ 不整除类数 $|Cl(K_p)|$，这一条件等价于对于所有满足 $2 \le 2k \le p-3$ 的偶数 $2k$，$p$ 都不整除伯努利数 $B_{2k}$ 的分子。虽然已知存在不规则素数（Jensen），但其密度被猜想约为 $1 - e^{-1/2}$。

作者研究了一个更弱的概念，称为部分正则性。一个奇素数 $p$ 被定义为 $m$-正则的，如果对于所有在范围 $2 \le 2k \le \min(m, p-3)$ 内的偶数 $2k$，$p \nmid \text{num}(B_{2k})$。核心问题在于，是否存在一个“密度为一”的素数子集，使得这些素数对于一个随 $p$ 增长的特定范围 $M_\alpha(p)$ 满足部分正则性，其中 $M_\alpha(p) \approx \sqrt{p}/(\log p)^\alpha$ 且 $\alpha > 1/2$。

方法论
证明主定理依赖于涉及伯努利数分子增长和素数分布的解析数论技术。其方法论步骤如下：

1. 归约为统一范围： 作者为素数 $p \le X$ 定义了一个统一界限 $m_X = \lfloor \sqrt{X}/(\log X)^\alpha \rfloor$。他们证明，如果一个素数 $p \le X$ 不是 $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)$ 的欧拉公式和 von Staudt–Clausen 定理导出了 $\log |P_m|$ 的上界。他们建立了一个估计式 $\log P_m \le C_2 m^2 \log m$。
4. 素因子计数： 应用素数定理和素数阶乘函数的性质，他们将 $\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. 部分 Vandiver 定理（推论 1.4）： 通过将定理 1.1 与 Herbrand–Ribet 定理（将类群的奇特征空间与伯努利数联系起来）以及 Leopoldt 反射原理（将偶特征空间与奇特征空间联系起来）相结合，作者证明了对于密度为一的素数集，类群 $p$-部分的偶特征空间 $A_p(\omega^{2k})$ 对于所有 $2k \le M_\alpha(p)$ 均消失。这为 Kummer–Vandiver 猜想提供了部分验证。
2. $p$-adic $L$-函数的非零性（推论 1.5）： 通过 Iwasawa 主猜想（Mazur–Wiles），代数特征空间的消失意味着相关的 Kubota–Leopoldt $p$-adic $L$-函数 $L_p(s, \omega^{2k})$ 是 Iwasawa 代数 $\Lambda = \mathbb{Z}_p[[T]]$ 中的单位。因此，对于几乎所有的素数，这些函数在 $\mathbb{Z}_p$ 中没有零点。
3. 同余关系与 K-理论（推论 1.7）： 该结果意味着对于几乎所有的素数：
   • 涉及伯努利数的特定幂和同余关系在模 $p^2$ 下成立。
   • 对于较小的权重，层级为 1 且权重为 $2k$ 的归一化尖点 Hecke 特征形式与 Eisenstein 级数之间不存在模 $p$ 同余。
   • 代数 K-群 $K_{4k-2}(\mathbb{Z})$ 对于这些权重没有 $p$-挠。

重要性与验证
论文强调了其重要性的两个主要方面：

1. 数学结果： 它提供了一个严格的证明，表明“几乎所有”素数都满足强形式的部分正则性，扩展了对不规则素数分布的理解，并为 Vandiver 猜想在特定范围内的解决提供了部分方案。
2. 形式化与人工智能： 该论文是正在开发中的 AI 工具 AxiomProver 的一个案例研究。作者指出，定理 1.1 仅从自然语言描述的猜想开始，在没有任何人类辅助生成证明的情况下，由 AxiomProver 在 Lean/Mathlib（版本 4.26.0）中完成了证明并进行了完全形式化。随后，人类作者根据形式化证明重建了叙述性的阐述。代码和相关产物已在 AxiomMath 仓库中公开。

作者强调，AI 并没有重证深层的外部定理（如 Herbrand–Ribet 或主猜想），而是自主推导了定理 1.1 所需的具体解析估计，包括独立推导了一个与 von Staudt–Clausen 定理相关的界限。