维度约束下的混合态长程纠缠

Mixed-State Long-Range Entanglement from Dimensional Constraints

arXiv: 2605.15201v1

论文信息

标题: Mixed-State Long-Range Entanglement from Dimensional Constraints

作者: Leonardo A. Lessa, Tsung-Cheng Lu

发布日期: 2026-05-14

arXiv ID: 2605.15201v1

PDF 链接: 下载 PDF

3 分钟速览

  • 研究问题：这篇论文探索混合态（mixed state）中出现长程纠缠（long-range entanglement，LRE）的一种全新机制，不依赖传统的对称性反常或长程关联。

  • 核心方法：作者通过维度计数证明，在强平移对称性约束下，所有短程纠缠（SRE）纯态所张成的子空间维度仅为系统规模的多项式量级，而整个对称子空间的维度却随系统规模指数增长。该维度错配使得最大混合态必然是长程纠缠的。

  • 关键结果：一维平移对称最大混合不变态（MMIS）被严格证明是长程纠缠的，尽管它对任意局部子系统的约化密度矩阵都指数接近最大混合态，且任意两点关联函数随系统规模指数衰减。

  • 主要局限：论文仅研究了一维环上的特定模型，对更高维度的推广只给出了定性讨论。同时，要维持强平移对称性需要集体耗散（collective dissipation），对应的 Lindbladian 演化算符包含非局域跳跃算符，这在实验上可能难以实现。

  • 适合读者：适合从事量子多体物理、量子信息与量子纠错、混合态拓扑序等领域的研究人员，以及关注开放量子系统与对称保护态的理论工作者。

论文背景和研究动机

量子多体物理中，长程纠缠是理解拓扑序、量子临界等现象的核心概念。传统的长程纠缠研究主要聚焦于纯态（pure state）系统，通过基态的纠缠熵、拓扑纠缠熵等量来刻画。然而任何实际量子系统都不可避免地与环境相互作用，因此必须用混合态（mixed state）来描述。

如何在混合态中正确定义和诊断长程纠缠，成为一个重要问题。通常，一个混合态被称为长程纠缠的，当且仅当它不能被写成短程纠缠纯态的系综（ensemble）。在这种定义下，已有三种已知的机制能保证混合态的长程纠缠（见论文引言部分）：

  1. 对称性反常（Symmetry anomaly）：若混合态具有强对称性且该对称性是反常的（即不允许任何对称 SRE 纯态），则该混合态必然是 LRE。
  2. 强对称性与长程关联：若混合态具有强对称性且存在长程关联，则受 Lieb-Robinson 束缚的限制，该混合态也无法被分解为 SRE 纯态系综。
  3. 大纠缠熵：若混合态的纠缠度量超过面积律（area law），则它必然是 LRE——典型例子包括从 Haar 随机态中部分求迹得到的高纠缠混合态。

这三种机制的共同特点是：它们并非混合态所独有——同样的机制也可以用来论证纯态的 LRE。本论文的核心动机，是寻找一种仅属于混合态本身的全新 LRE 机制。这一新的 “维度约束”（dimensional constraint）视角构成了论文的主要创新。

核心方法和技术细节

最大混合不变态的定义

本文的核心例子是一维环上的平移对称最大混合不变态（Maximally Mixed Invariant State，MMIS）ρT\rho_T，定义在由 dd 维 qudit 组成的 LL 个格点上，具有周期边界条件：

ρT∝PT=1L(1+T+T2+⋯+TL−1)\rho_T \propto P_T = \frac{1}{L} \left( \mathbb{1} + T + T^2 + \cdots + T^{L-1} \right)

其中 TT 是单步平移算符，PTP_T 是向零动量平移不变子空间的投影算符。ρT\rho_T 可以表示为所有计算基态的平移对称叠加的均匀混合：

ρT∝∑σPT∣σ⟩⟨σ∣PT\rho_T \propto \sum_{\sigma} P_T |\sigma\rangle\langle\sigma| P_T

维度错配导致长程纠缠

论文的核心技术思想是：比较 “平移对称 SRE 态所张成的空间” 与 “整个平移对称子空间” 的维度。作者严格证明了以下两个引理（见论文引理 1 和引理 2）：

  • 引理 1：LL 个 qudit 的全置换对称子空间维度为 dim⁡(S)=(L+d−1d−1)\dim(S) = \binom{L + d - 1}{d - 1}，在大 LL 下以 O(Ld−1)O(L^{d-1}) 的多项式速度增长。

  • 引理 2：平移对称子空间维度为 dim⁡(T)=1L∑i=0L−1dgcd⁡(i,L)\dim(T) = \frac{1}{L}\sum_{i=0}^{L-1} d^{\gcd(i,L)}，在大 LL 下以 O(dL/L)O(d^L/L) 的指数速度增长。

关键在于：所有平移对称的 SRE 纯态（包括所有均匀乘积态 ∣ψ⟩⊗L|\psi\rangle^{\otimes L}、GHZ 态等）都包含在置换对称子空间 SS 中（见引理 6 及附录 I A）。因此，对称 SRE 态无论如何组合，其线性张成的空间维度最多只能达到 O(Ld−1)O(L^{d-1})，而 ρT\rho_T 本身的秩（即 dim⁡(T)\dim(T)）却是 O(dL/L)O(d^L/L)。

当 LL 足够大时（L≥4L \geq 4 若 d=2d = 2，L≥3L \geq 3 若 d≥3d \geq 3），必然有 dim⁡(S)<dim⁡(T)\dim(S) < \dim(T)。这意味着不可能用有限多的 SRE 态的系综来耗尽整个 TT 子空间，从而 ρT\rho_T 必然是 LRE（见定理 3 及其推论）。

矩阵积态（MPS）的技术处理

论文还利用均匀矩阵积态（uMPS）的形式体系进一步证明。对于一个键维度为 χ\chi 的 uMPS，其全体所张成的线性空间维度上限被多项式地限制为：

dim⁡(span(uMPS(χ,d,L)))≤(L+dχ2−1dχ2−1)\dim\left(\text{span}(\text{uMPS}(\chi, d, L))\right) \leq \binom{L + d\chi^2 - 1}{d\chi^2 - 1}

在大 LL 下以 O(Ldχ2−1)O(L^{d\chi^2 - 1}) 的速度增长（见引理 4）。由于 χ\chi 固定，这个数量远小于 dim⁡(T)\dim(T) 的指数增长，因此 ρT\rho_T 不能被分解为常数键维度 uMPS 的混合态。

态制备与 Lindbladian 演化

作者构造了一个几何上非局域的 Lindbladian（见式(18)），其跳跃算符 LXY=∑iXiYi+1L_{XY} = \sum_i X_i Y_{i+1} 是集体算符——这意味着同一个环境自由度同时与所有物理格点耦合。这种集体耗散是保持强平移对称性的必要条件。数值模拟（图 2）证实，在此动力学下，系统能够指数收敛到 ρT\rho_T 稳态。

创新点和贡献

1. 固有混合态的 LRE 新机制

论文最大的贡献是识别出 “维度错配” 作为混合态长程纠缠的内禀机制。这一机制在纯态中没有对应物：纯态的 “系综” 只有一个元素（即该纯态本身），不存在维度比较的问题。因此该机制完全属于开放量子系统。

2. 不依赖传统 LRE 判据的反例

ρT\rho_T 展示了极其 “安静” 的表象：没有对称性反常（平移对称有 SRE 态如 ∣ψ⟩⊗L|\psi\rangle^{\otimes L}）、没有长程两点关联（式(40) 表明两点函数指数小）、没有体纠缠（形成纠缠 EfE_f 的上界为 log⁡L\log L，见定理 6）。这样的态在传统三种机制下无法被判定为 LRE，可见新机制填补了理论空白。

3. 丰富的信息-理论结构

论文详细分析了 ρT\rho_T 的条件互信息（CMI）和算符空间纠缠（Operator Space Entanglement）。CMI 在热力学极限下保持 log⁡L\log L（见式(13)），表明存在不可被局域重构的全局关联。算符空间纠缠的 von Neumann 熵展现出体积律标度，且系数依赖于子区域比例（定理 8），而 Rényi-kk（k>1k > 1）熵却仅随 log⁡L\log L 增长，与子区域大小无关（定理 7）。这种 Rényi 指数依赖的行为非常罕见。

4. 平移对称的 SW-SSB

作者推广了 “强弱自发对称破缺”（SW-SSB）的概念，并证明 ρT\rho_T 表现出平移对称的 SW-SSB（见附录 VI B）。通过引入方差归一化的 Rényi-2 关联子 R~k(2)\tilde{R}^{(2)}_k，作者展示了它是常数（O(1)O(1)），尽管普通的 Rényi-2 关联子 Rk(2)R^{(2)}_k 以 O(1/L2)O(1/L^2) 衰减——这一技术性改进也澄清了 SW-SSB 的诊断应如何适用于非酉和非局域的荷算符。

局限与待解决问题

理论层面的局限

  1. 维度和几何的推广：论文仅严格证明了 1D 上的结果。虽然文中提及 “更高维度类似论证应可得出 MMIS 不是均匀 PEPS 的混合态”，但未有详细证明。二维或更高维平移群的结构（存在多个不可交换的平移方向）可能带来新的复杂性。

  2. 对非阿贝尔对称群的处理：虽然论文表 I 将结果推广到了非阿贝尔连续对称（是 LRELRE，否 LRCLRC），但主要证明仍集中在 ZL\mathbb{Z}_L 的平移群。对一般紧致李群的推广是否有类似的多项式-指数维度错配仍不清晰。

  3. 本征混合（Intrinsically mixed）性质的讨论：论文在总结中提出 ρT\rho_T 是否为本征混合态（即不与任何纯态双向有限深度局域信道等价），但这一问题留给了未来工作。考虑到当前对 1D 中 ρCZX\rho_{CZX} 态已被证明是本征混合的（见 Lessa, Cheng, Wang 2025），这个问题有显著的理论价值。

实验实现上的挑战

为维持强平移对称性，需要集体耗散结构——即整个系统用一个全局环境自由度来耦合。这等价于要求 Lindbladian 的跳跃算符是空间均匀求和的形式，如 LXY=∑iXiYi+1L_{XY} = \sum_i X_i Y_{i+1}。在实际物理平台（如超导量子比特阵列、里德堡原子阵列）中，实现这种高度非局域的耗散而不引入额外退相干，是一个极具挑战性的实验工程问题。

理论工具的限制

目前对一般混合态 LRE 的分类和诊断仍缺乏系统性工具。维度错配方法本质上是对 “态空间容量” 的比较，这能否发展为更普遍的混合态相分类理论（类似于纯态的对称保护拓扑序/本征拓扑序框架），仍有待深入探索。