ABC implies that Ramanujan's tau function misses almost all primes

1. 연구 배경 및 문제 정의 (Problem)

• 람누잔의 타우 함수 ($\tau(n)$): 디리클레 $\Delta$-함수의 푸리에 계수로 정의되며, 정수 계수를 가지는 정규화된 가중치 12 의 시스프 형식 (cusp form) 입니다.
  $$\Delta(z) = q \prod_{n \ge 1} (1-q^n)^{24} = \sum_{n \ge 1} \tau(n)q^n$$
• 레흐머 추측 (Lehmer's Conjecture): 모든 $n \ge 1$에 대해 $\tau(n) \neq 0$이라는 추측입니다.
• 주요 질문: 타우 함수의 상 (image) 에 소수가 얼마나 많이 포함되는가?
  • 전통적인 추측: $\tau(n)$의 절댓값이 소수가 되는 경우가 무한히 많을 것이라는 추측 (Folklore conjecture) 이 존재합니다.
  • 기존 결과: Xiong (2024) 은 소수 $\tau$-값들이 소수 전체 집합의 밀도 (density) 가 최대 $2/11$ 이하인 얇은 집합 (thin set) 을 이룬다는 것을 보였습니다.
• 본 연구의 목표: **ABC 추측 (abc Conjecture)**을 가정하여, $\tau(n)$이 소수 값을 가질 수 있는 경우의 수를 더 강력하게 제한하고, 이것이 소수 집합의 밀도 0 을 의미함을 증명하는 것입니다.

2. 주요 방법론 (Methodology)

이 논문은 해석적 정수론, 대수적 기하학 (초타원곡선), 그리고 ABC 추측을 결합한 접근법을 사용합니다.

1. ABC 추측의 적용:

   • ABC 추측은 서로소인 정수 $a, b, c$ ($a+b=c$) 에 대해 $|c| \le C_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$이 성립함을 의미합니다.
   • 이 논문의 핵심은 $\tau(n)$이 소수 $\ell$이 되는 경우를 특정 디오판토스 방정식 (Diophantine equations) 의 정수 해 문제로 변환한 후, ABC 추측을 적용하여 해의 개수를 제한하는 것입니다.

2. 지수 감소 및 구조 분석:

   • Proposition 8 (Parity Fact): $\tau(n)$이 홀수 소수이려면 $n$이 반드시 홀수 제곱수 ($n=p^{2m}$) 이어야 함을 이용합니다.
   • Hecke 관계식: $\tau(p^k)$에 대한 점화식을 통해 $\tau(p^2)$와 $\tau(p^4)$의 경우를 각각 초타원곡선 (hyperelliptic curves) 의 정수점 문제로 환원합니다.
     • $k=2$인 경우: $y^2 = x^{11} \pm \ell$ 형태의 곡선.
     • $k=4$인 경우: $u^2 = 5x^{22} \pm 4\ell$ 형태의 곡선.
   • Proposition 9 (Xiong): $k \ge 3$인 고차 항에 대해서는 이미 알려진 밀도 제한 ($O(N^{9/10})$) 을 사용합니다.

3. 초타원곡선 위의 정수점 추정 (Main Engine):

   • $E_2(X)$와 $E_4(X)$로 정의된 두 가지 함수 (특정 조건을 만족하는 정수점의 개수) 를 정의하고, ABC 추측을 사용하여 이들의 상한을 구합니다.
   • Lemma 5: ABC 추측 하에서 $E_2(X) \ll X^{4/9+\eta}$ 및 $E_4(X) \ll X^{1/5+\eta}$임을 증명합니다. 이는 곡선 위의 정수점이 매우 드물게 존재함을 의미합니다.

4. 자동화 및 형식화 (AI Integration):

   • 논문의 핵심 증명인 두 가지 분석적 추정 (Lemma 5) 은 AxiomProver라는 AI 도구를 사용하여 자연어 문제 진술로부터 자동으로 생성되고 Lean/Mathlib 환경에서 형식화 (formalization) 및 검증되었습니다.

3. 주요 결과 (Key Results)

Theorem 1 (주요 정리):
ABC 추측을 가정할 때, $X \to +\infty$에 대해 다음이 성립합니다.
$$S(X) := \#\{\ell \le X : \ell \text{ is prime and } |\tau(n)| = \ell \text{ for some } n \ge 1\} = O(X^{9/10} \log X)$$

• 의미:
  • 소수 계수 함수 $\pi(X)$는 $X/\log X$에 비례하므로, $S(X)/\pi(X) \to 0$이 됩니다.
  • 즉, 람누잔의 타우 함수는 소수 집합의 밀도 1 을 놓치는 (misses a density 1 subset) 것으로 결론지어집니다. 소수 값이 존재할 수는 있지만, 소수 전체에 비해 극히 드물다는 뜻입니다.
  • 이는 Xiong 의 기존 결과 ($2/11$) 를 ABC 추측 하에서 $9/10$ (로그 인자 포함) 으로 대폭 개선한 것입니다.

예상 점근적 행동 (Heuristic Prediction):
밀도가 0 이라고 해서 소수 값이 유한하다는 뜻은 아닙니다. Section 4 에서 저자들은 Sato-Tate 추측을 기반으로 다음과 같은 점근적 행동을 제안합니다.
$$S(X) \asymp \frac{CX^{1/11}}{(\log X)^2}$$
이는 $S(X)$가 무한히 크지만 (무한히 많은 소수 값을 가짐), 매우 희박하게 분포함을 시사합니다.

4. 기여 및 의의 (Contributions & Significance)

1. 수학적 기여:

   • ABC 추측을 통해 람누잔 타우 함수의 소수 값 분포에 대한 가장 강력한 상한을 제시했습니다.
   • 타우 함수의 소수 값 존재 여부에 대한 기존 추측 (무한히 많음) 과 밀도 제한 (희박함) 사이의 모순을 해소하고, "무한히 많지만 매우 드물다"는 정량적 그림을 제시했습니다.
   • Hecke 고유 형식 (Hecke eigenforms) 의 계수에 대한 일반화 가능성도 언급했습니다 (Remark 3).

2. 방법론적 기여 (AI in Mathematics):

   • AxiomProver 를 통한 자동 형식화: 이 논문은 수학적 증명의 핵심 부분 (Lemma 5) 을 AI 가 자연어 명제로부터 자동으로 유도하고, Lean 4/Mathlib 에서 형식적으로 검증한 사례를 제공합니다.
   • 이는 AI 가 복잡한 정수론 증명의 "엔진 (main engine)"을 구축하고 검증하는 데 활용될 수 있음을 보여주는 중요한 사례입니다.
   • 인간 저자들은 AI 가 생성한 Lean 코드를 인간이 읽을 수 있는 논리적 흐름으로 재구성하여 논문을 작성했습니다.

5. 결론

이 논문은 ABC 추측을 가정하여 람누잔의 타우 함수가 소수 집합의 거의 대부분을 놓친다는 것을 증명했습니다. 이는 타우 함수의 값이 소수일 확률이 매우 낮음을 의미하며, 동시에 Sato-Tate 추측을 통해 소수 값이 무한히 존재할 가능성에 대한 정량적 예측을 제시합니다. 또한, 이 연구는 현대 수학 연구에서 AI 도구를 활용한 자동 증명 및 형식 검증의 새로운 가능성을 여는 중요한 이정표가 되었습니다.