ヒルベルト・ポリア予想

数学において、ヒルベルト・ポリア予想 (Hilbert–Pólya conjecture) とは、スペクトル理論によるリーマン予想への一つのアプローチの方法である。1910年代に、ヒルベルトとポリアが、リーマン予想の証明は自己共役作用素を見つけることにより得られるのではないかと示唆したことが、この予想の契機である。

歴史[編集]

ジョージ・ポリアが1912年から1914年にかけてゲッティンゲンにいた頃、リーマン予想は正しいはずだという物理的な理由をエドムント・ランダウから聞かれたときに「もしリーマンゼータ函数の零点

{\tfrac {1}{2}}+it

の虚部tが、非有界な自己共役作用素の固有値に対応するならば、リーマン予想は正しいだろうから」と示唆したことを、1982年1月3日付けのアンドリュー・オドリツコ（英語版）への手紙の中でジョージ・ポリヤは述べた。

この予想に関する、最も早い出版物中の記載はMontgomery (1973) のようである。^[1]^[2]

1950年代とセルバーグ跡公式[編集]

ポリアとランダウの会話の時代には、このような見方の土台はほとんど無かった。しかし、1950年代初期にアトル・セルバーグは、リーマン面の長さスペクトルとラプラス作用素の固有値の間の双対性を証明した。セルバーグ跡公式は、明示公式に非常によく似ていて、明示公式はヒルベルト・ポリヤの見方に信憑性を与えている。

1970年代とランダム行列[編集]

ヒュー・モンゴメリーはクリティカルライン上の零点の統計的分布を研究し、ある性質を持つことを予想した。この予想は、現在、モンゴメリーのペア相関予想と呼ばれている。零点は、密集し過ぎぎず反発するような傾向がある^[2]。彼は1972年にプリンストン高等研究所を訪れたとき、この結果をフリーマン・ダイソンに示した。ダイソンはランダム行列理論の基礎を築いた一人である。

ダイソンは、モンゴメリーが発見した統計分布がランダムエルミート行列の固有値のペア相関分布と同一に見えることを知った。これらの分布は物理学で重要であり、例えば、原子核のエネルギー準位のように、ハミルトニアンの固有状態はある統計を満たす。引き出された結果は、リーマンゼータ函数の零点の分布とガウス型ユニタリアンサンブルから来るランダムエルミート行列の固有値との間の関係を強く裏付けていて、両方とも同じ統計に従うと現在は信じられている。このようにヒルベルト・ポリアの予想は、リーマン予想の証明には未だ至っていないが、より強固な基礎付を持っている^[3]。

量子力学と関係[編集]

ヒルベルト・ポリアの作用素と量子力学の関係は、ポリアにより与えられた。ヒルベルト・ポリア予想の作用素は、 $\scriptstyle 1/2+iH$ の形をしている。ここに $\scriptstyle H$ は、ポテンシャル $\scriptstyle V(x)$ の中を運動している質量 $m$ を持った粒子のハミルトニアンである。リーマンの予想は、このハミルトニアンがエルミートであること、同じことだが、 $\scriptstyle V$ が実数であるということと同値である。

一次までの摂動論によれば、n-番目の固有状態のエネルギーは、ポテンシャルの期待値に関係している。

E_{n}=E_{n}^{0}+\langle \varphi _{n}^{0}\vert V\vert \varphi _{n}^{0}\rangle

ここに $\scriptstyle E_{n}^{0}$ と $\scriptstyle \varphi _{n}^{0}$ は自由粒子のハミルトニアンの固有値、固有状態である。この方程式は、エネルギー $\scriptstyle E_{n}$ を持つ第一種フレドホルム積分方程式として扱うことができる。このような積分方程式は、レゾルベント核の方法で解くことができ、ポテンシャルは次のように書けることになる。

V(x)=A\int _{-\infty }^{\infty }(g(k)+{\overline {g(k)}}-E_{k}^{0})\,R(x,k)\,dk

ここに、 $\scriptstyle R(x,k)$ はレゾルベント核で、 $\scriptstyle A$ は実定数であり、

g(k)=i\sum _{n=0}^{\infty }\left({\frac {1}{2}}-\rho _{n}\right)\delta (k-n)

である。ここに $\scriptstyle \delta (k-n)$ はディラックのデルタ函数で、 $\scriptstyle \rho _{n}$ はゼータ函数 $\scriptstyle \zeta (\rho _{n})=0$ の『非自明な』零点である。

マイケル・ベリーとジョナサン・キーティング(Jonathan Keating)は、ハミルトニアン H が実際に何らかの古典的ハミルトニアン xp の量子化であると推測した。ここに p は x についての正準運動量である ^[5]。xp に対応する最も単純なハミルトニアン作用素は、

H={\tfrac {1}{2}}(xp+px)=-i\left(x{\frac {\mathrm {d} }{\mathrm {d} x}}+{\frac {1}{2}}\right).

である。

このヒルベルト・ポリア予想の精密化は、ベリー予想、あるいはベリー・キーティングの予想として知られている。2008年の時点では、いまだ極めて不正確である。正しい力学を与えるにはどのような空間上でこの作用素が作用するべきか、期待される対数補正を得るにはどのようにこれを正規化するか、ということが明らかではないからである。ベリーとキーティングは、この作用素はスケール変換(dilations)の下に不変であるから、整数 n に対しての境界条件 f(nx) = f(x) が、十分大きな n に対し有効である漸近補正

{\frac {1}{2}}+i{\frac {2\pi n}{\log n}}

を得ることのヒントとなるのではないかと予想した。^[6]

参考文献[編集]

^ Odlyzko, Andrew, Correspondence about the origins of the Hilbert–Polya Conjecture .
^ ^a ^b Montgomery, Hugh L. (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 .
^ Rudnick, Zeev; Sarnak, Peter (1996), “Zeros of Principal L-functions and Random Matrix Theory”, Duke Journal of Mathematics 81: 269–322, doi:10.1215/s0012-7094-96-08115-6 .
^ Connes, Alain (1998), Trace formula in noncommutative geometry and the zeros of the Riemann zeta function, arXiv:math/9811068 .
^ Berry, Michael V.; Keating, Jonathan P. (1999a), “H = xp and the Riemann zeros”, in Keating, Jonathan P.; Khmelnitski, David E.; Lerner, Igor V., Supersymmetry and Trace Formulae: Chaos and Disorder, New York: Plenum, pp. 355–367, ISBN 978-0-306-45933-7 .
^ Berry, Michael V.; Keating, Jonathan P. (1999b), “The Riemann zeros and eigenvalue asymptotics”, SIAM Review 41 (2): 236–266, doi:10.1137/s0036144598347497 .

参考文献の追加[編集]

Aneva, B. (1999), “Symmetry of the Riemann operator”, Physics Letters B450: 388–396 .
Elizalde, Emilio (1994), Zeta regularization techniques with applications, World Scientific, ISBN 978-981-02-1441-8 . この著者は、ヒルベルト・ポリアの問題がグッツウィーラーの跡公式と関係していて、零点の虚部にわたる和 $\exp(i\gamma )$ の値であろうと説明している。

[odlyzko-1] Odlyzko, Andrew, Correspondence about the origins of the Hilbert–Polya Conjecture .

[montgomery-2] Montgomery, Hugh L. (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 .

[3] Rudnick, Zeev; Sarnak, Peter (1996), “Zeros of Principal L-functions and Random Matrix Theory”, Duke Journal of Mathematics 81: 269–322, doi:10.1215/s0012-7094-96-08115-6 .

[4] Connes, Alain (1998), Trace formula in noncommutative geometry and the zeros of the Riemann zeta function, arXiv:math/9811068 .

[bk99a-5] Berry, Michael V.; Keating, Jonathan P. (1999a), “H = xp and the Riemann zeros”, in Keating, Jonathan P.; Khmelnitski, David E.; Lerner, Igor V., Supersymmetry and Trace Formulae: Chaos and Disorder, New York: Plenum, pp. 355–367, ISBN 978-0-306-45933-7 .

[6] Berry, Michael V.; Keating, Jonathan P. (1999b), “The Riemann zeros and eigenvalue asymptotics”, SIAM Review 41 (2): 236–266, doi:10.1137/s0036144598347497 .

[1]

[2]

[3]

[4]

[5]

[6]