ループ量子重力

1. 動機

一般相対論（GR）では幾何そのものが力学的であり、物質と幾何が相互に影響する。$c=1$ の単位系を用い、ここでは宇宙定数を省略すると、

$$G_{\mu \nu }=8\pi G{T}_{\mu \nu }.$$

量子論は物質をよく記述する。しかし、あらかじめ指定した曲がった時空の上で量子場を扱うだけでは、時空自体を量子化したことにはならない。古典的な特異点付近では、幾何を滑らかな古典的背景として扱う近似が破綻するかもしれない。これが量子重力を研究する動機であり、特定の量子化の正しさの証明でも、すべての古典場を唯一の方法で量子化すべきだという定理でもない。

**ループ量子重力（LQG）**は、背景計量を固定してその周りで展開することなく、GRを量子化できるかを問う。「非摂動的」とは、選んだ幾何の上の小さな重力的変動から出発しないという意味である。「背景独立」とは、長さや面積が固定計量ではなく力学変数から決まるという意味であり、微分可能多様体などの数学的な選択まで不要になるわけではない。AshtekarとLewandowskiによる基礎的解説を参照。

特徴的な尺度は ${\ell }_P=\sqrt{\hslash G/c^3}$、約 $1.6\times 10^{-35}\mathrm{m}$ である。この次元をもつ定数の組合せは量子効果と重力効果がともに重要になりうる尺度を示すが、空間が規則的な格子であることや、あらゆる距離に最小値があることをそれだけで証明しない。より具体的な主張には、状態空間、幾何演算子、整合的な力学が必要である。

2. 一般相対論の正準量子化

正準形式では空間的切片 $\Sigma$ 上のデータを記述し、どのデータが同じ時空を表すかを調べる。ADM形式の変数は空間計量 $q_{ab}$ とその共役運動量 ${\pi }^{ab}$ である。時空を切片に分ける操作は計算の整理法であり、特権的な物理的時計を導入するものではない。

アシュテカール変数

ここではローレンツ符号のGRについて、時間ゲージ、非退化な三脚場、実数 $\gamma >0$ を用いた実アシュテカール＝バルベロ変数を採用する。元の自己双対アシュテカール接続は複素数であり、両者は関連するが同じ変数ではない。Barberoの実形式とHolstの作用がこの正準変換を説明する。

$$A_a^i={\Gamma }_a^i(E)+\gamma K_a^i,E_i^a=\sqrt{q}{e}_i^a,E_i^a{E}_i^b=q{q}^{ab}.$$

$q=\det (q_{ab})$、$e_i^a$ は逆三脚場、${\Gamma }_a^i$ はそれと整合するスピン接続である。$K_a^i$ は切片が時空の中でどう埋め込まれるかを表す外的曲率を含む。$a,b$ は空間添字、$i$ は内部直交枠の添字である。したがって $E$ は空間幾何を担い、$A$ は内的な接続と外的曲率を組み合わせる。$E$ を「電場」と呼ぶのはゲージ理論との類推であり、電磁場ではない。

$\kappa =8\pi G$、$c=1$ とすると、

$$\{A_a^i(x),E_j^b(y)\}=\kappa \gamma {\delta }_a^b{\delta }_j^i{\delta }^{(3)}(x,y).$$

無次元のバルベロ＝イミルツィ・パラメータ $\gamma$ はこの正準変数の選択を特徴づける。古典的な真空方程式はその値を定めない。幾何スペクトルに現れるため、その量子的解釈と物理的決定が重要になる。例示のために選んだ値を測定済みの定数と取り違えてはいけない。

3. 拘束条件

これらの変数は同じ物理を重複して記述する。真空、宇宙定数ゼロとし、$\mathcal{H}$ の全体に掛かるゼロでない規格化係数を省けば、

$${\mathcal{G}}_i=D_a{E}_i^a\approx 0,{\mathcal{V}}_a=E_i^b{F}_{ab}^i\approx 0,$$ $$\mathcal{H}=\frac{E_i^a{E}_j^b}{\sqrt{|\det E|}}\left({ϵ}^{ij}{}_k{F}_{ab}^k-2(1+{\gamma }^2)K_{[a}^i{K}_{b]}^j\right)\approx 0.$$

$F$ は $A$ の曲率、$D$ はその共変微分である。$\approx 0$ は拘束面上でゼロになることを意味し、小さい誤差という意味ではない。ガウス拘束は内部枠の任意の回転を取り除く。ベクトル拘束はガウス変換を除いて空間座標の変換を生成し、純粋な空間微分同相の生成子には対応するガウス項が必要である。ハミルトン拘束は切片の取り方の変化を実装する。外部の普遍的な時間に対する通常の時間発展とは異なる。

自由度を数えると、$A$ と $E$ は各点に18個の位相空間成分を持つ。独立な第一級拘束7個が14成分を除き、4成分、すなわち配位空間の2自由度が残る。これが局所的な重力の偏極に対応する。ただし、これは正則な古典的真空領域の数え方であり、境界や特異な領域は別に扱う必要がある。

量子化ではまず運動学を構成し、その後に拘束条件と物理的内積を実装する。したがってスピンネットワークが自動的に物理的解になるわけではない。関係的な観測量の例は、スカラー場の時計が指定値をとるときの、物質によって定義された曲面の面積である。このような量を定義し、古典的拘束代数をアノマリーなく再現することが力学の中心課題となる。Thiemannの量子拘束の構成は具体案であって、唯一の完成した現象論ではない。

4. ホロノミーとフラックス

基本変数は曲線や曲面に沿って積分した量である。

$$h_{\ell }[A]=\mathcal{P}\exp \left({\int }_{\ell }{A}_a^i{\tau }_{i}d{x}^a\right),E(S,f)={\int }_S{f}^i{E}_i^{a}d{S}_a.$$

${\tau }_i$ は $\mathfrak{su}(2)$ の生成子、$f^i$ は試験場であり、$\mathcal{P}$ は可換でない行列を経路順に並べる。ホロノミーは平行移動によって内部枠を比較する $SU(2)$ の元であって、長さではない。フラックスは曲面を通る三脚場の向き付き情報を測る。指数の符号は接続の規約による。

思考実験として、小さな閉曲線に沿って枠を運ぼう。滑らかな古典幾何では、ホロノミーが恒等変換からずれる主要項がループを通る曲率を表す。LQGは各点で演算子 $A(x)$ が存在すると仮定せず、有限の平行移動を基本量にする。ホロノミーはその関数に掛け算として、フラックスは微分として作用する。両者の代数は経路と曲面の交差に依存する。

ホロノミー・フラックスの一意性定理は、代数、共変性、巡回状態について指定した仮定の下で表現を一つに絞る。すべての量子重力理論がLQGであることを証明したり、ハミルトニアンを選んだりする定理ではない。

5. スピンネットワーク

ゲージ不変なスピンネットワークは、グラフ、その辺に付いたスピン $j=0,\frac{1}{2},1,\dots$、頂点に付いたインタートワイナーという不変テンソルからなる。スピンは $SU(2)$ 表現のラベルであって、小球が回転しているのではない。インタートワイナーは頂点に集まる表現を不変な組合せにして、ガウス拘束を実現する。グラフは量子幾何の関係を指定し、規則的な物理格子である必要はない。

曲面が頂点を避けて辺を横断するとき、標準的な面積演算子の固有値は、

$$A(S)=8\pi \gamma {\ell }_P^2\sum _{p\in S\cap \Gamma }\sqrt{j_p(j_p+1)}.$$

貫通点におけるフラックスは角運動量生成子のように作用し、$SU(2)$ の二次カシミールの固有値は $j(j+1)$ となる。その大きさをとることで $\sqrt{j(j+1)}$ が現れる。面積演算子の構成は運動学的ヒルベルト空間での離散性を示す。頂点を含む曲面にはより一般的な式が必要である。DittrichとThiemannの議論のように、運動学的スペクトルだけでは、完全に関係的な物理的観測量すべてのスペクトルは決まらない。

面積測定の計算例

頂点を含まない面の一片を $j=\frac{1}{2}$ と $j=1$ の辺が1本ずつ貫く場合、

$$\frac{A}{8\pi \gamma {\ell }_P^2}=\sqrt{\frac{1}{2}(\frac{1}{2}+1)}+\sqrt{1(1+1)}=\frac{\sqrt{3}}{2}+\sqrt{2}\approx \mathrm{2.280.}$$

$j=\frac{1}{2}$ の1点の寄与は $4\pi \sqrt{3}\gamma {\ell }_P^2$ である。そのような2点は $8\pi \sqrt{3}\gamma {\ell }_P^2$ を与えるが、$j=1$ の1点は $8\pi \sqrt{2}\gamma {\ell }_P^2$ を与える。スピンのラベルの和が同じでも面積は同じとは限らない。これは許容されたネットワーク内の局所的な寄与であり、残りのグラフもインタートワイナーの条件を満たす必要がある。この計算が示すのは採用した量子化の下で可能な測定結果であって、観測済みの空間粒子の大きさではない。

色を付けた面には2つの横断的な貫通点がある。幾何は模式的であり、面積固有値を決めるのは描画上の間隔ではなく数式である。

体積はさらに複雑である。

$$\hat{V}(R)=\sum _{v\in R\cap \Gamma }\sqrt{|{\hat{q}}_v|}.$$

${\hat{q}}_v$ はフラックス生成子の三重積、向きの因子、次元を持つ定数を含む。通常は頂点のインタートワイナー空間上で行列として作用する。したがって辺のスピンを固定しても体積は決まらず、適切なインタートワイナー基底が必要になる。体積演算子の構成はこの違いを説明する。離散的な幾何スペクトルは、同じ大きさの立方体や、外部時間の自動的な離散化を意味しない。

スピンネットワークからスピンフォームへ

スピンネットワークは境界の幾何を記述する。スピンフォームはそのような境界間の振幅を割り当てる、ラベル付きの2次元複体である。グラフの辺は面を掃き、グラフの頂点は複体の辺をたどる。これは量子幾何を足し合わせる際の履歴であり、既存の空間内を頂点が動く映像ではない。

選んだ複体 $\mathcal{C}$ 上では、模式的に、

$$Z_{\mathcal{C}}=\sum _{\{j_f,i_e\}}\prod _f{A}_f\prod _e{A}_e\prod _v{A}_v.$$

ラベルを和に取り、面・辺・頂点の振幅がモデルの力学を定める。境界データと規格化は省略した。EPRL構成は単純性拘束を通じて4次元スピンフォームの頂点とLQGの境界状態を結び付ける。ただし、有限の複体を指定しただけで完全な連続体理論が確立するわけではない。

適切な非退化の幾何的境界データでは、ユークリッド版EPRLの4単体振幅の大スピン漸近形に、重力作用を離散化したRegge作用が現れる。これは有用な半古典的整合性の結果だが、あらゆる振幅、細分化極限、長距離相関関数がGRを再現することの証明ではない。

6. ループ量子宇宙論（LQC）

LQCはループの考え方に基づく量子化を、対称性によって縮約した宇宙モデルに適用する。量子化の前に一様性を課すと、無限個の非一様なモードを捨てることになる。この縮約系の定理は、そのまま完全なLQGの定理にはならない。

標準的な空間的に平坦・一様・等方なモデルを考え、質量ゼロのスカラー場と、改良された力学の処方における鋭くピークを持つ半古典的状態を用いる。その有効方程式には、

$$H^2=\frac{8\pi G}{3}\rho \left(1-\frac{\rho }{{\rho }_c}\right),\dot{\rho }=-3H(\rho +P),$$

が含まれる。$H=\dot{a}/a$、$P$ は圧力、${\rho }_c$ はモデルに依存するプランク尺度程度の臨界密度である。低密度極限では通常の平坦なFriedmann方程式が戻り、負の二次補正によって ${\rho }_c$ で $H=0$ となる。改良された力学の解析は仮定を明記し、バウンスを解析的・数値的に調べている。

有効モデルでバウンスを導く

微分してエネルギー保存を用いると、まず $H\ne 0$ で、次いで連続的に拡張して、

$$\dot{H}=-4\pi G(\rho +P)\left(1-2\frac{\rho }{{\rho }_c}\right).$$

を得る。$\rho ={\rho }_c$ では、$\rho +P>0$ を満たす物質について $\dot{H}>0$ となるため、収縮から膨張へ移れる。$H=0$ を見つけるだけではバウンスの証明にはならない。質量ゼロのスカラー場では $P=\rho$、$\rho \propto a^{-6}$ である。バウンスを $t=0$ に置くと、この有効方程式の厳密解は、

$$a(t)=a_B{\left(1+\frac{t^2}{t_B^2}\right)}^{1/6},\rho (t)=\frac{{\rho }_c}{1+t^2/t_B^2},t_B^{-2}=24\pi G{\rho }_c.$$

となる。代入すると $H=t/[3(t_B^2+t^2)]$ となり、両方の方程式を確認できる。$t=\pm t_B$ では $\rho ={\rho }_c/2$、$a=2^{1/6}{a}_B$ である。$a_B$ の数値は空間座標の規格化に依存する。物理的な要点は有限の密度と、収縮から膨張への転換にある。

横軸は $t/t_B$、上の曲線は $a/a_B$、下の曲線は $\rho /{\rho }_c$。質量ゼロのスカラー場の有効解であり、観測データでも、すべての宇宙モデルの普遍的予測でもない。

厳密に解けるLQCでは、この有効計算だけよりも強い命題を量子状態のクラスについて示せる。Ashtekar、Corichi、Singhの研究を参照。異方性、摂動、異なる物質や量子化、完全な理論への拡張には追加の論証が必要である。モデルのバウンスは、観測される高温の初期宇宙より前に何があったかを確定しない。

7. 課題と未解決問題

• **力学と拘束条件：**適切なゲージ対称性を保ちながら、量子ハミルトニアン、正則化の選択、物理的状態、内積を制御する。
• **連続体極限と半古典極限：**多数の励起から滑らかな幾何と、物質を含む低エネルギーのGRを導く。固定グラフでスピンを大きくする極限と、グラフ要素を増やす細分化は異なり、両方を整合的に扱う必要がある。
• **イミルツィ・パラメータ：**物理的予測にどの $\gamma$ 依存性が残るかを明らかにする。状態の数え方に仮定を置いてブラックホールのエントロピーに合わせても、$\gamma$ を独立に実験測定したことにはならない。
• **観測：**宇宙マイクロ波背景の特徴や重力波の修正には、具体的な有効モデル、初期状態、摂動の扱いが必要である。LQGの検証と呼ぶ前に、予測が頑健で、通常の天体物理や別の初期宇宙モデルと区別できることを示さなければならない。

進行中の研究の一例は、AssanioussiとLivineによる2026年9月の改訂稿である。小さな「キャンディー」グラフを構成要素とし、古典的なハミルトン力学を解析する一方、詳細な量子領域は今後の課題としている。制御可能な部分系での進展であって、完全な量子力学の完成や実証的な検出ではない。

よくある誤解

**「ループとは弦のことだ」：ホロノミーは平行移動の変数であり、ネットワークのラベルは幾何を記述する。弦理論の伝播する弦ではない。「背景独立なら仮定は不要だ」：位相、変数、量子化、境界の選択は残る。「離散的な面積は空間が画素の画面だと証明する」：スペクトルは演算子の性質であり、状態は重ね合わせにもなる。特権的な規則格子はない。「バウンスは以前の宇宙の存在を証明する」：**それはモデルの下での条件付きの結果であり、この計算はそのような観測を与えない。

研究の状況

2026年10月13日までの研究を確認した。LQGには精密な運動学的構成があり、力学や縮約モデルについても多くの研究がある。リンクした論文が示すのは数学的結果とモデルの予測であり、私たちの時空が提案された量子構造を持つことの実験的確認ではない。完全な力学から、他の理論と区別できる測定可能な予測に至る、制御された道筋は依然として研究目標である。

LQGは固定背景計量を使わず重力の幾何を量子化することを重視する。弦理論は異なる自由度から出発し、非摂動的な定式化も持つため、常に背景依存だとするのは過度の単純化である。各提案は、仮定、内的整合性、既知の物理の再現、観測可能な帰結によって評価すべきである。