Must a primitive non-deficient number have a component not much larger than its radical?

기술 요약: "원시 비부족수는 항상 작은 성분을 가져야 하는가?"

문제 정의
본 논문은 원시 비부족수(primitive non-deficient numbers)의 구조적 성질을 조사한다. 양의 정수 $n$이 $\sigma(n) \ge 2n$ (여기서 $\sigma(n)$은 $n$의 약수의 합)을 만족하면 $n$을 비부족수라고 한다. $n$이 원시 비부족수라는 것은 $n$이 비부족수이지만, 그 모든 진약수(proper divisors)는 부족수(deficient)임을 의미한다. $n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}$를 $n$의 소인수 분해라 하고, $p_1 < p_2 < \dots < p_k$라 할 때, $R = \text{rad}(n) = p_1 p_2 \cdots p_k$를 그의 근원(radical)이라 하자.

핵심 문제는 $n$의 "성분(component)", 즉 $p_i^{a_i+1}$ 항들에 대한 경계값을 결정하는 것이다. 저자는 원시 비부족수가 존재하기 위해서는, 그의 소수 거듭제곱 성분 중 적어도 하나가 근원 $R$에 비해 상대적으로 작아야 한다고 가정한다. 이는 만약 모든 지수 $a_i$가 매우 크다면, 풍족 지수(abundancy index) $h(n) = \sigma(n)/n$이 상한값 $H(n) = \prod_{p|n} \frac{p}{p-1}$에 극도로 가까워질 것이라는 직관에서 비롯된다. 결과적으로, 어떤 지수라도 줄이면 해당 숫자는 비부족수가 아니게 될 것이며, 이는 $n$의 원시성에 모순된다.

방법론
본 논문은 풍족 지수 $h(n)$과 함수 $H(n)$의 성질에 초점을 맞춘 해석적 정수론 기법을 사용한다. 방법론은 다음과 같은 논리적 단계로 진행된다:

1. 기초 보조정리: 저자는 Grun과 Servais로부터 채택된 보조정리(Lemma 5)를 포함하여 비부족수의 기본 성질을 확립한다. 여기서 $k$는 최소 소인수 $p_1$에 대한 서로 다른 소인수의 개수이다.
2. 부등식 유도: 핵심적인 기술적 도구는 $H(n)$의 하한이 주어졌을 때 $\min(p_i^{a_i+1})$의 상한을 제공하는 보조정리 9이다. 이 보조정리는 $h(n)$과 $H(n)$ 사이의 관계인 $h(n) = H(n) \prod_{i=1}^k \left(1 - \frac{1}{p_i^{a_i+1}}\right)$를 활용하여 Heath-Brown의 논증을 응용한 것이다. 저자는 $n$이 원시적이라고 가정함으로써 $h(n/p_i) < 2$임을 주목한다. 보조정리 8(비율 $h(n)/h(n/p)$의 경계를 제공함)과 결래하여, 저자는 최소 성분 크기와 $H(n)$과 2 사이의 "간격" 사이의 관계를 나타내는 부등식을 유도한다.
3. 경우 분석: 증명은 짝수 원시 비부족수와 홀수 원시 비부족수를 구분한다. 짝수 숫자의 경우, 보조정리 3과 명제 6을 통해 소수 2에 대응하는 성분이 가설된 경계를 직접 만족함을 보여준다. 홀수 숫자의 경우, 저자는 직접 계산을 통해 작은 $k$ 값(3 및 4)을 처리하기 위해 보조정리 4에 의존하며, 더 큰 $k$에 대해서는 보조정리 9를 사용한다.

주요 기여 및 결과

• 정리 2 (주요 결과): 본 논문은 근원 $R$을 갖는 임의의 원시 비부족수 $n = p_1^{a_1} \cdots p_k^{a_k}$에 대하여, 다음을 만족하는 인덱스 $i$가 존재함을 증명한다:
  $$p_i^{a_i+1} < 2kR$$
  이는 적어도 하나의 성분이 소인수의 개수와 근원의 곱에 의해 선형적으로 유계됨을 확립한다.

• 추측 1: 저자는 더 강력하고 아직 증명되지 않은 추측을 제안한다. 즉, 정리 2의 인자 $k$는 불필요하며, 항상 다음을 만족하는 $i$가 존재한다는 것이다:
  $$p_i^{a_i+1} < 2R$$
  저자는 특정 반례($n = 4164647056479$)를 인용하며 경계 $R$(인자 2가 없는 상태)은 거짓이라고 언급했으나, 해당 반례가 유일할 수 있음을 시사한다.

• 명제 16: 홀수 원시 비부족수에 대하여, 본 논문은 이분법을 증명한다. 즉, 최대 소인수 $p_k$가 근원에 비해 작거나($p_k < \sqrt{R}$), 혹은 $p_k$와 $k$를 포함하는 경계를 만족하는 성분이 존재한다.

• 밀도 추측: 저자는 집합 $B$($\text{모든 } i \text{에 대해 } p_i^{a_i+1} < 2R$을 만족하는 숫자들의 집합)와 집합 $C$(원시 비부족수들의 집합)를 도입한다. 저자는 두 집합의 교집합이 $B$ 내에서 그리고 $C$ 내에서 자연 밀도가 0이라고 추측하며, 이는 "작은 성분" 성질이 원시성을 위해 필요하긴 하지만, 모든 성분이 작다는 것은 드문 일임을 시사한다.

의의 및 맥락
본 논문은 홀수 완전수(odd perfect numbers) 및 비부족수의 광범위한 연구 내에서 그 결과를 위치시킨다.

• 그래프 이론과의 연결: $p_i^{a_i+1}$에 대한 경계는 홀수 완전수의 성분들을 가중치 있는 유향 그래프로 표현했을 때의 외차수(out-degree)에 대한 경계로 해석된다. 이는 최근 문헌(예: Bibby, Vyncke, and Zelinsky; Yamada)에서 사용되는 프레임워크이다.
• 기존 경계의 일반화: 본 결과는 근원에 대한 홀수 완전수의 크기에 대한 기존의 상한을 일반화한다. 구체적으로 Nielsen의 경계 $n < R^{2k-1}$은 성분의 크기에 대한 경계를 함의하는데, 정리 2는 더 넓은 클래스인 원시 비부족수에도 적용 가능한 더 타이트하고 구체적인 부등식을 제공한다.
• 동기: 이 연구는 원시성이 소수 거듭제곱 성분의 크기에 엄격한 제약을 가한다는 직관을 공식화하는 것을 목표로 한다. 본 논문이 홀수 완전수의 존재 여부를 해결하지는 못하지만, 그러한 숫자(또는 임의의 원시 비부족수)가 반드시 만족해야 하는 정교한 구조적 제약을 제공한다.

저자는 사용된 기법들이 $p_i^{a_i}$보다는 자연스럽게 $p_i^{a_i+1}$을 포함하는 부등식을 산출한다는 점을 인정하며, 이는 수학적으로 성분을 다른 소인수들의 곱으로 제한하는 것과 동등하다. 논문은 추측된 경계인 $2R$이 참일 가능성이 높지만, 이를 증명하는 것은 여전히 미해결 과제로 남아있음을 언급하며 끝을 맺는다.