[論文レビュー] Sharp conditional bounds for moments of the Riemann zeta function

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

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)|$ を実部のディリクレ多項式の和に分解し、それぞれがその範囲内の素数からの寄与を捉えるようにする。
• 各区間が寄与するディリクレ多項式 $\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)}$ であるべきだと示唆しており、ランダム行列理論からの予測と一致するが、より長いディリクレ多項式を扱わなければ、これを厳密に証明することはできない。