🔢 mathematics

Three Brillhart-Lehmer-Selfridge primality proofs for Wagstaff numbers

本文利用布里尔哈特-莱默-塞尔弗里奇判据与分圆因子分解，对瓦格斯塔夫数 $W_{2617}$ 、 $W_{10501}$ 和 $W_{12391}$ 给出了完全验证的经典 $N-1$ 素性证明，从而在不依赖椭圆曲线方法和未证明猜想的情况下独立确立了它们的素性。

原作者： Alexey Dolotov

发布于 2026-05-19

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Alexey Dolotov

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象你是一名侦探，试图证明某个特定的、极其巨大的数字确实是“素数”（即只能被 1 和它自身整除）。在数学世界中，这些数字就像巨大而复杂的保险箱。大多数情况下，为了证明一个保险箱坚不可摧，数学家们会使用一种高科技且复杂的方法，称为ECPP（椭圆曲线素性证明）。这就像使用超级计算机模拟量子物理实验来检查保险箱。它确实有效，但过程笨重、复杂，且难以让他人快速复核。

Alexey Dolotov 的这篇论文提出了一种不同的方法。作者证明了三个特定的巨型数字（称为Wagstaff 数）是素数，但他没有使用那种沉重的“量子风格”工具，而是采用了一种经典、传统的BLS（Brillhart–Lehmer–Selfridge）方法。

以下是该论文内容的分解，辅以简单的类比：

1. 目标：Wagstaff 数

将Wagstaff 数想象为一个特殊的数字家族，它们与著名的梅森数（用于寻找已知最大素数）相关。它们的定义遵循一个简单的配方：取一个素数 $p$ ，计算 $2^p + 1$ ，然后除以 3。
本文聚焦于该家族中的三个特定“巨人”：

W2617（一个拥有 788 位的数字）
W10501（一个拥有 3,161 位的数字）
W12391（一个拥有 3,730 位的数字）

大家早已怀疑这些数字是素数，但之前的证明依赖于沉重的 ECPP 方法。这篇论文说：“让我们用一种更轻量、更透明的方法再次证明它。”

2. 方法："N-1"谜题

BLS 方法就像一个谜题。要证明一个数字 $N$ 是素数，你不必检查直到 $N$ 的每一个数字。相反，你需要查看数字 $N - 1$ 。

想象 $N - 1$ 是一条长长的链条。如果你能找到这条链条中一个巨大的部分，该部分是完全分解的（即你确切知道构成该部分的哪些小素数），并且该部分足够大（具体来说，大于 $N$ 的立方根），你就可以从数学上证明整个数字 $N$ 是素数。

挑战：对于这些巨大的 Wagstaff 数， $N-1$ 是一条庞大的链条。通常，链条的大部分环节是隐藏或未知的。
技巧：作者意识到，这些数字的 $N-1$ 源自一种特定的数学结构，称为分圆分解。这就像知道链条是由特定类型的环节（称为 $\Phi_d(2)$ ）构成的。
收获：作者查阅了现有的数学数据“图书馆”（Cunningham 项目表格和FactorDB），以找出已知的环节。对于其余部分，他使用计算机算法将它们分解。

3. 验证：“黄金标准”检查

一旦作者找到了足够大的链条部分（即“已分解部分”），他就必须证明该部分内的每一个小素数环节实际上都是素数。

他并非凭空猜测。他使用了一种严谨、不可破解的方法，称为APR-CL，来认证每一个小素数。
这就像在宣布墙壁安全之前，公证人对墙上的每一块砖都盖章确认。

4. 双重检查：“魔镜”

为了确保他的计算机代码没有故障，作者添加了一个独立的二次检查。

他使用了一个涉及 2 的平方根（称为 $\mathbb{Z}[\sqrt{2}]$ ）的不同数学系统。
他检查了一个特定的数学“同余”（一种对模式匹配的 fancy 说法），如果该数字是素数，则必须发生这种同余。
这就像通过逆向求解问题来检查你的工作。如果模式匹配，就证实了数学计算是正确的。

5. 结果

该论文成功证明了W2617、W10501和W12391是素数。

为何特殊？ 这些证明是“无条件的”，意味着它们不依赖于未经验证的猜想。它们也是“独立的”，意味着它们没有使用其他人普遍使用的沉重 ECPP 方法。
局限性：作者解释说，这种方法仅在数字 $p-1$ 是“光滑的”（即容易分解为小的、已知的部分）时才有效。他检查了所有其他已知的 Wagstaff 候选数，发现对于其中绝大多数，链条中存在一个巨大且无法破解的环节，使得这种特定方法目前无法使用。只有这三个数字足够“光滑”，能够用这种方式解决。

总结

Alexey Dolotov 选取了三个已被认为可能是素数的巨型数字，并使用一种经典、透明且高度可验证的方法证明了它们。他不仅仅是说“它是素数”；他构建了一份完整的、逐步的证书，任何人都可以在自己的计算机上运行以验证结果。这是一种更“干净”的证明，它独立于通常用于这些巨人的更复杂方法而自成一派。

技术摘要：三个 Wagstaff 数的 Brillhart–Lehmer–Selfridge 素性证明

问题陈述
本文针对 Wagstaff 数的素性验证问题，Wagstaff 数定义为 $W_p = (2^p + 1)/3$ ，其中 $p$ 为奇素数。虽然梅森数（ $M_p = 2^p - 1$ ）拥有确定性的独立素性测试（Lucas–Lehmer 测试），但 Wagstaff 数尚无类似的确定性测试。现有针对大指数 Wagstaff 数（特别是 $p \ge 2617$ ）的证明依赖于 Atkin–Morain 椭圆曲线素性证明（ECPP）算法。尽管 Chebyshev/Lucas 型同余式（特别是 Chua 框架条件 $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ ）是 Wagstaff 素性的已知必要条件，但其充分性仍属猜想。因此，亟需不依赖 ECPP 或未证明猜想的大 Wagstaff 数无条件素性证明。

方法论
作者提出了三个特定 Wagstaff 数 $W_{2617}$ 、 $W_{10501}$ 和 $W_{12391}$ 的无条件素性证明。该方法完全依赖于经典的 Brillhart–Lehmer–Selfridge (BLS) $N-1$ 判据，该判据要求 $N-1$ 的相当一部分必须被完全分解。

分圆分解：证明利用 $N-1 = W_p - 1 = \frac{2(2^{p-1}-1)}{3}$ 的分解。项 $2^{p-1}-1$ 被分解为分圆多项式： $2^{p-1}-1 = \prod_{d|p-1} \Phi_d(2)$ 。
已分解部分 ( $F$ )：作者从 Cunningham 项目表和 FactorDB 中获取这些分圆因子 $\Phi_d(2)$ 的已知分解。任何检索到的因子均使用 APR-CL（Adleman–Pomerance–Rumely / Cohen–Lenstra）算法重新认证其素性。
BLS 判据应用：证明确立了 $N-1$ 的一个已分解部分 $F$ ，使得 $F^3 > N$ （超过 $N^{1/3}$ 阈值）。对于 $F$ 的每个素因子 $q$ ，找到一个 Fermat 型见证 $a_q$ ，满足 $a_q^{N-1} \equiv 1 \pmod N$ 且 $\gcd(a_q^{(N-1)/q}-1, N) = 1$ 。验证判别式 $\Delta = s^2 - 8m$ （由 $N = mF + s + 1$ 导出）非完全平方数。
独立验证：作为对环 $\mathbb{Z}[\sqrt{2}]$ 中算术实现的辅助检查，作者验证了每个目标数的 Chua 同余式 $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ 。这作为一种区别于纯整数 BLS 算术的跨基底检查，但不用于推导素性。

主要贡献

无条件证明：本文提供了首个基于 BLS 的 $W_{2617}$ 、 $W_{10501}$ 和 $W_{12391}$ 素性证明，独立于 ECPP。
方法论展示：通过利用 $2^{p-1}-1$ 的分圆分解，展示了将 BLS $N-1$ 框架应用于 Wagstaff 数的可行性。该方法被证明在 $p-1$ 足够光滑以允许分解足够多分圆因子的指数下是可行的。
可审计性：证明设计为具有高可审计性。证书是包含见证和判别式检查的紧凑 JSON 记录。验证仅需标准的模幂运算和 APR-CL 检查，避免了 ECPP 所需的复杂椭圆曲线求值。
可复现性：所有计算均可使用开源软件（Python、SymPy、PARI/GP、gmpy2）复现。完整的驱动程序脚本、日志和证书已归档于 Zenodo。

结果
本文成功证明了以下数的素性：

$W_{2617}$ ：一个 788 位数。已分解部分 $F$ 超过 $N^{1/3}$ 46 位，利用了 22 个不同的素因子。
$W_{10501}$ ：一个 3,161 位数。已分解部分超过阈值 3,261 位，利用了 103 个不同的素因子。
$W_{12391}$ ：一个 3,730 位数。已分解部分超过阈值 2,860 位，利用了 61 个不同的素因子。

对于每个证明，已分解部分 $F$ 中的每个素因子均通过 APR-CL 进行了无条件认证。Chua 同余式对所有三个数进行了验证，作为一致性检查。

意义与局限性
本文声称其意义主要在于可审计性和方法论多样性。它提供了对这些特定数素性的独立确认，区别于目前记录在 Caldwell/Wagstaff 项目档案中的 ECPP 证明。

作者对该方法的范围持谨慎态度。他们明确指出，BLS $N-1$ 方法受限于 $p-1$ 的光滑度。对已知 Wagstaff 素数和 $p = 267,017$ 以下的 probable primes 的分析显示，只有 $p=10501$ 和 $p=12391$ （以及较小的 $p=2617$ ）拥有足够光滑的 $p-1$ 结构，能够利用当前的分解数据产生足够大的已分解部分 $F$ 以满足 BLS 判据。对于其他指数， $p-1$ 中的大素因子导致未分解的分圆分量 $\Phi_d(2)$ ，这些分量目前超出了通用分解能力的范围。因此，本文并未提出适用于所有 Wagstaff 数的通用解决方案，而是为特定、受限的指数子集建立了一条严格的非 ECPP 证明路径。