On odd perfect numbers with exactly one even exponent greater than 2

技术摘要：关于恰有一个大于 2 的偶数指数的奇完全数

问题陈述
本文研究了“受限”奇完全数（OPNs）的存在性及其性质。奇完全数是一个满足 $\sigma(N) = 2N$ 的奇整数 $N$，其中 $\sigma$ 是因数和函数。欧拉已经证明，任何 OPN 必须具有形式 $N = p^e m^2$ 的结构，其中 $p$ 是一个素数（特殊素数），且满足 $p \equiv e \equiv 1 \pmod 4$，且 $p \nmid m$。

McDaniel 此前已证明 $m$ 不可能是无平方因子（square-free）的，这意味着 $N$ 的素因子分解中至少有一个偶数指数必须至少为 4。作者将一个 OPN 定义为受限的，如果它恰好有一个这样的大于 2 的指数。令 $n^q$ 表示唯一的组件，其中 $n \neq p$ 且 $q \ge 4$；$n$ 被称为“显著素数”（notable prime），$q$ 被称为“显著指数”（notable exponent）。主要目标是在假设存在受限 OPN 的前提下，建立 $q$ 的下界。

方法论
作者结合了数论引理、计算筛法和丰度分析（abundancy analysis），以排除特定的素因子配置。

1. 结构引理：

   • 模约束： 本文利用乘法阶（$\text{ord}_s(n)$）和二次剩余的性质来约束素数的值。例如，引理 6 证明了特殊素数 $p$ 必须满足 $p \equiv 1 \pmod 3$。
   • 整除规则： 引理 4 和引理 5 确定了在不同阶的奇偶性以及不同素数之间的关系下，素数 $s$ 何时整除 $\sigma(n^q)$ 或 $\sigma(t^v)$。
   • 排除解： 引理 3（源自 Bennett 和 Levin）断言对于素数 $z, r$ 及 $t > 1$，方程 $z^2 + z + 1 = r^t$ 无解。这被用于限制使得 $\sigma(s^2)$ 为单个素数幂的素数 $s$ 的数量。

2. 关于素数 3 的分类讨论：
   证明主定理的过程分为关于 $N$ 中素数 3 的指数的三个穷举情况：

   • 情况 1：3 不是因子。 作者表明，如果 $3 \nmid N$，则丰度指数 $\sigma(N)/N$ 无法达到 2。这是通过使用因子树方法和对小素数的计算验证，来限制“普通”组件（指数为 2 的素数）和“偶发”组件（sporadic components）的贡献来实现的。
   • 情况 2：3 是普通的（$3^2 \parallel N$）。 利用由组件 $3^2$ 导出的因子树，作者系统地排除了来自集合 $S = \{7, 13, 19, 31, 61, 97, 127, 331\}$ 的潜在显著素数（$n$）。对于每个候选 $n$，他们证明了由此产生的所需素因子配置会导致丰度严格小于 2，或者产生矛盾（例如，要求超过两个 3 的副本）。
   • 情况 3：3 是显著的（$3^q \parallel N$）。 这是唯一剩下的可行情况。在此情况下，重点转向推导 $q$ 的下界。

3. 计算筛法：
   为了处理 3 是显著的情况，作者使用了一个 C++/GMP 程序（loopless.cpp）来筛除普通素数。该算法维护了两个集合：不能作为普通素数的素数集（$M_1$），以及不能整除 $N$ 的同余于 $1 \pmod 3$ 的素数集（$M_2$）。程序通过迭代素数来计算来自普通组件的最大可能丰度贡献。

关键结果

• 定理 1： 如果 $N$ 是一个受限奇完全数，那么显著素数 $n$ 必须是 3，且显著指数 $q$ 满足 $q \ge 23,000,000,000$。
• 界限改进： 这一结果显著改进了此前已知的 $q \ge 16$ 的界限，该界限是由早期的模约束（$q \not\equiv 2 \pmod 3$，$q \neq 4, 6, 10, 12$）组合得出的。
• 归约为 $n=3$： 本文证明了如果存在受限 OPN，则显著素数必须是 3。所有其他候选显著素数均通过丰度矛盾被排除。
• 下界推导： 通过证明特殊组件与显著组件（$3^q$）的丰度之和，加上来自普通素数的最大可能贡献（即使包含超过 460 亿个普通素数），在 $q$ 不足够大时无法达到 2，从而推导出 $q \ge 23,000,000,000$。

意义与主张
本文声称将受限奇完全数的存在性问题简化为了一个特定的情形：即显著素数是 3。虽然作者并未声称已经完全否定了 OPN 的存在性，但他们展示了“受限”情景受到了极大的约束。

作者谦虚地指出，利用更先进的筛法理论，其对 $q$ 的界限很可能可以提高数个数量级。然而，他们强调，要完全排除 3 是显著的情况（从而证明每个 OPN 必须至少有两个大于 2 的偶数指数），需要“新的想法”。

论文最后提出了两个关于 $\sigma(x^2)$ 结构的开放性问题：

1. 是否存在一个素数 $x$，使得 $x^2 + x + 1$ 是完全幂（square-full）的？
2. 是否存在素数 $x, y, p, r$ 以及整数 $a > b > 0$，使得 $x^2 + x + 1 = p^a r$ 且 $y^2 + y + 1 = p^b r$？

对这些问题的否定回答将允许对 OPN 分解中的可能指数对进行更紧凑的约束，从而可能得出更强的非存在性结果。作者提供了他们的程序和数据，以促进该方向的进一步研究。