On the universality of entanglement entropy in quantum field theory

技术摘要：论量子场论中纠缠熵的普适性

问题陈述
量子场论（QFT）中纠缠熵的标准定义面临一个根本性的歧义：QFT 的希尔伯特空间通常并不支持向空间子区域的张量积分解。为了计算纠缠熵，必须对纠缠面进行正则化（例如，挖去一个宽度为 $\epsilon$ 的管状邻域），并施加边界条件以使希尔伯特空间发生因子化。这一过程引发了两个关键的开放性问题：

1. 酉映射的存在性： 在何种条件下，所选的边界条件能产生原希尔伯特空间与因子化希尔伯特空间之间的酉映射？非酉映射无法捕捉到原始态的纠缠熵。
2. 普适性： 当存在多个有效的（酉的）边界条件时，它们是否会产生相同的纠缠熵，特别是针对“普适”项（即在 $\epsilon$ 的重新定义下保持不变的项）？

现有文献通常隐式地假设了特定的边界条件，这导致了计算出的普适项（例如在四维麦克斯韦理论中）存在差异。本文研究了选择“可收缩”（shrinkable）边界条件——即在 $\epsilon \to 0$ 极限下还原为单位缺陷（identity defect）的边界条件——是否能确保纠缠熵的普适性。

方法论
本文结合使用了路径积分技术、复制技巧（replica trick）形式化以及拓扑场论论证：

• 正则化与因子化： 通过移除一个小邻域来正则化纠缠面，使表面变为一个余维数为一的边界 $S^{d-2} \times S^1_\epsilon$。
• 可收缩判据： 一个边界被定义为“可收缩”的，若其在 $\epsilon \to 0$ 的极限下还原为单位缺陷（可能带有线反项）。这确保了原态与因子化态之间的映射是酉的。
• 复制技巧： 纠缠熵通过 $S = \lim_{n \to 1} (1 - \partial_n) \log Z_n$ 计算，其中 $Z_n$ 是在 $n$ 层覆盖（复制流形）上的配分函数。
• 案例研究：
  • 拓扑理论： 作者分析了三维 $U(1)_k$ 陈-西蒙斯（Chern-Simons）理论。由于其体部分是拓扑的，允许通过度规形变来平滑掉复制流形中的锥奇异性，而不改变配分函数。
  • 共形场论 (CFTs)： 该论证通过使用局部 Weyl 重标度法扩展到二维 CFT，在保持诱导度规不变的同时，使几何在边界附近平坦化。本文还探讨了该方法通过类似的度规变换应用于高维 CFT 的适用性。

核心贡献与结果

1. 可收缩边界与非可收缩边界的区别：
   本文证明并非所有的边界条件都能导出定义良好的纠缠熵。

   • 非可收缩边界（例如 $U(1)_k \times U(1)_{-k}$ 理论中的拓扑边界 $A=B$）对应于非酉映射。它们将态投影到特定的电荷扇区，可能将一个非零范数的态映射为零态，从而改变或破坏纠缠熵。
   • 可收缩边界（例如陈-西蒙斯理论中的全纯边界条件 $A_{\bar{z}}=0$）确保边界还原为单位缺陷，从而保持态的范数和酉性。

2. 拓扑场论中的普适性：
   对于像陈-西蒙斯这样的拓扑理论，本文证明了拓扑纠缠熵（熵展开中的常数项）在所有可收缩边界条件下是普适的。

   • 不同的可收缩边界可能会引入不同的反项（例如取决于附着在边界上的解耦二维 CFT 的中心荷的宇宙常数项）。
   • 这些反项仅影响发散项（与 $1/\epsilon$ 成正比）或非普适的加性常数。
   • 常数项（对于 $U(1)_k$ 为 $-\frac{1}{2}\log(k)$）保持不变，无论选择了哪种具体的收缩边界，只要该边界仍是可收缩的。

3. 二维 CFT 中的普适性：
   利用局部 Weyl 重标度论证，本文表明对于二维 CFT，不同的局部可收缩边界条件会产生相同的对数普适项 $S_{univ} = \frac{c}{3} \log(l/\epsilon)$。

   • 虽然不同的边界条件可能会改变非普适的加性常数，但对数发散的系数是由中心荷 $c$ 决定的，且独立于边界的选择。
   • 这依赖于这样一个假设：在取 $n \to 1$ 导数之前，可以先评估复制配分函数的领先小 $\epsilon$ 行为，且该过程不会改变普适项。

4. 高维空间的障碍：
   本文指出，普适性论证不能直接推广到高维 CFT（$d > 2$）。

   • 在 $d > 2$ 中，使横向度规平坦化的 Weyl 重标度会在纵向方向（纠缠面）引入曲率，从而在 $\epsilon \to 0$ 时产生发散的 Ricci 标量。
   • 因此，在光滑背景上的普通可收缩性不足以保证 $d > 2$ 时复制构造中的普适性。
   • 本文提出了一个一般理论中实现普适性的必要条件：在存在边界的情况下，模哈密顿量（或应力张量）的期望值的领先小 $\epsilon$ 行为在不同的可收缩边界之间必须是一致的。

意义与主张
本文声称建立了一个理解纠缠熵“普适性”的严谨框架。其主要意义在于：

• 澄清边界条件的作用： 它确定了“可收缩性”是定义有效纠缠熵的必要条件。
• 解决拓扑理论中的歧义： 它证明了对于拓扑理论，拓扑纠缠熵是一个鲁棒的、普适的量，不依赖于特定可收缩边界条件的选择。
• 界定普适性的界限： 它明确划定了普适性论证成立的范围（拓扑理论、二维 CFT）以及需要进一步研究的领域（高维 CFT），并暗示文献中的差异（如关于四维麦克斯韦理论）可能源于使用了非可收缩边界或对复制几何中所需边界条件的理解不足。

作者总结道，虽然普适性在拓扑和二维共形设定下由可收缩边界得到保证，但在任意 QFT 中建立通用的普适性判据仍是一个开放问题，有待未来研究解决。