[논문 리뷰] Sharp conditional bounds for moments of the Riemann zeta function

Adam J. Harper|arXiv (Cornell University)|2013. 05. 20.

Analytic Number Theory Research참고 문헌 14인용 수 55

한 줄 요약

이 논문은 리만 가설을 전제로 하여 임계선 상에서 리만 제타 함수의 모멘트에 대한 날카운 조건부 상계를 확립한다. 고정된 $k \geq 0$ 및 큰 $T$ 에 대해 $\int_T^{2T} |\zeta(1/2 + it)|^{2k} dt \ll_k T \log^{k^2} T$ 를 증명한다. 이 방법은 사운다라자얀의 접근을 확장하여 $\log|\zeta(1/2 + it)|$ 를 이진 간격 위의 딜리클레 다항식 합으로 분해하고, 그들의 공동 행동을 분석함으로써 최적의 로그 지수를 달성한다.

ABSTRACT

We prove, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k} T log^{k^{2}} T for any fixed k \geq 0 and all large T. This is sharp up to the value of the implicit constant. Our proof builds on well known work of Soundararajan, who showed, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k,ε} T log^{k^{2}+ε} T for any fixed k \geq 0 and ε> 0. Whereas Soundararajan bounded \log|ζ(1/2+it)| by a single Dirichlet polynomial, and investigated how often it attains large values, we bound \log|ζ(1/2+it)| by a sum of many Dirichlet polynomials and investigate the joint behaviour of all of them. We also work directly with moments throughout, rather than passing through estimates for large values.

연구 동기 및 목표

• 임계선 상에서 리만 제타 함수의 $2k$-번째 모멘트에 대한 날카운 상계를 리만 가설 조건 하에 확립하는 것.
• 사운다라자얀의 조건부 상계에서 로그 지수에 $\epsilon$ 손실이 있었던 것을 개선하여 $\epsilon$ 를 제거하고 최적의 지수 $k^2$ 를 달성하는 것.
• 제타 함수의 로그 크기를 추정하는 방법을 개선하기 위해, 단일 다항식에 의존하는 대신 이진 간격 위의 다항식 합으로 $\log|\zeta(1/2 + it)|$ 를 분해하는 것.
• 제타 함수의 로그 기여를 나타내는 다수의 딜리클레 다항식의 공동 행동을 분석함으로써 더 날카운 모멘트 추정을 가능하게 하는 것.
• 기대되는 무조건적 하한값과 일치하는 결과를 도출함으로써, 상수의 암묵적 인자 이외에는 날카운 상계임을 확인하는 것.

제안 방법

• 이진 간격 $[x_{i-1}, x_i]$ 에서 소수의 기여를 반영하는 각각의 딜리클레 다항식의 실수부로 $\log|\zeta(1/2 + it)|$ 를 분해한다.
• 각 간격이 독립적이고 평균이 0인 성분을 갖는 다수준 분해를 사용하며, 각 간격은 $\Re \sum_{x_{i-1} < p \leq x_i} \frac{1}{p^{1/2 + it}}$ 의 형태의 딜리클레 다항식을 기여한다.
• 이 다항식들의 공동 분포에 대해 모멘트 추정을 적용하며, 이들의 분산이 약 $\sim \frac{1}{2} \log \log(x_i/x_{i-1})$ 와 유사한 가우시안 랜덤 변수처럼 취급한다.
• 비자명한 제타 함수의 영점 기여를 제어하기 위해, 이들이 부정적인 영향을 미친다는 점을 이용하여 상계를 구할 때 다항식 부분에 집중할 수 있도록 한다.
• 오차 항을 관리하기 위해 길이 매개변수 $\beta_{\mathcal{I}} \asymp e^{-1000k}$ 를 갖는 딜리클레 다항식의 잘린 형태를 사용하지만, 이는 상수의 날카움을 제한한다.
• 사운다라자얀의 접근 방식에서 큰 값 추정에 의존하는 대신, 다항식의 고모멘트 추정을 직접 적용하는 방식의 모멘트 방법 변형을 적용한다.

실험 결과

연구 질문

• RQ1 리만 가설 하에서 $|\zeta(1/2 + it)|^{2k}$ 의 조건부 모멘트 상계에서 로그 지수를 $k^2 + \epsilon$ 에서 $k^2$ 으로 개선할 수 있는가?
• RQ2 다양한 이진 간격의 딜리클레 다항식 성분들의 공동 행동은 $|\zeta(1/2 + it)|$ 의 로그 크기를 얼마나 잘 모델링할 수 있는가?
• RQ3 분해와 모멘트 분석를 정교화함으로써 $\epsilon$ 손실 없이도 $\log^{k^2} T$ 성장률을 달성할 수 있는가?
• RQ4 딜리클레 다항식의 길이 선택은 최종 상계의 암묵적 상수에 어떤 영향을 미치며, 이를 최적화하여 추측 모델과 일치시킬 수 있는가?
• RQ5 영점 기여를 忽略하는 무작위 오일러乘수 모델은 모멘트 상수의 점근적 크기 주기를 정확히 예측할 수 있는가?

주요 결과

• 논문은 리만 가설을 전제로 하여 모든 고정된 $k \geq 0$ 와 큰 $T$ 에 대해 $\int_T^{2T} |\zeta(1/2 + it)|^{2k} dt \ll_k T \log^{k^2} T$ 를 증명한다.
• 이 상계는 암묵적 상수 이외에는 날카롭다. $k \geq 1$ 에 대해서는 무조건적 하한값이 알려져 있고, $k \geq 0$ 에 대해서는 조건부 하한값이 존재한다.
• 사운다라자얀의 $\ll_{k,\epsilon} T \log^{k^2 + \epsilon} T$ 에 비해, $\log|\zeta(1/2 + it)|$ 를 다수의 딜리클레 다항식으로 분해하고 그들의 공동 행동을 분석함으로써 개선이 이루어졌다.
• 큰 값 추정을 거쳐가는 것을 피하고 직접 모멘트 적분에 집중함으로써 더 엄밀한 통제를 확보하였다.
• 암묵적 상수는 다항식 길이를 보수적으로 선택함($\beta_{\mathcal{I}} \asymp e^{-1000k}$)하여 최적화되지 않았으며, 이는 작은 소수의 기여를 완전히 반영하지 못하게 한다.
• 무작위 모델 힌트에 따르면 최적의 상수는 $e^{-k^2 \log k + O(k^2)}$ 여야 하며, 이는 무작위 행렬 이론의 예측과 일치하지만, 더 긴 딜리클레 다항식을 다루지 못하면 엄밀한 증명은 불가능하다.