Every quasiperfect number has at least eight distinct prime factors

技术摘要：“每个拟完全数至少有八个不同的素因子”

问题陈述
本文探讨了**拟完全数（quasiperfect numbers）**的存在性问题。拟完全数定义为满足方程 $\sigma(n) = 2n + 1$ 的整数 $n$，其中 $\sigma(n)$ 是 $n$ 的所有正因子的和。尽管目前尚未发现此类数字，其不存在性也尚未得到证明，但已知其具有结构性约束：任何拟完全数必须是一个奇完全平方数。一个核心的开放性问题是关于 $\omega(n)$（即 $n$ 的不同素因子个数）的下界。自 1982 年以来，已确定的下界为 $\omega(n) \ge 7$（Hagis–Cohen）。本文旨在提升这一界限。

方法论
证明过程通过排除所有可能的 $\omega(n) \le 7$ 的情形来进行。其策略是使用一个计算搜索树（“走廊”法），其中丰度 $\sigma(n)/n$ 必须落在极窄的区间 $(2, 2 + 1/n]$ 内。搜索空间被划分为“茎”（fixed initial primes，固定的初始素数）和“叶”（terminal configurations with free primes，带有自由素数的终端配置）。

其核心创新在于一套处于初等代数层面的三个引理，它们将一个无界的、非终止的搜索转化为一个有限的决策过程。这些引理解决了此前阻碍搜索终止的三个特定搜索空间维度：

1. 引理 1（判别式准则）： 将对最后一个自由素数 $q$ 的搜索转化为一个验证问题。通过将叶节点方程视为关于 $q$ 的二次方程，作者导出了判别式 $\Delta(p)$。只有当 $\Delta(p)$ 是完全平方数时，解才存在。这消除了搜索 $q$ 的取值范围的需求，将任务简化为检查特定值是否为平方数。
2. 引理 2（二次剩余筛法）： 将验证过程转化为查表过程。由于 $\Delta(p)$ 必须是完全平方数，它对于任何整数 $r$ 都必须是二次剩余。通过预计算各种模数下的允许剩余类，作者可以在不进行昂贵精确算术的情况下，排除整类中间素数 $p$。这起到了“粗筛”的作用，极大地减少了候选集。
3. 引理 3（多线性解析器）： 解决了指数无界的问题。此前，增加指数会产生无穷的方程序列。作者观察到，素数幂的约数之和对于变量 $V = p^{2e}$ 是线性的。这使得无界指数维度可以通过线性或 Möbius 变换直接求解，从而将无限迭代转化为有限的代数解集。

另外两个“杀手引理”（Lemma 4 和 Lemma 5）被用于特定的深层情况：

• 引理 4 (FULLKILL 9)： 利用模 9 的周期性，如果判别式对于所有周期都是非剩余，则排除整个指数配置族。
• 引理 5 (Tight-Kill)： 利用单调性论证，证明如果一个分支的最小配置超过了走廊上界，则该更高指数的整个锥体都是无效的。

主要贡献与结果

• 主定理 (Theorem 1)： 本文证明了如果拟完全数存在，则必须满足 $\omega(n) \ge 8$。这是自 1982 年以来对 $\omega \ge 7$ 界限的首次提升。
• 消除 $\omega = 7$：
  • 情况 $3 \nmid n$： 搜索空间坍缩为单个茎 $(5, 7, 11, 13)$，在不到一秒内被排除。
  • 情况 $3 \mid n$： 这是工作量最大的部分，涉及 381 个茎，展开为 79,751,212 个深层叶节点。作者成功排除了所有这些叶节点，未发现任何解。
• 计算验证： 排除过程由一个严密的四层信任框架支持：
  1. 精确算术： 所有的“杀手”操作均基于整数算术；在最终决策中未使用浮点数。
  2. 植入解（Planted Solutions）： 系统在试点阶段正确识别了 12 个人工构建的真实解，并在正式阶段识别了 24 个位于 CPU 门槛处的植入真解和 24 个位于 GPU 门槛处的植入真解（共 48 个），同时拒绝了经过扰动的伪解。这确保了筛法不会误杀，且最终检查不会漏掉解。
  3. 双重实现： 两个独立的架构（CPU 和 GPU）产生了完全一致的结果。
  4. 形式化验证： 引理和逻辑在 Lean 证明助手中进行了形式化处理（259 个定理，零 sorry），确保了排除规则的逻辑完备性。
• 对前人工作的审计： 作者审计了 Zemann 在 2023 年发表的一篇声称达到相同界限的预印本。他们指出由于代码中的“差一错误（off-by-one error）”，导致 35 个可行指数被跳过，从而得出结论：Zemann 的工作并不构成完整证明，而本文的排除过程是完整的。

意义与主张
本文声称提供了关于任何拟完全数满足 $\omega(n) \ge 8$ 的第一个完整证明。其意义不在于发现了拟完全数，而在于通过严谨的排除法解决了困扰了超过 40 年的 $\omega=7$ 情况。

作者强调，这一突破并非依靠蛮力计算能力，而是通过数学洞察力，将一个不可判定搜索（由于无界指数和大规模扫描范围）转化为了一个有限的、可验证的决策过程。这项工作被呈现为一个“自包含”的证明，不依赖于先前文献中未经证实的（特别是 Hagis–Cohen 1982 中未发表的）$\omega \ge 9$ 部分。

未来工作（如论文所述）
论文报告了向下一个界限 $\omega(n) \ge 9$ 迈进的初步进展。一个“续篇运动（sequel campaign）”已经确定了 $\omega=8$ 的缩减边界，表明任何 $\omega=8$ 的拟完全数必须能被 $3 \cdot 5 \cdot 17 = 255$ 整除（定理 2）。然而，对 $\omega=8$ 的 516 个茎进行完整排除的工作仍在进行中，其中一个“怪兽茎（monster stem）”$(3, 5, 19, 97)$ 仍是一个显著的计算障碍。作者还提出了一个关于多项式下格点计数的开放算法问题 (P2-EXACT)，他们认为这是克服剩余计算障碍的关键。