混合态中平移对称性强制产生的长程纠缠

论文信息

标题: Translation symmetry-enforced long-range entanglement in mixed states

作者: Ryan Thorngren, Lei Gioia, Carolyn Zhang

发布日期: 2026-05-14

PDF 链接: 下载 PDF

平移对称如何在混合态中强制长程纠缠：解析与洞见

一、研究背景与问题动机

近年来，开放量子系统的研究揭示了一个丰富而新颖的纠缠图景。对于封闭系统的纯态，长程纠缠与短程纠缠的区分已有较为成熟的理论框架——例如，拓扑序的基态无法通过有限深度量子线路从直积态制备，因而被定义为长程纠缠态。然而，对于描述开放系统的混合态，情况要复杂得多。

这篇论文聚焦于一个微妙的问题：平移对称性是否可能在混合态中强制产生长程纠缠？ 这一问题处于几个重要概念的交汇点：

传统的在位对称性（on-site symmetry），例如形如 $U_g = \otimes_r U_{g,r}$ 的全局自旋翻转，显然允许完全解纠缠的对称直积态。事实上，对于阿贝尔群，整个对称扇区都可以由直积态张成。这意味着对应的最大混合态——即强到弱自发对称破缺相的不动点代表——是短程纠缠的。

另一极端是所谓“反常”对称性，其本身的结构就排除了短程纠缠的对称态。已有文献证明，如果一个混合态具有强反常对称性，那么其任何分解中的纯态都必须是长程纠缠的。

平移对称性恰好处于这两者之间。一方面，平移对称性是无反常的，允许对称的直积态存在。另一方面，已知非零动量的平移对称本征态必须是长程纠缠的。这自然引出一个核心问题：零动量扇区是否可以由短程纠缠的平移不变态张成？如果答案是否定的，那么平移对称性的强到弱自发破缺态就是长程纠缠的——尽管这种纠缠可能无法通过传统的长程关联函数检测。

二、核心方法与技术细节

论文的核心证明策略基于“计数论证”——比较能张成整个平移不变态空间的维度与短程纠缠态所能访问的态空间维度上限。

第一步：问题形式化

研究对象是平移不变态的最大混合态： $\rho_{\rm TI} = \frac{1}{D_{\rm TI}}\sum_j |\Psi_j\rangle\langle\Psi_j|$

其中 $|\Psi_j\rangle$ 构成零动量态的一组正交归一基。需要证明的是， $\rho_{\rm TI}$ 无法被易制备态（短程纠缠态）的混合物很好地逼近。

第二步：将时间演化约化为线路深度

借助 Haah 等人的结果，作者建立了关键桥梁：在有限范围、有界局域性随时间变化的哈密顿量下演化时间 $\tau$ 所得到的态，可以被深度为 $d$ 的量子线路很好地近似，且 $d = O(\tau \cdot \text{polylog}(n\tau/\epsilon))$ 。

由此得到引理：如果目标态在深度- $d$ 态空间上的投影测度很小，那么它必然远离任何时间- $\tau$ 态的混合物。这一引理将问题转化为：证明 $\rho_{\rm TI}$ 在深度- $d$ 短程纠缠态空间上的投影测度随着 $n$ 增长呈指数衰减，除非 $d$ 本身随系统尺寸增长。

第三步：核心创新——平移不变深度- $d$ 态的参数计数

这是论文最主要的技术贡献。困难在于，深度- $d$ 态的集合是电路参数的非线性函数，直接计数并不显然。

以平移不变矩阵乘积态为例进行预热：MPS 的系数是 $qd^2$ 个变量的 $n$ 次齐次多项式，因此张成的空间维度上界为 $D_{\rm MPS} \leq \binom{qd^2 + n - 1}{n}$ 。

对于一般深度- $d$ 电路产生的平移不变态，作者设计了巧妙的“切割”技术。核心思路如下（Figure 1 展示了电路结构的直观图像）：

取平移不变态 $|\psi\rangle = C|0\rangle$ ，其中 $C$ 是深度- $d$ 电路。考虑位于特定位置的子电路 $C_0$ ——它由 $C$ 中所有位于两个相邻格点光锥交叠部分的门组成。关键观察：移除 $C_0$ 及其平移副本后，得到的态 $|\psi_{\rm cut}\rangle$ 具有分块直积结构，每个块的大小为 $2d+1$ 。

通过逆操作，原始态可以表示为： $|\psi\rangle = \prod_{j=0}^{m-1} C_{(2d+1)j} |\psi_{\rm cut}\rangle$

这意味着它可以写成一个有效的大块 MPS，其中每个块对应 $2d+1$ 个原始格点。通过将电路元素分解为矩阵乘积算符，可以严格界定位每个 $A$ 张量由最多 $2d(2d+1)q^4$ 个参数决定，从而得到张成空间的维度上界： $D_{\rm SRE}(n,d,q) \leq 2d(2d+1)q^4 \binom{2d(2d+1)q^4 - 1 + m}{m}$

其中 $m \approx n/(2d+1)$ 。

第四步：比较尺度

平移不变态的总数 $D_{\rm TI}(n,q)$ 至少为 $q^n/n$ ——随 $n$ 指数增长。而 $D_{\rm SRE}$ 的上界是关于 $n$ 的 $\sim d^2$ 次多项式（通过二项式系数的渐进性质）。当 $d$ 为常数或对数增长时，短程纠缠态空间远远不及指数级数目的平移不变态。

具体计算表明，若要 $\rho_{\rm TI}$ 在深度- $d$ 短程纠缠态空间上的测度不低于 $\eta/2$ ，且 $\eta > 1/\text{poly}(n)$ ，则必须有 $d > \Omega(\sqrt{n/\log n})$ 。结合 $d = O(\tau \cdot \text{polylog}(n))$ ，得到： $\tau = \Omega\left(\frac{\sqrt{n}}{\text{polylog}(n)}\right)$

这意味着制备能够逼近 $\rho_{\rm TI}$ 的态需要随系统尺寸平方根增长的时间——远超常数时间，证明了 $\rho_{\rm TI}$ 的长程纠缠本质。

三、创新点与贡献

论文的创新点体现在多个层面：

提出了平移对称驱动长程纠缠的新机制。与已知的反常对称机制不同，这里的对称性本身无反常，但通过“态数量不匹配”迫使长程纠缠的产生。这是对混合态纠缠分类理论的重要补充。
开发了平移不变深度- $d$ 态的参数计数方法。通过精确操控电路结构与平移对称性的相互作用，将非线性参数空间的维度问题转化为可控的组合计数，这一技术可能在其他对称性分析中得到应用。
揭示了可检测性的微妙性。论文明确指出， $\rho_{\rm TI}$ 的长程纠缠无法通过传统的长程连通关联函数检测——因为关联函数是指数衰减的。这意味着需要更精密的纠缠探针（例如基于量子信息的局域可区分性测试）来揭示这种纠缠。
建立了量子信道非局域性的联系。平移对称性的强对称量子信道必须是全局的（Kraus 算符具有全系统支持），这与在位对称性的局域信道形成鲜明对比，从动力学角度阐明了平移对称的特殊性。

四、理论意义与应用价值

理论意义方面，这一结果丰富了我们对强到弱自发对称破缺相的理解。以往这类相被认为是对称性保护的拓扑序在混合态中的对应物，而本文表明，即便是阿贝尔平移对称这样“平凡”的无反常对称，也可能产生非平凡的混合态纠缠结构。

论文结果暗示，对于更一般的非在位化有限对称群（即便无反常），可能也存在类似的长程纠缠强制效应。作者推测：“有限阿贝尔对称性具有短程纠缠 MMIS 当且仅当它是在位化的”——这是一个值得进一步研究的深刻猜想。

实践应用层面，这一发现对以下领域有启示：

量子模拟与量子存储：若实验平台天然具有平移对称性保护，制备的稳态可能携带无法通过局部测量感知的纠缠资源，影响量子纠错码的设计和错误模型的刻画。
Floquet 热化诊断：论文提及平移 SWSSB 在双酉 Floquet 电路中的自然出现，其中谱形状因子的线性斜坡特征与时间平移对称性的破缺密切相关。理解这一类混合态的纠缠结构有助于区分真正的量子混沌与经典遍历性。
拓扑量子计算的混合态推广：若平移对称强制长程纠缠这一机制可以推广到更高维或结合其他对称性，可能为混合态拓扑序的分类提供新准则。

五、局限与未来方向

当前工作主要集中在一维系统，且证明依赖技术性较强的参数计数。以下几个方面值得进一步探索：

高维推广：论文指出，对于具有平移不变的二维系统，若沿某一方向视作大 $q$ 的一维链，证明可直接推广。建立直接的二维计数论证将使结果更完整。
与非在位化对称性的联系：能否用类似的方法证明 Shirley 等人构造的非在位化 $\mathbb{Z}_N$ 对称性的 MMIS 必须是长程纠缠的？这需要更精细地处理指数多而非多项式多的短程纠缠对称态。
可操作的长程纠缠探针：既然连通关联函数失效，需要设计能在实验或数值模拟中检测这类“隐形纠缠”的具体方案，例如基于量子费舍信息的多点关联器或纠缠熵的稳定子 Rényi 推广。
非零动量扇区的统一视角：已知 $k \neq 0$ 的动量扇区不包含任何短程纠缠本征态，因而其投影算符显然是长程纠缠的。能否由此给出零动量扇区长程纠缠的替代证明，建立更统一的图像？

六、总结

这篇论文通过精妙的计数论证，证明了平移对称性的零动量扇区无法由短程纠缠态张成，从而揭示了平移对称的强到弱自发破缺态本质上是一种长程纠缠混合态。这一长程纠缠具有“藏匿”特性——无法被局域关联函数检测，挑战了我们对混合态纠缠的传统诊断手段。作为混合态对称性与纠缠交叉领域的新进展，这一工作不仅加深了对强到弱自发对称破缺相的理解，也为探索更广泛的非在位对称性系统提供了方法论启示。随着开放量子系统理论框架的持续完善，这类“基于计数的论证”或将成为分析混合态纠缠结构的标准工具。