Port Fillings for Primary Pseudoperfect Numbers

기술적 요약: 1 차 준완전수를 위한 포트 채우기

문제 제기
본 논문은 1 차 준완전수 (PPNs) 의 문제를 다루며, 이는 다음 방정식을 만족하는 무제곱 정수 $n$으로 정의된다:
$$\frac{1}{n} + \sum_{p|n} \frac{1}{p} = 1$$
동등하게, 산술 미분 $\partial(n)$을 사용하면 이들은 $\partial(n) = n - 1$을 만족하는 무제곱 해들이다. 이러한 수들이 무한히 존재하는지는 Erdős 의 문제 #313 과 연관된 열린 문제이다. Butske, Jaje, Mayernik 은 계산을 통해 최대 8 개의 소인수를 가진 PPN 들의 유일성을 확립했으나, 본 논문은 이 탐색을 더 높은 층위로 확장하고 집합의 무한성을 조사하고자 한다.

방법론: 포트 형식주의
저자는 PPN 들을 지배하는 잔여 방정식을 분석하기 위한 "국소 형식주의 (local formalism)"를 도입한다.

• 포트와 채우기: "포트"는 양의 정수 쌍 $(R, c)$로 정의된다. 무제곱 정수 $B$가 결함 방정식
  $$\Delta_{R,c}(B) := cB - R\partial(B) = 1$$
  을 만족할 때 포트가 "채워진다"고 한다. 이는 역수 형태 $\sum_{q|B} \frac{1}{q} + \frac{1}{RB} = \frac{c}{R}$와 동치이다.
• 합성 법칙: 본 논문은 서로소인 $A, B$에 대해 $\Delta_{R,c}(AB) = \Delta_{RA, \Delta_{R,c}(A)}(B)$라는 합성 법칙을 확립한다. 이 법칙은 더 작은 PPN 들에서 유래된 "상속된" 채우기와 동일한 포트의 더 작은 채우기로 환원되지 않는 새로운 해인 "포트-원시 (port-primitive)" 채우기를 구분한다.
• 상속: 이 프레임워크는 $K$가 PPN 이고 $K+1$이 소수일 때 $K(K+1)$이 PPN 이 된다는 알려진 상속 메커니즘을 일반화한다. 이는 포트가 $(K, 1)$인 포트 채우기의 특수한 경우로 제시된다.

주요 기여 및 결과

1. 새로운 PPN 들 ($N_9$ 및 $N_{10}$) 의 발견:

   • 저자는 접두어 $2 \cdot 3 \cdot 11 \cdot 17 \cdot 101$에서 유도된 특정 "키 포트" $H = (113322, 797)$를 분리해냈다.
   • $H$의 두 개의 서로 다른 포트 - 원시 채우기가 확인되었다:
     • $B_2 = 149 \cdot 3109$ (2 개의 소수) 로, 알려진 PPN $52495396602$를 생성함.
     • $B_4 = 157 \cdot 1979 \cdot 10093 \cdot 16879$ (4 개의 소수).
   • 두 번째 채우기는 9 개의 소인수를 가진 새로운 PPN 을 생성한다:
     $$N_9 = 113322 \cdot B_4 = 5998279018951962402$$
   • $N_9 + 1$의 소수성은 Pocklington 인증서를 사용하여 검증되었다. $N_9$가 PPN 이고 $N_9+1$이 소수이므로, 곱 $N_{10} = N_9(N_9+1)$은 10 개의 소인수를 가진 PPN 이 된다:
     $$N_{10} = 35979351189199316534587473905773572006$$

2. 추측의 반증:

   • 본 논문은 Sondow–MacMillan 추측을 다루는데, 이는 정확히 9 개의 소인수를 가진 PPN 이 하나만 존재하며 더 이상의 PPN 은 존재하지 않는다고 예측했다.
   • 10 개의 소인수를 가진 PPN 인 $N_{10}$의 구성은 "더 이상의 1 차 준완전수는 존재하지 않는다"는 조항을 반증한다.
   • 논문은 $N_9$가 예측된 나머지 $288$을 만족함 ($N_9 \equiv 258 \pmod{288}$) 을 지적하여 9 인자 경우에 대한 유일성 예측을 지지하지만,$N_{10}$의 존재는 유한성 주장을 반박한다.

3. 탐색을 위한 알고리즘적 기준:

   • 마지막 두 소수 판별식: 포트가 정확히 두 개의 소수로 완성될 수 있는지 여부를 결정하는 기준이 유도되었다. 이는 특정 2 차 다항식 $D(t)$가 유한 구간 내에서 제곱수가 되는지 확인하는 문제로 축소된다.
   • 모듈러 제곱 체: 본 논문은 유효한 채우기로 이어질 수 없는 접두어를 배제하기 위해 모듈러 체를 사용하여, 더 높은 층위의 PPN 에 대한 탐색 공간을 계산적으로 줄이는 방법을 제공한다.

4. 조건부 무한성 기준:

   • 본 논문은 "5 분할 Hardy–Littlewood–Bateman–Horn 유형의 소수점 가설"에 기반한 PPN 의 무한성에 대한 조건부 증명을 제안한다.
   • 이 가설은 "종단 포트"(단일 소수 $p$가 $(R, c)$를 채우는 경우) 에 대해 $cx_1x_2x_3x_4x_5 - R\sum \prod_{j \neq i} x_j = 1$로 정의된 초곡면이 모든 좌표가 서로 다른 소수인 점들을 포함한다고 가정한다.
   • 이 가설 하에서, 종단 소수는 5 개의 더 큰 소수로 재귀적으로 대체되어 PPN 의 무한한 시퀀스를 생성할 수 있다. 저자는 이것이 고전적인 1 변수 Bateman–Horn 추측의 결과가 아님을 명시적으로 밝힌다.

의의 및 범위
본 논문의 주요 의의는 PPN 들, Znám 유형의 문제, 그리고 산술 미분을 단일 국소 프레임워크로 통합하는 "포트 형식주의"의 개발에 있다.

• 무조건적 결과: $N_9$와 $N_{10}$의 발견, 그 속성들의 검증, $N_9+1$에 대한 Pocklington 인증서, 그리고 마지막 두 소수에 대한 판별식 기준은 무조건적인 수학적 사실로 제시된다.
• 조건부 결과: 무한성 정리는 가설 19.2 에 엄격히 조건부이다. 저자는 이에 대해 겸손하게, 현재 무조건적인 무한 PPN 메커니즘은 알려져 있지 않음을 지적한다.
• 계산적 한계: 본 논문은 포트 $H$의 6 인자 채우기인 "H6 층"에 대한 탐색적 데이터를 포함하지만, 이는 $N_9$나 $N_{10}$의 증명 부분이 아닌 계산 노트임을 명확히 한다. 12 인자 PPN( $N_{10}+1$을 통해) 에 대한 탐색은 $N_{10}+1$이 합성수이므로 실패하는 것으로 나타났다.

요약하자면, 본 논문은 알려진 1 차 준완전수의 지평을 확장하고, 그 생성을 위한 엄밀한 구조적 프레임워크를 제공하며, 증명된 정리와 추측적 가설을 신중하게 구분하면서 무한성을 증명하기 위한 조건부 경로를 제시한다.