[論文レビュー] The Riemann Hypothesis

Ilgar Sh. Jabbarov|arXiv (Cornell University)|May 31, 2010

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

ひとこと要約

この論文は、無限次元単位超立方体上に導入された新しい測度を用いて、ディリクレ級数の部分オイラー積によるリーマン・ゼータ関数の近似を行い、リーマン予想を証明すると主張している。バーナインのユニバーシャリティ補題とローチェの定理を用いて、ゼータ関数が臨界帯において臨界線 Re(s) = 1/2 のみに零点を持つことを主張し、予想を真として確立する。

ABSTRACT

In the paper the well known Riemann Hypothesis is proven. The proof is based on uniform approximation of the zeta function discs of the critical strip placed to the right from the critical line.The basic moment is a use of a new mesure introduced in the infinite dimensional unite cube different from the Haar or product measures

研究の動機と目的

• 数学における最も顕著な未解決問題の一つであるリーマン予想の厳密な証明を確立すること。
• ゼータ関数近似に関連する数列の分数部分の分布を分析するため、無限次元単位超立方体上に新しい測度を開発すること。
• 確率論的およびエルゴディック的手法を用いて、臨界帯の右半分におけるゼータ関数の部分オイラー積近似を拡張すること。
• ローチェの定理などの複素解析的道具を用いて、ゼータ関数が臨界線以外に非自明な零点を持たないことを示すこと。
• 値分布論、ディリクレ級数のユニバーシャリティ、解析的整数論の概念を統合し、予想を解決すること。

提案手法

• 無限次元単位超立方体上に新しい測度を導入し、数列 (\{t\lambda_n\})_n の分数部分の分布を研究する。
• S.M. バーナインの補題を用いて、臨界帯の右半分内の円板において、オイラー型ディリクレ級数の部分積によってリーマン・ゼータ関数を近似する。
• 特定の級数の発散集合の特別な構造を用いて、近似を円板から臨界帯の右半分全体に拡張する。
• ローチェの定理を用いて、ゼータ関数とその近似部分積を比較し、それらが輪郭内部で同じ数の零点を持つことを示す。
• 近似関数が Re(s) = 3/4 の近傍で零点を持たないことを示し、これによりゼータ関数に対しても同様のことが成り立つことを示す。
• 近似関数が素数の無限積を用いて、ハール測度またはルベーグ測度による無限積空間上で構成された複素指数関数項の積として構成されることを用いる。

実験結果

リサーチクエスチョン

• RQ1 無限次元超立方体上に定義された新しい測度のもとで、臨界帯の右半分において、ディリクレ級数の部分オイラー積によるゼータ関数の一様近似が可能か？
• RQ2 近似関数に零点がないという事実が、ローチェの定理を用いてゼータ関数に対しても同様に零点がないことを示唆するか？
• RQ3 無限次元超立方体内での数列 (\{t\lambda_n\})_n の分数部分の分布を用いて、ゼータ関数の挙動を制御可能か？
• RQ4 臨界帯におけるゼータ関数の零点なし領域が、エルゴディック的および測度論的手法を用いて、臨界帯の右半分全体に拡張可能か？
• RQ5 バーナインとバーキーによって発展されたゼータ関数およびL関数のユニバーシャリティ特性を活用して、リーマン予想を証明可能か？

主な発見

• ローチェの定理を収束近似に適用することで、Re(s) = 3/4 を中心とする半径 r < 1/4 の任意の円板において、ゼータ関数は零点を持たないことが示された。
• 無限積を素数に関して構成した部分積近似 $ F_n(s; \bar{\theta}_n) $ は、新しい測度のもとでほとんどすべての $ \theta $ に対して、臨界帯の右半分で零点を持たない。
• 近似誤差 $ |\zeta(s) - F_n(s; \bar{\theta}_n)| $ は、輪郭上での $ |\zeta(s)| $ の最小値の 0.25 倍以下に抑えられ、ローチェの定理の条件を満たす。
• この手法により、任意の $ 0 < r < 1/4 $ に対して、領域 $ |\text{Re}(s) - 3/4| < r $ においてゼータ関数が零点を持たないことが示され、臨界線の完全な近傍における零点なしを示唆する。
• 証明は、近似の収束性とパrameter空間の位相的構造に依存しており、これにより局所的な結果を臨界帯の右半分全体に拡張可能である。
• 著者は、ゼータ関数のすべての非自明な零点が臨界線 $ \text{Re}(s) = 1/2 $ 上にあると結論づけ、リーマン予想を証明したと主張する。