Negative discrete second moments of Dirichlet $L$-functions

기술 요약: 디리클레 L-함수의 음의 이산 이차 모멘트

문제 정의
본 논문은 비자명한 영점 $\rho = \frac{1}{2} + i\gamma$에 대한 두 가지 특정 디리클레 $L$-함수 $L(s, \chi)$의 이산 이차 모멘트에 대한 하한을 조사한다. 본 연구는 특히 $q$가 영점의 높이 $T$와 함께 성장하는 영역에서, 도체(conductor) $q$에 대한 이러한 하한의 균등성(uniformity)에 초점을 맞춘다. 분석된 두 모멘트는 다음과 같다:

1. 역수 모멘트(Reciprocal Moment): $\sum_{0<\gamma \le T} |L'(\rho, \chi)|^{-2}$.
2. 비율 모멘트(Ratio Moment): $\sum_{0<\gamma \le T} \left| \frac{L(2\rho, \chi^2)}{L'(\rho, \chi)} \right|^2$.

이 양들은 Gonek, Milinovich, Ng, Sinha에 의해 리만 제타-함수($q=1$)에 대해 이미 확립된 추측 및 정리들을 일반화한 것이다. 핵심 과제는 $q$가 큰 경우 발생하는 "도체 결손(conductor deficit)"을 식별함으로써, $q$가 $T$에 비해 커질 때 이 합들의 크기에 $q$가 어떻게 영향을 미치는지 결정하는 것이다.

방법론
저자는 밀리피케이션(mollification) 기법을 사용하며, Milinovich와 Ng의 전략(그 자체로 Rudnick와 Soundararajan의 연구에 기초함)을 응용한다. 핵심 접근 방식은 다음과 같다:

• 몰리파이어(Mollifiers): 모멘트의 역수에 근사하기 위해 두 개의 서로 다른 디리클레 다항식이 구성된다.
  • 역수 모멘트를 위해, $1/L(s, \chi)$의 디리클레 급수에 대응하는 뫼비우스 꼬임 다항식 $L_\psi(s) = \sum_{n \le \xi} \mu(n)\psi(n)P_n n^{-s}$가 사용된다.
  • 비율 모멘트를 위해, $L(2s, \chi^2)/L(s, \chi)$의 급수에 대응하는 리우빌 꼬임 다항식 $\tilde{L}_\psi(s) = \sum_{n \le \xi} \lambda(n)\psi(n)P_n n^{-s}$가 사용된다.
  • 여기서 $\xi = T^\vartheta$는 몰리파이어 길이이며, $P(x)$는 $P(0)=0, P(1)=1$을 만족하는 다항식이다.
• 코시-슈바르츠 부등식(Cauchy-Schwarz Inequality): $\sum \frac{1}{L'(\rho, \chi)} L_\chi(\rho)$ (및 비율 대응 형태)와 같은 형태의 합들에 코시-슈바르츠 부등식을 적용하여 모멘트의 하한을 구한다. 이는 문제를 몰리파이드된 함수들의 제1 모멘트($M_1$)와 제2 모멘트($M_2$)를 영점에 대해 추정하는 문제로 환원시킨다.
• 경로 적분(Contour Integration): 직사각형 경로에 대한 유수 정리(residue theorem)를 사용하여 $M_1$과 $M_2$를 계산한다. 수직 가장자리에서의 적분은 주항(main terms)을 산출하며, 수평 가장자지는 $L$-함수의 크기 추정치를 사용하여 유계(bounded)로 처리된다.
• 균등성(Uniformity): $q$에 대한 균등성을 유지하는 것이 중요한 기술적 요소이다. 이를 위해서는 산술적 인자들( $\phi(q)$ 및 $A_q$를 포함하는)과 디리클레 다항식의 평균값 정리에서의 오차항을 주의 깊게 다루어야 한다. 전제 조건으로 일반화된 리만 가설(GRH)과 영점의 단순성(simplicity of zeros)이 가정된다.

주요 결과
본 논문은 $\beta = \frac{\log T}{\log qT}$에 의존하는 두 모멘트에 대한 하한을 확립한다.

• 정리 5 (역수 모멘트): GRH와 단순 영점을 가정할 때, $3 \le q \le T^A$에 대하여, 이 합은 다음으로 하한이 주어진다:
  $$(1-\varepsilon) \frac{A_q}{2\pi} \frac{\beta}{1+\beta} T$$
  여기서 $A_q = \frac{6}{\pi^2} \prod_{p|q} \frac{p}{p+1}$이다.

• 정리 6 (비율 모멘트): $L(s, \chi)$에 대한 GRH(및 단순 영점)를 가정할 때, $3 \le q \le T^{1-\delta}$에 대하여, 이 합은 다음으로 하한이 주어진다:
  $$(1-\varepsilon) \frac{\phi(q)}{q} \frac{1}{2\pi} \frac{\beta}{1+\beta} T$$
  $q \le T^{1-\delta}$라는 제한은 분자에 나타나는 $\chi^2$에 대해 GRH를 가정하지 않았기 때문에 발생한다. 만약 $\chi^2$에 대해 GRH를 가정한다면 범위를 $q \le T^A$까지 확장할 수 있다.

• 점근적 거동(Asymptotic Behavior):

  • 작은 도체: $\log q = o(\log T)$인 경우(예: 고정된 $q$), $\beta \to 1$이 된다. 이 경계값들은 추측된 점근적 크기의 절반을 회복한다(Milinovich-Ng 및 Sinha의 $q=1$ 결과와 일치함).
  • 거듭제곱 도체: $q = T^A$인 경우, $\beta = \frac{1}{1+A}$이며, 포착된 비율은 $\frac{1}{2+A}$가 된다. 예를 들어, $A=1$일 때, 하한은 추측된 크기의 $1/3$이다.

• 고차 모멘트: 횔더 부등식(Hölder's inequality)을 적용하여, 저자는 코롤러리 11과 12에서 고차 모멘트($2k$)에 대한 하한을 도출한다. 이 하한들은 $T/(\log qT)^{k-1}$의 차수를 가지며, 이는 $k>1$인 경우 추측된 크기보다 현저히 작지만, 본 논문은 날카로움(sharpness)보다는 $q$에 대한 균등성을 강조한다.

추측 및 의의
본 논문은 도출된 하한이 실제 점근적 값의 정확한 비율인 $\frac{\beta}{1+\beta}$를 포착한다고 상정한다.

• 추측 7 및 8: 저자는 실제 점근적 값이 $q \le T^A$에 대해 균등하게 $\frac{A_q}{2\pi}T$ 및 $\frac{\phi(q)}{q}\frac{T}{2\pi}$라고 추측한다.
• 결손의 원인: 저자는 $\frac{\beta}{1+\beta}$라는 인자가 수치적 우연이 아니라 대각 코시-슈바르츠 구성(diagonal Cauchy-Schwarz construction)의 구조적 특징이라고 주장한다. 디리클레 다항식의 평균값 정리는 몰리파이어 길이 $\xi$를 $q$와 무관하게 $T^{1-\varepsilon}$로 제한한다. 반면 영점 밀도는 $\log qT$와 함께 증가한다. "결손"은 $u = \beta$에서의 함수 값 $u/(1+u)$를 극한값 $u \to \infty$로 나눈 비율이다.
• 가족 평균(Family Averages): 저자는 원시 문자의 가족(family of primitive characters)에 대해 평균을 내는 것(추측 9 및 10)이 더 긴 몰리파이어(최대 $(qT)^{1-\varepsilon}$)를 허용하여, 거듭제곱 도체 영역에서 포착된 비율을 $\frac{1}{2+A}$에서 $\frac{1}{2}$로 개선할 수 있을 것이라고 시사한다. 그러나 본 논문은 이를 증명하지 않으며, 이를 위해서는 새로운 균등한 명시적 공식(uniform explicit formulae)이 필요하다고 언급한다.

결론
본 논문은 넓은 범위의 도체에 걸쳐 디리클레 $L$-함수의 음의 이산 모멘트에 대한 최초의 균등한 하한을 제공한다. 본 연구는 알려진 $q=1$ 결과를 성공적으로 일반화하며, 도체가 커짐에 따라 이 하한들이 어떻게 저하되는지를 정량화한다. 또한 현재의 몰리피케이션 방법이 도체 측면에 대해 갖는 특정한 구조적 한계를 식별하고, 실제 점근적 거동에 대한 정밀한 추측을 제시함으로써, "도체 결손"을 극복하기 위한 가족 평균 기법에 대한 추가 연구를 유도한다.