Characterizing Long-Range Entanglement in a Mixed State Through an Emergent Order on the Entangling Surface

技术摘要：通过纠缠面上的涌现序表征混合态中的长程纠缠

问题陈述
虽然零温下强相互作用的量子相展现出具有通用模式的长程纠缠（拓扑序），可用于量子存储，但大多数此类相由于热涨落，在非零温度下无法作为自纠错存储器发挥作用。一个核心的未解之谜是：如何表征热混合态中长程纠缠的持续性，以及这种纠缠在热相变过程中如何演变。具体而言，尚不清楚“拓扑纠缠负性”（一种混合态纠缠度量）在有限温度下是否仍可作为拓扑序的通用诊断工具，以及当热涨落破坏该序时，它如何演化。

方法论
作者在有限温度下研究了空间维度 $d=2, 3, 4$ 中的 $Z_2$ 拓扑序（环面码）。核心方法论包括：

1. 部分转置与奇异关联子：他们通过对子系统 $A$ 的热密度矩阵 $\rho$ 进行部分转置，分析了纠缠负性（$E_N$）。他们证明，部分转置矩阵 $\rho^{T_A}$ 的谱可以映射为“奇异关联子” $\langle + | \mathcal{O} | \psi \rangle$，其中 $|+\rangle$ 是对称的平凡态，而 $|\psi\rangle$ 是局域在纠缠二分边界上的涌现态。
2. 涌现 SPT 序：他们发现，纠缠面上的态 $|\psi\rangle$ 表现出对称性保护拓扑（SPT）序。保护该 SPT 序的对称性是涌现的，并继承自体拓扑序的规范约束（例如电荷和磁通的守恒）。
3. 映射到统计力学：通过引入有限温度，作者表明热密度矩阵对应于受对称性破缺场作用的涌现 SPT 态。他们将负性谱的计算映射到定义在纠缠面上的经典统计模型（具体为伊辛模型和伊辛规范理论）中的关联函数。
4. 复制技巧：对于涉及体热涨落的情况，他们采用复制技巧（$\text{tr}[(\rho^{T_A})^n]$ 的 $n \to 1$ 极限）来推导负性，将其与体涨落的退火平均联系起来。

主要贡献与结果

• 混合态纠缠与 SPT 稳定性之间的联系：该论文建立了一种直接对应关系，即热拓扑态中长程纠缠的鲁棒性等同于纠缠面上涌现 SPT 序抵抗对称性破缺微扰（热场）的稳定性。
• 维度依赖性与有限温度序：
  • 2D 环面码：1D 边界上的涌现 SPT 序由 $Z_2 \times Z_2$ 对称性保护。然而，该序会被任何有限温度（对称性破缺场）立即破坏。因此，对于任何 $T > 0$，拓扑纠缠负性消失（$E_{topo} = 0$），这与 2D 中不存在有限温度拓扑序的已知事实一致。
  • 3D 环面码（禁止点状激发）：当禁止点状电荷激发时（极限 $\lambda_A \to \infty$），2D 边界上的涌现 SPT 序由 $Z_2$ 0-形式 $\times$ $Z_2$ 1-形式对称性保护。1-形式对称性保护 SPT 序免受弱对称性破缺场的影响。作者推导出了负性的精确表达式，表明其与 2D 经典伊辛模型的自由能相关。在有限临界温度 $T_c$ 处发生“解纠缠”相变，此时 $E_{topo}$ 从 $\log 2$（长程纠缠）跃变为 $0$（短程纠缠）。该相变属于 2D 伊辛普适类。
  • 4D 环面码：3D 边界上的涌现 SPT 序由两个 $Z_2$ 1-形式对称性保护。作者表明，负性谱映射到与物质耦合的 3D 伊辛规范理论。该规范理论的退禁闭 - 禁闭相变对应于长程纠缠的丧失。SPT 序在有限临界温度之前保持鲁棒，从而允许存在有限温度拓扑序。
• 通用标度与相图：作者推导了临界点附近拓扑负性的通用标度形式（例如，$E_{topo} \sim \log(1 + e^{-L/\xi})$）。他们构建了示意图相图（图 2），表明如果体处于拓扑序状态（$T_{bulk} < T_{bulk, c}$）且边界温度低于临界值，或者如果体序本身被破坏，长程纠缠可以持续存在。

意义与主张
该论文声称提供了一种理解有限温度拓扑序的新理论框架。通过将混合态纠缠的稳定性与纠缠面上涌现 SPT 序的稳定性联系起来，作者解释了为何某些拓扑序（如 4D 环面码或禁止电荷的 3D 环面码）能够在有限温度下生存，而其他则不能。该工作表明，由热涨落驱动的“解纠缠”相变，本质上是从涌现 SPT 相到平凡相的相变。

作者明确指出，他们的表征适用于 $Z_n$ 拓扑序和某些分形子序（例如 X-cube 和 Haah 码），其中部分转置会诱导出受子系统对称性或分形对称性保护的 SPT 序。他们承认，在整个体拓扑序被破坏的相变过程中负性的行为仍然是一个未解之谜，且该表征在 $Z_n$ 和分形子之外的一般拓扑序中的适用性是未来工作的课题。该论文并未提出实验实现方案，而是为混合态纠缠提供了一种严格的理论诊断工具。