[論文レビュー] Simplifications of the Keiper/Li approach to the Riemann Hypothesis

André Voros|arXiv (Cornell University)|Feb 10, 2016

Analytic Number Theory Research参考文献 1被引用数 3

ひとこと要約

本稿は、リーマン予想に対するケイパー＝リーマン・アプローチに基づく新しい明示的系列 $Λ_n$ を導入する。この系列は、元の $λ_n^\text{K}$ および $\u03bb_n^\text{L}$ 系列を単純化するためのコンformal 写像変形を用いて導出され、完全な閉形式表現を有し、リーマン予想に対する感度を保ちつつ、解析的・数値的取り扱いが容易な代替手段を提供する。リーマン予想が成り立つ場合、$\Lambda_n \sim \frac{1}{2}\log n + c$（$c \approx -1.13033$）という漸近的挙動を示す。

ABSTRACT

The Keiper/Li constants $\{λ_n\}_{n=1,2,\ldots}$ are asymptotically ($n o \infty$) sensitive to the Riemann Hypothesis, but highly elusive analytically and difficult to compute numerically. We present quite explicit variant sequences that stay within the abstract Keiper--Li frame, and appear simpler to analyze and compute.

研究の動機と目的

• 元の系列 $\lambda_n^\text{K}$ を、より解析的に取り扱いやすい代替系列に置き換えることにより、ケイパー＝リーマン・アプローチの簡素化を図ること。
• 元の方法の再帰的複雑性を回避しつつ、リーマン予想に対する完全な感度を維持する系列 $\Lambda_n$ を開発すること。
• 元のケイパー＝リーマン定数よりも計算・解析が効率的となる、完全に明示的かつ閉形式で与えられる $\Lambda_n$ の表現を提供すること。
• リーマン予想の下での $\Lambda_n$ の漸近的挙動を確立し、$\Lambda_n \sim \frac{1}{2}\log n + c$（$c \approx -1.13033$）であることを示すこと。
• $x = \frac{1}{2}$ などの代替基準点を検討し、中心化された変種 $\Lambda_n^0(\tilde{w})$ を導出するが、代数的構造はやや劣る。

提案手法

• ケイパー＝リーマン枠組みを変形し、$M(z) = (1 - z)^{-1}$ というコンフォーマル写像を、新しい正則関数に置き換えることで、新たな系列 $\Lambda_n$ を生成する。
• 留数計算と変数 $r$ の変換を用いて $\Lambda_n$ の閉形式表現を導出し、以下の式が得られる：$\Lambda_n = \sum_{m=1}^n \frac{2}{(r_m+1)^2} \frac{\prod_{k=0}^n (r_m + r_k)}{\prod_{k \neq m} (r_m - r_k)} \log 2\xi(2m)$。
• $\xi(x)$ の関数等式と解析接続を用いて、新しい系列が非自明な零点の位置に敏感であることを保証する。
• 鞍点法と漸近的解析を適用し、$\Lambda_n$ の大 $n$ における挙動を、リーマン予想の成立・不成立の両状況で導出する。
• 基準点 $x = \frac{1}{2}$ に中心を置いた別のコンフォーマル写像を用いて、中心化された変種 $\Lambda_n^0(\tilde{w})$ を導入するが、代数的構造は劣る。
• 数値的検証を行い、既知の結果と比較することで、リーマン予想下での漸近予測 $\Lambda_n \sim \frac{1}{2}\log n + c$ と整合することを示す。

実験結果

リサーチクエスチョン

• RQ1 生成関数のコンフォーマル写像の再パrameter化により、ケイパー＝リーマン・アプローチが簡素化可能か？
• RQ2 元の $\lambda_n^\text{K}$ および $\lambda_n^\text{L}$ 系列と同等のリーマン予想に対する感度を保ちつつ、完全に明示的かつ閉形式で与えられる系列が存在するか？
• RQ3 リーマン予想の下で、新たな系列 $\Lambda_n$ の漸近的挙動はいかなるものか？
• RQ4 閉形式構造のおかげで、元のケイパー＝リーマン定数よりも $\Lambda_n$ はより効率的に計算可能か？
• RQ5 特に大 $n$ の領域において、リーマン予想の成立・不成立の両状況下で、新たな系列の性能および感度は元のものと比べてどうか？

主な発見

• 新たな系列 $\Lambda_n$ は、$r_m = \sqrt{1 + (4m - 1)^2 / \tilde{w}}$ の有理関数と留数を含む閉形式で明示的に与えられ、再帰的計算を必要とせず、直接計算が可能である。
• リーマン予想が成立する場合、$\Lambda_n \sim \frac{1}{2}\log n + c$（$c = \frac{1}{2}(\gamma - \log 2\pi - 1) \approx -1.130330700754$）であり、元の $\lambda_n^\text{L}$ と同一の漸近的挙動を示す。
• 系列 $\Lambda_n$ はリーマン予想に対する感度を維持している：リーマン予想が偽ならば、$\Lambda_n$ は任意の $o(n^\varepsilon)$ よりも速く増大し、非自明な零点が臨界線から外れている場合、$\log|\Delta_\rho \Lambda_n| \sim (\rho - \frac{1}{2})\log n$ となる。
• 数値的評価により、$\Lambda_n$ が理論的漸近挙動と一貫しており、元のケイパー＝リーマン系列と同一の一次の対数的増加と定数項を示していることが確認された。
• 中心化された変種 $\Lambda_n^0(\tilde{w})$ が導出され、漸近的挙動は $\Lambda_n^0(\tilde{w}) \sim \sqrt{\tilde{w}}(\log n + C)$（$C \approx -0.78375711$）であるが、解析にはやや不利な代数的構造を持つ。
• 元の $\lambda_n^\text{L}$ の再帰的評価で見られる、1ステップあたり約 $\sim \frac{1}{4}$ 桁の精度損失を回避し、数値的実行可能性が著しく向上した。