[论文解读] A Partial Proof of a Conjecture of Dris

P. W. F. Brown|arXiv (Cornell University)|Feb 4, 2016

Analytic Number Theory Research参考文献 7被引用 5

一句话总结

本文提供了对 Dri 猜想的部分证明，即对于欧拉形式 $ N = q^k n^2 $ 的奇完全数 $ N $，有 $ q^k < n $。通过利用除数函数的性质并基于质因数分解结构进行情形分析，作者无条件证明了 $ q < n $，并在涉及 $ \sigma(q^k) $ 和 $ \sigma(p_i^{2b_i}) $ 的指数与可除性条件的特定情况下，建立了 $ q^k < n $。

ABSTRACT

Euler showed that if an odd perfect number $N$ exists, it must consist of two parts $N=q^k n^2$, with $q$ prime, $q \equiv k \equiv 1 \pmod{4}$, and gcd$(q,n)=1$. Dris conjectured that $q^k &lt; n$. We first show that $q

研究动机与目标

• 为所有奇完全数 $ N = q^k n^2 $ 建立 $ q < n $，通过改进界限扩展先前结果。
• 研究 Dri 猜想 $ q^k < n $，该猜想尚未完全证明，但本文在特定结构假设下证明其成立。
• 分析特殊质数 $ q $ 与 $ n^2 $ 的结构在限制 $ q^k $ 相对于 $ n $ 的大小方面的作用。
• 将 Acquaah 与 Konyagin 的方法扩展至 $ k > 1 $ 的情形，识别出 $ q^k < n $ 成立的限制条件与必要条件。
• 探讨对于非特殊质数 $ p $，是否成立 $ p < w $、$ p^b < w $ 或 $ p^{2b} < w $，并提出进一步研究方向。

提出的方法

• 采用欧拉形式 $ N = q^k n^2 $，其中 $ q \equiv k \equiv 1 \pmod{4} $，$ \gcd(q, n) = 1 $，且 $ \sigma(N) = 2N $。
• 应用除数函数 $ \sigma $ 的乘法性质，特别是当 $ a, b $ 互质时，有 $ \sigma(ab) = \sigma(a)\sigma(b) $。
• 使用不等式如 $ p^{2b} > \frac{2}{3}\sigma(p^{2b}) $ 和 $ \sigma(p^{2b}) \equiv 1 \pmod{p} $ 来限制除数和的大小。
• 分析 $ p $-进赋值 $ p^{c_i} \parallel \sigma(p_i^{2b_i}) $ 和 $ p^{c_{iq}} \parallel \sigma(q^k) $，以推导出 $ \sigma(w^2) $ 的下界。
• 利用模运算推导出 $ u \equiv -1 \pmod{p} $ 且当 $ p \mid \sigma(q) $ 时有 $ u \geq 2p - 1 $，从而实现大小估计。
• 应用 Nielsen 的结果：$ n $ 至少有 8 个不同的质因数，通过未计入质因数的乘积估计来加强界限。

实验结果

研究问题

• RQ1 对于所有奇完全数，无论 $ k $ 取值如何，是否恒有 $ q < n $？
• RQ2 当 $ k > 1 $ 时，Dris 猜想 $ q^k < n $ 在何种条件下成立？
• RQ3 用于 $ k = 1 $ 的方法能否推广至 $ k > 1 $ 的情形？其主要障碍是什么？
• RQ4 $ \sigma(q^k) $ 与 $ \sigma(p_i^{2b_i}) $ 的 $ p $-进赋值如何限制 $ q^k $ 相对于 $ n $ 的大小？
• RQ5 是否可以将不等式 $ q^k < n $ 推广至其他分量，例如对非特殊质数 $ p $，是否成立 $ p^{2b} < w $？

主要发现

• 本文无条件证明了对于所有奇完全数 $ N = q^k n^2 $，有 $ q < n $，优于早期结果如 $ q < \sqrt{3}n $。
• 当 $ k = 1 $ 时，作者通过改进 Acquaah 与 Konyagin 方法的版本，利用 $ p \nmid \sigma(q) $ 与 $ p \mid \sigma(q) $ 的情形，证明了 $ q < n $。
• 当 $ k > 1 $ 时，若对所有 $ i $ 都有 $ p_i \nmid \sigma(q^k) $，且在 $ p_i $ 整除 $ \sigma(p_i^{2b_i}) $ 的假设下，本文证明了 $ q^k < n $ 成立。
• 当 $ s = 1 $ 且 $ p_1 \mid \sigma(q^k) $ 时，若 $ c_{1q} \leq 2 $，其中 $ c_{1q} $ 为 $ \sigma(q^k) $ 关于 $ p_1 $ 的 $ p_1 $-进赋值，则 Dri 猜想成立。
• 当 $ s > 1 $ 时，若 $ \prod_{i=1}^s p_i^{c_i} \geq 7 \prod_{i=1}^s p_i^{c_{iq}} $，其中 $ c_i $ 与 $ c_{iq} $ 分别为 $ \sigma(p_i^{2b_i}) $ 与 $ \sigma(q^k) $ 关于 $ p_i $ 的 $ p_i $-进赋值，则不等式 $ q^k < n $ 成立。
• 本文指出，该方法无法完全证明 Dri 猜想，原因在于当 $ k > 1 $ 时，无法对 $ (p-1)u $ 导出有用的下界，特别是当 $ \sigma(q^k) $ 不是 $ q $ 的线性函数时。