Complete characterization of $2$-near perfect numbers with exactly 2 prime factors

技术摘要：具有恰好两个素因子的 2-近完美数的完全刻画

问题陈述
本文探讨了 2-近完美数的分类问题。2-近完美数定义为满足 $\sigma(n) = 2n + d_1 + d_2$ 的正整数 $n$，其中 $d_1$ 和 $d_2$ 是 $n$ 的两个不同的正因子。虽然 $k=1$（1-近完美）和 $k \ge 4$（$k$-近完美）的情形已得到充分理解，但 $k=2$ 和 $k=3$ 的情形仍较为开放。具体而言，作者聚焦于形式为 $n = 2^k p^m$ 的数，其中 $p$ 为奇素数且 $m \ge 3$。这项工作在前人处理 $m \in \{1, 2\}$ 情形的结果基础上，完成了对所有具有恰好两个不同素因子的 2-近完美数的分类。

方法论
作者采用严谨的数论方法，结合除数函数 $\sigma(n)$ 的代数运算、奇偶性论证以及 $p$-进赋值分析。证明策略根据 $2^{k+1}$ 与 $p$ 之间的关系分为两个主要情形：

1. 基础引理：作者证明了不存在具有恰好两个素因子的奇数 2-近完美数，从而将问题限制在偶数 $n = 2^k p^m$ 上。他们推导了关键恒等式，例如 $(2^{k+1} - p)(1 + p + \dots + p^{m-1}) = 1 + d_1 + d_2$，并基于指数 $m$ 分析了被省略因子的奇偶性。
2. 情形 I（$2^{k+1} \ge p^2 + 1$）：作者假设该不等式成立并推导出矛盾。他们建立了被省略因子的下界，表明较大的被省略因子必须是 $n/2^j$（其中 $2^j < p < 2^{j+1}$）。通过一系列命题，他们约束了指数 $m$，证明其必须为奇数并最终迫使 $m=3$。通过分析 2-进赋值和整除约束（特别是 $p^3 \mid 2^{k+1}-1$），他们证明了在此情形下不存在解，即使对于特定候选数 $n = 2^5 \cdot 3^3$ 也是如此。
3. 情形 II（$2^{k+1} < p^2 + 1$）：在此情形下，作者排除了被省略因子的不可能形式。他们证明了两个被省略因子均不能是 2 的幂，且 $p^2$ 不能同时整除这两个因子。通过分析被省略因子中 $p$ 的指数，他们推导出因子必须具有 $2^a p$ 和 $2^c p^d$ 的形式。进一步的代数运算迫使 $d = m-1$，并最终得出 $m=3$。最后，他们证明了 $p$ 必须是形如 $2^{k+1}-1$ 的梅森素数。

主要贡献与结果
本文提供了形式为 $n = 2^k p^m$ 且 $m \ge 3$ 的 2-近完美数的完全分类。主要结果是定理 3，其陈述如下：

• 如果 $n = 2^k p^m$ 是 2-近完美数，其中 $p$ 为奇素数且 $m \ge 3$，则：
  • $m = 3$，
  • $p = 2^{k+1} - 1$（一个梅森素数），
  • 被省略的因子是 $p$ 和 $p^2$。

该结果意味着此类数的无限存在性等价于梅森素数的无限存在性。因此，本文否定了猜想 1（由 Aryan 等人提出），该猜想假设对于 $m \ge 3$，形式为 $2^k p^m$ 的 2-近完美数仅有有限个。

结合先前处理 $m=1$ 和 $m=2$ 的工作，这给出了所有具有恰好两个不同素因子的 2-近完美数的完全刻画。

意义
作者指出，这项工作解决了具有两个素因子的 2-近完美数的分类问题，填补了先前研究的空白。通过否定有限性猜想（基于广泛相信的梅森素数无限性），本文澄清了这些数的密度和结构。作者还指出，其结果已使用 Lean 4 证明助手和 Mathlib 库进行了形式化验证，确保了复杂代数推导的正确性。

未来方向
本文最后概述了开放问题，包括具有三个不同素因子的 2-近完美数的分类、3-近完美数的研究，以及“混合”形式（即因子既有加又有减，$\sigma(n) = 2n + d_1 - d_2$）的探讨。