A Tale of Two Hartle-Hawking Wave Functions: Fully Gravitational vs Partially Frozen

本文区分了反德西特和德西特时空中完全引力与部分冻结的哈特尔 - 霍金波函数，证明前者因边界涨落而获得非平凡的单圈相位，而后者保持实正，从而确立了相位问题由引力路径积分的动力学性质所控制。

要点

以下是论文《两个哈特尔 - 霍金波函数的故事》的通俗化解读，辅以富有创意的类比。

宏观图景：拍摄宇宙的两张照片

想象你试图在某个特定时刻给整个宇宙拍一张照片。在物理学中，这张“照片”被称为哈特尔 - 霍金波函数。它是一个数学配方，告诉我们宇宙呈现某种形态的可能性有多大。

通常，为了拍下这张照片，物理学家会使用一种称为“路径积分”的方法。你可以将其理解为：为了到达那个特定时刻，将宇宙可能经历的所有历史都累加起来。

问题在于，当宇宙存在边界（就像房间的边缘）时。在著名的反德西特（AdS）宇宙（一种特定类型的弯曲空间）中，我们房间的“地板”是开放的，而非封闭的。这就产生了一个两难困境：我们是固定房间的墙壁，还是让它们自由晃动？

本文探讨了处理这一问题的两种不同方法，分别称为“部分冻结”方法和“完全引力”方法。

---

角色一：“部分冻结”宇宙（严格的建筑师）

设定： 想象你在构建一个宇宙模型，但你决定用超强胶带把房间的墙壁粘死。你固定了边界的形状和大小。你绝不允许墙壁移动或改变分毫。

• 运作方式： 这是物理学家通常的工作方式，特别是在将引力与量子力学联系起来时（AdS/CFT）。他们说：“我们只计算那些墙壁完全停留在我们设定位置的历史。”
• 结果： 当作者计算这个宇宙的“概率”（或范数）时，数学结果干净且为正。它是一个漂亮的实数，就像你期望的概率那样。没有任何奇怪的意外。

角色二：“完全引力”宇宙（晃动空间的探索者）

设定： 现在，想象你撕掉了那些胶带。你决定房间的墙壁是由一种灵活、易晃动的材料制成的。在这种情境下，你不仅累加房间内部的历史，还累加墙壁本身可能晃动、拉伸和改变形状的所有方式。

• 运作方式： 这更接近哈特尔 - 霍金提议的原始构想，即一切都是动态的。没有任何东西是人为固定的；即使是边界也是引力之舞的一部分。
• 结果： 当作者为这个晃动的宇宙进行数学计算时，他们发现了一些奇怪的事情。概率不仅仅是一个正数。它带有一个奇怪的虚相位因子（数学上表示为 $\pm i$）。
• 类比： 这就像试图测量一个气球的重量，但因为橡胶如此有弹性且充满生机，你的秤开始旋转，并给出了一个包含“幽灵”数字的结果。这并非“错误”，但它绝对不是你期望的简单概率所应有的干净正数。

---

“相位”问题：为什么“幽灵数字”很重要

在量子力学中，事物可以拥有“相位”（就像波的时序）。通常，当你计算某事发生的总概率时，这些相位应该相互抵消，只留下一个漂亮的实数。

• 在“冻结”宇宙中： 相位完美地相互抵消。结果是一个坚实的、正数。
• 在“晃动”宇宙中： 相位没有抵消。它们留下了一个“幽灵”数字（虚数 $i$）。

作者意识到，这不仅仅是 AdS 宇宙的一个怪癖。他们观察了德西特（dS）宇宙（这更像我们实际正在膨胀的宇宙）。在 dS 中，标准计算也会产生这种奇怪的“幽灵”相位，这几十年来一直让物理学家头疼，因为它使得解释宇宙的概率变得困难。

“赤道”实验：冻结中间

为了解开这个谜团，作者在德西特宇宙上尝试了一个巧妙的技巧。他们不是冻结整个边界（就像“冻结”的 AdS 情况那样），而是只冻结了球体的赤道（中间线）。

• 类比： 想象一个地球仪。你不是冻结整个表面，而是在赤道周围套上一个刚性环。上下两半仍然可以晃动，但在中间被固定住了。
• 结果： 当他们用这种“部分冻结”的赤道计算概率时，奇怪的幽灵相位消失了。数学再次变得干净且为正。

主要结论：关键在于控制

本文的核心结论是，“相位问题”并非由宇宙本身的怪异引起，而是由你给予边界的自由度多少引起的。

1. 如果你让边界自由晃动（完全引力）： 你会得到一个混乱、复杂的相位。数学是“完全民主”的，但结果很难被解释为简单的概率。
2. 如果你冻结部分边界（部分冻结）： 相位就会抵消，你会得到一个干净、正的概率。

隐喻：
把宇宙想象成一个混乱的爵士乐队。

• 完全引力： 每个人都在即兴演奏，包括鼓手和贝斯手。音乐是自由的，但很难分辨是否有节奏（相位问题）。
• 部分冻结： 你告诉鼓手保持稳定的节拍（固定边界）。突然间，整个乐队合拍，你可以清晰地听到节奏（干净的概率）。

总结

作者发现，量子引力中的“相位问题”取决于路径积分是完全动态的还是部分冻结的。

• 在 AdS（理论宇宙）中，让边界移动会产生相位；固定它则消除相位。
• 在 dS（我们的宇宙）中，仅固定赤道就能消除通常困扰计算的相位。

这表明，为了获得合理的物理预测（例如宇宙清晰的可能性），我们可能需要“冻结”时空边界的某些部分，而不是让一切自由波动。

技术摘要

技术摘要：两个哈特尔 - 霍金波函数的故事

问题陈述
哈特尔 - 霍金（HH）提案通过“无”与指定空间切片之间插值的紧致欧几里得几何上的引力路径积分（GPI）来定义宇宙波函数。尽管该提案在德西特（dS）引力中得到了广泛研究，但它面临着持续的问题，最显著的是范数计算中的“相位问题”。dS 引力中的单圈修正球体配分函数获得了一个非平凡相位 $(\mp i)^{D+2}$，这与将配分函数解释为正定范数或态计数测度的观点相矛盾。

本文研究了这些问题是 dS 引力的固有属性，还是源于引力路径积分的特定结构。作者关注渐近反德西特（AdS）时空，其中自然的空间切片是开放的并具有边界。这一特征需要一个额外的时空边界分量 $B_-$，从而导致 HH 波函数的两种不同构造：

1. 完全引力 HH 波函数：对时空边界 $B_-$ 上的度规进行积分（求和）。这是原始无边界提案向开放切片的自然推广。
2. 部分冻结 HH 波函数：固定 $B_-$ 上的度规（狄利克雷边界条件）。这是 AdS/CFT 中的标准表述。
   核心问题在于：范数计算中的相位问题是否取决于边界是动力学的（完全引力）还是固定的（部分冻结）。

方法论
作者结合半经典鞍点分析和不同引力模型中的单圈微扰理论进行研究：

1. AdS$_3$ 和 AdS$_2$ 中的半经典分析：

   • AdS$_3$ 爱因斯坦引力：作者分析了具有动力学边界 $B_-$ 的双曲圆盘空间切片 $\Sigma$ 上的 HH 波函数。他们利用由 $\Sigma$ 的面积 $A$ 和边界长度 $L$ 参数化的微超空间近似。他们确定了小 $L$ 下的实欧几里得鞍点，以及大 $L$ 下的复鞍点（涉及解析延拓到洛伦兹区域）。主导鞍点的选择由最陡下降围道规范指导，该规范要求与微超空间参数（外曲率）共轭的量为正。
   • AdS$_2$ 杰克 - 泰特博姆（JT）引力：使用膨胀子轮廓和外曲率的微超空间假设进行平行分析。他们考察了“最大对称气泡”，并根据膨胀子法向导数 $\partial_n \Phi$ 的符号区分 $+$ 和 $-$ 鞍点。

2. AdS$_D$ 中的单圈范数计算：

   • 作者计算了 $D$ 维 AdS 引力中双曲球配分函数的单圈修正。
   • 完全引力情形：边界 $B$ 是动力学的（由作用量变分产生的诺伊曼型边界条件）。他们通过求解体内部具有非壳边界条件的线性化爱因斯坦方程，导出了边界引力子的有效作用量。
   • 部分冻结情形：边界是固定的（狄利克雷边界条件），对应于标准的 AdS/CFT 设置。

3. 部分冻结的 dS 球体：

   • 受 AdS 结果的启发，作者研究了度规在赤道（余维数为 1 的曲面）上固定的 dS 球体配分函数。他们通过粘合两个具有固定边界条件的半球来分析单圈修正，仔细考虑了欧几里得时间方向的取向以及牛顿常数的 $i\epsilon$ 规范。

主要贡献与结果

1. 两种 HH 波函数的区别：
   本文明确构建并比较了完全引力和部分冻结的 HH 波函数。在 AdS$_3$ 和 AdS$_2$ 中，完全引力构造涉及对边界几何的求和，导致特定的鞍点选择（例如 AdS$_3$ 中的 $s_{small}$ 鞍点和 AdS$_2$ 中的 $+$ 鞍点），这些选择由围道规范决定。

2. AdS 中范数的相位：

   • 部分冻结（固定边界）：具有狄利克雷边界条件的双曲球上的单圈配分函数被发现是实数且为正的。这与 AdS/CFT 的预期一致，其中配分函数对偶于一个幺正共形场论（CFT）。
   • 完全引力（动力学边界）：具有动力学边界的双曲球上的单圈配分函数发展出 $(\mp i)^{D+1}$ 的非平凡相位。该相位源于边界引力子有效作用量的负模（特别是迹模和共形 Killing 矢量模）。

3. 通过冻结解决 dS 中的相位问题：
   作者证明，dS 引力中的相位问题并非正宇宙学常数引力的固有特征。通过考虑 dS 中一个部分冻结的球体配分函数（其中赤道被固定），他们表明单圈相位非平凡地抵消，导致配分函数为实数且为正。

   • 抵消发生的原因是：在赤道处粘合的两个半球需要相反的 $i\epsilon$ 规范，以进行牛顿常数的解析延拓，从而保持时间取向的一致性。这导致相位乘积为 $(-i) \times (i) = +1$。

4. 半经典波函数行为：
   在 AdS$_3$ 和 AdS$_2$ 中，半经典 HH 波函数在空间切片的临界尺寸（$L_{crit}$）处达到峰值。对于超过该临界值的尺寸，鞍点变为复数，波函数变为复鞍点的振荡求和，类似于 dS 引力中的行为。

意义与主张
本文主张，与哈特尔 - 霍金波函数范数相关的相位问题受路径积分中时空边界的动力学性质控制，而不是宇宙学常数或时空符号的固有特征。

• 相位的控制：相位的存在取决于引力路径积分是“完全引力”（对边界构型求和）还是“部分冻结”（固定边界数据）。
  • 完全引力设置（具有动力学边界的 AdS、没有固定子区域的 dS）表现出非平凡相位。
  • 部分冻结设置（具有固定边界的 AdS、具有固定赤道的 dS）产生正实数配分函数。
• 对 dS 引力的启示：结果表明，dS 引力中的相位问题可能通过引入一个“冻结”的时空子区域（类似于观察者或全息屏）来解决，该区域破坏了时间重参数化不变性。作者将他们的固定赤道构造与马尔达西纳（Maldacena）的观察者提案进行了类比，指出两者都破坏了引力部门的哈密顿约束，尽管机制不同。
• 全息解释：完全引力的 AdS 计算通过膜世界全息论进行解释，其中动力学边界对应于与全息 CFT 耦合的低维引力理论。体 AdS 计算中发现的相位与膜上低维类 dS 理论中预期的相位相匹配。

作者得出结论：宇宙波函数的物理合理预测可能需要从部分冻结的 GPI 中提取，尽管在闭合宇宙（如 dS）中冻结子区域的规范选择仍然是一个未决问题。