On odd perfect numbers with exactly one even exponent greater than 2

기술 요약: 정확히 하나의 2보다 큰 짝수 지수를 갖는 홀수 완전수에 대하여

문제 정의
본 논문은 "제한된(restrained)" 홀수 완전수(OPN)의 존재성과 성질을 조사한다. OPN은 $\sigma(N) = 2N$을 만족하는 홀수 정수 $N$이다 (여기서 $\sigma$는 약수의 합 함수이다). 오일러는 모든 OPN이 $N = p^e m^2$의 형태를 가져야 함을 확립했다. 여기서 $p$는 $p \equiv e \equiv 1 \pmod 4$를 만족하는 소수(특수 소수)이며, $p \nmid m$이다.

맥다니엘(McDaniel)은 $m$이 제곱 자유(square-free)가 될 수 없음을 이전에 입증하였으며, 이는 $N$의 소인수 분해에서 적어도 하나의 짝수 지수가 4 이상이어야 함을 의미한다. 저자들은 만약 어떤 OPN이 그러한 짝수 지수를 정확히 하나만 가진다면 이를 제한된 OPN이라고 정의한다. $n^q$를 $n \neq p$이고 $q \ge 4$인 유일한 성분을 나타낸다고 할 때, $n$을 "주목할 만한 소수(notable prime)", $q$를 "주목할 만한 지수(notable exponent)"라고 부른다. 본 연구의 주요 목적은 제한된 OPN이 존재한다고 가정할 때 $q$의 하한을 설정하는 것이다.

방법론
저자들은 특정 소인수들의 구성을 배제하기 위해 수론적 보조정리, 계산적 체질(sieving), 그리고 풍성도 분석(abundancy analysis)을 결합하여 사용한다.

1. 구조적 보조정리:

   • 모듈러 제약 조건: 논문은 소수들을 제약하기 위해 곱셈적 차수($\text{ord}_s(n)$)와 이차 잉여의 성질을 활용한다. 예를 들어, 보조정리 6은 특수 소수 $p$가 반드시 $p \equiv 1 \pmod 3$을 만족해야 함을 증명한다.
   • 가해성 규칙: 보조정리 4와 5는 차수의 기우성과 서로 다른 소수들 사이의 관계를 바탕으로, 소수 $s$가 $\sigma(n^q)$ 또는 $\sigma(t^v)$를 나누는 조건을 설정한다.
   • 해의 배제: 베넷(Bennett)과 레빈(Levin)으로부터 유도된 보조정리 3은 소수 $z, r$과 $t > 1$에 대해 $z^2 + z + 1 = r^t$를 만족하는 해가 존재하지 않음을 단언한다. 이는 $\sigma(s^2)$이 단일 소수의 거듭제곱이 되는 소수 $s$의 수를 제한하는 데 사용된다.

2. 소수 3에 대한 사례 분석:
   주정리(main theorem)의 증명은 $N$ 내의 소수 3의 지수에 따라 세 가지 포괄적인 경우로 나뉜다.

   • 사례 1: 3이 인수가 아닌 경우. 저자들은 $3 \nmid N$이면 풍성도 지수 $\sigma(N)/N$가 2에 도달할 수 없음을 보여준다. 이는 팩터 트리(factor tree) 접근법과 작은 소수들에 대한 계산적 검증을 통해 "일반적(ordinary)" 성분(지수가 2인 소수들)과 "이례적(sporadic)" 성분의 기여도를 제한함으로써 달성된다.
   • 사례 2: 3이 일반적인 경우 ($3^2 \parallel N$). $3^2$ 성분으로부터 유도된 팩터 트리를 사용하여, 저자들은 $S = \{7, 13, 19, 31, 61, 97, 127, 331\}$ 집합으로부터 잠재적인 주목할 만한 소수($n$)들을 체계적으로 배제한다. 각 후보 $n$에 대해, 저자들은 결과적으로 발생하는 요구되는 소인수들의 구성이 2보다 작은 풍성도를 갖거나 모순(예: 3의 개수를 두 개 초과하여 요구함)을 생성함을 입증한다.
   • 사례 3: 3이 주목할 만한 경우 ($3^q \parallel N$). 이 경우가 유일하게 생존 가능한 사례이다. 여기서 초점은 $q$의 하한을 도출하는 것으로 옮겨진다.

3. 계산적 체질:
   3이 주목할 만한 경우를 처리하기 위해, 저자들은 일반적인 소수들을 체질하기 위한 C++/GMP 프로그램(loopless.cpp)을 활용한다. 알고리즘은 일반적인 소수가 될 수 없는 소수들의 집합($M_1$)과 $N$을 나눌 수 없는 $1 \pmod \text{3}$인 소수들의 집합($M_2$)을 유지한다. 프로그램은 소수들을 반복 순회하며 일반적인 성분들로부터 얻을 수 있는 최대 풍성도 기여도를 계산한다.

주요 결과

• 정리 1: 만약 $N$이 제한된 홀수 완전수라면, 주목할 만한 소수 $n$은 반드시 3이어야 하며, 주목할 만한 지수 $q$는 $q \ge 23,000,000,000$을 만족해야 한다.
• 경계값 개선: 이 결과는 이전의 모듈러 제약 조건($q \not\equiv 2 \pmod 3$, $q \neq 4, 6, 10, 12$)으로부터 유도되었던 기존의 알려진 하한 $q \ge 16$을 크게 개선한다.
• $n=3$으로의 축소: 본 논문은 만약 제한된 OPN이 존재한다면, 주목할 만한 소수는 반드시 3이어야 함을 증명한다. 다른 모든 주목할 만한 소수 후보들은 풍성도 모순을 통해 제거되었다.
• 하한 도출: 특수 성분과 주목할 만한 성분($3^q$)의 풍성도가 일반적인 소수들의 최대 기여도(심지어 460억 개의 일반적인 소수가 있더라도)와 결합했을 때, $q$가 매우 크지 않으면 2에 도달하지 못함을 보여줌으로써 저자들은 $q \ge 23,000,000,000$이라는 경계를 도출한다.

의의 및 주장
본 논문은 제한된 OPN의 존재 문제를 "주목할 만한 소수가 3인" 단 하나의 특정 사례로 축소했다고 주장한다. 저자들은 OPN의 존재 자체를 완전히 부정한다고 주장하는 것은 아니나, "제한된" 시나리오가 매우 강력하게 제약되어 있음을 보여준다.

저자들은 자신들의 $q$에 대한 경계값이 더 발전된 체 이론(sieve theory) 논증을 사용하면 아마도 몇 자릿수(orders of magnitude) 더 개선될 수 있다고 겸허하게 언급한다. 그러나, 3이 주목할 만한 경우를 완전히 배제하는 것(즉, 모든 OPN은 2보다 큰 짝수 지수를 적어도 두 개 가져야 함을 증명하는 것)은 "새로운 아이디어"를 필요로 한다고 강조한다.

논문은 $\sigma(x^2)$의 구조와 관련된 두 가지 열린 질문을 던지며 끝을 맺는다:

1. $x^2 + x + 1$이 square-full(완전제곱수의 배수)인 소수 $x$가 존재하는가?
2. $x^2 + x + 1 = p^a r$ 이고 $y^2 + y + 1 = p^b r$ 을 만족하는 소수 $x, y, p, r$ 및 정수 $a > b > 0$가 존재하는가?

이 질문들에 대한 부정적인 답변은 OPN의 소인수 분해에서 가능한 지수 쌍들에 대한 더 엄격한 제약을 허용할 것이며, 잠재적으로 더 강력한 비존재성 결과를 이끌어낼 것이다. 저자들은 추가 연구를 촉진하기 위해 자신들의 프로그램과 데이터를 제공한다.