わかる繰り込み第 4 回 / 出自を忘れる ── 普遍性と繰り込み群

水の臨界点と、鉄の磁石の臨界点。ミクロは似ても似つかないのに、出てくる数値がぴったり一致する

出自を忘れる 粗視化を繰り返すと、理論は決まった行き先へ流れていく。
その途中でミクロの記憶が捨てられるから、水と磁石は同じ数字を叩き出す。
これがシリーズの心臓 ── 繰り込み群。

必要な道具:第1回の粗視化(ブロック平均)、指数、桁の感覚 この回の芯:粗視化を繰り返す = 理論が流れる

水を加熱・加圧していくと、374 ℃・218 気圧で臨界点という不思議な場所に着きます。液体と気体の区別が消え、液滴がありとあらゆる大きさで沸き立って、透明な水が乳白色に濁る(臨界タンパク光)。いっぽう鉄の磁石を加熱すると、770 ℃で磁性が消えます。こちらも臨界点です。片方は分子の詰まり具合の話、もう片方は電子スピンの向きの話で、ミクロには何の関係もありません。ところが臨界点の近くでの振る舞いを表す数(臨界指数)を測ると ── 小数点以下 3 桁まで一致します。偶然ではありません。粗視化を繰り返すと、二つの理論は同じ行き先へ流れ着き、その途中で「もともと何だったか」という情報が捨てられてしまうのです。

01ありえない一致

ミクロの正体臨界指数 βν
水(液体–気体の臨界点)H₂O 分子の密度≈ 0.326≈ 0.630
一軸性の強磁性体電子スピンの向き≈ 0.326≈ 0.630
二成分液体の相分離2 種類の分子の混ざり具合≈ 0.326≈ 0.630
格子上の ±1 の矢印モデル(3次元 Ising 模型)そもそも実在しない、紙の上の模型≈ 0.326≈ 0.630

最後の行が効いています。紙の上ででっち上げた、実在しないおもちゃの模型が、本物の水の測定値を当ててしまう。分子の形も、力の詳細も、量子力学かどうかさえ入っていないのに。この一群を 3次元 Ising 普遍クラスと呼びます。

粗視化が「情報を落とす」だけの操作なら、こんなことは起きません。落とすだけなら、精度が下がって差がぼやけるはず。実際に起きているのは逆で、粗視化すると差が消えて、答えが一致する。第1回の図で A と B の見分けがつかなくなったのと、同じことがここで起きています。

02ブロックスピン ── 粗視化を「繰り返す」

カダノフのアイデアはこうです。格子の上に ±1 の矢印が並んでいる。これを 2×2 のブロックにまとめ、多数決で 1 本の矢印に置き換える。すると格子は半分の細かさになり、矢印の数は 1/4 になります。第1回のブロック平均と同じ操作です。

ここからが新しい。できあがったものは、また同じ形の模型になっている ── 格子の上に並んだ ±1 の矢印。ただし矢印どうしの結びつきの強さ(結合定数)が変わっている。つまり粗視化とは、「模型 → 模型」という写像なのです。だから何度でも繰り返せる。

この回の芯 ── 粗視化は、理論を動かす
$$\text{模型}(K)\ \xrightarrow{\ \text{2倍に粗視化}\ }\ \text{模型}(K')\ \xrightarrow{\ \ }\ \text{模型}(K'')\ \xrightarrow{\ \ }\cdots$$

結合定数 \(K\) が、粗視化のたびに動いていく。この動きを追う数学が 繰り込み群です。「群」といっても難しくはなく、「粗視化を 2 回やるのは 1 回で 4 倍にするのと同じ」という当たり前の合成則のことです。物理理論が、解像度という軸の上を流れていく ── これがこのシリーズの主題であり、第7回のオチにもつながります。

03固定点と、忘れられる方向

流れがあるところには、必ず流れが止まる点(固定点)があります。粗視化しても自分自身に戻る模型 ── つまりどの倍率で見ても同じに見える模型です。

そして固定点のまわりでは、ずれの方向が 2 種類に分かれます。これがすべての鍵です。

方向粗視化するとどうなるか物理的な意味
relevant(効く方向)ずれが拡大して固定点から離れていく数が少ない。温度・磁場など、実験でつまみを回す量
irrelevant(効かない方向)ずれが縮小して消える圧倒的に多い。分子の形、力の細部、格子の種類 ── ミクロの出自

ここで種明かしです。水と磁石の違いは、すべて irrelevant な方向に入っている。だから粗視化を繰り返すと差が縮んで消え、両者は同じ固定点に吸い寄せられる。そして臨界指数は固定点のまわりで流れがどれくらいの率で拡大するかだけで決まるので ── 出自にいっさい依存しない。0.326 という数字は、水の数字でも鉄の数字でもなく、固定点の数字なのです。

場の理論での言い方 ── (E/Λ)ⁿ で死ぬ

素粒子論では同じことをこう書きます。高いエネルギー \(\Lambda\)(ミクロ)の詳細から来る効果は、低いエネルギー \(E\)(マクロ)では $$\left(\frac{E}{\Lambda}\right)^{n}\qquad (n>0)$$ で抑えられる。たとえば原子の物理(\(E\sim\) eV)とプランクスケール(\(\Lambda\sim10^{28}\) eV)なら比は \(10^{-28}\)。だから化学をやるのに量子重力を知らなくていい。これを厳密に述べたのがデカップリング定理(アプルクィスト–カラッツォーネ、1975年)── 重い粒子は低エネルギー物理から切り離される、という定理です。

これが「層のミルフィーユ」の正体 第1回で、世界が独立に閉じた層のミルフィーユになっている、と書きました。その理由がこれです ── 上の階の詳細は irrelevant な方向に入るので、下の階へ流れる途中で捨てられる。化学者がクォークを知らなくていいのは、化学者が怠けているからではなく、クォークの情報が原理的に化学に届いていないから。層が閉じているのは経験則ではなく、繰り込み群の帰結です。逆に言えば、低エネルギーの実験からは上の階が見えにくい ── 素粒子物理が新しい物理を見つけるのに巨大加速器を要する理由も、同じ定理から出ます。

04動かしてみる ── 臨界点では、どの倍率でも同じに見える

下の図は、格子の上の ±1 の矢印(Ising 模型)をブラウザ上でその場で熱平衡に近づけているものです。左端が生の配置(64×64)。右へ行くほど 2×2 の多数決で粗視化した姿(32²→16²→8²)── これがまさに繰り込み群の流れです。

温度スライダーを 3 つの領域で試してください。

図:2次元 Ising 模型をその場でモンテカルロ計算。左端が生の配置、右へ 2×2 多数決で粗視化(繰り込み群の 1 ステップ=1 コマ)。低温は一色へ、高温は砂嵐へ流れる。臨界温度ちょうどでは、どのコマも同じに見える(スケール不変=固定点)
矢印 +1 矢印 −1

臨界点で模様がスケール不変になるということは、そこには「特徴的な大きさ」がないということです。ふつうの物質には「分子の大きさ」「相関の届く距離」といった目印のスケールがありますが、臨界点では相関長が無限大に発散して、目印が消える。目印が消えれば、ミクロの長さも意味を失う ── だから出自が忘れられる。普遍性の正体は、この「特徴的な長さの消失」です。

05なぜこれが、シリーズの心臓なのか

第1回で「捨てても同じ」と言い、第3回で「大きいほど速く捨てる」と言いました。第4回はその上を行きます ── 捨てることが、答えを決めている

臨界指数 0.326 は、水の性質でも鉄の性質でもなく、「捨てる操作」そのものの性質です。だからでっち上げの模型でも当たる。物理量が、物質ではなく粗視化という操作に属している ── これは驚くべきことで、実際ウィルソンはこの理解で 1982 年のノーベル物理学賞を受けました。

ひとことで

粗視化できる(第1回)→ 粗視化を繰り返せる(写像になっている)→ 流れには固定点がある固定点の性質だけが残るだから世界は、ミクロを知らなくても記述できる
この 5 行が、物理学という営みが可能である理由のほぼ全部です。

◇ ◇ ◇
正直な線 ── どこまでが確立か

確立していること:臨界現象における普遍性(液体–気体臨界点、一軸性強磁性体、二成分流体の相分離、3次元 Ising 模型が同じ臨界指数を持つこと)、その値(\(\beta\approx0.326\)、\(\nu\approx0.630\)。近年は共形ブートストラップにより高精度で決定されています)、カダノフのブロックスピン描像、ウィルソンの繰り込み群と固定点・relevant/irrelevant 方向の分類(1982年ノーベル物理学賞)、有効場の理論における \((E/\Lambda)^n\) 抑制とデカップリング定理(アプルクィスト–カラッツォーネ 1975)は、いずれも確立した物理です。

注意点:① 図は2次元 Ising 模型(\(T_c=2/\ln(1+\sqrt2)\approx2.269\)、\(\beta=1/8\))で、目で見せるための実演です。本文の表の数値は3次元の値で、両者は別の普遍クラスなので数値は一致しません。② 有限の格子(64×64)と有限の計算時間なので、臨界点の振る舞いは近似的にしか再現されません(有限サイズ効果)。③ 普遍クラスを決めるのは空間次元・秩序変数の対称性・相互作用の到達距離などで、「何でも同じになる」わけではありません ── 異なるクラスは異なる指数を持ちます。④ irrelevant な演算子も、臨界点から離れると補正として顔を出します(補正指数)。「出自が完全に消える」のは、あくまで固定点に十分近いところでの話です。

練習問題(この回の考え方で解けます)
  1. 水と磁石が同じ臨界指数を持つのはなぜか。一文で。
    答えを見る
    両者の違いは繰り込み群の流れの irrelevant な方向に入っていて、粗視化を繰り返すうちに縮んで消え、同じ固定点に流れ着くから。臨界指数は固定点まわりの流れの性質だけで決まる。
  2. 「化学者はクォークを知らなくてよい」を、繰り込み群の言葉で述べよ。
    答えを見る
    クォークのスケール(GeV)と化学のスケール(eV)は 9 桁離れており、高エネルギーの詳細は \((E/\Lambda)^n\) で抑えられて低エネルギーに届かない(デカップリング定理)。だから化学は自分の階だけで閉じた法則を持てる。
  3. 臨界点で「どの倍率で見ても同じに見える」のはなぜか。何が消えているのか。
    答えを見る
    相関長が発散して特徴的な長さが消えるから。目印になる長さがないと、倍率を変えても比較の基準がなく、統計的に同じに見える(スケール不変性)。これが「固定点にいる」ことの目に見える意味。
  4. 粗視化が「情報を落とすだけの操作」でないと言えるのはなぜか。
    答えを見る
    落とすだけなら精度が下がって答えがぼやけるはずだが、実際は粗視化するほど異なる系の答えが一致する(普遍性)。つまり粗視化は「どの情報が答えに効くか」を選り分ける操作で、落とされたものは最初から答えに入っていない。

第4回まとめ捨てることが、答えを決めている

水の臨界点、鉄の磁石、二成分液体、そして紙の上のおもちゃ模型 ── ミクロには何の関係もない 4 つが、同じ臨界指数 \(\beta\approx0.326,\ \nu\approx0.630\) を叩き出す。理由は、粗視化が「模型 → 模型」の写像になっていて、繰り返すと理論が固定点へ流れるから。固定点のまわりで、ずれは relevant(拡大して残る・数が少ない)と irrelevant(縮んで消える・圧倒的多数)に分かれ、ミクロの出自はすべて irrelevant 側に入る。だから忘れられる。

臨界点で模様がスケール不変に見えるのは、相関長が発散して特徴的な長さが消えたから。長さの目印が消えれば、ミクロの長さも意味を失う ── これが普遍性の正体です。素粒子論の言葉では \((E/\Lambda)^n\) 抑制とデカップリング定理になり、「化学者はクォークを知らなくていい」が定理になる。物理量が、物質ではなく〈粗視化という操作〉に属している ── これがこのシリーズの心臓です。

この文書は「わかる繰り込み」シリーズ第4回、物理好きの高校生・大学生向け読み物です。臨界現象の普遍性(液体–気体臨界点・一軸性強磁性体・二成分流体・3次元 Ising 模型が同一の普遍クラスに属し臨界指数 \(\beta\approx0.326\)、\(\nu\approx0.630\) を共有すること)、カダノフのブロックスピン変換、ウィルソンの繰り込み群における固定点と relevant/irrelevant 方向の分類(1982年ノーベル物理学賞)、臨界点での相関長発散とスケール不変性、有効場の理論の \((E/\Lambda)^n\) 抑制、およびアプルクィスト–カラッツォーネのデカップリング定理(1975)は、いずれも確立した物理です。図は 2 次元 Ising 模型(臨界温度 \(2/\ln(1+\sqrt2)\approx2.269\))の有限格子モンテカルロ計算で、可視化のための実演であり、本文表の 3 次元の数値とは別の普遍クラスであること、有限サイズ効果があること、普遍クラスは次元・対称性・相互作用の到達距離で決まり「何でも一致する」わけではないこと、および固定点から離れると irrelevant 演算子が補正として現れることは、本文「正直な線」に明記しました。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を(印刷版ではスライダーと解答は静止・非表示になります)。前後の回:第3回 大きいほど古典第5回 粗視化が破れるとき目次

印刷 / PDF 化:⌘+P(Windows は Ctrl+P)。画面では温度スライダーで配置が変わり、右へ行くほど粗視化された姿になります。臨界点(2.269)でどのコマも同じに見えるのが見どころです。「答えを見る」で解答が開きます。