わかる c·t=一定 第 35 回 / 第 IV 部・第14回の異常次元が、重力に届く
イジングは 3.6%、重力の固定点は 100%
漸近安全性と、
走る \(G\)
\(G\) をスケールと組んで無次元化し、走らせて固定点を探す。
すると第14回のウェイト表の誤差が、重力では 100% になります。
第7回で「\(G\) は次元付きだから帳簿」と数え、第34回で「\(\alpha_g\) は無次元だから物理」と数えました。漸近安全性は、その両方をつなぐ立場です ── \(G\) をスケールと組んで無次元化して走らせる。すると紫外で固定点に落ち着き、重力が量子論として成立する。そして第14回の異常次元が、いよいよ重力そのものに現れます ── しかも、想像より遥かに大きい値で。
01\(G\) を、無次元にする
4 次元では \([G]=\)長さ\(^2\)(\(\hbar=c=1\) で \(G=\ell_P^2\))── 次元付き=帳簿
$$g(k)=G\,k^2=(\ell_P k)^2\qquad\text{← これが物理の側(ウェイト 0)}$$第3回で「無次元だけが物理」と決め、第16回で地図を作りました。漸近安全性は、その判定手続きを重力の結合そのものに当てた立場です ── \(G\) 単独では意味がないので、スケール \(k\) と組んで無次元にする。
02実際に走らせてみる
| スケール | \(k\) [1/m] | \(g=(\ell_Pk)^2\) |
|---|---|---|
| 実験室(\(1\ \mathrm{m^{-1}}\)) | \(1.0\) | \(2.6\times10^{-70}\) |
| 陽子(1 GeV) | \(5.1\times10^{15}\) | \(6.7\times10^{-39}\) |
| LHC(10 TeV) | \(5.1\times10^{19}\) | \(6.7\times10^{-31}\) |
| 大統一(\(10^{16}\) GeV) | \(5.1\times10^{31}\) | \(6.7\times10^{-7}\) |
| プランク(\(1.22\times10^{19}\) GeV) | \(6.2\times10^{34}\) | \(1.0\) |
02節の結論
傾きはちょうど 2 ── \(g=Gk^2\) の古典次元そのものです。
── プランク以下では、ウェイト表がぴったり正しい(異常次元ゼロ)。
ついでに、有名な「重力は \(10^{-38}\) 倍弱い」という数字の正体もここにあります ── 陽子スケールで \(g=6.7\times10^{-39}\)。弱いのではなく、見ているスケールが小さいだけです。
03紫外で、固定点に落ち着く
ロイター系の代表値(切り捨て・スキーム依存)
$$g^*\simeq0.71,\qquad \lambda^*\simeq0.19$$\(g\) がここで止まるので \(G(k)\propto1/k^2\) となり、重力は紫外で弱くなります。これが「漸近安全(asymptotically safe)」という名前の意味です ── 発散する代わりに、有限の値に落ち着く。
図:無次元化した重力の結合 \(g=Gk^2\) の走り。プランク以下は傾き 2 の直線(古典次元そのもの)、その上で固定点に平らになります。ツマミで \(g^*\) を変えると、折れ曲がる場所が動きます
04核心 ── 固定点では、ウェイト表が 100% 外れる
ここが今回の要です。\(g=Gk^2\) が定数になるには、\(G\) の走りが \(k^{-2}\) でなければなりません。つまり ──
| 演算子 | 古典次元 | 異常次元 | 誤差の割合 |
|---|---|---|---|
| 3 次元イジングのスピン演算子(第14回) | 0.5 | 0.0181 | 3.6% |
| 重力の結合(固定点) | 2.0 | 2.0 | 100% |
今回いちばん言いたいこと
第14回で「帳簿の数字に誤差棒が付く」と書きました。3 次元イジングでは 3.6% のずれでした。
重力の固定点では 100% ── 古典次元が丸ごと打ち消されます。
── 誤差棒どころではありません。ウェイト表そのものが、そこでは意味を失う。
第14回で「ウェイトは決まった数ではなく、理論が決め、実験が測る量だった」と結論しました。重力の紫外では、その「理論が決める」が極限まで効きます ── 次元解析の予想が、まるごと消える。
05何を買うのか ── 予言の個数
漸近安全性の売りは、紫外臨界面の次元=自由パラメータの個数が有限であることです。
| 内容 | |
|---|---|
| relevant な方向 | 2〜3 個(切り捨ての取り方で変わる) |
| もし 3 個なら | 紫外の物理が 3 個で決まる ── 第5回の値段で 16.1 ビット |
| 弱点 | 個数が切り捨て依存で定まらないこと自体 |
06実際に当たった予言 ── ヒッグス質量
発見より前に出された予言です。 第19回の手続きで驚きを測ります。
| 事前範囲の取り方 | 驚き |
|---|---|
| 当時の LEP+精密電弱が示唆した幅(90〜160 GeV) | 4.5 bit |
| もっと広く 100〜300 GeV と取る場合 | 6.1 bit |
4〜6 ビット ── 第19回の目盛りでは偶然の帯(第29回の MOND が 5.9、第34回の \(\gamma_0\) が 5.4)。ただし説明(固定点条件)があるので、第27回のインフレーションと同じく物理へ移ります ── 当たっていれば。この予言は物質セクターについての仮定に依存し、頑健性には議論があります。
07種明かし ── 第34回と同じ入口
07節の結論
第3回で作った判定手続き(次元付きは帳簿、無次元が物理)が、
重力の量子化そのものの設計に効いています。
── 二つの理論が、同じ入口から入って、別々の場所で代償を払っている。
| 理論 | 無次元の結合 | 主な負債 | 未解決 |
|---|---|---|---|
| 共形重力(第34回) | \(\alpha_g\)(構成上) | ゴースト | CMB 予言が未確立 |
| 漸近安全性 | \(g=Gk^2\)(走る) | 切り捨て依存 | 予言の個数が定まらない |
① 固定点の値 \(g^*\simeq0.71\)、\(\lambda^*\simeq0.19\) は切り捨てとスキームに依存します。 汎関数繰り込み群の計算では作用の切り捨て方を選ぶ必要があり、値は数割動きます。固定点の存在は多くの切り捨てで確認されていますが、それが真の非摂動的な結果であることの厳密な証明はありません。
② \(\eta_N=-2\) は「固定点で \(g\) が定数になる」ことの言い換えです。 定義上そうなる、という側面が強く ── 第19回の分類でいえば恒等式に近い。ただし「そのような固定点が実在するか」は恒等式ではなく物理の主張です。04節が言っているのは、もし固定点があるなら、ウェイト表の誤差が最大になるということです。
③ 「relevant な方向が 2〜3 個」は切り捨て計算による見積もりです。 数が確定していないこと自体が、この理論の予言力に対する主要な批判の一つです。
④ ヒッグス質量の予言(Shaposhnikov & Wetterich 2010)は、物質セクターの仮定(特に「プランクスケールで量子効果が \(\lambda\) と \(\beta_\lambda\) を同時にゼロにする」という条件)に依存します。 予言の頑健性、およびトップクォーク質量の不定性の扱いには議論があります ── 本稿は当たったという事実と、その驚きの大きさを記録するに留めます。
⑤ 漸近安全性は有力な候補の一つですが、確立した量子重力理論ではありません。 弦理論・ループ量子重力・因果的動的三角形分割など他の候補があり、どれも決着していません。
練習問題(今回の式だけで解けます)
- \(G\) を無次元にする方法と、その理由を述べよ。
答えを見る
\([G]=\)長さ\(^2\) なので、スケール \(k\)(逆長さ)と組んで \(g=Gk^2=(\ell_Pk)^2\) とすれば無次元。次元付きは帳簿、無次元が物理(第3回・第16回)なので、物理はこの \(g\) の側にあります。 - 陽子スケールでの \(g\) を求め、「重力は \(10^{-38}\) 倍弱い」の正体を説明せよ。
答えを見る
1 GeV は \(k=5.07\times10^{15}\ \mathrm{m^{-1}}\) なので \(g=(\ell_Pk)^2=6.7\times10^{-39}\)。重力が本質的に弱いのではなく、見ているスケールが小さいだけです ── プランクスケールでは \(g=1\) になります。 - プランク以下で \(g\) の傾きが 2 になるのはなぜか。
答えを見る
\(g=Gk^2\) で \(G\) が定数なら \(g\propto k^2\) だから。古典次元そのもので、異常次元がゼロということ ── プランク以下ではウェイト表がぴったり正しい。 - 固定点での異常次元を求め、第14回と比べよ。
答えを見る
\(g=Gk^2\) が定数になるには \(G\propto k^{-2}\)、つまり \(\eta_N=-2\) ちょうど。3 次元イジングは古典次元 0.5 に対し異常次元 0.018(3.6%)でしたが、重力は 2 に対し 2 ── 100%。古典次元が丸ごと打ち消されます。 - (やや難)第34回の共形重力と、漸近安全性の関係を述べよ。
答えを見る
どちらも「物理は無次元の結合にある」という同じ要求から出発しています ── 共形重力は \(\alpha_g\) が構成上無次元、漸近安全性は \(G\) を \(k\) と組んで無次元化して走らせる。第3回の判定手続きが、重力の量子化そのものの設計に効いているということです。代償の場所は違います(ゴースト 対 切り捨て依存)。
まとめ 重力では、ウェイト表が丸ごと消える
漸近安全性は、このシリーズの判定手続きを重力の結合そのものに当てた立場です ── \(G\) は次元付きなので単独では意味がなく、スケールと組んで \(g=Gk^2=(\ell_Pk)^2\) を作る。走らせてみると、実験室で \(2.6\times10^{-70}\)、陽子スケールで \(6.7\times10^{-39}\)、プランクで \(1.0\) ── 傾きはちょうど 2 で、古典次元そのもの。「重力は \(10^{-38}\) 倍弱い」の正体も、これでした(弱いのではなく、見ているスケールが小さいだけ)。
紫外では固定点 \(g^*\simeq0.71\) に落ち着き、\(G(k)\propto1/k^2\) となって重力が紫外で弱くなります。そして核心 ── \(g\) が定数になるには \(G\) が \(k^{-2}\) で走らねばならず、ニュートン結合の異常次元は \(\eta_N=-2\) ちょうど。第14回で「帳簿の数字に誤差棒が付く」と書き、3 次元イジングで 3.6% と測りましたが、重力の固定点では 100% ── 古典次元が丸ごと打ち消されます。誤差棒どころではありません。
買うのは予言の個数です(relevant な方向 2〜3 個、第5回の値段で 16.1 ビット)── ただし個数が切り捨て依存で定まらないことが弱点。実際に当たった予言もあります ── シャポシニコフ=ヴェッテリヒ(2010)のヒッグス質量 126 GeV に対し、実測 125.25 GeV。第19回の手続きで 4〜6 ビットの驚きで、説明があるので物理の側です(ただし物質セクターの仮定に依存)。
そして種明かし ── 第34回の共形重力と、同じ入口から入っています。共形重力は \(\alpha_g\) が構成上無次元、漸近安全性は \(G\) を無次元化して走らせる。第3回で作った「次元付きは帳簿、無次元が物理」という判定手続きが、重力の量子化そのものの設計に効いている ── そして二つは、別々の場所で代償を払っています(ゴースト 対 切り捨て依存)。
この文書は「わかる c·t=一定」シリーズ第35回、物理好きの高校生・大学生向け読み物です。漸近安全性は Weinberg (1979) の提案と Reuter (1998) 以降の汎関数繰り込み群による研究によります。4 次元で \([G]=\)長さ\(^2\) であること、\(g=Gk^2\) が無次元であること、非ガウス固定点で \(\eta_N=-2\) となることは、いずれも標準的です。本稿の \(g\) の値(陽子スケールで \(6.7\times10^{-39}\)、プランクで \(1.0\))、傾き 2.00、および第14回との比較(イジング 3.6%、重力 100%)は本稿での計算です(kenshou/calc39.py)。固定点の値 \(g^*\simeq0.71\)、\(\lambda^*\simeq0.19\) は切り捨てとスキームに依存し、値は数割動きます ── 固定点の存在は多くの切り捨てで確認されていますが、真の非摂動的な結果であることの厳密な証明はありません。\(\eta_N=-2\) は「固定点で \(g\) が定数になる」ことの言い換えであり、定義上そうなるという側面が強い(第19回の分類では恒等式に近い)── 04節の主張は「もし固定点があるなら、ウェイト表の誤差が最大になる」という点です。「relevant な方向が 2〜3 個」は切り捨て計算による見積もりで、個数が確定していないこと自体がこの理論の予言力に対する主要な批判の一つです。ヒッグス質量の予言は Shaposhnikov & Wetterich (2010, Phys. Lett. B683, 196) によるもので、物質セクターの仮定に依存し、頑健性には議論があります ── 本稿は当たったという事実とその驚きの大きさを記録するに留めます。実測値 \(m_H=125.25\pm0.17\) GeV は PDG による値です。漸近安全性は有力な候補の一つですが確立した量子重力理論ではなく、弦理論・ループ量子重力・因果的動的三角形分割など他の候補と並んで決着していません。学術的な標準はインフレーションを含む \(\Lambda\)CDM モデルと、修正のない一般相対論です。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を(印刷版ではスライダーと解答は静止・非表示になります)。