モンゴメリー・オドリズコ予想

モンゴメリー・オドリズコ予想
()とは、リーマンゼータ関数の自明でない零点の間隔の分布は、ガウス型ユニタリ・アンサンブル（GUE）にしたがうランダム行列の固有値の間隔の分布と統計的に同一であるとする予想。
ヒュー・モンゴメリーはプリンストン大学でのお茶の時間にフリーマン・ダイソンと出会い、零点のペアに関する相関を表す式が原子核のエネルギー準位モデルであるランダム行列理論(RMT)の式と酷似していると知ってランダム行列との関連を研究しはじめた。
この予想によれば、リーマン・ゼータ関数の零点の正規化された間隔は、ランダム行列理論を使った重い原子核のエネルギー準位の間隔と同様に、対相関関数が次式で表される。
1973年、モンゴメリーはゼータ関数の非自明な零点のペアに関する相関がGUE型のランダム行列の固有値のペアに関する相関と等しいとする論文
を発表した。これを読んだオドリズコは、ゼータ関数の零点の間隔分布について大規模な数値計算を行い、ランダム行列の固有値の間隔の分布とほぼ一致することを1987年の論文
で示した。
オドリズコによる数値計算結果.
AT&T ベル研究所の研究員であったオドリズコは、モンゴメリの予想結果に触発され、非自明な零点の間隔分布について、詳細な数値計算による検証を行った。そして、モンゴメリーの対相関関数予想の成立が確からしいこと、さらに、非自明な零点の規格化された間隔分布そのものが、GUE型のランダム行列の固有値の間隔分布に一致するであろうことを示した。これらの結果は、1987年の論文「ゼータ関数の零点間隔の分布について」で報告された。
非自明な零点1/2+iγnに対し、規格化された間隔
を導入すれば、モンゴメリーの対相関関数予想から"M", "N"→∞で
が成立することが期待される。オドリズコは当時、最新鋭であったスーパーコンピューター Cray X-MPを用い、 "N" =1、"M" =105 と"N" =1012 +1、"M" =105 の場合、すなわち、1番から105 番目までに位置する 105 個のγnと1012 +1番目から1012 +105 番目までに位置する105 個の γn を±10-8の精度で求めた。そして、それらの規格化された間隔の対相関関数と求め、GUEの理論値1-(sin(π"x" )/π "x")2と精度よく一致することを示した。さらに規格化された零点間隔δnの分布とGUEの固有値の間隔の分布を計算し、両者がよく一致することを示した。後に、これらの結果は、オドリズコ自身によって、さらに1020番目付近に位置するおよそ7×107個の零点で確認され、より高い精度で確からしいことが示されている。
図は、105 個の非自明なゼロ点についての対相関関数を示す。より多くの個数での統計をとると、ますますランダム行列のGUE型の理論値に近づく。