[论文解读] Solving the Odd Perfect Number Problem: Some Old and New Approaches

Jose Arnaldo B. Dris|arXiv (Cornell University)|Apr 6, 2012

Computability, Logic, AI Algorithms参考文献 27被引用 24

一句话总结

本论文利用 abundancy 指数与因子链方法研究奇完全数（OPN）问题，否定了奇完全数与双曲线 XY=2 上有理点之间存在双射的猜想。论文确立了 p^k < m²，且对 OPN N = p^k m² 提出 p^k < m 的猜想，同时证明了关于 OPN 所有素数幂因子的 abundancy 指数的广义不等式。

ABSTRACT

A perfect number is a positive integer $N$ such that the sum of all the positive divisors of $N$ equals $2N$, denoted by $σ(N) = 2N$. The question of the existence of odd perfect numbers (OPNs) is one of the longest unsolved problems of number theory. This thesis presents some of the old as well as new approaches to solving the OPN Problem. In particular, a conjecture predicting an injective and surjective mapping $X = σ(p^k)/p^k, Y = σ(m^2)/m^2$ between OPNs $N = {p^k}{m^2}$ (with Euler factor $p^k$) and rational points on the hyperbolic arc $XY = 2$ with $1 &lt; X &lt; 1.25 &lt; 1.6 &lt; Y &lt; 2$ and $2.85 &lt; X + Y &lt; 3$, is disproved. Various results on the abundancy index and solitary numbers are used in the disproof. Numerical evidence against the said conjecture will likewise be discussed. We will show that if an OPN $N$ has the form above, then $p^k &lt; (2/3){m^2}$ follows from \cite{D10}. We will also attempt to prove a conjectured improvement of this last result to $p^k &lt; m$ by observing that $σ(p^k)/m eq 1$ and $σ(p^k)/m eq σ(m)/p^k$ in all cases. Lastly, we also prove the following generalization: If $N = \displaystyle\prod_{i=1}^r {{p_i}^{α_i}}$ is the canonical factorization of an OPN $N$, then $$σ({p_i}^{α_i}) \leq (2/3){\frac{N}{{p_i}^{α_i}}}$$ for all $i$. This gives rise to the inequality $$N^{2 - r} \leq (1/3)(2/3)^{r - 1}$$ which is true for all $r$, where $r = ω(N)$ is the number of distinct prime factors of $N$.

研究动机与目标

• 研究奇完全数（OPN）的存在性，这是数论中一个长期未解的问题。
• 利用 abundancy 指数评估奇完全数与双曲线 XY=2 上有理点之间所提出的双射猜想。
• 通过数值与理论分析，否定了所提议映射的单射性与满射性。
• 建立奇完全数成分的更紧界，特别是 p^k < m² 及猜想 p^k < m。
• 将不等式 σ(p^α) ≤ (2/3)(N/p^α) 广义化至奇完全数所有素数幂因子。

提出的方法

• 使用 abundancy 指数 I(n) = σ(n)/n 分析潜在奇完全数的结构。
• 应用因子链方法，探索奇完全数素数幂成分的约束。
• 运用 abundancy 禁忌数与孤立数的概念，以否定所提出的双射猜想。
• 分析双曲线 XY=2 上的有理点 (X,Y) = (σ(p^k)/p^k, σ(m²)/m²)，其中 1 < X < 1.25 < 1.6 < Y < 2 且 2.85 < X+Y < 3。
• 利用 Erdős 关于 I(a) = I(b) 解的密度结果，论证对于固定 X，m² 的非唯一性。
• 推导出广义不等式：对于 N 的标准分解中所有 i，有 σ(p_i^{α_i}) ≤ (2/3)(N/p_i^{α_i})。

实验结果

研究问题

• RQ1 在指定区域 1 < X < 1.25 < 1.6 < Y < 2 且 2.85 < X+Y < 3 内，奇完全数与双曲线 XY=2 上的有理点之间是否存在双射？
• RQ2 能否证明对于形式为 N = p^k m² 且具有欧拉因子 p^k 的奇完全数，不等式 p^k < m 成立？
• RQ3 是否存在多个不同的奇完全数映射到双曲线上的同一 (X,Y) 有理点，从而违反单射性？
• RQ4 映射 X = σ(p^k)/p^k, Y = σ(m²)/m² 是否不满足满射性，即区域中某些有理点不对应任何奇完全数？
• RQ5 对于奇完全数中每个素数幂因子，σ(p^α) 相对于 N/p^α 的最紧可能界是什么？

主要发现

• 所提出的在指定区域中奇完全数与双曲线 XY=2 上有理点之间的双射猜想被否定，因为该映射既非单射也非满射。
• 数值证据与理论分析表明，该映射不满足满射性，因为区域中存在不对应任何奇完全数的有理点。
• 基于文献 [15] 的先前结果，证明了形式为 N = p^k m² 的奇完全数满足不等式 p^k < (2/3)m²。
• 通过证明在所有情况下 σ(p^k)/m ≠ 1 且 σ(p^k)/m ≠ σ(m)/p^k，支持了猜想 p^k < m。
• 证明了广义界：对于任意奇完全数 N = ∏p_i^{α_i}，所有 i 均有 σ(p_i^{α_i}) ≤ (2/3)(N/p_i^{α_i})。
• 由此导出不等式 N^{2−r} ≤ (1/3)(2/3)^{r−1}，其中 r = ω(N)，即 N 的不同素因子个数，对所有 r 成立。