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

论文信息

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

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

发布日期: 2026-05-14

PDF 链接: 下载 PDF

研究背景与动机

量子多体物理的核心目标之一是探索长程纠缠（LRE）量子态，这类态支撑着拓扑序、量子临界性等奇异现象。传统研究集中于纯态，但真实量子系统不可避免地与环境耦合，因而需要用混合态描述。一个自然的问题是：如何为多体混合态定义长程纠缠？目前普遍采纳的定义是，如果一个混合态不存在短程纠缠（SRE）纯态的系综分解，则该混合态具有长程纠缠。然而，由于混合态的系综分解方式有无穷多种，判定一个混合态是否是 LRE 在数学上十分困难。

迄今已有三种已知机制可以保证混合态的长程纠缠：(i) 对称性反常：强对称性遇到’t Hooft 反常，导致任何对称的纯态必然长程纠缠；(ii) 强对称性与长程关联：若混合态存在长程关联，则不可能分解为短程纠缠态；(iii) 体积律纠缠：若纠缠熵违反面积律，则必然是 LRE。但这三种机制都可以在纯态体系中找到对应，缺乏混合态独有的内在特征。

本工作揭示了一种全新的、仅属于混合态的 LRE 机制：维数不匹配。其基本思想是，当一个带有强对称性 $S$ 的混合态 $\rho$ 的秩大于由 $S$ -对称的短程纠缠态张成的子空间的维数时， $\rho$ 必然无法被 SRE 态线性组合覆盖，因而必须是 LRE。文章以具有强平移对称性的一维最大混合不变态（MMIS）为主要范例，系统探讨了该机制带来的丰富物理现象。

核心方法：维数约束与最大混合平移不变态

考虑一个在一维环上由 $L$ 个 $d$ 维量子比特（qudit）构成的系统，每个量子比特的希尔伯特空间为 $\mathbb{C}^d$ 。总希尔伯特空间为 $(\mathbb{C}^d)^{\otimes L}$ 。记平移生成元为 $T$ ，它将每个格点向右平移一个位置。具有零动量平移对称性的子空间 $\mathcal{T}$ 由满足 $T |\psi\rangle = |\psi\rangle$ 的纯态张成，对应的投影算符为 $P_T = \frac{1}{L} \sum_{k=0}^{L-1} T^k$ 。

定义 $\rho_T$ 为该平移不变子空间上的最大混合态，即 $\rho_T \propto P_T$ 。等价地，它可以表示为对所有计算基态的均匀叠加后再进行对称化投影： $\rho_T \propto \sum_{\sigma} P_T |\sigma\rangle \langle \sigma| P_T.$

关键的数量对比在于： $\mathcal{T}$ 的维数由组合公式给出， $\dim(\mathcal{T}) = \frac{1}{L} \sum_{i=0}^{L-1} d^{\gcd(i,L)}$ ，当 $L$ 大时主要项为 $\frac{d^L}{L}$ ，呈指数增长。另一方面，所有平移不变的短程纠缠纯态（包含所有短程纠缠的均匀矩阵乘积态 uMPS）张成的线性子空间维数最多为 $\binom{L + d\chi^2 - 1}{d\chi^2 - 1}$ ，其中 $\chi$ 为有限键维度，该维数仅随 $L$ 多项式增长。因此，当 $L$ 足够大时，SRE 态的数量远远不足以覆盖整个 $\mathcal{T}$ 。由此推出 $\rho_T$ 不可能被分解为 SRE 态的系综，从而是 LRE。

关键定理与证明思路

文章通过多个定理逐步展示维数约束如何确保各种层次的纠缠。

定理 1（整体不可分）： $\rho_T$ 对于足够大的 $L$ 不是完全可分态。例如 $d=2$ 时 $L\ge 4$ 即成立。证明采用反证法：若 $\rho_T$ 可写成乘积态的系综，则这些乘积态必须张成全对称子空间 $\mathcal{S}$ 。但 $\dim(\mathcal{S}) = \binom{L+d-1}{d-1}$ 仅多项式增长，而 $\dim(\mathcal{T})$ 指数增长，导致矛盾。
定理 2（二体纠缠）： $\rho_T$ 甚至不能写为二体可分态的系综。这是由引理 3 保证的：一个平移对称的纯态如果对于相连区域 $A|B$ 是二体可分的，则它必须是完全可分态（即所有格点间无关联）。因此，将定理 2 的任意二体可分分解通过投影可转化为完全可分分解，矛盾自然上升。
定理 3 与定理 4（长程纠缠）：进一步证明 $\rho_T$ 不是任何有限键维度 uMPS 的系综（定理 3），进而也不是经过有限深度局域幺正电路制备的二分纠缠态的系综（定理 4）。这些定理的核心都是基于维数计数：有限资源（固定键维度）所能表达的状态空间多项式大小，而 $\rho_T$ 的秩呈指数增长。

信息论度量与关联结构

尽管 $\rho_T$ 具有长程纠缠，但其局部约化密度矩阵却几乎是一个最大混合态。定理 5 指出，对任意大小小于整体的子区域 $A$ ，迹距离 $\| \mathrm{Tr}_{A^c}[\rho_T] - \frac{1}{d^{|A|}} \mathbf{1} \|_1$ 在热力学极限下指数趋近于零。这意味着所有局域两点关联函数都指数衰减，例如 $\mathrm{Tr}[\rho_T Z_i Z_j^{-1}] \sim O(L d^{-L})$ 。因此，该态是“隐藏长程纠缠”的典型代表：纠缠仅以全局非局域的形式存在。

条件互信息（CMI） $I(A,C|B)$ 在三者均占系统有限比例时表现为 $\log L$ ，表明在热力学极限下仍存在非零的全局关联，并违反了马可夫性质，这也是 LRE 的一个标志。

算子空间纠缠则呈现出有趣的多标度行为。对于 Rényi- $k$ 纠缠，当 $|A| \gg \log L$ 时：

$k>1$ ： $S_k \approx \frac{k}{k-1} \log L$ ，与子区域大小无关；
$k=1$ （冯诺依曼熵）： $S_1 \approx 2|A|(1-|A|/L)\log d + \frac{2|A|}{L} \log L$ ，遵循体积律但系数依赖区域比例；
$0\le k<1$ ：达到最大可能的体积律 $S_k \approx 2 \min(|A|,L-|A|)\log d$ 。

这种多标度特征源于平移对称性的严格约束，且与已知的随机态或基态行为均不相同。

强到弱自发对称破缺

论文进一步分析了 $\rho_T$ 的对称性破缺模式，提出平移对称性的强到弱自发对称破缺（SW-SSB）。在双倍希尔伯特空间中，强对称 $T \otimes \bar T$ 可能破缺到对角子群 $T\bar T$ （对应弱对称）。为了诊断这种破缺，需要构造非局域的序参量 $O_k = \frac{1}{L} \sum_x e^{i k x} Z_x$ ，该算符在 $T$ 下带有非零动量。传统的 Rényi-2 关联函数在这种非幺正算符下给出的结果按 $1/L^2$ 衰减，不足以断定长程序。因此，引入方差归一化的 Rényi-2 关联 $\tilde R_k^{(2)}$ ，其分母为受扰动态的范数，这更好地反映了对称性破缺的响应特性。计算表明 $\tilde R_k^{(2)} \sim O(1)$ 为常数，明确指示了平移对称性的 SW-SSB。

态制备与 Lindbladian

$\rho_T$ 作为最大混合态，能否自然地作为开放系统演化的稳态出现？文章构造了一个简单的 Lindbladian 模型：哈密顿量为横场伊辛模型 $H = -\sum_i Z_i Z_{i+1} - \lambda \sum_i X_i$ ，而跳跃算符取为集体形式 $L_{XY} = \sum_i X_i Y_{i+1}$ 。该算符的非局域性（求和形式）保证了在马尔可夫动力学过程中强平移对称性得以保持，同时避免了额外强对称性的产生。数值结果（如图 2）显示，从任意初态出发，态保真度指数收敛到 $\rho_T$ ，证实 $\rho_T$ 可作为一个自然的稳态。

创新点与贡献

本文的首要创新是提出了维数约束这一纯混合态独有的长程纠缠机制。与以往依赖对称性反常或长程关联的机制不同，该机制本质上源于混合态所能承载的经典概率分布的维度与量子态空间的维度之间的不匹配。这为探索混合态新相提供了理论工具。

第二个亮点是系统刻画了 $\rho_T$ 的丰富物理性质：从隐藏的局域关联、对数增长的 CMI、多标度的算子空间纠缠，到平移对称性的 SW-SSB。这些发现极大地扩展了我们对于强对称混合态的理解。

此外，Lindbladian 制备方案表明，即使在简单的集体耗散下，这种高度纠缠的混合态也能稳健存在，这为实验实现提供了明确路径。

实践应用与未来发展

在量子信息与量子模拟方面，维数约束提供了一种新的纠缠认证手段：只需估计态空间中对称子空间的维度与制备资源可能张成的维度即可判断 LRE，这比完全层析更高效。在量子纠错中，类似 MMIS 的态可能作为容错量子计算的拓扑编码基础，因为其长程纠缠隐藏于非局域自由度中，对局部噪声具有内在免疫力。

未来方向包括：在其他对称群（如空间反射、任意有限群）下推广维数约束机制；研究该机制在二维或更高维体系中的对应形式（如张量网络态）；探索 SW-SSB 的稳定性以及是否出现新的混合态量子临界现象；以及寻找具体物理平台（如离子阱、超导电路）中实现集体耗散并制备 MMIS 的方案。

总结

本文揭示了混合态长程纠缠的一个全新维度：维数不匹配。以平移对称的最大混合态为例，严格证明了它无法被任何短程纠缠系综制备，同时展示了其对数 CMI、特殊算子空间纠缠标度和强到弱对称破缺等反直觉行为。该工作不仅丰富了混合态量子多体理论的工具箱，也为开放系统中拓扑序、量子纠错和量子模拟开辟了新的研究方向。作为混合态独有的现象，维数约束机制极有可能催生更多内在混合拓扑序的发现。