[論文レビュー] Subconvexity for the Riemann zeta-function and the divisor problem

M. N. Huxley, Aleksandar Ivić|ArXiv.org|Nov 27, 2006

Analytic Number Theory Research参考文献 27被引用数 8

ひとこと要約

本稿は、Bombieri–Iwaniec法の洗練された応用を通じて、リーマン・ゼータ関数の臨界線における非凸性評価を確立し、ディリクレ除数問題と関連付ける。$\zeta(1/2 + it)$ のための現在最も良い指数 $32/205$ を達成し、高階のスieves技法と指数和における間隔問題の解析を通じて、先行研究を改善する。

ABSTRACT

A simple proof of the classical subconvexity bound $ζ(1/2+it) \ll_εt^{1/6+ε}$ for the Riemann zeta-function is given, and estimation by more refined techniques is discussed. The connections between the Dirichlet divisor problem and the mean square of $|ζ(1/2+it)|$ are analysed.

研究の動機と目的

• 臨界線上におけるリーマン・ゼータ関数の自己完結的かつ初等的な非凸性評価を提供すること。
• $\zeta(1/2 + it)$ の平均平方と古典的ディリクレ除数問題との間の関係を明確にすること。
• 非凸性評価の改善が除数問題および格子点数え上げ問題における進展とどのように関連するかを分析すること。
• Bombieri–Iwaniec法が、$\zeta(1/2 + it)$ の現在最も良い非凸性指数を達成するのにいかに有効であるかを示すこと。

提案手法

• 近似関数等式と $\zeta^2(s+z)\Gamma(z)$ を含む積分路による積分を用い、短い区間における平均平方を通じて $|\zeta(1/2 + iT)|^2$ を評価する。
• 変換された指数和に大スieves不等式を適用し、特にBombieri–Iwaniec枠組みにおける係数ベクトルの第一および第二間隔問題に注目する。
• ヴォロノイまたはポisson和公式から得られる可変ベクトルを用いた複数の変換和に対してホルダーの不等式を適用し、$h^2, h^{3/2}, h, \sqrt{h}$ のような単項式を成分として用いる。
• 格子基底変換行列 $M = \begin{pmatrix} a & -\bar{q} \\ q & \bar{a} \end{pmatrix} \begin{pmatrix} a' & -\bar{q}' \\ q' & \bar{a}' \end{pmatrix}^{-1}$ を用いた数論的幾何学的解析により、対角および近似対角項の寄与を制御する。
• Huxleyらの先行結果を一般関数 $f(x)$ に拡張し、間隔問題の特殊ケース処理を一般化する。
• 反復手法および大スievesの変種（例えばJutilaの重複弧やSargosの $\alpha = 0.4$ 法）を統合し、近似関数等式の異なる範囲において最適化された境界を得る。

実験結果

リサーチクエスチョン

• RQ1 どのようにして初等的手法と平均平方推定のみを用いて $\zeta(1/2 + it)$ の非凸性評価を導出できるか？
• RQ2 $|\zeta(1/2 + it)|$ の平均平方とディリクレ除数問題における誤差項 $\Delta(x)$ の間の正確な関係は何か？
• RQ3 Bombieri–Iwaniec法をどの程度洗練させることで、$\zeta(1/2 + it)$ の非凸性評価における指数を改善できるか？
• RQ4 指数和における第一および第二間隔問題が、この文脈における大スievesの応用の強度をどの程度制限するか？
• RQ5 格子基底変換行列 $M$ の構造を用いて、大スievesにおける近似対角ペアの密度を制御し、より鋭い境界を得られるか？

主な発見

• 本稿は、高階の大スievesおよび間隔問題技法を用いて、現在最も良い非凸性評価 $\zeta(1/2 + it) \ll_\varepsilon t^{32/205 + \varepsilon}$ を達成し、$32/205 \approx 0.15609$ である。
• 除数問題の誤差項は $\Delta(x) \ll_\varepsilon x^{131/416 + \varepsilon}$ を満たし、$131/416 \approx 0.314903$ であり、現在最も良い境界と一致する。
• シフトされた除数問題の誤差 $E(T)$ の境界も $E(T) \ll_\varepsilon T^{131/416 + \varepsilon}$ であることが確認され、関連問題間の一貫性が裏付けられる。
• 解析により、Bombieri–Iwaniec法が複数の可変ベクトルと洗練された間隔推定を含むように拡張されると、現在最も強い非凸性結果が得られることを確認する。
• $\zeta(1/2 + it)$ と $\Delta(x)$ の関係が $\zeta^2(s)$ に内在的であることが示され、しかしセレブのクラス $\mathcal{S}$ への一般化は依然として不明である。
• 現在の手法の下で、間隔問題における六つの変換ベクトルにわたるホルダーの不等式の最適な適用が、可能な限り最も良い指数をもたらすことが示された。