迴圈量子重力

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在時間規範下的實Ashtekar–Barbero變數，假設標架非退化且 $\gamma >0$ 為實數。原始自對偶Ashtekar聯絡是複數；兩種形式有關聯，卻不是相同變數。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).$$

無量綱的Barbero–Immirzi參數 $\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$ 的邊穿過一次，則

$$\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}$ 貢獻 $4\pi \sqrt{3}\gamma {\ell }_P^2$；兩個這樣的穿刺點給出 $8\pi \sqrt{3}\gamma {\ell }_P^2$，而一個 $j=1$ 給出 $8\pi \sqrt{2}\gamma {\ell }_P^2$。因此，自旋標簽之和相同不保證面積相同。這些是可容許網路中的局部貢獻，圖的其余部分仍須滿足交織子條件。計算給出的是所選量子化下可能的結果，不是觀測到的空間顆粒大小。

陰影曲面有兩個橫向穿刺點。幾何僅為示意；面積本徵值由公式決定，而不是由圖中間距決定。

體積更加微妙：

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

${\hat{q}}_v$ 包含通量生成元的三重積、取向因子和有量綱常數，通常在頂點的交織子空間中作為矩陣作用。因此固定邊自旋不一定固定體積，還需要適當的交織子基底。體積算符的構造解釋了這一差別。離散幾何譜不意味著等大的立方體，也不自動意味著外部時間離散。

從自旋網路到自旋泡沫

自旋網路描述邊界幾何。自旋泡沫是帶標簽的二維複形，用來給這些邊界之間賦予振幅：圖的邊掃出面，圖的頂點描出複形的邊。這是在量子幾何求和中的歷史，並不是頂點在既存空間里運動的影片。

對選定的複形 $\mathcal{C}$，示意地寫作

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

對標簽求和，面、邊、頂點的振幅編碼模型動力學；這裡省略了邊界資料與正規化。EPRL構造通過簡單性約束把四維自旋泡沫頂點與LQG邊界態聯系起來。指定一個有限複形尚不等於建立了完整連續體理論。

對於合適的非退化幾何邊界資料，歐幾里得EPRL四維單純形振幅的大自旋漸近式包含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。固定圖上的大自旋極限，與增加圖元素的細化極限不同；二者均需自洽處理。
• **Immirzi參數：**判斷物理預言中哪些 $\gamma$ 依賴仍然存在。在特定計數假設下匹配黑洞熵，並不是獨立的實驗室測量。
• **觀測：**宇宙微波背景特徵或重力波修正需要具體有效模型、初始態和擾動處理。在稱其為LQG檢驗前，須證明預言穩健，並能與常規天體物理或其他早期宇宙模型區分。

當前研究的一個實例是Assanioussi與Livine於2026年9月修訂的論文：把小型“糖果”圖作為構件，分析其古典哈密頓動力學，明確把量子領域的詳細研究留待以后。這是受控子系統的進展，不是完整量子動力學的完成或實證探測。

常見誤解

**“圈就是弦。”和樂是平行移動變數，網路標簽描述幾何，不是弦理論中傳播的弦。“背景無關就沒有任何假設。”拓撲、變數、量子化和邊界的選擇依然重要。“離散面積證明空間是一塊像素屏幕。”譜是算符的性質，狀態可以疊加，並無優先的規則網格。“反彈證明存在上一個宇宙。”**它是條件性的模型結論，該計算並未提供這樣的觀測。

研究現狀

研究核查截至2026年10月13日。LQG已有精確的運動學構造，並有大量動力學和約化模型研究。所鏈接論文給出數學結果與模型預言，沒有一篇提供實驗證據來確認我們的時空具有所提議的量子結構。從完整動力學到可區分、可測量預言的受控路徑，仍是研究目標。

LQG著重於不依賴固定背景度規的重力幾何量子化。弦理論從不同自由度出發，也有非微擾形式；說它必然始終依賴背景，過度簡化了比較。應根據假設、內部一致性、對已知物理的恢復及可觀測后果來評價各方案。 ꣰