On the Hardy-Ramanujan Theorem

기술 요약: 하디-라마누잔 정리의 효과적인 버전

문제 정의
본 논문은 정수 $n \le x$에 대하여 서로 다른 소인수의 개수 $\omega(n)$과 전체 소인수의 개수 $\Omega(n)$의 분포를 다룬다. 고전적인 하디-라마누잔 정리는 두 함수가 모두 $\log \log n$의 정규 차수(normal order)를 가짐을 확립하였으나, 원래의 증명은 레벨 세트 $A_k(x) = \#\{n \le x : \omega(n) = k\}$에 대한 계수 산출 부등식에 의존하며, 이는 지수적 상한 꼬리(exponential upper tails)를 제공하지만 명시적인 상수를 결여하고 있다. 이후의 증명들, 예를 들어 투란(Turán)의 제2모멘트 방법은 더 짧지만 체비쇼프 부등식을 통해 다항식 꼬리 경계만을 제공한다. 확률론적인 에르되스-카츠(Erdős–Kac) 정리는 극한 가우시안 분포를 식별하지만, 유한한 $x$에 대해 효과적이고 비점근적인 경계를 제공하지는 않는다. 본 노트의 목적은 이 간극을 메우기 위해, 완전히 명시적인 상수를 포함하여 포아송 분포에 대한 지배 부등식(domination inequality)으로 결과를 패키징함으로써, 하디-라마누진 계수 부등식의 효과적이고 명시적인 버전을 제공하는 데 있다.

방법론
저자는 하디와 라마누잔이 사용했던 원래의 "삭제 논법(deletion argument)"을 채택하되, 모든 상수를 명시적으로 만들기 위해 이를 정교화하였다. 핵심 방법론은 다음과 같다:

1. 삭제 재귀(Deletion Recurrence): 정수를 여러 번 계산함으로써 $A_k(x)$에 대한 재귀 관계를 설정한다. 구체적으로, $k+1$개의 서로 다른 소인수를 가진 정수 $n$에 대하여, 정확한 소수의 거듭제곱 약수를 삭제함으로써 $A_{k+1}(x)$를 $A_k(x/p^a)$들의 합과 연결하는 재귀식을 도출한다.
2. 귀납 원리(Inductive Principle): 기저 사례 $A_1(x)$에 대한 명시적 경계와 특정 소수의 거듭제곱에 대한 합을 주어진다면, $A_k(x)$에 대하여 $C \frac{x}{\log x} \frac{(\log \log x + B)^{k-1}}{(k-1)!}$ 형태의 명시적 상한을 도출하는 일반적인 귀납 원리(명제 3.2)를 정립한다.
3. 명시적 소수 추정(Explicit Prime Estimates): 하디-라마누잔의 가설을 검증하기 위해 소수론의 명시적 경계(로서와 쇤펠트, Rosser and Schoenfeld)를 활용한다. 여기에는 $\sum_{p \le x} 1/p$, $\pi(x)$, 그리고 소수의 거듭제곱에 대한 합에 대한 정밀한 추정이 포함된다.
4. 포아송 지배(Poisson Domination): 계수 부등식을 확률론적 진술로 변환한다. 경계의 팩토리얼 구조를 인식함으로써, 저자는 $\xi = \log \log x + 4.096$인 포아송 랜덤 변수 $Z_\xi$에 의해 이동된 경험적 분포가 점별로 지배됨을 보여준다.
5. $\Omega(n)$ 및 $\omega_1(n)$으로의 확장: "제곱풀(squarefull) 과잉" $R(n) = \Omega(n) - \omega(n)$을 분석하고 $R(n)$에 대한 지수적 꼬리 경계를 증명함으로써, 결과를 $\Omega(n)$과 정확히 한 번 나타나는 소인수의 개수인 $\omega_1(n)$으로 확장한다.

주요 기여 및 결과

• 명시적 계수 부등식 (정리 1.2): 본 논문은 모든 $x \ge 2$와 정수 $k \ge 1$에 대하여 다음을 증명한다:
  $$A_k(x) \le 1.95 \frac{x}{\log x} \frac{(\log \log x + 4.096)^{k-1}}{(k-1)!}$$
  이는 특정 상수 $1.95$와 이동값$4.096$을 제공함으로써 고전적인$O(\cdot)$ 표기법을 개선한다.

• 포아송 지배 (정리 1.1): 임의의 비음수 함수 $F$에 대하여, 이동된 경험적 평균은 포아송 기대값에 의해 유계된다:
  $$\frac{1}{x} \sum_{2 \le n \le x} F(\omega(n) - 1) \le Q \mathbb{E}[F(Z_\xi)]$$
  여기서 $Q = 1.95 e^{4.096} < 117.20$ 이고 $\xi = \log \log x + 4.096$ 이다. 이는 $\omega(n)$의 분포가 고정된 배수의 포아송 법칙에 의해 지배됨을 의미한다.

• 명시적 꼬리 경계:

  • 대편차 (Corollary 1.3): 표준 포아송 속도 함수 $I(\alpha) = \alpha \log \alpha - \alpha + 1$을 사용하여 대편차 추정치를 도출하며, $\omega(n) \ge \alpha \log \log x$인 정수의 개수가 $x (\log x)^{-I(\alpha)}$로 유계됨을 보여준다.
  • 가우시안 척도 경계 (정리 1.4): $A \sqrt{\log \log x}$ 형태의 편차에 대하여, 가우시안 꼬리와 유사한 명시적 상한을 제공한다. 예를 들어, $1 \le A \le \sqrt{\log \log x}/4$인 경우:
    $$\frac{1}{x} \#\{n \le x : |\omega(n) - \log \log x| > A \sqrt{\log \log x}\} \le \frac{305}{A} \exp\left(-\frac{A^2}{2} + \frac{7.31 A^3}{\sqrt{\log \log x}}\right)$$
  • 중간 편차 (정리 1.5): $A \to \infty$ 이고 $A = o(\sqrt{\log \log x})$인 경우, 확률이 $\exp(-(1/2 + o(1))A^2)$로 감소함을 보인다.

• 균등 모멘트 추정 (정리 1.6): $r$ 차수의 모멘트에 대한 균등 경계를 확립한다:
  $$\left( \frac{1}{x} \sum_{2 \le n \le x} |f(n) - \log \log x|^r \right)^{1/r} \le C(\sqrt{r(\log \log x + 1)} + r)$$
  여기서 $f \in \{\omega, \Omega, \omega_1\}$ 이다. 이는 고정된 $r$에 대하여 가우시안 차수의 중심 모멘트 추정을 회복한다.

• 제곱 자유(Squarefree) 유사성: 제곱 자유 정수에 대해 더 작은 상수($1.25506$)와 더 작은 포아송 매개변수 이동($1.174$)을 갖는 더 정밀한 추정치가 도출된다.

의의 및 주장
본 논문은 성장하는 $k$에 대한 점근식이나 확률론적 처리(에르되스-카츠, 쿠빌리우스스)와 같은 현대적 정교화와는 "다른 목표"를 제공한다고 주장한다. 저자는 증가하는 $k$에 대한 점근적 성질이나 극한 분포를 찾는 대신, 기초적이고, 명시적이며, 비점근적인 경계에 집중한다.

그 의의는 다음과 같다:

1. 명시적 상수: 하디-라마누잔의 논증을 특정 수치적 상수($1.95, 4.096, Q < 117.20$)를 사용하여 정량화하였는데, 이는 고전적 취급에서 흔히 생략되는 부분이다.
2. 포아송 지배: 결과를 포아송 분포에 대한 지배 부등식으로 틀을 잡음으로써, 적절한 테스트 함수 $F$를 선택하여 체르노프 경계(Chernoff bounds), 모멘트 추정, 꼬리 경계를 즉각적으로 도출할 수 있게 한다.
3. 기초적 성격: 증명은 원래의 삭제 논법과 명시적 소수 추정에 의존하며, 복잡한 해석적 기법이나 확률론적 극한 정리를 피하면서도 투란의 다항식 유계보다 정밀하고 에르되스-카츠 정리의 가우시안 꼬리와 형태 면에서 유사한(단, 엄격하게는 상한으로서) 결과를 낸다.
4. 일반성: 이 접근법은 제곱풀 부분을 분석함으로써 $\Omega(n)$ 및 $\omega_1(n)$으로 자연스럽게 확장되며, 이러한 산술 함수들에 대한 통일된 효과적 이론을 제공한다.

저자는 이동값 $4.096$이 최적이라고 주장하는 것이 아니라, 유한한$x$에 대한 논증을 투명하게 유지하기 위한 것이라고 언급한다. 주요 기여는 다양한 추정치(점별, 꼬리, 생성 함수, 모멘트)를 하나의 명시적 부등식 아래로 통합하는 지배 형식의 기능적 형태에 있다.