[논문 리뷰] Moments of the Riemann zeta-function

K. Soundararajan|ArXiv.org|2006. 12. 04.

Analytic Number Theory Research참고 문헌 16인용 수 11

한 줄 요약

이 논문은 리만 가설 하에서 리만 제타함수의 임계선 위에서 모멘트에 대한 거의 날카로운 상계를 확립한다. 이는 |ζ(1/2 + it)|의 큰 값의 분포에 대한 새로운 분석을 통해 이루어지며, M_k(T) ≪_{k,ε} T(log T)^{k²+ε}로 나타나는 거의 추측된 순서와 일치함을 보여준다. 또한 큰 값이 발생하는 빈도는 랜덤 매트릭스 이론의 히وري스틱과 일치하는 가우시안 尾 확률 추정과 일치함을 입증한다.

ABSTRACT

Assuming the Riemann Hypothesis we obtain an upper bound for the moments of the Riemann zeta-function on the critical line. Our bound is nearly as sharp as the conjectured asymptotic formulae for these moments. The method extends to moments in families of $L$-functions.

연구 동기 및 목표

• 리만 가설 하에서 임계선 위에서 리만 제타함수의 2k차 모멘트 M_k(T) = ∫₀ᵀ |ζ(1/2 + it)|^{2k} dt에 대해 거의 날카로운 상계를 확립하는 것.
• |ζ(1/2 + it)|가 (log T)^k 정도의 크기를 갖는 경우의 빈도를 분석하고, 이와 M_k(T)의 渐近적 행동을 연관짓는 것.
• 셀버그의 고전적 결과인 log|ζ(1/2 + it)|의 분포를 더 큰 이격에까지 확장하여, 제타함수가 큰 값을 갖는 집합의 측도에 대한 정밀한 추정을 제공하는 것.
• 모멘트 M_k(T)의 주요 기여가 |ζ(1/2 + it)| ≈ (log T)^k 인 t 값들에서 비롯되며, 이러한 집합의 측도가 약 ≈ T / (log T)^{k²} 임을 보여주는 것.

제안 방법

• 적분 by parts를 이용해 M_k(T)와 관련된 집합 S(T,V) = {t ∈ [T,2T] : log|ζ(1/2 + it)| ≥ V}의 측도를 분석하는 데 기반한다.
• 핵심적 혁신은 임계선 근처의 제로 존재가 log ζ의 실수부를 복잡하게 만들지만, 이는 |ζ|의 상계를 더욱 강력하게 만드는 데 유리하다는 점을 인식하는 데 있다.
• 리만 가설과 제로 밀도 추정을 활용하여 log|ζ(1/2 + it)|를 근사하기 위해 소수와 소수 거듭제곱에 대한 스무딩 합을 사용한다.
• V의 크기에 따라 범위를 나누어 분석한다: 작음 (V ≲ √log log T), 중간 (V ≲ log log T), 큼 (V ≳ (log log T) log₃ T), 각각에 대해 다른 추정이 필요하다.
• 중간 V에 대해서는 가우시안 유사 尾 추정을 확립한다: meas(S(T,V)) ≪ T (V / √log log T) exp(–V² / (log log T)(1 – 4/log₃ T)), 리틀우드의 추정을 향상시킨다.
• 큰 V에 대해서는 하위가우시안 추정을 유도한다: meas(S(T,V)) ≪ T exp(–V log V / 33), 리틀우드의 고전적 추정과 형태가 일치한다.

실험 결과

연구 질문

• RQ1 리만 가설을 전제로 할 때, 임계선 위에서 리만 제타함수의 2k차 모멘트 M_k(T)에 대해 가능한 가장 좋은 상계는 무엇인가?
• RQ2 |ζ(1/2 + it)|가 (log T)^k 정도의 크기를 갖는 경우는 얼마나 자주 발생하며, [0,T] 내에서 이러한 t의 측도는 얼마인가?
• RQ3 셀버그의 log|ζ(1/2 + it)|에 대한 가우시안 분포 결과를 √log log T보다 훨씬 큰 이격 V ≫ √log log T까지 확장할 수 있으며, 만약 가능하면 꼬리 추정의 형태는 어떠한가?
• RQ4 모멘트 M_k(T)가 |ζ(1/2 + it)| ≈ (log T)^k 인 t 값들의 기여를 얼마나 잘 반영하는가? 이는 랜덤 매트릭스 이론의 예측과 일치하는가?
• RQ5 임계선 근처의 제로 존재가 |ζ(1/2 + it)|의 상계에 어떤 영향을 미치며, 이를 어떻게 유리하게 활용할 수 있는가?

주요 결과

• 리만 가설 하에서 2k차 모멘트는 M_k(T) ≪_{k,ε} T(log T)^{k²+ε}를 만족하며, 이는 추측된 순서 T(log T)^{k²}에 거의 근접한다.
• T ∈ [0,T]에서 |ζ(1/2 + it)| ≥ (log T)^k 인 t의 집합의 측도는 T(log T)^{-k² + o(1)}이며, 이러한 값들이 모멘트를 지배함을 확인한다.
• 10√log log T ≤ V ≤ log log T 범위의 V에 대해, log|ζ(1/2 + it)| ≥ V 인 t의 측도는 T (V / √log log T) exp(–V² / (log log T)(1 – 4/log₃ T)) 이하로 유계이다.
• 더 큰 V, 특히 V > (1/2)(log log T) log₃ T 인 경우, 측도는 T exp(–V log V / 33) 이하로 유계이며, 리틀우드의 고전적 추정과 형태가 일치한다.
• 분석 결과, M_k(T)에 대한 주요 기여는 |ζ(1/2 + it)| ≈ (log T)^k 인 t 값들에서 비롯되며, 이러한 t는 약 ≈ T / (log T)^{k²} 의 측도를 가진다.
• 결과들은 log|ζ(1/2 + it)|의 분포가 √log log T 범위를 넘어서도 (1/2)log log T 의 분산을 가진 가우시안과 유사하게 행동하며, 로그 인자까지 고려할 경우 여전히 성립함을 지지한다.