Certified Minimal-Prime Branch Closures for Odd Perfect Numbers

기술 요약: 최소 소수 분기 폐쇄에 관한 인증된 연구 (홀수 완전수에 대하여)

문제 정의
본 논문은 홀수 완전수(OPN)의 존재 여부에 관한 고전적인 미해결 문제를 다룬다. 홀수 완전수는 $\sigma(N) = 2N$을 만족하는 양의 홀수 $N$으로 정의되며, 여기서 $\sigma$는 약수의 합 함수이다. 광범위한 문헌을 통해 $N$의 전역적 하한선과 소인수의 개수에 대한 하한이 확립되었으나, 완전한 부존재 증명은 여전히 난제로 남아 있다. 본 연구는 특히 "최소 소수 분기(minimal-prime branch)" 문제, 즉 최소 소수 $q = \min\{p : p \mid N\}$가 특정 작은 값을 가질 때 OPN이 존재할 수 있는지 여부를 결정하는 데 집중한다.

본 논문은 $q \in \{5, 7, 11, 13, 17\}$인 분기들을 격리하고 이를 폐쇄(closure)하고자 시도한다. 이는 이들이 최소 소수에 대한 단언임을 명시적으로 밝힌다. 예를 들어, $q=5$ 분기를 폐쇄한다는 것은 5가 최소 소수인 OPN이 존재하지 않음을 증명하는 것이지(즉, $3 \nmid N$임을 의미함), 3이 인수로 포함되어 있으면서 5를 약수로 갖는 OPN의 존재 가능성을 배제하는 것은 아니다(그 경우는 $q=3$ 분기에 해당함). $q=3$ 및 $q \ge 19$의 경우는 본 연구의 범위에서 명시적으로 제외되었다.

방법론
본 접근법은 $q$-진(q-adic) 밸류에이션과 하위 소수 회피 제약 조건에 기반한 "분기 및 한계(branch-and-bound)" 인증 전략을 활용한다. 방법론은 다음과 같은 논리적 계층을 통해 진행된다:

1. 밸류에이션 균형 (Valuation Balance): 오일러 형식 $N = \pi^\alpha M^2$ (여기서 $\pi$는 오일러 소수)에 기초하여, 본 논문은 $q$-진 밸류에이션 균형 방정식을 설정한다. 최소 소수 $q$에 대해, 밸류에이션 $v_q(\sigma(N)) = v_q(2N) = v_q(N)$은 반드시 $N$의 다른 소수 거듭제곱들의 약수 합에 의해 공급되어야 한다 ($\sigma(q^{e_q}) \equiv 1 \pmod q$이기 때문).
2. 하위 소수 회피 (Lower-Prime Avoidance): $q$가 최소 소수이므로, $N$을 나누는 어떤 소수 $\ell < q$도 $N$을 나눌 수 없다. 결과적으로 $N$의 모든 소수 거듭제곱 $p^e$에 대하여, 조건 $v_\ell(\sigma(p^e)) = 0$이 성립해야 한다. 이는 많은 가능한 구성들을 제거하는 엄격한 "회피" 필터를 생성한다.
3. 입력 증인 및 커버리지 분할 (Input Witnesses and Coverage Splits): 본 논문은 $N$의 지지 집합(support) 내에서 $q$-진 밸류에이션 균형에 기여하는 소수 $p \neq q$인 "입력 증인"을 식별한다. 본 논문은 이 증인들을 $q$에 대한 이들의 차수(order, $d = \text{ord}_q(p)$)에 따라 분류한다. 이는 브랜치를 유한한 "커버리지 분할"로 나누는 결과를 낳는다 (예: 특정 차수를 가진 비-오일러 증인, 또는 오일러 소수가 증인 역할을 하는 경우).
4. 축소된 공약수 및 강제된 소수 (Reduced Cofactors and Forced Primes): 각 하위 사례에 대해, 본 논문은 "축소된 공약수"(필요한 $q$의 거듭제곱으로 나눈 사이클로토믹 인자 $\Phi_d(p)$)를 분석한다.
   • 만약 공약수가 소인수 $\ell < q$를 가지면, 하위 소수 회피에 의해 해당 브랜치는 반박된다.
   • 만약 공약수가 소인수 $r > q$를 가지면, 이 소수는 $N$의 지지 집합에 "강제"된다. 이는 $N$의 구조에 새로운 제약을 부여한다.
   • 만약 공역이 "순수(pure)"한 경우(예: 2의 거듭제곱), 이는 특정 디오판토스 필터나 꼬리 인증(tail certificates)을 통해 처리된다.
5. 꼬리 제어 및 인증 (Tail Control and Certificates): 즉각적으로 반박되거나 강제되지 않는 브랜치들에 대해, 본 논문은 "꼬리 엔벨로프(tail envelopes)"를 사용한다. 이는 부등식 $H(K_{env}) \left(\frac{B}{B-1}\right)^M < 2$를 사용하며, 여기서 $H$는 소인수들의 곱 $(p/(p-1))$, $B$는 남은 소수들의 하한, $M$은 남은 소수의 개수의 상한이다. 만약 이 곱이 2보다 작다면, 해당 브랜치는 OPN을 포함할 수 없다.

본 증명은 하이브리드 방식이다: 논리적 프레임워크(정리, 커버리지 분할, 정리)는 수기로 작성되었으며, 유한한 브랜치들의 철저한 검증은 기계 판독 가능한 인증서(JSONL 파일 및 파이썬 검증기)에 의해 수행된다.

주요 기여

• 다섯 개 브랜치의 공식 인증: 본 논문은 $q = 5, 7, 11, 13, 17$에 대한 최소 소수 브랜치의 완전하고 기계 검증 가능한 폐쇄를 제공한다.
• 통합 메커니즘: 복잡한 산술 문제를 유한한 커버리지 분할과 꼬리 제어 부등식으로 환원하는 통일된 "강제 또는 순수(forced-or-pure)" 메커니즘을 확립한다.
• 재현 가능한 인증서 공개: 저자는 특정 데이터(인수 분해, 차수 기록, 꼬리 개수)를 포함하여 검증에 필요한 동결된 인증서 세트($C_{small}$)를 공개한다. 여기에는 수학적 논리와 기계 체크된 산술 데이터를 분리하는 "검증 계약(verifier contract)"이 포함된다.
• 상세 감사 모델: $q=5$ 브랜치는 초기 분할부터 최종 꼬리 제어 인증에 이르기까지의 전체 유도를 보여주는 상세한 감사 모델로서, 다른 브랜치들을 위한 템플릿 역할을 한다.

결과
주요 정리(정리 1.1 및 정리 14.1)는 인증서 릴리스 $C_{small}$과 관련하여, $\min\{p : p \mid N\} \in \{5, 7, 11, 13, 17\}$인 홀수 완전수 $N$은 존재하지 않는다고 명시한다.

구체적으로:

• $q=5$: 오일러 소수의 잔여(residue)와 비-오일러 증인의 존재 여부에 따라 세 개의 자식 노드($Q5E2, Q5E1, Q5N$)로 분할된다. 모든 하위 브랜치는 유한 윈도우 체크, 파라메트릭 꼬리 인증, 그리고 순수 가계(pure-family) 배제를 통해 폐쇄된다.
• $q=7, 11, 13, 17$: 이 브랜치들은 각각의 "엄격한 경계(strict frontier)" 리프 노드들이 하위 소수 회피에 의해 반박되거나, 꼬리 제어 상태로 강제되거나, 혹은 순수 디오판토스 스크린(예: $\Phi_5(x) = 11^c$와 같은 방정식 풀이)에 의해 제거됨을 확인함으로써 폐쇄된다.

의의 및 범위
본 논문은 스스로를 새로운 전역적 $N$의 하한선이라기보다 "인증 정리(certificate theorem)"라고 주장한다. 본 논문은 홀수 완전수가 존재하지 않음을 증명하는 것이 아니라, 5, 7, 11, 13 또는 17을 최소 소수로 갖는 OPN은 존재할 수 없음을 증명하는 것이다.

저자는 결과의 모듈성을 강조한다:

• 최소 소수 문제를 전체 OPN 문제로부터 격리한다.
• 특정 산술적 장애물을 검증하기 위한 재현 가능하고 기계 감사가 가능한 프레임워크를 제공한다.
• (하위 소수 회피 제약이 부족한) $q=3$ 브랜치와 (입력 차수 처리가 별도로 필요한) $q \ge 19$ 브랜치를 향후 연구 과제로 남겨둔다.

본 연구는 기존의 전역적 필터(예: 닐슨의 소인수 개수 하한선)를 일관성 체크 용도로만 사용하며, 실제 폐쇄는 밸류에이션 레이블이 지정된 사이클로토믹 입력과 제공된 유한 인증서에 의해 구동된다.