Must a primitive non-deficient number have a component not much larger than its radical?

技术摘要：“原始非亏数是否一定拥有一个小分量？”

问题陈述
本文研究了原始非亏数（primitive non-deficient numbers）的结构性质。若正整数 $n$ 满足 $\sigma(n) \ge 2n$（其中 $\sigma(n)$ 为其约数之和），则称 $n$ 为非亏数。若 $n$ 是非亏数且其所有真因子均为亏数，则称其为“原始”非亏数。设 $n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}$ 为此类数的素因子分解，其中 $p_1 < p_2 < \dots < p_k$，令 $R = \text{rad}(n) = p_1 p_2 \cdots p_k$ 为其基数（radical）。

核心问题在于确定 $n$ 的“分量”（components）的界限，具体指项 $p_i^{a_i+1}$。作者假设，为了使一个原始非亏数存在，其必须至少有一个素幂分量相对于基数 $R$ 较小。这一假设源于直觉：如果所有的指数 $a_i$ 都很大，那么丰度指数 $h(n) = \sigma(n)/n$ 将会极其接近其上界 $H(n) = \prod_{p|n} \frac{p}{p-1}$。因此，降低任何一个指数都可能导致该数变为亏数，从而与 $n$ 的原始性相矛盾。

方法论
本文采用了解析数论技术，重点研究丰度指数 $h(n)$ 与函数 $H(n)$ 的性质。其研究方法通过以下逻辑步骤展开：

1. 基础引理： 作者确立了非亏数的基本性质，包括不同素因子个数 $k$ 相对于最小素因子 $p_1$ 的界限（引理 5，改编自 Grun 和 Servais）。
2. 不等式推导： 一个关键的技术工具是引理 9，它在给定 $H(n)$ 的下界时，提供了 $\min(p_i^{a_i+1})$ 的上界。该引理改编自 Heath-Brown 的论证，利用了 $h(n)$ 与 $H(n)$ 之间的关系：
   $$h(n) = H(n) \prod_{i=1}^k \left(1 - \frac{1}{p_i^{a_i+1}}\right)$$
   通过假设 $n$ 是原始的，作者指出对于所有的 $i$，都有 $h(n/p_i) < 2$。结合引理 8（用于限制比值 $h(n)/h(n/p)$），作者推导出了关于最小分量大小与 $H(n)$ 与 2 之间“间隙”的不等式关系。
3. 分类讨论： 证明过程区分了偶原始非亏数与奇原始非亏数。对于偶数，引理 3 和命题 6 表明，对应于素数 2 的分量直接满足所构想的界限。对于奇数，作者依赖引理 4 通过直接计算处理较小的 $k$ 值（3 和 4），并利用引理 9 处理较大的 $k$ 值。

主要贡献与结果

• 定理 2（主要结果)： 本文证明了对于任何基数为 $R$ 的原始非亏数 $n = p_1^{a_1} \cdots p_k^{a_k}$，存在一个下标 $i$ 使得：
  $$p_i^{a_i+1} < 2kR$$
  这确立了至少有一个分量受限于不同素因子的个数 $k$ 与基数 $R$ 的乘积。

• 猜想 1： 作者提出了一个更强的、尚未被证实的猜想：定理 2 中的因子 $k$ 是不必要的，即始终存在一个 $i$ 使得：
  $$p_i^{a_i+1} < 2R$$
  作者指出，不带因子 2 的界限 $R$ 是错误的，并引用了一个特定的反例（$n = 4164647056479$），但暗示该反例可能是唯一的。

• 命题 16： 对于奇原始非亏数，本文证明了一个二分性：要么最大素因子 $p_k$ 相对于基数较小（$p_k < \sqrt{R}$），要么存在一个满足涉及 $p_k$ 和 $k$ 之界限的分量。

• 密度猜想： 作者引入了集合 $B$（满足对所有 $i$ 均有 $p_i^{a_i+1} < 2R$ 的数）和集合 $C$（原始非亏数），并猜想这两个集合的交集在 $B$ 中以及在 $C$ 中的自然密度均为零。这表明，虽然“小分量”性质是实现原始性的必要条件，但拥有“所有”分量皆小的现象是非常罕见的。

意义与背景
本文的研究结果置于奇完全数（odd perfect numbers）及非亏数的广泛研究领域内。

• 图论联系： 对 $p_i^{a_i+1}$ 的界限被解释为奇完全数分量的加权有向图表示法中顶点的出度界限，这是近期文献（如 Bibby, Vyncke, 和 Zelinsky；Yamada）中使用的一种框架。
• 现有界限的推广： 这些结果推广了以往关于奇完全数相对于其基数大小的上界。例如，Nielsen 的界限 $n < R^{2k-1}$ 暗示了分量的大小，而定理 2 提供了一个更紧密、更具体的适用于更广泛的原始非亏数类的不等式。
• 动机： 本研究旨在将“原始性施加了严格的素幂分量大小约束”这一直觉形式化。虽然本文并未解决奇完全数是否存在的问题，但它为任何此类数（或任何原始非亏数）提供了精细的结构性约束。

作者承认，所使用的技术自然产生涉及 $p_i^{a_i+1}$ 而非 $p_i^{a_i}$ 的不等式，尽管在数学上这等价于将一个分量限制为其他素因子的乘积。文章最后指出，虽然猜想的 $2R$ 界限很可能是正确的，但证明这一点仍是一个开放性的挑战。