モンゴメリー・オドリズコ予想
モンゴメリー・オドリズコ予想[注 1]
(英語: Montgomery-Odlyzko law)とは、リーマンゼータ関数の自明でない零点の間隔の分布は、ガウス型ユニタリ・アンサンブル（GUE）にしたがうランダム行列の固有値の間隔の分布と統計的に同一であるとする予想。
ヒュー・モンゴメリーはプリンストン大学でのお茶の時間にフリーマン・ダイソンと出会い、零点のペアに関する相関を表す式が原子核のエネルギー準位モデルであるランダム行列理論(RMT)の式と酷似していると知ってランダム行列との関連を研究しはじめた。[4]
この予想によれば、リーマン・ゼータ関数の零点の正規化された間隔は、ランダム行列理論を使った重い原子核のエネルギー準位の間隔と同様に、対相関関数が次式で表される。
- 1−(sin(πu)πu)2+δ(u).{displaystyle 1-left({frac {sin(pi u)}{pi u}}right)^{2}+delta (u).}
1973年、モンゴメリーはゼータ関数の非自明な零点のペアに関する相関がGUE型のランダム行列の固有値のペアに関する相関と等しいとする論文[5]
を発表した。これを読んだオドリズコは、ゼータ関数の零点の間隔分布について大規模な数値計算を行い、ランダム行列の固有値の間隔の分布とほぼ一致することを1987年の論文[6]
で示した。[7]
目次
1 オドリズコによる数値計算結果
2 脚注
3 出典
4 参考文献
5 関連項目
オドリズコによる数値計算結果
モンゴメリー・オドリズコ予想の数値計算例。実線は、GUE型のランダム行列の固有値の二点相関数である。一方、青のシンボルは、リーマンゼータ関数の非自明な零点の規格化された間隔から求めた対相関関数である。ここで、非自明な零点は最初の105個のものを用いている。
AT&T ベル研究所の研究員であったオドリズコは、モンゴメリの予想結果に触発され、非自明な零点の間隔分布について、詳細な数値計算による検証を行った。そして、モンゴメリーの対相関関数予想の成立が確からしいこと、さらに、非自明な零点の規格化された間隔分布そのものが、GUE型のランダム行列の固有値の間隔分布に一致するであろうことを示した。これらの結果は、1987年の論文「ゼータ関数の零点間隔の分布について」で報告された[6]。
非自明な零点1/2+iγnに対し、規格化された間隔
- δn=(γn+1−γn)logγn2π2π{displaystyle delta _{n}=(gamma _{n+1}-gamma _{n}){frac {log {frac {gamma _{n}}{2pi }}}{2pi }}}
を導入すれば、モンゴメリーの対相関関数予想からM, N→∞で
1M{(n,k)|N≤n≤N+M,k≥0,δn+δn+1+⋯+δn+k∈[α,β]}{displaystyle {frac {1}{M}}{(n,k)|Nleq nleq N+M,,kgeq 0,,delta _{n}+delta _{n+1}+cdots +delta _{n+k}in [alpha ,beta ]}}
- ∼∫αβ(1−(sinπuπu)2)du{displaystyle sim int _{alpha }^{beta }left(1-{biggl (}{frac {sin {pi u}}{pi u}}{biggr )}^{2}right)du}
- ∼∫αβ(1−(sinπuπu)2)du{displaystyle sim int _{alpha }^{beta }left(1-{biggl (}{frac {sin {pi u}}{pi u}}{biggr )}^{2}right)du}
![<br />
frac{1}{M} {(n,k) | N leq n leq N+M, , k geq 0, ,<br />
delta_{n}+ delta_{n+1}+ cdots +delta_{n+k} in [ alpha, beta] }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c36b5fb75a6ce8ecd66ce00b8f8f692526fd870f)
が成立することが期待される。オドリズコは当時、最新鋭であったスーパーコンピューター 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個の零点で確認され、より高い精度で確からしいことが示されている[8][9]。
図は、105 個の非自明なゼロ点についての対相関関数を示す。より多くの個数での統計をとると、ますますランダム行列のGUE型の理論値に近づく。
脚注
^ この予想の日本語での呼び方の出典として、例えば[1]
などが挙げられる。また「モンゴメリー・オドリズコの法則」と呼ばれることもある
[2]
ただし、この呼び方における「法則」とは数学的な証明を伴ったものではなく、実験の結果から得られた経験則としての意味である[3]
出典
^
小山 信也 「ゼータ関数と量子カオス」 (PDF)、『数理科学』 (サイエンス社)第411号45-50頁、1997年9月。http://www1.tmtv.ne.jp/~koyama/papers/Japanese/koyama.pdf。2014年1月3日閲覧。
^
小山 信也 「量子力学・幾何学・跡公式」 (PDF)、『数理科学』 (サイエンス社)第429号、1999年3月。http://www1.tmtv.ne.jp/~koyama/papers/Japanese/koyama4.pdf。2014年1月3日閲覧。
^
Montgomery-Odlyzko Law WolframMathworld. 2014年1月3日閲覧。
^ J. Brian Conrey (March 2003), “The Riemann Hypothesis”, Notices of the American Mathematical Society, 3 (pdf: American Mathematical Society) 50: 348-349, ISSN 1088-9477, http://www.ams.org/notices/200303/
^ Hugh Montgomery (1973), “The pair correlation of zeros of the zeta function”, Analytic number theory, Proc. Sympos. Pure Math., XXIV, Providence, R.I.: American Mathematical Society, pp. 181–193, MR 0337821
- ^ abOdlyzko, A. M. (1987), “On the distribution of spacings between zeros of the zeta function”, Mathematics of Computation (American Mathematical Society) 48 (177): 273–308, doi:10.2307/2007890, ISSN 0025-5718, JSTOR 2007890, MR 866115, http://jstor.org/stable/2007890
^ Katz, Nicholas M.; Sarnak, Peter (1999), “Zeroes of zeta functions and symmetry”, American Mathematical Society. Bulletin. New Series 36 (1): 1–26, doi:10.1090/S0273-0979-99-00766-1, ISSN 0002-9904, MR 1640151, http://www.ams.org/bull/1999-36-01/S0273-0979-99-00766-1/home.html
^ A. M. Odlyzko, "The 1020-th zero of the Riemann zeta function and 70 million of its neighbors," AT&T Bell Lab. preprint (1989)
^ M. Mehta (1990), chap.1
参考文献
Mandan Lal Mehta (1990), Random Matrices (2nd ed.), Academic Press, ISBN 0-12-488051-7
関連項目
- ゼータ関数
- ヒルベルト・ポリア予想
