On a level analog of Selberg's result on $S(t)$

논문 개요

이 논문은 리만 제타 함수와 디리클레 L-함수에 대한 셀버그 (Selberg) 의 고전적인 결과들을 수준 (level) 측면에서 **2 차 정칙 헤케 극형식 (holomorphic Hecke cusp forms)**으로 확장한 무조건적 (unconditional) 점근 공식을 제시합니다. 특히, 극형식 $f$에 대응하는 L-함수의 임계선 상에서의 위상 변화량 $S(t, f)$의 모멘트 (moments) 분포를 분석하고, 이를 통해 정규화된 $S(t, f)$가 가우스 분포를 따르는 중심극한정리를 증명합니다.

---

1. 연구 문제 (Problem)

• 배경: 셀버그는 리만 제타 함수 $\zeta(s)$와 디리클레 L-함수 $L(s, \chi)$에 대해, 임계선 상의 위상 변화량 $S(t) = \frac{1}{\pi} \arg L(1/2+it)$의 모멘트가 $\log \log T$ (또는 $\log \log q$) 의 거듭제곱에 비례하는 점근 공식을 증명했습니다. 이는 $|S(t)|$가 평균적으로 $\sqrt{\log \log T}$의 크기를 가짐을 의미하며, 정규화하면 가우스 분포에 수렴함을 보여줍니다.
• 현재의 한계: 기존 연구들은 주로 고정된 수준에서 무게 (weight) 측면이나 스펙트럼 측면에서 이루어졌거나, 일반화 된 리만 가설 (GRH) 을 가정했습니다.
• 목표: 이 논문은 GRH 를 가정하지 않고, **수준 $q$가 큰 소수 (prime)**인 경우, 무게 2 의 정칙 헤케 극형식 $f$에 대해 $S(t, f) = \frac{1}{\pi} \arg L(1/2+it, f)$의 모멘트에 대한 무조건적 점근 공식을 확립하는 것입니다.

---

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구를 조합하여 문제를 해결했습니다:

1. 절단된 디리클레 급수 근사 (Truncated Dirichlet Series Approximation):

   • $S(t, f)$를 직접 계산하기 어렵기 때문에, 로그 미분 $L'/L$의 디리클레 급수 전개를 이용하여 $S(t, f)$를 소수 $p \le x^3$까지의 합으로 근사합니다.
   • 이를 위해 $L'/L$의 영점 (zeros) 과 관련된 항들을 제어하기 위해 가중치 함수 $\Lambda_x(n)$을 도입하고, 복소 평면에서의 적분 경로 변형 (residue theorem) 을 사용합니다.

2. 가중 제로 밀도 추정 (Weighted Zero-Density Estimate):

   • GRH 를 사용하지 않기 위해, Kowalski-Michel 에 의해 증명된 **가중 제로 밀도 추정 (weighted zero-density estimate)**을 핵심적으로 활용합니다.
   • 이는 임계선에서 벗어난 영점들의 분포를 제어하여, 근사 오차항을 효과적으로 줄이는 역할을 합니다.

3. 모멘트 계산 및 대각화 (Moment Calculation and Diagonalization):

   • 헤케 연산자의 고유함수 성질과 헤케 관계식 (Hecke relations) 을 이용하여, $S(t, f)$의 $n$차 모멘트 $\sum \omega_f S(t, f)^n$을 계산합니다.
   • 피터슨 트레이스 공식 (Petersson trace formula) 을 적용하여, 대각항 (diagonal terms, $m=n$) 과 비대각항 (off-diagonal terms, $m \neq n$) 을 분리합니다. 비대각항은 소수 $q$가 충분히 클 때 무시할 수 있음을 보입니다.

4. 모멘트 방법 (Method of Moments):

   • 계산된 모멘트들이 가우스 분포의 모멘트와 일치함을 보임으로써, 확률 분포의 수렴을 증명합니다.

---

3. 주요 기여 및 결과 (Key Contributions & Results)

주요 정리 1: 모멘트의 점근 공식 (Theorem 1.1)

충분히 큰 소수 $q$와 자연수 $n$에 대해, 가중 합 $\sum_{f \in H_2(q)} \omega_f S(t, f)^n$은 다음과 같은 점근 공식을 만족합니다:
$$\sum_{f \in H_2(q)} \omega_f S(t, f)^n = C_n (\log \log q)^{n/2} + O_{t,n}((\log \log q)^{(n-1)/2})$$
여기서 $C_n$은 $n$이 짝수일 때 $n! / ((n/2)! (2\pi)^n)$이고, 홀수일 때 0 입니다.

• 의미: 이는 $S(t, f)$가 평균적으로 $\sqrt{\log \log q}$의 크기를 가짐을 의미하며, 셀버그의 결과를 수준 측면으로 확장한 무조건적 결과입니다.

주요 정리 2: 가중 중심극한정리 (Theorem 1.2)

확률 측도 $\mu_q$를 $S(t, f) / \sqrt{\log \log q}$의 분포로 정의할 때, $q \to \infty$일 때 이 분포는 평균 0, 분산 $(2\pi^2)^{-1}$인 **가우스 분포 (정규분포)**로 수렴합니다.
$$\lim_{q \to \infty} \mu_q([a, b]) = \sqrt{\pi} \int_a^b \exp(-\pi^2 \xi^2) d\xi$$

• 의미: L-함수의 위상 변화량이 무작위적 성질을 가지며, 정규화되면 정규분포를 따르는 것을 수학적으로 엄밀하게 증명했습니다.

기술적 기여

• GRH 제거: 기존에 GRH 하에서만 증명되었던 고차 모멘트 결과를, 제로 밀도 추정을 사용하여 GRH 없이 증명했습니다.
• 정밀한 근사: $S(t, f)$를 절단된 디리클레 급수로 근사할 때 발생하는 오차항을 정밀하게 통제하는 새로운 기법을 제시했습니다.

---

4. 의의 (Significance)

1. 셀버그 이론의 확장: 셀버그의 고전적인 결과를 GL(2) 군의 **수준 측면 (level aspect)**으로 성공적으로 확장하여, L-함수 이론의 보편성을 입증했습니다.
2. 가설 없는 증명: 일반화 된 리만 가설 (GRH) 에 의존하지 않는 무조건적 (unconditional) 증명을 제공함으로써, 수론적 결과의 견고성을 높였습니다.
3. 통계적 성질 규명: L-함수의 위상 (argument) 이 가우스 분포를 따른다는 사실은, L-함수의 영점 분포와 깊은 관련이 있으며, 랜덤 행렬 이론 (Random Matrix Theory) 과의 연결 고리를 제공합니다.
4. 기법적 발전: 가중 제로 밀도 추정과 모멘트 방법을 결합한 새로운 분석 기법은 향후 더 높은 순위 (higher rank) 의 L-함수나 다른 수학적 구조에 적용될 수 있는 중요한 도구가 될 것입니다.

---

결론

이 논문은 정칙 헤케 극형식에 대응하는 L-함수의 위상 변화량 $S(t, f)$에 대해, 셀버그의 고전적 결과를 수준 측면에서 무조건적으로 일반화했습니다. 이를 통해 $S(t, f)$의 모멘트 행동을 규명하고, 정규화된 변수가 가우스 분포로 수렴함을 증명함으로써, L-함수 이론과 확률론적 수론 간의 중요한 연결을 강화했습니다.