The Lindelöf Hypothesis for Zeta Zero Ordinates

ラムナス・ガルンクシュティス、アタナシオス・ソウメリディス、ヨルン・シュタイディングによる論文「ゼータ零点の縦座標に対するリンデレーフ予想」の詳細な技術的要約を以下に示す。

1. 問題の提示と動機

本論文は、リーマン・ゼータ関数 $\zeta(s)$ の自明でない零点 $\rho = \beta + i\gamma$ の分布を調査する。具体的には、ゴネク、グラハム、リーによって提案された、これらの零点の縦座標に関するリンデレーフ予想（$LH(\gamma)$ と表記）について論じている。

核心的な問題は、非自明な零点の虚部（縦座標）上で和をとる指数和を評価することである：
$$\sum_{0 < \gamma < x} \gamma^{-i\tau}$$
ここで、和は非自明な零点の虚部 $\gamma$ について走る。この予想は、この和が特定の誤差項の上限を持つ積分として漸近的に振る舞うと主張する：
$$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \int_{2}^{x} \frac{u^{-i\tau}}{2\pi \log u} du + E$$
ここで、誤差項 $E$ は $2 \le x \le |\tau|^B$ に対して $E \ll |\tau|^\epsilon x^{1/2}$ を満たす。

これは、ゼータ関数そのものの増大度に関する古典的なゼータ関数 $\zeta(1/2+it)$ に対するリンデレーフ予想と類似している。著者らは、この漸近公式を、小規模な $|\tau|$ に対しては無条件に、より広い範囲に対しては条件付き（リーマン予想を仮定して）に証明すること、およびこの和の誤差項と特定のディリクレ級数の増大度の間に等価性を確立することを目的としている。

2. 手法

著者らは、解析的整数論の手法の組み合わせを用いる。これには以下が含まれる：

• スティルチェス積分： 零点上の和をリーマン・フォン・マンゴルトの個数関数 $N(T)$ および偏角関数 $S(T)$ と関連付けるために使用される。
• 輪郭積分： 留数定理が、$\zeta'/\zeta(s)$ という対数微分およびゼータ関数の関数方程式を含む積分に適用される。
• 定相法および微分判定法： $\zeta'/\zeta$ のディリクレ級数表現から生じる振動積分を評価するために使用される。
• ペロンの公式： ディリクレ級数 $G(s) = \sum \gamma^{-s}$ の部分和を複素積分の形で表現するために、切断されたバージョンが利用される。
• 解析的接続： ディリクレ級数 $G(s)$ の性質が分析され、その縦方向の増大度が零点縦座標和の誤差項と結びつけられる。

3. 主要な貢献と結果

定理 1：小規模な $\tau$ に対する無条件の結果

著者らは、和 $\sum_{0 < \gamma < x} \gamma^{-i\tau}$ に対する無条件の漸近公式を証明する。

• 結果： 任意の実数 $\tau$ および $x > 0$ に対して：
  $$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \frac{x^{1-i\tau}}{2\pi(1-i\tau)} \left( \log \frac{x}{2\pi} - \frac{1}{1-i\tau} \right) + O(|\tau|(\log x)^2)$$
• 意義： これは、$|\tau|^2 \le x \le \tau^B$ の範囲において、縦座標に対するリンデレーフ予想（$LH(\gamma)$）を確認するものである。この範囲では、主要項が誤差項を支配する。証明は、古典的な評価 $S(T) \ll \log T$ に依存している。

定理 2：輪郭積分と条件付き結果

この定理は、輪郭積分を用いてより精緻な分析を提供し、$\tau$ と $x$ の相対的な大きさに基づいて問題を 2 つの場合に分割する。

• 場合 1（小規模な $\tau$）： $0 \le \tau \le cx \log 2$ の場合、和は誤差 $O((\log x)^2)$ で積分によって近似される。
• 場合 2（大規模な $\tau$）： $cx \log 2 \le \tau \ll x \log x$ の場合、和はフォン・マンゴルト関数 $\Lambda(n)$ を含む指数和に変換される：
  $$\sum_{x \le \gamma < y} \gamma^{-i\tau} \approx \frac{e^{i(\tau+\pi/4)}\tau^{1/2-i\tau}}{(2\pi)^{1/2}} \sum_{e^{\tau/y} \le n \le e^{\tau/x}} \frac{\Lambda(n)(\log n)^{i\tau}}{n^{1/2}\log n} + \text{誤差}$$
• 系 1（リーマン予想に依存）： リーマン予想（RH）を仮定すると、著者らは和に対する上限を導出する。具体的には、$x \le \gamma < 2x$ である場合：
  • 小規模な $\tau$ の場合：和は $O(x \log x / |\tau| + (\log x)^2)$ によって抑えられる。
  • 大規模な $\tau$ の場合：和は「平方根の相殺」を示し、$x^{1/2+o(1)}$ として振る舞う。これは、もしリーマン予想が真であれば、$x \approx |\tau|^2$ であるという困難な範囲においても、縦座標に対するリンデレーフ予想が成り立つことを示唆する。

定理 3：ディリクレ級数の増大度との等価性

本論文は、零点縦座標和の誤差項とディリクレ級数 $G(s) = \sum_{\gamma > 0} \gamma^{-s}$ の増大度の間の深遠な等価性を確立する。

• 主張： $A \in [0, 1/2]$ とする。以下の 2 つは同値である：
  1. 漸近公式における誤差項 $E$ は、$2 \le x \le |\tau|^2$ に対して $E \ll |\tau|^{A+\epsilon} x^{1/2}$ を満たす。
  2. ディリクレ級数は、$|t| \ge 1$ に対して縦方向の上限 $G(1/2 + it) \ll |t|^{A+\epsilon}$ を満たす。
• 意義： これは、和を介した零点の分布を、級数 $G(s)$ の解析的性質に直接結びつける。これは、縦座標に対するリンデレーフ予想を証明することが、臨界線上における $G(s)$ の特定の増大度上限を証明することと同値であることを意味する。

4. 意義と影響

• 新たな視点： 本論文は、リンデレーフ予想に対する新たな視点を導入し、焦点を $\zeta(s)$ の値からその零点の縦座標の分布へとシフトさせた。
• 無条件の進展： これは、主要項が支配的な範囲 $|\tau|^2 \le x$ において、この予想の最初の無条件証明を提供する。
• 条件付きの最適性： リーマン予想を仮定すると、結果はこれらの和にとって「平方根の相殺」（$x^{1/2}$）が最適な振る舞いであることを示唆しており、古典的なリンデレーフ予想を反映している。
• 解析的接続： 定理 3 の等価性は、新たな研究経路を提供する。和を直接攻撃する代わりに、デルサルト、イビク、ボンダレンコによって研究されてきたディリクレ級数 $G(s)$ の解析的接続と増大度を研究することが可能になる。
• 歴史的文脈： この仕事は、フォン・マンゴルトやリトルウッドの古典的結果と、ゴネクらによる現代の予想を橋渡しし、ゼータ関数の偏角（$S(T)$）と零点の分布との関係を明確にする。

要約すると、本論文はゼータ零点上の指数和の振る舞いを厳密に定量化し、特定の範囲において縦座標に対するリンデレーフ予想を証明するとともに、これらの和と関連するディリクレ級数の増大度の間の深い理論的リンクを確立している。