考える波 第 63 回 / 第 XX 部・トンネルするものたち

核の準位と リーマン零点は、同じ統計だった

波とゼータ ──
共鳴が並ぶと、数論に出る 「核物理を 波として考えると 計算は簡単になるか」── なります。共鳴(定在波)と しみ出し(トンネル)に分ければ、前者は数個の数、後者は質量と電荷だけ。
★★ 「波とゼータの関係は」── その二つは同じ場所で合流します。共鳴が並んだときの間隔の統計が、リーマンゼータの零点の統計と同じものでした(Montgomery–Dyson 1972)。
★★★ 本回はリーマン零点を自前で計算して確かめます ── \(\chi^2\) は Poisson 3906、GOE 495、GUE 32.7

必要な道具:第 45, 55, 61, 62 回計算:kenshou/zeta.js(検算 10 件・依存 0)★ 動かせます

第 62 回で「d+t の利点は障壁ではなく共鳴」と分かりました。★ ではその共鳴は、いくつ必要なのか。そして共鳴が並んだとき、何が現れるのか。
★★ 答えは ── 数論に出ます。

01核を波として見る ── 共鳴と しみ出しに 分ける

核物理を 2 つに 割る $$\sigma(E)=\underbrace{\frac{S(E)}{E}}_{\text{核の側=共鳴}}\times\underbrace{e^{-B_G/\sqrt{E}}}_{\text{外側=しみ出し}}$$

第 62 回で右側(しみ出し)は質量と電荷だけで決まると分かりました。では左側は? ── d+t の \(S(E)\) を、ブライト=ウィグナー1 つで合わせてみます。

\(E\)[keV]\(S(E)\) 実際共鳴 1 つ
1012155155341.278
3021198211100.996
6423061218110.946
10011427122221.070
300120210150.844
当てはめる窓\(E_R\)[keV]\(\Gamma\)[keV]典型のずれ
5〜300 keV(広い)48.5106.59.6 %
35〜110 keV(山だけ)48.891.90.5 %
文献(R 行列の極)64約 75別の模型

01節の中心 ── 簡単になる。ただし代金がある

★★★ 共鳴 1 つ で 5〜300 keV を 10 % 程度、山だけなら 0.5 % で再現できます。d+t の核物理は3 つの数(\(E_R\), \(\Gamma\), 強さ)に畳めました。
★★ ところがその 48.8 keV は、文献の「共鳴 64 keV」とは別の量です。文献の 64 keV は R 行列の極(幅がエネルギーで変わる扱い)、本稿の値は「幅を定数にした BW を \(S(E)\) に合わせた中心」。どちらも同じ \(\sigma(E)\) を与えますが、数としては一致しません。
これは間違いではなく模型の違い ── 第 55 回の分類でいう「模型を仮定した値」。断面積を作るのが目的なら 48.7 keV が正しく、共鳴の位置を言いたいなら 64 keV を使うべきです。
★★★ つまり:簡単にはなる。ただし出てくるのは模型の数で、共鳴のパラメータではない。

02共鳴が並ぶと、何が現れるか

核には共鳴が 1 つではなくたくさんあります。重い核なら中性子分離エネルギーの近くに、数 eV 間隔で何百本も。★ 一本一本の位置を計算するのは絶望的です ── 核力の詳細が全部効くので。

★★ ところがウィグナーが 1950 年代に気づきました個々の位置は計算できなくても、間隔の分布は計算できる。しかもそれは核力の中身に依らず、対称性だけで決まる。

統計\(P(s)\)\(\langle s^2\rangle\)\(s<0.3\) の割合どんな系
ポアソン\(e^{-s}\)2.00000.2592無相関(可積分系)
GOE\(\frac{\pi}{2}se^{-\pi s^2/4}\)1.27320.0682時間反転対称あり ── 原子核
GUE\(\frac{32}{\pi^2}s^2e^{-4s^2/\pi}\)1.17810.0187時間反転対称なし

要点は \(s\to0\) の振る舞い無相関なら「ぴったり重なる準位」がいちばん多いはず(\(e^{-s}\) は \(s=0\) で最大)。ところが実際の核は \(s\to0\) で 0 に落ちます ── 準位反発
★★ 落ち方が \(s^1\) か \(s^2\) かで GOE と GUE が分かれます。原子核データ集成(NDE)は GOE に従うことが知られています。

03リーマン零点を、自前で 計算する

ここで数論に移ります。リーマンゼータの非自明な零点は、リーマン=ジーゲルの公式で計算できます。

リーマン=ジーゲル $$Z(t)=2\sum_{n\le N}\frac{\cos\bigl(\theta(t)-t\ln n\bigr)}{\sqrt n}+\text{補正},\qquad N=\left\lfloor\sqrt{t/2\pi}\right\rfloor$$
番号本稿の計算既知の値
114.13719614.1347252.5e−3
221.02437721.0220402.3e−3
532.93256232.9350622.5e−3
1049.77264149.7738321.2e−3

★ 漸近公式なので低い \(t\) では \(10^{-3}\) 級ですが、誤差は \(t^{-3/4}\) で減ります。統計に使うには「数え落としも偽の零点もない」ことのほうが大事で、それはリーマン=フォン・マンゴルトの \(N(T)\simeq\theta(T)/\pi+1\) と突き合わせれば分かります。

範囲見つけた個数\(N(T)\) の予想
\(t=10\ldots1000\)649648.590.41
\(t=10\ldots5000\)45204520.31−0.31
\(t=10^4\ldots1.2\times10^4\)23772376.630.37
\(t=5\times10^4\ldots5.1\times10^4\)14301431.10−1.10

★★★ 1 個未満のずれで合う ── 数え落としも偽の零点もありません。統計に使えます。

04★★★ アンフォールドして、間隔を 比べる

零点の密度は \(t\) とともに増えます(\(dN/dt=\ln(t/2\pi)/2\pi\))。統計を見るには密度を 1 に揃えなければなりません ── これがアンフォールド。幸い、その変換はすでに手元にあります:\(x_n=\theta(t_n)/\pi\)。

\(t=10^4\ldots1.4\times10^4\) の零点4808 個
生の平均間隔(\(t\) で)0.8321
理論 \(2\pi/\ln(t/2\pi)\)0.8317
アンフォールド後の平均0.999823

リーマン零点の 準位統計 ── 自分で 計算してみてください

10^5
1500
★ ボタンを押すと、その場で \(Z(t)\) の零点を探して統計を取ります(数秒)。
零点の窓\(\langle s^2\rangle\)\(s<0.3\)\(\chi^2\) Poisson\(\chi^2\) GOE\(\chi^2\) GUE
\(t=10^4\)1.15830.0221422358141.9
\(t=10^5\)1.16290.0225390649532.7
(比較)GUE1.17810.0187──────
(比較)GOE1.27320.0682──────
(比較)ポアソン2.00000.2592──────

いちばん効くのは小さい \(s\) です。ヒストグラムの頭のほうだけ見ると:

\(s\)★ 零点(実測)ポアソンGOEGUE
0.070.0250.9280.1170.018
0.220.1250.7990.3400.154
0.380.3330.6870.5270.381
0.820.9340.4380.7590.928
1.270.7340.2790.5590.665

04節の中心 ── これが 本回の 山

★★★ \(s=0.07\) で、ポアソンは 0.928、GOE は 0.117、GUE は 0.018 を予想します。実測は 0.025。
★★ 零点は「重なりたがらない」 ── 無相関ならいちばん多いはずの「ぴったり近い対」が、ほとんど無い。これが準位反発で、原子核の準位とまったく同じ現象です。
★★★ しかも落ち方は \(s^2\)(GUE)── 核の \(s^1\)(GOE)より急。\(\chi^2\) で Poisson 3906、GOE 495、GUE 32.7 ── GUE が GOE より 15 倍 良い。
\(t\) を \(10^4\to10^5\) に上げると \(\chi^2\) は 41.9 → 32.7 と改善します。収束は遅く、Odlyzko が \(t=10^{20}\) まで行ったのはこのためです。

05なぜ 同じなのか ── そして 何が 言えないか

答えは「対称性しか効かないから」です。ランダム行列の準位統計は、行列の中身にまったく依りません ── 実対称(時間反転あり)か エルミート(なし)か、それだけで決まります。

★★ だから、中身がまるで違う系が同じ統計になります。核力とゼータ関数に共通の物理はありません。共通なのは「たくさんの準位が、ある対称性のもとで並んでいる」という構造だけ。

言えること根拠
d+t の \(S(E)\) は共鳴 1 つで書ける残差 10 %(山だけなら 0.5 %)
★ ただし \(E_R\) は模型の数R 行列の 64 keV とは別物
零点を自前で計算できる\(N(T)\) と 1 個未満で一致
★ 零点の間隔はポアソンではない\(\chi^2\) が桁違い
★ 零点の間隔は GUE に近い\(\langle s^2\rangle\) とヒストグラム
\(t\) を上げると GUE に近づく\(10^4\) と \(10^5\) の比較
★★ 言えないこと理由
零点がある演算子の固有値であるヒルベルト=ポリア予想 ── 未解決
GUE 一致がリーマン予想を示す別の問題。統計は予想を含意しない
核の準位と零点が「同じ物理」同じ統計であって同じ機構ではない
本稿が何かを証明した既知の結果の数値確認

05節の中心 ── いちばん大事な区別

★★★ 「同じ統計」は「同じ物理」ではありません。対称性が同じなら中身が違っても同じ統計になる ── だから一致するのであって、隠れた共通機構があるからではない。
★★ それでも面白いのはゼータの零点が「時間反転のない量子系」の対称性クラスに落ちることが、数論の側からは予想されていなかった点です。1972 年、モンゴメリーが零点の対相関を計算し、お茶の時間にダイソンに話したら「それは GUE だ」と即答された ── というのが有名な逸話です。

06そして \(-1/12\) ── あれは スペクトルの ゼータだった

第 45 回でカシミール効果の \(-1/12\) を出し、第 61 回で 5 種類の切断に依らないことを確かめました。★ ここでその由来がはっきりします。

1 次元の箱 $$\omega_n=\frac{n\pi c}{a},\qquad E=\frac{\hbar}{2}\sum_n\omega_n=\frac{\hbar\pi c}{2a}\sum_n n=\frac{\hbar\pi c}{2a}\,\zeta(-1)=-\frac{\hbar\pi c}{24a}$$

06節の中心

★★★ \(-1/12\) は「波のスペクトルのゼータ関数の値」でした。\(1+2+3+\cdots\) の「値」ではなく、モードの並びが決めている数です。
★★ 第 45 回は切断で、第 61 回は 5 種類の切断の一致で、そして本回はスペクトルゼータという名前 ── 三度目にして、同じものを三つの角度から見たことになります。
そして本回の 04 節も、同じ「スペクトルのゼータ」の話です ── 零点の統計も、モードの並びの性質。ゼータ関数は、波の並びを書く言葉でした。

07太鼓の形は 聞けるか ── ワイルの法則

スペクトルには形の情報が入っています。長方形の太鼓(\(a\times b\)、固定端)の固有値を数えると:

ワイルの法則 $$N(\Lambda)\simeq\frac{\text{面積}}{4\pi}\Lambda-\frac{\text{周長}}{4\pi}\sqrt\Lambda+\cdots$$
\(\Lambda\)数えた \(N(\Lambda)\)第 1 項(面積)第 2 項まで残差
\(10^4\)531557.0530.01.0
\(10^5\)54865570.45484.91.1
\(10^7\)556183557042.3556186.7−3.7

★★ 第 1 項が面積、第 2 項が周長 ── \(10^7\) で 0.001 % の一致。スペクトルから形が読めます。
★★★ これが「太鼓の形は聞けるか」。答えは「面積と周長は聞ける(形そのものは聞けない)」
ゼータの側で言えばスペクトルゼータ \(\zeta_\Delta(s)=\sum\lambda_n^{-s}\) の極の位置と留数が、面積・周長・曲率に対応します ── 波の並びとゼータ関数は、同じものの二つの書き方でした。

練習問題

  1. 01 節で \(E_R\) が模型ごとに違う値になった。これは第 55 回のどの話か。
    答えを見る
    「模型を仮定した値」そのものです。第 55 回で本シリーズの数字 16 件を分類したとき、5 件が これでした。
    ここで新しいのは、同じ観測量(\(\sigma(E)\))を同じ精度で再現する二つの模型が、パラメータとしては 24 % 違う値を返すという具体例が出たこと。
    ★★ どちらも間違っていません。「48.7 keV」は「幅一定の BW で \(S(E)\) を合わせたときの中心」、「64 keV」は「R 行列の極」── 定義が違う量です。
    ★★★ だから手引きに足すべきは:パラメータを書くときは、模型の名前も一緒に書く。第 60 回の「分散を書くときは記録の長さも書く」(⑭)と同じ形の要求です。
    観測量(断面積)は模型に依らないのに、パラメータは依る ── その差が「測った値」と「読み取った値」の境目です。
  2. 04 節で「\(t\) を上げると GUE に近づく」と出た。なぜ収束が遅いのか。
    答えを見る
    零点の統計には、素数からの補正が乗っているからです。
    対相関の補正項は \(1/\ln(t/2\pi)\) の程度で落ちます。★★ \(t=10^5\) では \(\ln(t/2\pi)=9.7\) なので補正は 10 % 程度これを 1 % にするには \(\ln\) を 100 にする必要があり、\(t\sim e^{100}\approx10^{43}\)。
    ★★★ つまり「対数でしか良くならない」 ── 第 53 回の「範囲は対数でしか買えない」が、ここにも出ています。Odlyzko が \(10^{20}\) まで行っても \(\ln=45\)、まだ 2 % 級です。
    本稿の \(\chi^2\) が 41.9 → 32.7 としか改善しないのも同じ理由 ── \(t\) を 10 倍 しても \(\ln\) は 9.7 → 12.0 にしか増えません。
  3. 「核の準位は GOE、零点は GUE」と出た。この違いは何を意味するか。
    答えを見る
    時間反転対称性の有無です。
    原子核は時間反転に対して対称なので、ハミルトニアンは実対称行列にできる ── GOE。★★ 零点の統計が GUE ということは、もし零点が何かの固有値なら、その「何か」は時間反転対称でないということになります。
    ★★★ ここが面白いところで、同時にいちばん注意が要るところです。これは「そういう演算子が存在する」ことの証拠ではありません ── ヒルベルト=ポリア予想は未解決のままです。
    言えるのは「もし存在するなら、その対称性クラスはこれ」という条件つきの手がかりだけ。★★ 第 55 回の言葉では、これは「仮定つきの推論」であって測定結果ではありません。磁場中の核(時間反転が破れる)は GUE に移ることが知られており、対応は具体的です ── が、それでも「同じ統計」止まりです。

まとめ 共鳴が並ぶと、数論に出る

「核物理を波として考えると計算は簡単になるか」── なります。

★★★ \(\sigma(E)=\dfrac{S(E)}{E}\,e^{-B_G/\sqrt E}\)。
右は質量と電荷だけ(第 62 回)、左は共鳴 1 つ(本回)。

d+t の \(S(E)\) は共鳴 1 つ で 10 %(山だけなら 0.5 %)まで再現できました。核物理が 3 つの数に畳めます。★★ ただし代金があり、得られる \(E_R=48.8\) keV は文献の 64 keV とは別の量(R 行列の極ではなく、幅一定 BW の中心)。同じ \(\sigma(E)\) を与えるのにパラメータは 24 % 違う ── 第 55 回の「模型を仮定した値」の教科書的な例です。

★★★ そして共鳴が並ぶと、準位統計になります。個々の位置は計算できなくても、間隔の分布は対称性だけで決まる(ウィグナー)。

★★★ その統計が、リーマンゼータの零点の統計と同じものでした。

本回は零点を自前で計算して確かめました(リーマン=ジーゲル、\(N(T)\) と 1 個未満で一致)。アンフォールド後の平均間隔 0.999823、\(\langle s^2\rangle=1.163\)(GUE 1.178 / GOE 1.273 / ポアソン 2.000)。★★ \(\chi^2\) は Poisson 3906、GOE 495、GUE 32.7 ── \(s=0.07\) でポアソンは 0.928 を予想するのに、実測は 0.025。零点は重なりたがらない ── 原子核の準位とまったく同じ現象です。

★★ ただし「同じ統計」は「同じ物理」ではありません。ランダム行列は対称性だけで決まるので、中身が違っても一致します。零点が何かの演算子の固有値である(ヒルベルト=ポリア)ことは未解決のままで、本回はそれに触れてもいません。

★★★ おまけに \(-1/12\) の正体も片づきました ── あれは波のスペクトルのゼータ関数 \(\zeta(-1)\) です。\(1+2+3+\cdots\) の値ではなく、モードの並びが決めている数。そしてワイルの法則(\(10^7\) で 0.001 % 一致)が示すとおり、スペクトルには面積と周長が入っています ── 波の並びとゼータ関数は、同じものの二つの書き方でした。

この文書は「考える波」シリーズ第 63 回です。計算は kenshou/zeta.js で行っています(依存ライブラリ 0、リーマン零点も自前計算、検算 10 件すべて合格)。本稿の発見ではないもの:単一準位ブライト=ウィグナー公式、リーマン=ジーゲル公式、リーマン=フォン・マンゴルトの \(N(T)\)、ウィグナーの準位統計と準位反発、ランダム行列の対称性クラス(GOE / GUE)、モンゴメリーの対相関予想とダイソンとの一致(1972)、Odlyzko による大規模数値検証、ゼータ関数正則化、ワイルの法則、「太鼓の形は聞けるか」── いずれもよく知られた結果で、本稿はその数値確認です。本稿がしたのは、① d+t の \(S(E)\) を共鳴 1 つで合わせ、得られる \(E_R\) が R 行列の値と 24 % 違うことを模型依存性の具体例として示したこと、② リーマン零点を自前で計算して \(N(T)\) と照合し、統計に使える精度であることを確かめたこと、③ その間隔分布を GUE / GOE / ポアソンと \(\chi^2\) で比べたこと、④ \(-1/12\) をスペクトルゼータとして位置づけ直したことです。限界:零点の計算はリーマン=ジーゲルの主要項+先頭の補正項までで、低い \(t\)(\(t<100\) 程度)では \(10^{-3}\) 級の誤差があります。統計は \(t=10^4\) と \(10^5\) の窓のみで、Odlyzko の \(10^{20}\) とは比べものになりません ── GUE への一致が不完全なのは計算の不備ではなく、\(1/\ln(t/2\pi)\) の補正が残っているためです(練習問題 2)。核の準位が GOE に従うことは文献の結果で、本稿は核データを解析していません。本稿は数論の未解決問題について何も主張していません(リーマン予想にもヒルベルト=ポリア予想にも触れていません)。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を。

印刷 / PDF 化:⌘+P(Windows は Ctrl+P)。「答えを見る」で解答が開きます。★ 計算ボタンは印刷には出ません。