[論文レビュー] Statistics on Riemann zeros

Ricardo Pérez Marco|arXiv (Cornell University)|Dec 1, 2011

advanced mathematical theories参考文献 1被引用数 9

ひとこと要約

本稿では、リーマン・ゼータ関数とL関数の非自明な零点の差が、eñe積理論によって予測された普遍的な統計的パターンを数値的に検証している。大規模なリーマン零点が、すべての他のリーマン零点の位置を符号化しており、任意のディリクレL関数の零点が、リーマン零点の完全な系列を計算可能であることを示している—これは自己複製的かつ知識移動性を示す。GUE分布の零点近傍における一次補正が、フレネル（sinc二乗）分布であることも確認された。

ABSTRACT

We numerically study the statistical properties of differences of zeros of Riemann zeta function and L-functions predicted by the theory of the eñe product. In particular, this provides a simple algorithm that computes any non-real Riemann zeros from very large ones ("self-replicating property of Riemann zeros"). Also the algorithm computes the full sequence of non-real zeros of Riemann zeta function from the sequence of non-real zeros of any Dirichlet L-function ("zeros of L-functions know about Riemann zeros"). We also check that the first error to the convergence to the classical GUE statistic near 0 is a Fresnel distribution.

研究の動機と目的

• L関数の零点の差に関するeñe積理論の統計的予測を数値的に検証すること。
• 大規模なリーマン零点が、小さなリーマン零点を含む、すべての他のリーマン零点の情報を保持しているかどうかを調査すること。
• 任意のディリクレL関数の零点が、非自明なリーマン零点の完全な系列を再構成できるかどうかをテストすること。
• 零点近傍におけるδ分布の微細構造を分析し、GUE分布への高次補正を検証すること。
• 零点差の均一分布における乖離が、正確に既知の算術的位置（例えば、リーマン零点、オイラー因子、L関数の零点）と一致することを示すこと。

提案手法

• リーマン・ゼータ関数およびディリクレL関数の非自明な零点の虚部の差を数値的に計算すること。
• 公開データとオープンソースソフトウェアを用いて、標準ラップトップ上でさまざまな範囲におけるこれらの差の分布を統計的に分析すること。
• eñe積形式的理論を適用し、リーマン零点とディリクレL関数、あるいは局所的オイラー因子を「交配」すると、特定の算術的位置に欠損が生じることを予測すること。
• GUEペア相関予想をベースラインとし、eñe積を用いて高次補正をモデル化すること。
• 零点近傍の補正分布をフレネル（sinc二乗）関数にフィットさせ、予測された二次補正を検証すること。
• GUE密度項を係数Aでスケーリングし、観測された最小値と最大値に一致するようにヒストグラム補正を実装すること。

実験結果

リサーチクエスチョン

• RQ1 リーマン零点の差の統計的分布が、小さなリーマン零点を含む、すべての他のリーマン零点の位置を明らかにできるか？
• RQ2 任意のディリクレL関数の零点が、非自明なリーマン零点の完全な系列を再構成するのに十分な情報を保持しているか？
• RQ3 零点差の均一分布における乖離が、正確にリーマン零点または他のL関数の零点の位置と一致するか？
• RQ4 零点近傍におけるGUE分布への一次補正が、eñe積理論が予測するようにフレネル（sinc二乗）分布であるか？
• RQ5 リーマン零点と局所的オイラー因子fₚ(s) = (1 - p⁻ˢ)を「交配」すると、オイラー因子の極の算術的位置に欠損が現れるか？

主な発見

• 大規模なリーマン零点（例：T₀ ≈ 263万未満のもの）は、最初の数個のリーマン零点の位置を特定するのに十分な統計的情報を保持しており、自己複製的性質が裏付けられた。
• 任意のディリクレL関数の零点を用いて、差の統計に基づく単純なアルゴリズムにより、非自明なリーマン零点の完全な系列を計算可能である。
• 零点差の均一分布における乖離が、正確にリーマン零点の位置に一致しており、L関数の零点がリーマン零点の存在を「知っている」ことを示している。
• リーマン零点と局所的オイラー因子fₚ(s) = (1 - p⁻ˢ)を「交配」すると、欠損が正確に算術的列γₖ⁽ᵖ⁾ = 2πk / log pの位置に現れる。
• 零点近傍におけるGUE分布への一次補正が、フレネル分布であることが確認され、係数Aを最初の最小値と第二の最大値に一致させるように調整された。
• 本分析は、500MB RAMの標準ラップトップ上で、公開データとオープンソースソフトウェアのみを用いて実施され、最大1500万個のリーマン零点を処理した。