[論文レビュー] 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

ひとこと要約

本学位論文は、豊富性指数と因数鎖法を用いて、奇数完全数（OPN）問題を調査し、OPNと双曲線 XY=2 上の有理点の間の同型写像の仮説を反証した。OPN N = p^k m² に対して p^k < m² を確立し、p^k < m を予想した。また、OPN のすべての素因数冪に対して、豊富性指数を用いた一般化された不等式を証明した。

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）の存在を調査すること。これは数論における長年の未解決問題である。
• 豊富性指数を用いて、OPN と双曲線 XY=2 上の有理点の間の仮説的な同型写像を評価すること。
• 数値的および理論的分析を用いて、提案された写像の単射性と全射性を反証すること。
• 特に p^k < m² および予想 p^k < m を含む、OPN の成分に対するより緊密な境界を確立すること。
• OPN のすべての素因数冪に対して、σ(p^α) ≤ (2/3)(N/p^α) の一般化された不等式を導出すること。

提案手法

• 豊富性指数 I(n) = σ(n)/n を用いて、潜在的 OPN の構造を分析する。
• 因数鎖法を適用して、OPN の素因数冪成分にかかる制約を探索する。
• 豊富性の禁則数（abundancy outlaws）および孤立数（solitary numbers）の概念を用いて、仮説的な同型写像を反証する。
• 領域 1 < X < 1.25 < 1.6 < Y < 2 および 2.85 < X+Y < 3 内で、双曲線 XY=2 上の有理点 (X,Y) = (σ(p^k)/p^k, σ(m²)/m²) を分析する。
• 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 内で、OPN と双曲線 XY=2 上の有理点の間には同型写像が存在するか？
• RQ2 OPN N = p^k m² に対して、Euler の因数 p^k を用いて、不等式 p^k < m を証明できるか？
• RQ3 同じ (X,Y) 有理点に複数の異なる OPN が写像され、単射性が破られることがあるか？
• RQ4 写像 X = σ(p^k)/p^k、Y = σ(m²)/m² が全射でないことは、領域内の一部の有理点がいかなる OPN に対しても対応しないことを意味するか？
• RQ5 OPN の各素因数冪に対して、σ(p^α) と N/p^α の間の最も緊密な境界は何か？

主な発見

• 指定された領域内における OPN と XY=2 上の有理点の間の仮説的同型写像は反証された。写像は単射でも全射でもない。
• 数値的証拠および理論的分析により、写像が全射でないことが示された。領域内に、いかなる OPN に対しても対応しない有理点が存在する。
• 先行研究 [15] の結果に基づき、OPN N = p^k m² の形に対して、不等式 p^k < (2/3)m² が証明された。
• σ(p^k)/m ≠ 1 および σ(p^k)/m ≠ σ(m)/p^k がすべてのケースで成り立つことから、p^k < m であるという予想が支持された。
• 一般化された境界が証明された：任意の OPN N = ∏p_i^{α_i} に対して、すべての i に対して σ(p_i^{α_i}) ≤ (2/3)(N/p_i^{α_i}) が成り立つ。
• これにより、すべての r = ω(N)（N の異なる素因数の個数）に対して、不等式 N^{2−r} ≤ (1/3)(2/3)^{r−1} が成り立つことが導かれた。