Almost all primes are partially regular

기술 요약: "거의 모든 소수는 부분적으로 정규적이다"

문제 정의
본 논문은 원분체(cyclotomic fields)의 산술에서 나타나는 불규칙성의 분포를 다룬다. 홀수 소수 $p$에 대하여, $K_p = \mathbb{Q}(\zeta_p)$를 $p$차 원분체라 하고, $Cl(K_p)$를 그 아이디얼 클래스 군(ideal class group)이라 하자. 소수 $p$는 고전적으로 $p$가 클래스 수 $|Cl(K_p)|$를 나누지 않을 때 *정규(regular)*하다고 정의되며, 이는 $2 \le 2k \le p-3$인 모든 짝수 $2k$에 대해 $p$가 베르누이 수 $B_{2k}$의 분자(numerator)를 나누지 않는 것과 동치이다. 불규칙 소수(irregular primes)가 존재함은 알려져 있으나(Jensen), 그 밀도는 약 $1 - e^{-1/2}$로 추측된다.

저자들은 **부분 정규성(partial regularity)**이라는 더 약한 개념을 조사한다. 홀수 소수 $p$는 $2 \le 2k \le \min(m, p-3)$ 범위의 모든 짝수 $2k$에 대해 $p \nmid \text{num}(B_{2k})$를 만족할 때 $m$-정규하다고 정의된다. 핵심 질문은 특정 범위 $M_\alpha(p)$(여기서 $M_\alpha(p) \approx \sqrt{p}/(\log p)^\alpha$이며 $\alpha > 1/2$)에 대해, "밀도 1"인 소수 집합이 부분 정규성을 만족하는가 하는 것이다.

방법론
주요 정리의 증명은 베르누이 수 분자의 성장 및 소수의 분포와 관련된 해석적 정수론 기법에 의존한다. 방법론은 다음과 같이 진행된다:

1. 균등 범위로의 환원: 저자들은 $X$ 이하의 소수 $p$에 대한 균등 상한 $m_X = \lfloor \sqrt{X}/(\log X)^\alpha \rfloor$를 정의한다. 그들은 만약 소수 $p \le X$가 $M_\alpha(p)$-정규성을 갖지 않는다면, 충분히 큰 $X$에 대해 $m_X$-정규성 또한 갖지 못함을 보인다.
2. 불규칙 소수의 상한 설정: 보조정리 2.1을 사용하여, $m_X$-정규적이지 않은 소수 $p \le X$의 개수는 $P_{m_X}$의 서로 다른 소인수의 개수인 $\omega_{pf}(P_{m_X})$에 의해 제한된다. 여기서 $P_{m_X}$는 $1 \le k \le m_X$인 베르누이 수 $B_{2k}$의 분자들의 곱이다.
3. 베르누이 분자 추정: 저자들은 $\zeta(2k)$에 대한 오일러 공식과 폰 슈타트-클라우젠(von Staudt–Clausen) 정리를 사용하여 $\log |P_m|$의 상한을 유도한다. 그들은 $\log P_m \le C_2 m^2 \log m$임을 확립한다.
4. 소인수 개수 계산: 소수 정리(Prime Number Theorem)와 프림로리얼 함수(primorial function)의 성질을 적용하여, $\omega_{pf}(P_{m_X})$를 $C_3 \frac{\log P_{m_X}}{\log \log P_{m_X}}$로 제한한다.
5. 점근적 분석: 이 추정치들을 결합하여, 비정규 소수의 개수가 $O\left(\frac{X}{(\log X)^{2\alpha}}\right)$로 제한됨을 보인다. $\alpha > 1/2$이므로 지수 $2\alpha > 1$이 되어, $X \to \infty$일 때 비정규 소수의 밀도가 0으로 수렴함을 보장한다.

주요 기여 및 결과
본 논문은 다음의 주요 결과를 확립한다:

• 정리 1.1: 임의의 고정된 $\alpha > 1/2$에 대하여, $M_\alpha(p)$-정규적이지 않은 소수 $p$의 집합은 점근적 밀도가 0이다. 구체적으로, $X$까지의 그러한 소수의 개수는 $C_\alpha \frac{X}{(\log X)^{2\alpha}}$로 제한된다. 저자들은 상수 $C_\alpha$가 $\alpha$와 독립적으로 선택될 수 있음($C_\alpha = 10$)을 언급한다.

계와 함의
본 논문은 이러한 부분 정규성 결과로부터 파생되는 몇 가지 중요한 결과들을 도출한다:

1. 부분 반데르몬더 정리 (계 1.4): 정리 1.1을 헤르브란트-리벳 정리(Herbrand–Ribet Theorem, 클래스 군의 홀수 고유 공간과 베르누이 수를 연결) 및 레오폴트트의 반사 원리(Leopoldt's Reflection Principle, 짝수와 홀수 고유 공간을 연결)와 결합함으로써, 저자들은 밀도 1인 소수 집합에 대해 $p$-부분 클래스 군의 짝수 고유 공간 $A_p(\omega^{2k})$가 모든 $2k \le M_\alpha(p)$에 대해 소멸함을 증명한다. 이는 쿠머-반데르몬더 추측(Kummer–Vandiver Conjecture)의 부분적인 검증을 제공한다.
2. $p$-진 $L$-함수의 비소멸 (계 1.5): 이와사 이론의 주 정리(Mazur–Wiles)를 통해, 대수적 고유 공간의 소멸은 연관된 쿠보타-레오폴트 $p$-진 $L$-함수 $L_p(s, \omega^{2k})$가 이와사 대수 $\Lambda = \mathbb{Z}_p[[T]]$의 단위(unit)임을 의미한다. 결과적으로, 거의 모든 소수에 대해 이 함수들은 $\mathbb{Z}_p$ 내에 영점을 갖지 않는다.
3. 합동식 및 K-이론 (계 1.7): 이 결과는 거의 모든 소수에 대해 다음을 함의한다:
   • 베르누이 수를 포함하는 특정 거듭제곱 합 합동식이 $p^2$에 대해 성립한다.
   • 무게 $2k$와 레벨 1을 갖는 정규화된 첨단(cuspidal) 헤케 고유 형식(Hecke eigenform)과 아이젠슈타인 급수 사이에 작은 무게에 대한 $p$에 대한 합동식이 존재하지 않는다.
   • 대수적 K-군 $K_{4k-2}(\mathbb{Z})$는 해당 무게들에 대해 $p$-비틀림(torsion)을 갖지 않는다.

의의 및 검증
본 논문은 그 의의의 두 가지 주요 측면을 강조한다:

1. 수학적 결과: 이는 "거의 모든" 소수가 강한 형태의 부분 정규성을 만족한다는 것을 엄밀하게 증명하며, 불규칙 소수의 분포에 대한 이해를 확장하고 특정 범위 내에서 반데르몬더 추측의 부분적 해결을 제시한다.
2. 형식화 및 AI: 본 논문은 개발 중인 AI 도구인 AxiomProver의 사례 연구 역할을 한다. 저자들은 정리 1.1이 인간의 도움 없이 추측의 자연어 진술로부터 시작하여 Lean/Mathlib(버전 4.26.0)에서 AxiomProver에 의해 완전히 증명되고 형식화되었다고 밝힌다. 이후 인간 저자들이 공식 증명을 바탕으로 서사적 설명을 재구성하였다. 코드와 산출물은 AxiomMath 저장소에 공개되어 있다.

저자들은 AI가 깊은 외부 정리(Herbrand–Ribet 또는 주 정리와 같은)를 재증명한 것이 아니라, 정리 1.1에 필요한 특정 해석적 추정치를 독립적으로 유도하였으며, 여기에는 폰 슈타트-클라우젠 정리에 관한 독립적인 경계 유도가 포함되었음을 강조한다.