[논문 리뷰] Solving the Odd Perfect Number Problem: Some Old and New Approaches

Jose Arnaldo B. Dris|arXiv (Cornell University)|2012. 04. 06.

Computability, Logic, AI Algorithms참고 문헌 27인용 수 24

한 줄 요약

이 학위논문은 오비드 페르펙트 넘버(OPN) 문제를 번영도 지수와 인수 체인 방법을 사용하여 연구하며, OPN과 초구면 XY=2 위의 유리점 사이의 일대일 대응에 대한 추측을 반증한다. OPN에 대해 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의 소수 거듭제곱 성분에 대한 제약 조건을 탐색한다.
• 번영도 불법 수와 고립수 개념을 활용하여 추측된 일대일 대응을 반박한다.
• 초구면 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 Euler의 인수 p^k를 가진 OPN N = p^k m²에 대해 부등식 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]에 기반하여, 형태 N = p^k m²인 OPN에 대해 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}이 성립함을 도출하였다.