덮개수와 풍부수의 밀도: 새로운 경계와 구조적 통찰

초록

본 논문은 정수 집합인 덮개수(C)와 풍부수(A)의 자연밀도가 존재함을 증명하고, 각각의 밀도를 0.103230 < d(C) < 0.103398, 0.247619608 < d(A) < 0.247619658 로 정밀하게 제한한다. 이를 위해 σ(n)/n인 풍부지수 h(n)과 새로운 함수 c(n)·r(n)을 도입해 기존의 Behrend‑Deléglise 방법을 확장하고, 원시 덮개수의 개수를 x·exp(−(1/(2√log 2)−ε)√log x log log x) 로 상한함으로 풍부수와의 차이를 부각시킨다.

상세 분석

논문은 먼저 “덮개수”라는 개념을 정의한다. n이 덮개수라 함은 n의 약수들만을 모듈러로 하는 서로 다른 잉여류 체계가 모든 정수를 덮는 경우이며, 이는 12가 가장 작은 예시임을 보여준다. 풍부수와의 유사성에 주목해, 저자는 풍부지수 h(n)=σ(n)/n과 새로운 함수 c(n)=1+r(n)/n을 도입한다. 여기서 r(n)은 n의 약수들로 구성된 서로 다른 모듈러 체계가 커버할 수 있는 잉여류의 최대 개수이다. Lemma 4.1에 의해 c(n)≤h(n)임을 보이며, 특히 덮개수는 반드시 풍부수임을 얻는다(코라리 4.2). 이는 기존 연구에서 알려진 “덮개수 ⊂ 풍부수” 관계를 함수적 형태로 명확히 한다.

밀도 존재성을 보이기 위해서는 원시 덮개수 집합 P_C의 역수 합이 수렴함을 보여야 한다. Lemma 3.1은 원시 덮개수 n에 대해 최대 소인수 P⁺(n)와 약수 개수 τ(n) 사이에 P⁺(n)≤τ(n/P⁺(n))라는 강력한 제약을 제공한다. 이 제약을 이용해 부드러운 수와 다수의 약수를 갖는 수의 분포 추정(ψ(x,y), Δ(x,y))을 결합하면, P_C(x)≤x·exp(−½√log 2·√log x log log x·(1+o(1)))라는 상한을 얻는다. 이 상한은 원시 풍부수의 상한보다 훨씬 강력해, P_A(x)/P_C(x)→∞임을 즉시 도출한다(Corollary 2.4). 따라서 원시 덮개수의 역수 합이 수렴함을 보이고, Erdős의 고전적 논법을 그대로 적용해 C의 자연밀도 d(C)가 존재함을 확정한다.

밀도 수치 추정에서는 Behrend와 Deléglise가 풍부수 밀도에 적용한 구간 분할 기법을 차용한다. 저자는 c(n)≤h(n)이라는 부등식을 이용해, 각 구간에서 c(n)값의 상한을 계산하고, 이를 전산적으로 합산해 d(C)의 상·하한을 0.103230과 0.103398 사이로 좁힌다. 동시에 동일한 프레임워크를 풍부수에 적용해, 기존 4자리 정확도(0.2476171 ~ 0.2476475)를 넘어 7자리 정확도(0.247619608 ~ 0.247619658)를 얻는다. 이는 c(n)과 h(n) 사이의 차이를 정밀히 제어한 새로운 알고리즘 덕분이며, 코드가 GitHub에 공개돼 재현 가능성을 높였다.

마지막으로, 저자는 원시 덮개수의 구조적 특징을 탐구한다. Sun의 충분조건을 일반화한 Theorem 2.5는 기존 조건을 완화해 훨씬 많은 정수를 원시 덮개수로 인정한다. 실험적으로 10⁵⁰까지의 정수를 조사한 결과, 원시 덮개수 후보가 2 592 765개에 달함을 보고한다. 그러나 아직 원시 덮개수의 하한을 같은 형태로 잡지는 못했으며, 이는 향후 연구 과제로 남는다.

전반적으로 논문은 풍부수와 덮개수 사이의 미묘한 관계를 함수적·분석적 도구로 연결하고, 정밀한 수치 경계와 원시 집합의 성장률을 새롭게 제시함으로써 두 분야 모두에 중요한 진전을 제공한다.