[論文レビュー] Moments of the Riemann zeta-function

K. Soundararajan|ArXiv.org|Dec 4, 2006

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²} にほぼ一致する。
• |ζ(1/2 + it)| ≥ (log T)^k を満たす t ∈ [0,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)| の分布が、(1/2)log log T の分散を持つガウス分布に従うが、対数的要因を除いて、より大きな偏差に対しても同様に成り立つという予想を支持する。