[論文レビュー] Statistical and other properties of Riemann zeros based on an explicit equation for the $n$-th zero on the critical line

Guilherme França, André LeClair|arXiv (Cornell University)|Jul 29, 2013

Mathematical Dynamics and Fractals参考文献 20被引用数 7

ひとこと要約

本稿は、リーマン予想を仮定せずに、臨界線上のリーマン・ゼータ関数の第$n$個の非自明な零点$ \rho_n = \frac{1}{2} + iy_n$を明示的に表す超越方程式を提案する。ラメルト$W$関数を用いた近似と数値的検証により、この方程式の解がモンゴメリーおよびオドリツコのペア相関予想を満たし、素数の個数を数える関数を再構成することを示しており、すべての非自明な零点が臨界線上にあることを強く支持する。

ABSTRACT

We show that there are an infinite number of Riemann zeros on the critical line, enumerated by the positive integers $n=1,2,\dotsc$, whose ordinates can be obtained as the solution of a new transcendental equation that depends only on $n$. Under weak assumptions, we show that the number of such zeros already saturates the counting formula for the numbers of zeros on the entire critical strip. These results thus constitute a concrete proposal toward verifying the Riemann hypothesis. We perform numerical analyses of the exact equation, and its asymptotic limit of large ordinate. The starting point is an explicit analytical formula for an approximate solution to the exact equation in terms of the Lambert $W$ function. In this way, we neither have to use Gram points or deal with violations of Gram's law. Our numerical approach thus constitutes a novel method to compute the zeros. Employing these numerical solutions, we verify that solutions of the asymptotic version are accurate enough to confirm Montgomery's and Odlyzko's pair correlation conjectures and also to reconstruct the prime number counting function.

研究の動機と目的

• リーマン予想を仮定せずに、臨界線上のリーマン・ゼータ関数の第$n$個の非自明な零点を明示的に導出すること。
• グラム点やグラムの法則の違反に依存しない、リーマン零点を計算する新しい数値的手法を提供すること。
• 漸近的方程式の解が、ペア相関や素数の個数を数える関数といった零点の主要な統計的性質を再現するかどうかを検証すること。
• 臨界線上のこの方程式の解の数が、臨界帯全体の全数え上げ公式$N(T)$を満たすことを示し、すべての非自明な零点が直線上にあることを示唆すること。

提案手法

• 臨界線上の第$n$個の零点の虚部$y_n$を正確に決定する超越方程式（式20）を導出する。
• ラメルト$W$関数を用いて、明示的な近似解（式25）を構築し、効率的な数値計算を可能にする。
• グラム点やグラムの法則の違反の確認に依存せず、ラメルト$W$近似から出発する数値的根の探索法を採用する。
• 漸近的解（式14）の正確さを、モンゴメリー＝オドリツコのペア相関と$\pi(x)$の再構成能力によって検証する。
• 特定の零点、たとえば$n=1000$について、最大500桁の高精度数値解を計算し、既知の値と整合することを確認する。
• 正確な方程式（20）とその漸近的形（14）の解を比較し、両者とも統計的および算術的結果を正確に得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 リーマン予想を仮定せずに、臨界線上のリーマン・ゼータ関数の第$n$個の非自明な零点を明示的に表す超越方程式を導出可能か？
• RQ2 この方程式の漸近的形が、モンゴメリーおよびオドリツコが予想したリーマン零点の統計的ペア相関性質を再現できるか？
• RQ3 この方程式の数値的解が、素数の個数を数える関数$\pi(x)$を正確に再構成できるか？
• RQ4 臨界線上のこの方程式の解の数が、臨界帯全体の全数え上げ公式$N(T)$と一致するか？ これにより、すべての非自明な零点が直線上にあると示唆されるか？
• RQ5 提案された手法は、グラム点に基づく従来の零点計算技術と比較して、安定的かつ効率的な代替手法であるか？

主な発見

• 正確な超越方程式（20）は、既知のリーマン零点に対して数値的に恒等的に満たされることを確認し、臨界線上での有効性を裏付けた。
• ラメルト$W$関数から導かれた漸近的近似（14）は、モンゴメリーおよびオドリツコのペア相関予想を再現するのに十分な精度を持つ。
• 漸近的方程式の数値的解は、素数の個数を数える関数$\pi(x)$を正確に再構成でき、既知の結果と一致した。
• $n=126$および$n=1000$の解を高精度（最大500桁）で計算し、数値的安定性と正確性を示した。
• 臨界線上のこの方程式の解の数が、全数え上げ公式$N(T)$を満たし、すべての非自明な零点が臨界線上にあるという強い証拠を提供した。
• この手法はグラム点やグラムの法則の違反に依存せず、リーマン零点を直接的かつ効率的に計算する、新しいアプローチを提供した。