[論文レビュー] Large Spaces Between the Zeros of the Riemann Zeta-Function

Samir H. Saker|arXiv (Cornell University)|Jun 30, 2009

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

ひとこと要約

この論文は、オピアル型およびヴィルティンガー型不等式を用いて、リーマン・ゼータ関数の非自明な零点の間隔について、新たな無条件および条件付きの下界を確立している。無条件では、連続する零点がしばしば平均間隔の1.9902倍以上離れていることを証明しており、以前の下界1.9および1.9799を改善している。条件付きでは、ハーディーZ関数およびその導関数の高階混合モーメントがランダム行列理論の予測と一致すると仮定すると、より大きな間隔の明示的な下界が得られ、k=7では最大で4.0736に達する。

ABSTRACT

In this paper, we will employ the Opial and Wirtinger type inequalities to derive some conditional and unconditional lower bounds for the gaps between the zeros of the Riemann zeta-function. First, we prove (unconditionally) that the consecutive nontrivial zeros often differ by at least 1.9902 times the average spacing. This value improves the value 1.9 due to Mueller and the value 1.9799 due to Montogomery and Odlyzko. Second, on the hypothesis that the 2k-th mixed moments of the Hardy Z-function and its derivative are correctly predicted by random matrix theory, we derive some explicit formulae for the gaps and use them to establish new (conditional) large gaps.

研究の動機と目的

• リーマン・ゼータ関数の非自明な零点の連続する間隔に関する、改善された無条件および条件付きの下界を導出すること。
• ハーディーZ関数およびその導関数の文脈において、オピアルおよびヴィルティンガー型不等式を用いて、これらの下界を確立すること。
• リーマン予想のもとで、正規化された最大間隔が無限大に近づくという予想の妥当性を検証すること。
• ランダム行列理論による予測と一致する2k階混合モーメントを仮定したもとで、正規化された最大間隔Λ(k)の明示的公式を提供すること。

提案手法

• 関数が区間の端点で消失する関数にオピアル型不等式を適用し、導関数のL2kノルムの下界を関数のL2kノルムの項で確立する。
• ブレネティッチおよびペチャリッチによるヴィルティンガー型不等式を用いて、関数の振動的挙動に依存する積分I(k)を含む、代替的な下界を導出する。
• ハーディーZ関数およびその導関数の2k階混合モーメントがランダム行列理論（RMT）の予測と一致すると仮定する。これは重要な条件付き仮定である。
• これらの不等式をZ(t)およびZ'(t)のモーメントの漸近公式と組み合わせることで、最大正規化間隔Λ(k)の明示的下界を導出する。
• 連続する零点間の区間における不等式の連鎖を解析し、T → ∞の極限をとることで、これらの下界を導出する。
• k = 3から7について、I(k)の数値値および既知のモーメント比b(0,k)/b(k,k)を用いて、Λ(k)の明示的推定値を計算する。

実験結果

リサーチクエスチョン

• RQ1 リーマン・ゼータ関数の非自明な零点の連続する正規化間隔に関する、最も良い可能な無条件下界は何か？
• RQ2 ハーディーZ関数およびその導関数の2k階混合モーメントがランダム行列理論の予測と一致すると仮定したもとで、正規化された間隔Λ = lim sup r_nが無限大に近づくという予想は支持されるか？
• RQ3 オピアルおよびヴィルティンガー型不等式は、零点間の最大間隔の明示的下界を導出するためにどのように寄与するか？
• RQ4 RMTモーメント仮定のもとで、k = 3から7について、正規化された最大間隔Λ(k)の明示的数値下界は何か？
• RQ5 モーメント比b(0,k)/b(k,k)および積分I(k)の構造は、kの増加に伴いΛ(k)が無限大に発散するかどうかを特定するために用いられるか？

主な発見

• この論文は、リーマン・ゼータ関数の非自明な零点の連続する正規化間隔について、無条件で1.9902の下界を確立しており、以前の下界1.9および1.9799を改善している。
• ハーディーZ関数およびその導関数の2k階混合モーメントがランダム行列理論の予測と一致すると仮定したもとで、最大正規化間隔Λ(k)の明示的下界が導出されている。
• k = 3の場合、オピアル法を用いるとΛ(3) ≥ 2.2265、ヴィルティンガー法を用いるとΛ(3) ≥ 2.4905の下界が得られる。
• k = 7の場合、オピアル法ではΛ(7) ≥ 3.7676、ヴィルティンガー法ではΛ(7) ≥ 4.0736の下界に達しており、大きな間隔の推定値が顕著に改善されている。
• 結果は、Λ(k)がkとともに増加することを示唆しており、RMTモーメント仮定が成り立つ限り、リーマン予想のもとでλ = ∞であるという予想を支持している。
• 導出された下界は、k = 3から7について数値的に計算されたモーメント比b(0,k)/b(k,k)および積分I(k)の値に強く依存している。