圈量子引力

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着重于不依赖固定背景度规的引力几何量子化。弦理论从不同自由度出发，也有非微扰形式；说它必然始终依赖背景，过度简化了比较。应根据假设、内部一致性、对已知物理的恢复及可观测后果来评价各方案。