Simultaneous non-vanishing of Dirichlet $L$--functions, II: Weighted central limit theorem

기술 요약: 디리클레 L-함수의 동시 비소멸성, II: 가중 중심 극한 정리

문제 정의
본 논문은 디리클레 L-함수의 중심값, 구체적으로 $L(1/2, \chi\chi_j)$ ($j=1, \dots, 4$)의 동시 비소멸성을 다룬다. 여기서 $\chi$는 큰 소수 $q$에 대한 원시 문자로 변하며, $\chi_j$는 서로 소인 정수 $D_j$를 법으로 하는 고정된 원시 문자들이다. 이전 연구들은 (하나, 둘, 또는 세 개의 트위스트에 대해) 양의 비율의 문자가 비소멸하는 중심값을 가짐을 입증하였고(예: $1/\log q$보다 큰 값), 본 연구는 더 강력한 동시 성장 결과를 입증하고자 한다. 구체적으로, 저자들은 일반화된 리만 가설(GRH) 하에서 네 개의 $j$ 모두에 대해 $|L(1/2, \chi\chi_j)| \gg \exp(c\sqrt{\log \log q})$를 만족하는 문자의 양의 비율이 존재함을 증명하고자 한다.

방법론
저자들은 네 가지 L-값의 결합 분포에 대한 **가중 중심 극한 정리(weighted central limit theorem, CLT)**를 중심으로 하는 확률론적 접근 방식을 채택한다. 이 방법론은 [3] (Bui, Evans, Lester, and Pratt) 및 [4] (Bui, Florea, and Milinovich)에서 도입된 기법들을 기반으로 한다.

1. 가중 측도(Weighted Measure): 중심값이 소멸할 수 있는 장애물(이로 인해 $\log |L(1/2, \chi)|$가 정의되지 않음)을 우회하기 위해, 저자들은 가중 측도 $\mu_F$를 정의한다. 가중 함수 $F(\chi)$는 L-함수의 극단적인 값들을 완화하는 몰리파이어(mollifier) $M(1/2, \chi)$를 사용하여 구성된다. 구체적으로, $F(\chi)$는 네 개의 중심값 중 어느 하나라도 소멸하면 0이 되도록 선택되지만, "전형적인" 문자들에 대해서는 1에 근사하도록 설계되었다.
   $$F(\chi) = \prod_{j=1}^4 L(1/2, \chi\chi_j) M(1/2, \chi\chi_j)$$
   여기서 몰리파이어는 L-함수의 역수를 근사하도록 설계된 짧은 디리클레 다항식이다.

2. 무작위 모델 축소(Random Model Reduction): 핵심적인 기술적 단계는 가중된 L-값들의 모멘트 계산을 무작위 모델로 축소하는 것이다. $X(p)$를 단위 원 위에 균등하게 분포된 독립적인 무작위 변수라고 하자. 저자들은 L-함수를 모사하는 무작위 변수 $L(s, X)$와 그에 대응하는 무작위 몰리파이어 $M(X)$를 정의한다. 저자들은 캐릭터 집합에 대한 가중 합의 특성 함수가 대응하는 무작위 모델의 기댓값과 점근적으로 동등함을 증명한다 (정리 3.4).

3. 트위스트된 1차 모멘트(Twisted First Moments): 본 연구의 중요한 입력값은 [4]에서 확립된 네 개 L-함수 곱의 트위스트된 1차 모멘트의 점근적 평가이다. 이를 통해 저자들은 몰리파이어된 L-값들의 모멘트를 계산할 수 있다. 증명은 네 가지 트위스트 사이의 교차 상관관계를 처리하기 위해 무작위 모델에서의 "스왑(swap)" 구조에 의존한다. 모듈러스가 $q$와 함께 성장하는 두 차원 결과에서는 디코릴레이션(decorrelation)이 고정된 랭킨-셀베르그(Rankin–Selberg) L-함수에 의해 지배되었던 것과 달리, 4차원 사례에서는 $\sum \chi_j(p)\chi_k(p)/p$ 형태의 교차 상관관계를 제어해야 하며, 이때 모듈러스가 성장함에 따라 제어 방식이 달라진다.

4. 해석적 연속 및 경로 이동(Analytic Continuation and Contour Shifting): 저자들은 생성 함수 $E[L(1/2+s, X)M(X) \exp(i \sum u_j P_{\chi_j}(X))]$를 분석한다. 적분 경로를 이동시키고, Soundararajan, Harper, 그리고 Lester–Radziwiłł의 아이디어로부터 유도된 높은 차수의 몰리파이어된 모멘트에 대한 경계 조건을 활용하여, $s=0$에서의 극(pole)의 기여를 분리하고 오차 항을 제한한다.

주요 기여 및 결과

• 정리 1.1 (가중 중심 극한 정리): GRH를 가정하고 $D^{272} \ll q^{11/16 - 1/2000}$ 조건 하에서, 정규화된 네 중심값의 로그의 결합 분포는 네 개의 독립적인 표준 가우시안 분포의 곱으로 수렴한다. 구체적으로, 구간 $U_j \subset \mathbb{R}$에 대하여:
  $$\mu_F \left\{ \chi : \frac{\log |L(1/2, \chi\chi_j)|}{\sqrt{\frac{1}{2}\log \log q}} \in U_j, \forall j \right\} = \frac{1}{4\pi^2} \int_{U_1 \times \dots \times U_4} e^{-\sum x_j^2/2} d\mathbf{x} + O_\epsilon((\log \log q)^{-1/2+\epsilon})$$
  이는 가중 측도 하에서 네 개의 정규화된 값들이 점근적으로 독립적인 표준 가우시안임을 입증한다.

• 따름정리 1.2 (동시 성장 및 비소멸성): 정리 1.1의 직접적인 응용으로서, 저자들은 임의의 고정된 $c > 0$에 대하여 다음을 증명한다:

  1. 모든 $j=1, \dots, 4$에 대해 $|L(1/2, \chi\chi_j)| > \exp(c\sqrt{\log \log q})$를 만족하는 $\chi \pmod q$의 양의 비율이 존재한다.
  2. 모든 $j=1, \dots, 4$에 대해 $0 < |L(1/2, \chi\chi_j)| < \exp(-c\sqrt{\log \log q})$를 만족하는 $\chi \pmod q$의 양의 비율이 존재한다.

의의 및 주장
본 논문은 $\exp(c\sqrt{\log \log q})$ 차원의 동시 성장을 확립함으로써 이전의 하한값(예: [20]의 $1/\log q$ 경계)을 크게 뛰어넘는다고 주장한다. 저자들은 이러한 결과가 가중 중심 극한 정리에 의해 제공되는 양방향 제어(two-sided control) 덕분에 가능하다는 점을 강조한다. 기존의 일방향 중심 극한 정리(예: Hough [8])는 분포에 대한 상한 또는 하한만을 제공했을 뿐, 여러 트위스트에 대해 동시에 큰 값을 보장하기에는 불충분했다.

본 연구는 두 가지 특정 기술적 발전을 강조한다:

1. 디코릴레이션 메커니즘: 네 가지 트위스트의 디코릴레이션은 성장하는 컨덕터($D_j D_k$)를 가진 디리클레 문자에 의해 지배되며, 이는 고정된 형태의 설정에서 보이는 $O(1)$ 감소가 아니라 $\log \log \log q$로 감소하는 교차 상관관계에 대한 균등한 제어를 요구한다.
2. 차원성: 본 증명은 진정한 4차원 결합 가우시안성을 확립한다. 이는 단순히 쌍별 상관관계가 사라지는 것을 넘어, 무작위 모델의 완전한 6개 항 "스왑" 구조가 올바르게 상쇄되어야 함을 요구하는 더 강력한 구조적 사실이다.

저자들은 이 결과가 L-함수에 필요한 경계 조건을 확보하고 해석적 연속 논법을 용이하게 하기 위해 GRH에 의존한다는 점을 명시한다. 본 논문은 GRH 가정을 제거하는 것을 목표로 하지 않으며, 점근적 분포과 그에 따른 비소멸 비율을 확립하기 위해 이를 활용한다.