[論文レビュー] Finite Euler products and the Riemann Hypothesis

S. M. Gonek|arXiv (Cornell University)|Apr 26, 2007

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

ひとこと要約

本稿は、切り捨てられたオイラー積を用いてリーマン・ゼータ関数 ζ(s) を近似することで、リーマン・ゼータ関数をモデル化する非解析的関数のパラメータ族 ζ_X(s) を構築する。リーマン予想が成り立つ限り、ζ_X(s) は ζ(s) をよく模倣し、X が増加するにつれて零点が ζ(s) の零点に収束する。中程度の X に対しては、すべての零点が単純であり、互いに排除し合う。このモデルは、零点の単純性と排除の背後にある構造的メカニズムを明らかにし、ζ(s) におけるこれらの性質の背後にあるより深い理由を示唆する。

ABSTRACT

We show that if the Riemann Hypothesis is true, then in a region containing most of the right-half of the critical strip, the Riemann zeta-function is well approximated by short truncations of its Euler product. Conversely, if the approximation by products is good in this region, the zeta-function has at most finitely many zeros in it. We then construct a parameterized family of non-analytic functions with this same property. With the possible exception of a finite number of zeros off the critical line, every function in the family satisfies a Riemann Hypothesis. Moreover, when the parameter is not too large, they have about the same number of zeros as the zeta-function, their zeros are all simple, and they "repel". The structure of these functions makes the reason for the simplicity and repulsion of their zeros apparent and suggests a mechanism that might be responsible for the corresponding properties of the zeta-function's zeros. Computer evidence suggests that the zeros of functions in the family are remarkably close to those of the zeta-function (even for small values of the parameter), and we show that they indeed converge to them as the parameter increases. Furthermore, between zeros of the zeta-function, the moduli of functions in the family tend to twice the modulus of the zeta-function. Both assertions assume the Riemann Hypothesis. We end by discussing analogues for other L-functions and show how they give insight into the study of the distribution of zeros of linear combinations of L-functions.

研究の動機と目的

• オイラー積と関数等式の相互作用を分析することで、リーマン予想が真である理由を理解すること。
• リーマン・ゼータ関数の主要な性質、特に零点分布と近似挙動を再現する関数族 ζ_X(s) を構築すること。
• 有限 X における ζ_X(s) の挙動を研究することで、ζ(s) における零点の単純性と排除の構造的起源を解明すること。
• 特に、零点の収束とモジュラス関係に注目して、ζ_X(s) と ζ(s) の臨界線上での関係を検討すること。
• この枠組みを他の L 関数や線形結合へと拡張し、それらの零点が臨界線上にある可能性を示す新しいヒューリスティックを提供すること。

提案手法

• X が切り捨て長さを制御するパラメータとして、切り捨てられたオイラー積を用いて ζ(s) を近似する関数族 ζ_X(s) を定義する。
• ペロンの公式と線形積分を用いて、リーマン予想に依存するディリクレ多項式近似の誤差推定を導出する。
• リーマン予想が成り立つならば、ζ_X(s) は臨界帯の右半分の大部分を含む領域で ζ(s) をよく近似することを確立する。
• 関数の解析的構造を用いて、中程度の X に対して ζ_X(s) のすべての零点が単純であり、互いに排除し合うことを証明する。
• X → ∞ のとき、ζ_X(s) の零点は ζ(s) の零点に収束し、ζ(s) の零点の間で |ζ_X(1/2 + it)| → 2|ζ(1/2 + it)| が成り立つことを示す。
• この枠組みをディリクレ L 関数 L(s,χ) に一般化し、L_X(s,χ) を構築し、それらの関数の線形結合の零点分布を分析する。

実験結果

リサーチクエスチョン

• RQ1 リーマン・ゼータ関数の非自明な零点の単純性と排除を特徴づける構造的特徴は何か？
• RQ2 リーマン予想のもとで、有限オイラー積は臨界帯で ζ(s) をどのように近似するのか？ これにより、零点のない領域にどのような含意が生じるか？
• RQ3 ζ(s) の零点分布と近似挙動を模倣する非解析的関数族を構築可能か？ そして、これによりリーマン予想について何が明らかになるか？
• RQ4 L 関数の線形結合の零点が 100% 臨界線上にあるのはなぜか？ これは標準的なキャリア波ヒューリスティックとは異なるメカニズムで説明可能か？
• RQ5 X が増加するにつれて、ζ_X(s) の零点は ζ(s) の零点にどの程度収束するか？ また、臨界線上でのモジュラスはどのように比較されるか？

主な発見

• リーマン予想が真であれば、ζ(s) は臨界帯の右半分の大部分を含む領域で、そのオイラー積の短い切り捨てによってよく近似可能である。
• 逆に、この領域で有限オイラー積近似が良好であれば、ζ(s) はその領域に高々有限個の零点しか持たない。
• 中程度の X に対して、関数 ζ_X(s) は ζ(s) とほぼ同じ数の零点を持ち、すべての零点（高々有限個の低エネルギー零点を除く）は単純である。
• ζ_X(s) の零点は互いに排除し合い、この排除は関数の定義に構造的に現れている。
• X → ∞ のとき、ζ_X(s) の零点は ζ(s) の零点に収束し、ζ(s) の零点の間でリーマン予想のもとで |ζ_X(1/2 + it)| → 2|ζ(1/2 + it)| が成り立つ。
• L_X(s,χ) の線形結合に対しては、結果が、100% の零点が臨界線上にあることを説明する、キャリア波モデルとは異なる新しいヒューリスティックを示唆している。