[論文レビュー] Zeros of the Riemann zeta function on the critical line

Shaoji Feng|arXiv (Cornell University)|Feb 27, 2010

Analytic Number Theory Research参考文献 14被引用数 4

ひとこと要約

本稿は、リーマンゼータ関数の非自明な零点の臨界線上の割合の下界を向上させるために、レヴィンソン＝コーンリー枠組み内に新しいモリフィアーを導入する。多項式モリフィアーの最適化と高度な平均値推定を用いて、著者は少なくとも41.28%の零点が臨界線上にあることを証明し、ゼータ関数の零点密度推定における現在の最先端水準を向上させる。

ABSTRACT

it is proved that at least 41.28% zeros of the Riemann zeta function are on the critical line

研究の動機と目的

• リーマンゼータ関数の非自明な零点の臨界線上にある割合の下界を向上させること。
• レヴィンソン＝コーンリー法による零点密度推定の効果を高める新しいモリフィアーを開発すること。
• この手法を素数のギャップや単一零点分布に関する条件付き結果への応用に拡張すること。
• コンレイの1989年の結果（40.88%）を上回る明示的な下界を達成すること。

提案手法

• 臨界線上での $ \zeta(s) $ の大きさをよりよく制御できるように、$ P_1(0) = 0 $、$ P_1(1) = 1 $、および $ l \geq 2 $ に対して $ P_l(0) = 0 $ を満たすパラメータ $ P_1, P_2, \dots, P_I $ を持つ、複数の部分からなる多項式モリフィアーを導入する。
• ゼータ関数から臨界線から零点をずらすために、$ Q $ を実係数多項式として $ Q(0) = 1 $ かつ $ Q'(x) = Q'(1-x) $ を満たすように定義される一般化された摂動関数 $ f(s) = Q(-\frac{1}{\log T}\frac{d}{ds})\zeta(s) $ を用いる。
• リトルウッドの補題と凸性不等式を用いて、臨界帯における $ f(s) $ の零点数を推定し、$ \sigma \in (\frac{1}{2} - \frac{R}{\log T}, 1) $ の領域における重み付き積分を用いる。
• モリフィアー $ B $ に対する $ |BV(s)|^2 $ の平均値を用い、周波数領域ごとのモリフィアーの挙動を記述する関数 $ \mathcal{F} $ と $ \mathcal{F}^* $ を含む漸近的表現を導出する。
• 微分作用素 $ Q(-\frac{d}{da}) $、$ Q(-\frac{d}{db}) $ および関数 $ \mathcal{F} $ を用いた重要な不等式を導出し、$ a = b = -R $ で評価することで、モリフィアーを施したゼータ関数の平均自乗値を評価する。
• パラメータ $ \theta, \theta_1, R, I $ および多項式 $ P_1, P_2, P_3 $、$ Q $ の係数について数値最適化を実施し、$ \kappa $ の下界を最大化する。

実験結果

リサーチクエスチョン

• RQ1 モリフィアー法を用いて、リーマンゼータ関数の非自明な零点の臨界線上にある割合の最良の下界は何か？
• RQ2 1989年にコンレイが確立した40.88%の境界を上回る、より柔軟性に富んだ新しいモリフィアー構造は可能か？
• RQ3 この手法は、単一零点の密度や素数のギャップに関する条件付き結果へどの程度拡張可能か？
• RQ4 モリフィアー多項式の係数および $ \theta $、$ \theta_1 $ の選択が、最終的な $ \kappa $ の下界にどのように影響するか？
• RQ5 理論的限界100%に近づくための、モリフィアーおよび摂動関数の最適化を体系的に行う方法はあるか？

主な発見

• 本稿は、$ \kappa \geq 0.4128 $ という新たな下界を確立し、リーマンゼータ関数の非自明な零点の少なくとも41.28%が臨界線上にあることを示した。
• コンレイの1989年の結果（$ \kappa \geq 0.4088 $）は長さ $ y = T^{4/7 - \varepsilon} $ のモリフィアーで達成されたが、本研究ではより洗練された三部構造のモリフィアーを導入することで、この境界を改善した。
• この手法は検出された零点がすべて単一零点であることを確認しており、したがって同じ下界 $ \kappa^* \geq 0.4128 $ が臨界線上の単一零点の割合に対しても適用可能である。
• 「θ=1」の予想が成り立つ場合、条件付きで $ \kappa \geq 0.6107 $ の境界が得られ、より強い仮定のもとでさらなる改善が可能である可能性を示唆している。
• 最適化プロセスにより、$ P_1, P_2, P_3 $、$ Q $ の具体的な多項式係数および最適値 $ R = 1.3025 $、$ \theta = \frac{4}{7} - \varepsilon $、$ \theta_1 = \frac{1}{2} - \varepsilon $ が特定され、下界を最大化する。
• 解析により、$ \theta_1 = \frac{4}{7} - \varepsilon $ の場合に手法の有効性が正当化され、コンレイが以前の原稿で提起した技術的懸念が解決された。