Almost primes in short intervals and averages of long Dirichlet polynomial approximations to $(\zeta'/\zeta)^{k}$

기술 요약: 짧은 구간에서의 거의 소수(Almost Primes)와 $(\zeta'/\zeta)^k$에 대한 긴 디리클레 다항식 근사의 평균

문제 정의
본 논문은 임계선(critical line) 상에서 $(\zeta'/\zeta)^k$의 디리클레 급수의 긴 절단(long truncations)에 대한 평균 제곱의 점근적 거동을 조사한다. 저자들은 이 해석적 문제와 정수 위에서의 합성 폰 망골트 함수(convoluted von Mangoldt function) $\Lambda^{*k}$ (여기서 $\Lambda^{*k} = \Lambda * \cdots * \Lambda$, $k$ 번 합성)의 짧은 구간 분산 사이의 엄밀한 연결을 확립하고자 한다. 구체적으로, 본 연구는 다음 항목들에 대한 주 계수(leading coefficients)를 결정하는 것을 목표로 한다:

1. $(\zeta'/\zeta)^k$를 근사하는 긴 디리클레 다항식의 평균 제곱.
2. 짧은 구간($H = X^{1-1/\alpha}$)에서의 $\Lambda^{*k}$ 합의 분산.
3. 산술 급수(arithmetic progressions)에서의 $\Lambda^{*k}$ 합의 분산.

이러한 문제들은 무작위 행렬 이론(Random Matrix Theory, RMT)을 사용하여 분석된 함수체(function-field) 유사 모델로부터 동기를 얻었다. 해당 모델에서 유사한 분산 문제는 유니타리 행렬 적분과 대응된다.

방법론
저자들은 해석적 정수론 기법과 RMT에서 도출된 추측들을 결합하여 사용한다:

• 이동 모멘트에 관한 추측 (Conjectures on Shifted Moments): 분석은 추측 1(리만 제타 함수에 대해)과 추측 2(디리클레 $L$-함수에 대해)에 의존한다. 이 추측들은 유니타리 행렬의 특성 다항식(characteristic polynomials)을 포함하는 다중 경로 적분으로 표현되는, 로그 미분의 이동 모멘트에 대한 정밀한 점근 공식들을 제공한다.
• 페론 공식(Perron's Formula) 및 경로 이동: 저자들은 산술 함수의 합을 디리클레 급수의 적분과 연결하기 위해 절단된 페론 공식을 사용한다. 이들은 리만 가설(RH) 및 일반화된 리만 가설(GRH)을 가정하여, 잔차 항(주요 기여분)을 격리하고 $\zeta(s)$ 및 $L(s, \chi)$의 영점들로부터 발생하는 오차 항을 제한하기 위해 경로를 신중하게 이동시킨다.
• 무작위 행렬 이론 유사성 (Random Matrix Theory Analogues): 본 논문은 유니타리 군 $U(N)$ 위의 특성 다항식의 로그 미분의 평균에 관한 알려진 RMT 결과들을 활용한다. 구체적으로, 트레이스 합(trace sum)의 분산을 전체 트레이스 차수와 행렬 크기의 비율인 $c$에 대한 유니타리 행렬 적분 $\delta_k(c)$와 연결한다.
• 경로 적분 분해 (Contour Integral Decomposition): 기술적인 작업의 상당 부분은 복잡한 다중 경로 적분(모멘트 추측에서 발생하는)을 특정 극(pole) 구성들에 대한 합으로 분해하는 데 할애된다. 르마(Lemma) 2.6, 2.7, 2.8은 이러한 적분을 대칭화, 비대칭화 및 경계 지어 주 계수 항들을 격리하는 데 사용된다.

주요 기여 및 결과

1. 모멘트와 분산 사이의 미분 관계:
   핵심 결과는 $\Lambda^{*k}$의 짧은 구간 분산의 주 계수가 그에 대응하는 긴 디리클레 다항식의 평균 제곱의 주 계수의 미분이라는 사실을 증명하는 것이다.

   • $N = T^\alpha$인 절단된 $(\zeta'/\zeta)^k$ 급수의 평균 제곱에 대한 주 계수를 $M_k(\alpha)$라고 하자.
   • $H = X^{1-1/\alpha}$인 구간에서의 $\Lambda^{*k}$의 짧은 구간 분산을 위한 주 계수를 $D_k(\alpha)$라고 하자.
   • 추측 1과 RH 하에서, 저자들은 $D_k(\alpha) = M_k'(\alpha)$임을 증명한다. 이는 Bettin과 Conrey가 확립한 약수 함수 $d_k(n)$에 대한 기존 결과와 일치한다.

2. 다항식 $P_{r,k}(\alpha)$를 통한 명시적 공식:
   저자들은 $M_k(\alpha)$의 명시적인 조각별 다항식 형태를 도출한다 (정리 2.2 및 정리 2.5):
   $$M_k(\alpha) = \frac{1}{k!^2} \sum_{0 \le r < \alpha} \binom{k}{r}^2 P_{r,k}(\alpha)$$
   여기서 $P_{r,k}(\alpha)$는 $2k$-중 경로 적분을 통해 정의된다. 결과적으로, 분산 계수는 다음과 같이 주어진다:
   $$D_k(\alpha) = \delta_k(\alpha) = \frac{1}{k!^2} \sum_{0 \le r < \alpha} \binom{k}{r}^2 P'_{r,k}(\alpha)$$
   함수 $M_k(\alpha)$는 정수 값 $\alpha = r$에서 $2r^2 - 1$번 연속 미분 가능함이 밝혀졌다.

3. 산술 급수:
   GRH와 추측 2 하에서, 본 논문은 $\Lambda^{*k}$의 산술 급수에서의 분산에 대한 주 계수 $Q_k(\alpha)$가 짧은 구간 분산 계수와 동일함을 확립한다:
   $$Q_k(\alpha) = \delta_k(\alpha)$$
   이 결과는 명시된 추측 하에서 $k \ge 4$에 대해 성립하며, 더 강력한 오차 감소가 가정될 경우 $k=1, 2, 3$으로 확장될 가능성이 있다.

4. 함수체 대응성:
   본 논문은 정수 통계량에 대해 예측된 주 계수들을 함수체 모델(구체적으로 Kuperberg와 Lalín의 연구)에서 도출된 유니타리 트레이스 합 평균 $\delta_k(c)$와 일치함을 보여줌으로써 이를 회복한다. 이는 "유니타리 트레이스 합 평균"이 $\mathbb{F}_q[T]$ 상의 단항식(monic polynomials)에 대한 $\Lambda^{*k}$ 합의 분산을 지배하며, 추측 하에서는 정수 상에서도 마찬가지임을 확인시켜 준다.

의의 및 주장
본 논문은 $L$-함수의 로그 미분의 모멘트와 짧은 구간 및 산술 급수에서의 거의 소수 통계의 분산을 연결하는 통합된 프레임워크를 제공한다고 주장한다.

• 이는 $\Lambda^{*k}$의 합의 분산이 $(\zeta'/\zeta)^k$의 계수들의 평균 제곱 모멘트의 미분에 의해 지배된다는 휴리스틱을 검증하며, 약수 합에 관한 기존 연구를 확장한다.
• 또한, 주 계수들을 RMT 적분으로부터 도출된 조각별 다항식으로 명시적으로 식별함으로써, $k \ge 2$인 경우에 대해 기존 문헌에서 결여되었던 명시적 기술을 채운다.
• 이 연구는 유한-$N$ 모멘트에서의 "스왑(swap)" 기여(향후 연구 [2]에서 다룸)와 $L$-함수 모멘트 및 산술 분산 사이의 가교 역할을 한다.

저자들은 자신의 결과가 리만 가설(RH), 일반화된 리만 가설(GRH), 그리고 RMT에 의해 동기 부여되었으나 아직 증명되지 않은 이동 모멘트 추측들(추측 1 및 2)에 조건부임을 유지한다. 본 논문은 이러한 추측들을 증명하는 것이 아니라, 그것들을 가정했을 때의 결과를 보여주는 데 목적이 있다.