[論文レビュー] Currently there are no reasons to doubt the Riemann Hypothesis: The zeta function beyond the realm of computation

David W. Farmer|arXiv (Cornell University)|Nov 21, 2022

Random Matrices and Applications被引用数 5

ひとこと要約

この論文は、リーマン予想（RH）を疑う根拠となる明確な証拠がないと主張し、計算データに起因する一般的な誤解に反論している。ランダム行列理論、特徴多項式、およびキャリア波の概念を用いて、極めて高い位置におけるゼータ関数の振る舞いを分析することで、ζ(1/2 + it)の大きな値がRHの違反ではなく、零点密度の揺らぎから自然に生じることを示している。主な貢献は、計算上の異常がRHを損なわないことを統一的な枠組みで説明する点にある。

ABSTRACT

We examine published arguments which suggest that the Riemann Hypothesis may not be true. In each case we provide evidence to explain why the claimed argument does not provide a good reason to doubt the Riemann Hypothesis. The evidence we cite involves a mixture of theorems in analytic number theory, theorems in random matrix theory, and illustrative examples involving the characteristic polynomials of random unitary matrices. Similar evidence is provided for four mistaken notions which appear repeatedly in the literature concerning computations of the zeta-function. A fundamental question which underlies some of the arguments is: what does the graph of the Riemann zeta-function look like in a neighborhood of its largest values? We explore that question in detail and provide a survey of results on the relationship between L-functions and the characteristic polynomials of random matrices. We highlight the key role played by the emergent phenomenon of carrier waves, which arise from fluctuations in the density of zeros. The main point of this paper is that it is possible to understand some aspects of the zeta function at large heights, but the computation evidence is misleading.

研究の動機と目的

• リーマン予想が誤りである可能性を示唆する出版済みの議論、特にζ関数の大きな値の計算観測に基づくものに対して反論すること。
• 特にグラム点と区間タイプに関して、ζ関数の計算に関する文献における広く見られる誤解を明確にすること。
• 直接計算が不可能な極めて高い位置におけるゼータ関数の振る舞いを、ランダム行列理論と特徴多項式を用いてより深く理解すること。
• |ζ(1/2 + it)|の大きな値が、RHの失敗を示唆するのではなく、零点密度の統計的揺らぎに起因することを説明すること。
• キャリア波と密度波に中心を置いた概念的枠組みを構築し、零点の分布とゼータ関数の大きさを結びつけること。

提案手法

• 特に、ζ(1/2 + it)を大きなランダムユニタリ行列の特徴多項式と比較することで、ゼータ関数の値分布をランダム行列理論によって分析すること。
• 『キャリア波』という概念を導入する——これは、極めて高い位置におけるゼータ関数の振幅を変調する零点密度の揺らぎを指す。
• U(N)におけるハール測度を用いたランダム行列の数値データ（N = 62, 250, 1000）を用い、計算が及ばない領域の振る舞いをモデル化すること。
• リーマン＝シーゲルの公式とヴェイユの明示公式を適用し、零点分布と関数値の関係を結びつけ、異常を検出すること。
• 『良い』と『悪い』グラム点の区別が、大きなNにおいては消えることを示し、RHの検証におけるその使用の根拠を弱める。
• L関数とランダム行列固有値の間の関係を調査し、個々の零点の振る舞いではなく、統計的規則性の顕在に重点を置く。

実験結果

リサーチクエスチョン

• RQ1 なぜ|ζ(1/2 + it)|の大きな値を示す計算結果が、理論的根拠のないにもかかわらずリーマン予想の疑念を生じさせるのか？
• RQ2 零点密度の揺らぎとして生じるキャリア波——これは極めて高い位置におけるゼータ関数の大きな値をどのように説明できるのか？
• RQ3 ランダム行列モデルは、直接計算が不可能な範囲におけるゼータ関数の統計的挙動をどの程度正確に予測できるのか？
• RQ4 リーマン予想の妥当性を評価する際に、『良い』と『悪い』グラム点の区別がなぜ誤解を招くのか？
• RQ5 小規模な行列シミュレーションと理論的予測との間に、ずらされたグラム点周辺の区間タイプの分布で見られる顕著な不一致は、何に起因するのか？

主な発見

• N = 250およびN = 1000のランダム行列データから、『良い』と『悪い』グラム点の区別は大きなNにおいて統計的に意味を持たなくなることが示された。両者とも同程度の確率で出現する。
• N = 62の場合、ずらされたグラム点におけるタイプIIとタイプIの区間比は1とは著しく異なるが、Nが増加するにつれてこの乖離は小さくなり、有限サイズ効果であることが示された。
• Nが増加するにつれて、すべてのずれレベル（−0.2δから0.2δ）において、タイプIとタイプIIの区間の割合が1に収束する。これは、局所的間隔パターンが普遍的であるという考えを支持する。
• ランダム行列からのデータは、零点の大きなギャップやクラスタが、ポisson的モデルが予測するよりも生じやすいことを示しており、分布に二次項が存在することと整合的である。
• 零点密度の揺らぎに起因するキャリア波——これは、RHの違反ではなく統計的揺らぎであるため、|ζ(1/2 + it)|が大きくてもRHに反するわけではない。
• S(t)、すなわちζ(1/2 + it)の虚部logの振る舞いは、|ζ(1/2 + it)|の大きさと相関している：大きな値の領域ではS(t)は減少傾向を示す。これはキャリア波と密度波の相互作用によって説明できる。