わかる質量番外 ④ / 第4回・最終回・番外①を束ねる

「4つの力を一つの離散式で」── その夢は、3つまでは本当に叶っている

4つの力を、
一つの離散式で 数合わせの \(1/(Cn)^D\) ではなく、群とループで。強い・弱い・電磁は、
格子ゲージ理論という一本の式で厳密に統一されている。重力だけが、まだ開いた扉。

必要な道具:第4回の質量ギャップ、最終回の重力の壁、番外①の離散 フック式:\(S=\beta\sum_\square\big[1-\tfrac1N\mathrm{Re\,Tr}\,U_\square\big]\)

「4つの力を一つの式で書きたい」── これは物理最大の夢で、あなたの直感でもありました。番外①・③で、\(1/(Cn)^D\) の数合わせでは届かないと診断しました。でも朗報です ── 3つの力(強い・弱い・電磁)は、"一つの離散式" で厳密に統一されている。それが格子ゲージ理論。数合わせではなく、群とループで。しかもそれは、第4回で「質量ギャップを計算する唯一の方法」と言った、まさにその式です。残るは4つ目・重力 ── そこが最終回の壁につながる開いた扉。

01力を「格子の上の回転」として置く

まず時空を格子(点・リンク・面)に離散化します。そしてゲージ場を、点ではなくリンク(点から隣の点へ渡る辺)に乗せた群の要素 \(U_\mu(x)\in G\) として置く。これは「格子を一歩渡るときに、内部の向き(色・位相)がどれだけ回るか」を表す回転です。

ゲージ場=リンク上の回転
$$U_\mu(x)=\exp\!\big(i\,a\,g\,A_\mu(x)\big)\in G$$

\(a\)=格子間隔、\(g\)=結合、\(A_\mu\)=ゲージ場、\(G\)=群。リンクごとに一つの回転 \(U\)。

02一つの式 ── ウィルソンのプラケット作用

力のルール(作用)は、驚くほどシンプルに書けます。最小の正方形ループ(プラケット \(\square\))を一周した回転の積だけで決まる。ループが"閉じない度合い"が、場の曲率=力の強さです。

ウィルソン作用(1974)── これが "一つの式"
$$S=\beta\sum_{\square}\Big[\,1-\tfrac{1}{N}\,\mathrm{Re}\,\mathrm{Tr}\,U_\square\,\Big],\qquad U_\square=U_\mu(x)\,U_\nu(x{+}\mu)\,U_\mu^{\dagger}(x{+}\nu)\,U_\nu^{\dagger}(x)$$

\(U_\square\)=プラケットの4本のリンクを一周した積。\(\beta=2N/g^2\)。たったこれだけ。

図:格子とプラケット(最小ループ \(U_\square\))。リンクには群の要素(色)が乗る。スライダーで群を選ぶと、同じ式のまま "力" が切り替わる ── U(1) 電磁、SU(2) 弱い力、SU(3) 強い力(3色=グルーオン)
スライダーで群を選ぶと、力が変わります。
色(群の次元 N) プラケット U_□(最小ループ)

03力を変える=「群を変えるだけ」

ここが核心です。式 \(S=\beta\sum_\square[\cdots]\) の形は一切変えず、群 \(G\) を差し替えるだけで、3つの力が同じ一本に収まります。

SU(3)
強い力(グルーオン、3色=赤・緑・青)クォークを閉じ込め、陽子の質量の99%を作る(第3回)
SU(2)
弱い力(W・Z)ヒッグスで対称性が破れて質量を得る(第3回)
U(1)
電磁気力(光子)可換(回転が可換)=いちばん単純な場合

3つの力は、別々の"謎の定数"ではなく、同じヤン=ミルズ構造の、群違いだった ── これが本物の統一の姿です(標準模型のゲージ群 \(SU(3)\times SU(2)\times U(1)\))。数合わせの \(1/(Cn)^D\) が指数を手で合わせていたのに対し、こちらは群という対称性から一意に決まる

◇ ◇ ◇

04連続極限で、見慣れたヤン=ミルズに戻る

格子は"足場"です。格子間隔を縮めていく(\(a\to0\))と、プラケット作用は、おなじみの連続のヤン=ミルズに戻ります。

連続極限 ── 足場を外す $$S=\beta\sum_\square\big[1-\tfrac1N\mathrm{Re\,Tr}\,U_\square\big]\ \xrightarrow{\ a\to0\ }\ \frac{1}{4}\int d^4x\,F_{\mu\nu}^a F^{a\,\mu\nu}$$

プラケットの"閉じない度合い"が、ちょうど場の強さ \(F_{\mu\nu}\)(曲率)になる。離散は連続を正しく含んでいる。

そして ── この離散式こそ、第4回の質量ギャップを実際に計算する道具です。連続では発散して手が出ない強結合QCDを、格子にして初めてスパコンで解き、陽子質量・閉じ込め・グルーボールの質量ギャップが出る。「4つの力を一つの離散式で」というあなたの狙いは、質量ギャップの話と、同じ一本の式で出会っていたのです。

正直な線(番外①の回収) 格子ゲージ理論は「宇宙が離散である」とは主張しません。格子はゲージ不変を保つ正則化(足場)で、物理は連続極限 \(a\to0\)。足場を実在と取り違えると番外①の罠。もし離散を根源にしたいなら、ローレンツ不変を保つコーザルセットが候補です。

054つ目 ── 重力を、同じ離散の言葉で

では重力は、同じ一本に入るのか。ここが最終回の壁です。重力の結合 \(G\) は次元付きで繰り込めない。でも「リンク上のホロノミー(ループ)」という離散の言葉は、重力にも延ばせます

レッジェ
Regge計算時空を単体で貼り合わせ、曲率=「角の欠損」で離散化した一般相対論
スピン
フォーム
ループ量子重力幾何を離散グラフ(スピンネットワーク)に。文字どおり "ローレンツ群に対する格子ゲージ理論"
因果集合
コーザルセットローレンツ不変を保つ離散(番外①の"生き残る版")

つまり統一的な離散の言葉は ── 「離散構造のリンクに群の要素を置き、ループで作用を書く」。3つの力は内部群 \(SU(3),SU(2),U(1)\)、重力はローレンツ/ポアンカレ群。スピンフォームは、まさに"4つを一つの離散式で"を目指す枠組みです。ただし ── 連続極限・一般相対論の回復・物質との結合が未解決。3つは盤石、4つ目は本物の最前線。開いた扉のまま、というのが正直な現在地です。

06なぜこれが本物で、\(1/(Cn)^D\) は違うのか

格子 ✓
対称性の群から作る/プラケット(ループ)ゲージ不変が厳密、連続極限でローレンツ回復、質量を実際に予言
格子 ✓
力を変える=群を変えるだけ形は一本のまま。SU(3)/SU(2)/U(1) が一意に決める
Cn式 ✗
指数 \((n,D)\) を力ごとに手で調整同じ答えに2通りの \((n,D)\)。予言でなくフィット(番外③)
Cn式 ✗
次元も対称性も守らない無次元Fに次元付きを混ぜ、137を数合わせで差す

離散の式の"正しさ"は、群とループから作られ、対称性を保ち、実際に質量を予言すること。あなたの「一つの離散式で力を」という狙いは正しく、その器は \(1/(Cn)^D\) ではなくウィルソン作用だった ── 数合わせを、群とループへ昇華させた先です。

正直な線

この回は純粋な場の量子論/量子重力の話で、合言葉 \(c\cdot t=\text{一定}\) とは無関係です(格子は座標でなく正則化)。格子ゲージ理論は3つのゲージ力の統一として盤石ですが、それ自体は「万物の理論」ではありません ── 重力の統合(スピンフォーム等)は未完成で、なぜ群が \(SU(3)\times SU(2)\times U(1)\) なのか、なぜ結合がその値かも未解決(大統一・第6回前編の宿題)。

「離散が根源か」も未決着。格子は足場(連続極限が物理)、コーザルセットは根源的離散の候補だが最前線。断定しないのが誠実な線です。

練習問題(今回の内容で解けます)
  1. なぜ「群を変えるだけ」で3つの力が一本の式に入るのか。
    答えを見る
    3つとも同じヤン=ミルズ構造(リンクに群の要素 \(U\)、プラケット作用 \(S=\beta\sum_\square[1-\frac1N\mathrm{Re\,Tr}\,U_\square]\))を持ち、違いはゲージ群 \(G\)(SU(3)/SU(2)/U(1))だけだから。作用の"形"は同一で、群が力の個性を決める。
  2. 格子ゲージ理論は「宇宙は離散である」ことを主張するか。
    答えを見る
    しない。格子はゲージ不変を保つための正則化(足場)で、物理は連続極限 \(a\to0\)(第4回・番外①)。離散を根源とみなすのは別の主張で、その場合はローレンツを保つコーザルセット等が候補になる。
  3. なぜ重力は、同じ式に素直に入らないのか。
    答えを見る
    重力の結合 \(G\) が次元付きで繰り込めないから(最終回)。ローレンツ群の格子ゲージ理論(スピンフォーム)やRegge計算で"同じ離散の言葉"で書く試みはあるが、連続極限・一般相対論の回復が未解決の最前線。

番外④まとめ夢は、3つまで叶っていた

「4つの力を一つの離散式で」── 3つのゲージ力(強・弱・電磁)は、ウィルソンのプラケット作用 \(S=\beta\sum_\square[1-\frac1N\mathrm{Re\,Tr}\,U_\square]\) で厳密に一本化されている。力を変えるのは群 \(G\) を差し替えるだけ。しかもこれは第4回の質量ギャップを計算する当の式で、連続極限で通常のヤン=ミルズに戻る。数合わせの \(1/(Cn)^D\) と違い、群とループから作られ、対称性を保ち、実際に質量を予言する ── これが本物の離散統一。

4つ目・重力は、同じ"リンク上のホロノミー"の言葉(スピンフォーム/Regge/コーザルセット)で書こうとする最前線で、まだ開いた扉。あなたの直感の正しい行き先は \(1/(Cn)^D\) ではなく、ここ ── 群とループの離散式でした。

この文書は「わかる質量」シリーズ番外④、物理好きの高校生・大学生向け読み物です。ウィルソンの格子ゲージ理論(1974;リンク変数 \(U_\mu(x)\in G\)、プラケット作用 \(S=\beta\sum_\square[1-\frac1N\mathrm{Re\,Tr}\,U_\square]\)、\(\beta=2N/g^2\)、連続極限で \(\frac14 F_{\mu\nu}^aF^{a\mu\nu}\))が、強い力 SU(3)・弱い力 SU(2)・電磁気 U(1) を群の選択だけで統一的に記述すること、格子が非摂動QCD(ハドロン質量・閉じ込め・質量ギャップ)を計算する第一原理的手法であること、格子が正則化であり物理は連続極限であること、重力の離散的定式化(Regge計算、スピンフォーム/ループ量子重力、因果集合)が同じホロノミー的言語で試みられているが未完成であることは、いずれも確立した物理/現行の研究テーマです。標準模型のゲージ群やゲージ結合の値の起源(大統一を含む)は未解決です。本稿は \(c\cdot t=\text{一定}\) とは独立の、場の量子論・量子重力の内容です。図はプラケットと群の選択を示す模式で、色は SU(3) の3色電荷のイメージです。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を(印刷版ではスライダーと解答は静止・非表示になります)。

印刷 / PDF 化:Ctrl+P(Mac は ⌘+P)。画面ではスライダーで群 G を選ぶと、同じ式のまま力が切り替わります。「答えを見る」で解答が開きます。