神奇虫洞，不止科幻｜安宇森

虫洞（WORMHOLE）是一种神奇的时空结构，同时物理学的研究也愈加证明，虫洞是连接量子理论和引力理论的钥匙。

许多人都应该听说过“虫洞”，无论是从科幻角度可穿越时空的遐想，亦或是从理论物理学前沿的学术新闻里感到不明觉厉，可虫洞究竟是什么？它如何成为连接时空的结构，只是物理学家的玩具吗？事实上，近年来在量子引力的研究中，虫洞潜藏着我们仍未发现的深意。

虫洞（WORMHOLE）是一种神奇的时空结构，同时物理学的研究也愈加证明，虫洞是连接量子理论和引力理论的钥匙。本文拟从洛伦兹（包含时间和空间）虫洞和欧几里得虫洞两个方面，来介绍虫洞这一基本概念，及其在理论物理学中的作用。

首先，我们介绍洛伦兹虫洞。洛伦兹虫洞是时空中可能存在的虫洞结构，它是真实存在的物理客体。

关于 洞最早的研究启发 卡尔·萨根的 说《接触》（CONTACT），这本 说也被成功的影视化了，由罗伯特·泽 吉斯指导的同名影 《超时空接触》（CONTACT） 受好评。在最初 说的原稿中，作者利 洞来实现时空隧道。但是其好友KIP THORNE却表 担忧，作为研究 义相对论的 家，他很清楚 洞是很难作为时空隧道这种结构的。但是这激发了KIP THORNE的研究兴趣，从 后来开展了最初关于 洞的 系列研究。

时空穿越是科幻爱好者 个永恒的兴趣， 可穿越的 洞似乎是实现它的 个很好的路径。因此 洞研究的 个重要的 ，即研究它的可穿越性。通常的 义相对论研究中，都是知道 个物质分布，然后研究这个物质分布会给出的时空形状；然 虫洞研究中，物理学家的 的是实现特定的时空形状——因此MORRIS和THORNE考虑反其道 之，先给出关于时空结构的限制，然后再通过爱因斯坦场 程进 物质分布的求解。

最初的计算是在球对称坐标系下进 的，他们发现如果要想满 特定的 洞时空结构，那么所需要的物质分布 定是违反能量条件的，通俗地来讲，需要引 奇异的负能物质[1]。这件事情可以通过测地线汇的办法很 然地看出来。 般在 义相对论中，为了探究时空的 些性质，通过测地线汇的变化可以在不解爱因斯坦 程的情况下，就能够得出 些结论。例如这 ，如果需要 个 洞结构连接两个不同的时空区域并可实现穿越，那么通过它的光线需要先汇聚到 洞的喉部（即虫洞结构中的最窄处），再从喉部发出。广义相对论中，光线的汇聚还是发散，可以通过类光测地线汇的膨胀给出，描述它的方程通常叫作RAY-CHAUDHURI 程，方程如下：

我们可以选择，满 旋转和剪切都为0的线汇，Σ=Ω=0，这样根据通过 洞的线汇的特征，可知在 洞的喉部 定存在 DΘ/DΛ=0 的位置，这暗 了如下的 程

这便破坏了类光能量条件，因此 洞的存在 定需要在它的喉部引 负能量的奇异物质。

这种奇异物质的引 让 洞的构造变得 常困难，这种违反类光能量条件的物质 般只有量 理论中才会允许，且通常 分微 。同时如果满足 洞可以通过，我们还需要考虑 洞作用于 体所产生的潮汐 效应，在 体可以忍受的潮汐 的条件之下，理论预 洞将会 常巨 ， 这么巨 的空间都存在奇异物质将其 撑，显得更为困难。不过，或许正如科幻 说《三体》幻想的那样， 限发达的 明可以在物理定律允许的条件下，不受技术壁垒的限制做到任何事情——建造 洞这种事情仍然可以畅想。

既然 洞可以看作宇宙中连接遥远两点之间的近路，那么或许 洞可以被改造为时间机器。[2]在时间机器的讨论中，我们忽略 些细节，只把 洞看成是连接时空中（T, 0)和（T, L）两点之间的机器， 洞的入口对应(T,0)， 出口对应(T,L)。如果我们让出口相对于入口进 速运动，那么根据狭义相对论的钟慢效应（如双 佯谬），出口和 口之间就会形成 个时间差T；然后我们缩短空间距离L为0，让出口和 口回归 点，那么从 口到出口，时间就会发 个T的跃变， 这就完成了穿越到过去或者未来的操作。这便是通过 洞构建时间机器的 个最简化的版本。

时间机器或许相 于 洞，更能激发 们的兴趣，因为 总是充满着各种各样的遗憾。当 暮年，也有各种各样的悔恨，时间机器或许就可以给 次重新来过的机会，来弥补这些遗憾。因此 数凄美动 的爱情故事，都可以在此背景下铺展开来。

然 时间机器的出现会引发很多因果性上的难题，因此在 多数时候，时间机器只被看作是玩闹， 正经的科学研究课题。或许“ 然憎恶时间机器”， 物理学家们需要做的就是找到相应的物理原理，来证明时间机器不可能被制成。

1997年，MALDACENA带着他的ADS/CFT原始论 ，给理论物理学界炸响了 颗惊雷，从此越来越多的学者开始研究引 的全息性质。[3]后来，基于MALDACENA 2001年的论 结论[4]，RAAMSDONK 先通过简单的论证发现， 洞和量 纠缠具有本质联系，即ER=EPR猜想。[5](ER=EPR这个名号，是2013 年经SUSSKIND和MALDACENA的 作正式提出， 的是解决 洞的 墙问题[6]。) ER指代爱因斯坦-罗森桥，它是连接两个 洞之间的区域，可以看作是 洞研究的前 。不过它是不可穿越的，任何穿越爱因斯坦-罗森桥的举动，都不可避免的落 洞奇点。EPR指代的则是量 纠缠。

下 我们简单介绍这 观点，2001年，MALDACENA的研究 作发现，量 场论中的热场 重态TFD

对应于 个相应的ADS史 西 洞，它的彭罗斯图和史 西 洞的最 解析沿拓的彭罗斯图一致。当然，如果盯着彭罗斯图的某个空间截 来看，它可以理解为两个通过中间的 洞结构连接的 洞。

们发现，这个热场 重态是 个纠缠态， 调节温度（也就是这 的Β) ，就对应于调节了左右两边的纠缠。当温度很低时，上 的纠缠态会变成没有纠缠的直积态；当温度很 时，它会成为最 纠缠态。研究发现，随着温度从高到低的变化，虫洞结构中间的喉会逐渐变窄直 断开。因此我们发现从边界理论的视 来看减 纠缠的这个操作，对应于减 两个 洞之间连接 洞的 。因此这暗 了量 纠缠和 洞具有深刻的联系，甚 于说它们本质上即是 回事。

ER=EPR猜想暗 了时空本源可能来 量 纠缠。通常描述量 纠缠的度量是纠缠熵，但是ER BRIDGE的增长时间却会 的超越热平衡时间（ 热平衡之后纠缠熵会趋于定值），因此熵的概念似乎很难描述ER BRIDGE的体积的变化。据此物理学家提出 种可能具有和熵不同性质的物理量与 洞体积产 关联，即计算复杂度。它的物理含义是指定 系列操作门，从 个初态制备到末态所需要 到的最 操作门的数 。

同时，有趣的是，虽然前 提到的爱因斯坦-罗森桥不可穿越，但是我们可以构造相应的模型来实现这 可穿越 洞，即在边界引 个叫作DOUBLE TRACE DEFORMATION的操作，引 如下的算符扰动。这个操作相当于给背景时空引 了 条负能量的能流，它的能量在 洞视界附近因为引 蓝移会变得 常 ，因此会对于背景造成很 的反作 ，从 影响视界的位置，使得 洞的视界向内收缩。因此从 个边界发出的，原本落 奇点的光 会跑到视界外边，重新到达另 个边界。即实现了 洞的可穿越性。

根据ER=EPR的思想，这个过程相当于引 版本的量 隐形传态， DOUBLE TRACE DEFORMATION则类似经典信道。在量 隐形传态中，似乎量 特是通过量 纠缠在另 个地 被重新构造出来的； 在引 的图像下，它有了 个全新的理解，那就是它是通过连接两个地 的 洞穿越 来的[7]。

以上介绍了时空中的 洞作为 个可能物理客体所需要具备的条件及其相应的物理。然 ，在近 年的量 引 研究中， 种新的 洞结构激发了 们更多的兴趣，即欧几里得虫洞。

介绍什么是欧几里得虫洞之前，我们先介绍理论物理研究中，经常进行的欧式化的操作。通过分析量子场论中的路径积分和统计物理中的配分函数的相似性，我们发现如果对时间进行如下WICK转动的操作T=IΤ，（关于WICK转动参见《温度与神秘的虚时间 | 众妙之门》）即将时间坐标虚数化，我们可以将量子场论的问题和统计物理的问题等价起来，由此得到的即欧式路径积分。在欧式路径积分中，并没有时间方向，可以看作是某个时间面上的物理。（当然我们也可以将欧式路径积分和洛伦兹路径积分结合起来。）

欧式路径积分是研究众多理论物理问题的一个极为有效的工具。后面我们将介绍，在用欧式路径积分具体的计算黑洞霍金辐射的精细熵的时候，会出现之前所没有发现的虫洞结构。这种 洞结构，可以有助于我们理解众多困难问题，如 洞的信息丢失问题。

洞信息问题，是量 学和 义相对论在 洞这个时空下的最深刻的 盾。考虑纯态物质塌缩为 洞继 辐射，我们可以看到 个从纯态到混合态的 正演化，但是它是不被量 学所允许的。 洞信息问题，作为 个会下 蛋的母鸡，激发了物理学家们源源不断的创造 。

最近基于全息纠缠熵的启发， 们发现了 种在引 中计算霍 辐射精确熵的办法，被称作岛屿公式。（参见《黑洞信息悖论之谜，霍金最后的问题被解决了吗？》）这种计算得到的精确熵， 分神奇的满 PAGE曲线，进 满 量 学的 正性。我们知道，全息纠缠熵的RT公式，开始虽然是作为 个半猜想式的 作，但是后来得到了引 路径积分的精确证明。 这 得到的岛屿公式，是否可以通过引 路径积分来证明？如果可以的话，那么它应该来 于引 路径积分中哪些部分的贡献呢？

先我们介绍如何在场论中计算纠缠熵，它可以通过 种叫作拷贝技术（REPLICA TRICK）的办法计算，即将研究的系统拷贝N份，进 计算，最后再进 解析延拓的办法。公式如下：

上文第一个等号是纠缠熵的定义，第二个等号则是应用洛必达法则得出的，这一步操作通常叫作拷贝技术（REPLICA TRICK）。因为路径积分物理含义描述的是，从初态到末态的概率幅，所以欧式路径积分可以 来定义波函数，进 定义密度矩阵。在这个欧式路径积分的表述下，上 纠缠熵的计算可以转化为在拷贝流形上的配分函数的计算，即上 的最后 步等式。

依据上面的思路，如果我们将霍 辐射的密度矩阵通过欧式路径积分进 个图形表 的话，精确地计算它的熵（即配分函数）需要考虑所有可能的拷贝流形构型。考虑辐射和 洞整体组成 个纯态，因计算的是霍 辐射的熵，需要将 洞部分求迹。

熵的计算只是要求辐射密度矩阵作为边界 尾顺次连接形成 个REPLICA的结构，但其几何内部其实 法进 限制，因此计算ZN时需要考虑所有可能的内部构型，包括 些连通的构型。

个简单的 意图：左侧来 辐射密度矩阵形成的边界条件（实线代表做了求迹之后的 洞边界，虚线代表辐射），右侧代表计算所需要的引 构型。第 个图是 连通的构型，第 个图代表连通的拷贝 洞构型。图 来：ARXIV: 1911.11977

当不考虑连通构型之时，可以得到和霍 最初的计算相符的熵，此时违反 正性； 考虑这个连通的构型（通常叫作拷贝 洞），则会得到和 正性预期相符的熵的 为。（考虑全连通构型就可以得到岛屿公式在晚期的结果，然 真实的拷贝 洞的贡献会更丰富。）这个连通构型它的含义和 洞很像，都是通过 个连通结构来连接不同的引 区域（只不过这 的不同区域是对 个体系做REPLICA TRICK得到的），但是它和洛伦兹型的 洞对应的物理却 不相同， 它具体的物理含义仍然有待更多的理解和澄清。

拷贝 洞的特点，从图中我们可以看到每 个边界 上的 洞连接在了 起。图 来源：ARXIV: 1911.12333

拷贝 洞的计算是复杂的，其中只有最简单的模型可以考虑REPLICA 洞的所有可能构型，并将其解析的求和起来得到最为精确的辐射精确熵[8]。然 物理学家已经可以（ 少在2维下）通过拷贝 洞的 式，证明先前得到的岛屿公式的正确性。拷贝 洞的出现给 洞信息问题的研究注 了新的 机活 ，很多问题都得以被重新讨论研究，例如引 系综对应问题[9]，量 引 中的整体对称性问题，以及 洞辐射过后的剩余（REMNANT）[10]等。

也许真正有趣的事情才刚刚开始，期待未来 洞的研究会带给我们更多的惊喜。