13.2 Gibbons-Hawking-York (GHY) 项的熵起源:边缘模式的配分函数
在 13.1 节中,我们指出了爱因斯坦-希尔伯特作用量在狄利克雷边界条件下的变分不完备性:它留下了一个含度规法向导数的边界残项。本节将引入著名的 Gibbons-Hawking-York (GHY) 边界项来修复这一问题。
更重要的是,在本书构建的离散本体论框架下,GHY 项不再仅仅是一个为了数学自洽而引入的辅助项。我们将证明,在欧几里得路径积分表述中,GHY 项正是全息熵 的真正来源。它代表了时空边界上被“切断“的自由度——边缘模式(Edge Modes)——的配分函数对数。这一发现将数学上的变分完备性与物理上的全息原理完美统一。
13.2.1 GHY 边界项的构造与变分抵消证明
为了消除 13.1.1 节中导出的边界流项 ,我们需要在总作用量中添加一个反项(Counter-term)。
定义 13.2.1 (Gibbons-Hawking-York 作用量)
对于时空流形 的边界 ,设其诱导度规为 ,外向单位法向量为 (满足 )。定义边界作用量为外微曲率(Extrinsic Curvature)的积分:
其中 是外微曲率张量的迹,描述了边界在法向流下的膨胀率。
定理 13.2.2 (变分完备性定理)
总作用量 在固定边界诱导度规()的条件下是变分完备的。即:
边界上的法向导数项被精确抵消。
证明:
-
回顾 EH 作用量的边界项:
由 13.1 节, 产生的边界通量为:
在固定 (即切向导数变分为零)下,主要贡献来自法向导数项 。
-
计算 GHY 项的变分:
由于 ,则 。因此只需计算 。
外微曲率 。其变分涉及法向量的变分 和联络的变分 。
利用单位规范约束 ,可得 (在 下此项通常为零,但在一般推导中保留)。
关键项来自联络变分:
-
抵消验证:
将 展开为度规导数。可以证明, 中的 项系数恰好为 (相对于 EH 项中的系数)。
由于 前系数为 (是 的 2 倍),二者精确抵消:
13.2.2 欧几里得路径积分与黑洞熵
在经典层面上,GHY 项只是一个数学修正。但在半经典引力(Semiclassical Gravity)中,它是熵的物理来源。
考虑欧几里得路径积分(Euclidean Path Integral),配分函数为:
其中 是欧几里得作用量的鞍点值(On-shell Action)。热力学熵由 给出。
定理 13.2.3 (GHY 熵生成定理)
对于真空爱因斯坦引力(),体作用量 在壳层上为零。系统的全部自由能和熵均来自边界项 。对于史瓦西黑洞或其他具有基尔灵视界的热空间,由此导出的熵严格等于贝肯斯坦-霍金熵:
证明:
以史瓦西黑洞为例,欧几里得度规为 ,其中 周期为 。
-
体积分:,故 。
-
边界积分:在 处计算 。需要减去平直空间背景项 (参考项)以正规化。
计算结果为 (近似形式,取决于系综定义)。
自由能 。
由此解出 。
13.2.3 边缘模式(Edge Modes):离散本体论解释
为什么边界项会包含熵?在 QCA 离散本体论中,这有清晰的微观解释。
定义 13.2.4 (边缘模式 / Edge Modes)
当我们把全宇宙(封闭系统)划分为“系统“ 和“环境“ 时,我们切断了穿过边界 的量子纠缠键。
在规范场论和引力中,希尔伯特空间不能简单地分解为 ,因为规范约束(如 Gauss 定律)是非局域的。
为了恢复分解,必须在边界上引入边缘模式(Edge Modes),它们携带了边界上的规范荷(在引力中是微分同胚荷)。
物理图景:
-
体作用量 描述了系统内部闭合的动力学,这部分对应于纯态演化,熵为零(或幺正守恒)。
-
边界作用量 实际上是边缘模式的Berry 相位或辛势(Symplectic Potential)。
-
在欧几里得转动下,这个相位变成了实数(配分函数),其数值衡量了边缘模式的状态空间维数。
因为 ,这意味着边缘模式分布在边界上,且每普朗克面积携带固定比特数。这正是全息原理的微观实现。
13.2.4 布朗-约克(Brown-York)准局域张量
GHY 项的变分还定义了边界上的能量动量。
定义 13.2.5 (布朗-约克应力张量)
对于边界 ,其诱导度规为 。通过对边界作用量变分,定义准局域能量动量张量:
这一张量描述了时空区域 包含的准局域能量(Quasi-local Energy)和动量。
例如,对于渐近平坦时空,对 在无穷远球面上积分,即可得到 ADM 质量。
结论
GHY 边界项不是一个数学补丁,它是引力全息性质的直接体现。
-
在数学上,它保证了变分原理的完备性。
-
在热力学上,它提供了黑洞和视界的熵。
-
在微观上,它计数了被边界切断的边缘模式。
在下一节 13.3 中,我们将处理比光滑边界更复杂的情况——非光滑边界(角点)。我们将引入海沃德(Hayward)项,证明在离散 QCA 几何趋于连续时,角点贡献是不可忽略的拓扑修正。