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

论文信息

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

作者: Ryan Thorngren, Lei Gioia, Carolyn Zhang

发布日期: 2026-05-14

arXiv ID: 2605.15200v1

PDF 链接: 下载 PDF

3 分钟速览

研究问题：平移对称性允许存在短程纠缠的本征态，但这些短程纠缠态是否足够 “多” 从而张成整个零动量扇区？论文从混合态长程纠缠的角度给出否定回答。
核心方法：通过计数论证（counting argument）严格上界估计平移不变短程纠缠态的希尔伯特空间维数，并与全体平移不变态的总维数进行对比。
关键结果：证明平移对称性的零动量扇区投影算符所定义的最大混合态是长程纠缠的，且要近似该态必须使用演化时间随系统尺寸 $n$ 以 $\sqrt{n}/\text{polylog}(n)$ 量级增长的线路（式(3)）。
主要局限：分析集中在一维带有周期性边界条件的自旋链；对演化时间下界的紧致性受限于 Hamiltonian 到量子线路近似的已知估计，更精确的误差分析仍待改进。
适合读者：从事多体量子物理、拓扑物态、开放量子系统以及量子信息理论研究的研究者。

论文背景和研究动机

近年来，开放量子系统的研究揭示了混合态中不同于纯态的丰富纠缠结构。一个核心问题是：具有某种对称性的混合态在何种情况下必然是长程纠缠的？这一问题同时涉及强到弱自发对称破缺分类、混合态拓扑序、以及对称保护拓扑相等多个前沿方向。

在先前的若干工作中，人们已经认识到异常的（anomalous）对称性会迫使混合态成为长程纠缠。而在另一个极端，熟悉的在位（on-site）对称性显然允许完全可分离的短程纠缠混合态存在。平移对称性则居于两者之间：一方面，非零动量扇区已被证明不可能容纳短程纠缠本征态；另一方面，零动量扇区虽然很容易构造平移不变的乘积态，却无法确定这些乘积态的线性组合能否张成整个零动量扇区的希尔伯特空间。

该论文正是在这一未解决的问题上取得突破。作者提出并证明了：平移对称性的零动量扇区投影算符——即平移对称性强到弱自发破缺的不动点态——必然是长程纠缠的。这意味着它无论如何不能被写为短程纠缠态的混合。这种长程纠缠的特殊之处在于，它无法通过传统的长程连通关联函数探测到，因而是一种 “隐蔽” 的长程纠缠。

核心方法和技术细节

混合态长程纠缠的定义与电路深度

文章沿用 Hastings 以及 Chen–Grover 的框架：一个混合态 $\rho$ 称为短程纠缠，当且仅当它可被近似写作一系列 “容易制备”（短程纠缠）纯态的混合。短程纠缠纯态在此被定义为可由常数深度的定域量子线路作用于直积态上得到，或等价地说，在一个有界范围、演化时间为 $\tau$ 的定域 Hamiltonian 作用下由直积态演化得到。

一个关键的工具是 “尾部引理”（Lemma 1）。该引理基于 Haah 等人的结果：对于任一在 $D$ 维格点上、范围不超过 $r$ 、演化时间为 $\tau$ 的 Hamiltonian，其时间演化算符总能被深度至多为

d(\tau, n, \epsilon, r) = O(\tau \,\text{polylog}(n\tau/\epsilon))

的量子线路以 $\epsilon$ 误差逼近（见论文中定理 2）。因此，如果某个混合态在低深度（短程纠缠的）态空间上的投影测度为 $\delta$ ，则该态与任何由时间- $\tau$ 演化制备出的态的迹距离至少为 $1 - \epsilon^2 - \delta$ 。这一引理将 “短程纠缠混合态” 的问题转化为对低深度、平移不变态张成子空间维数的计数问题。

MPS 与量子线路的维数计数

论文的技术核心是命题 1 和命题 2，分别对平移不变矩阵乘积态（TIMPS）和一般深度- $d$ 平移不变态的张成空间维数给出上界。

在命题 1 中，作者观察到 $n$ 个格点上的平移不变 MPS，其每个分量的系数实质上都是 MPS 张量 $A$ 的 $qd^2$ 个自由度的 $n$ 次齐次多项式。因此，不同态至多由所有可能的 $n$ 次齐次单项式生成，其维数上界为

D_{\text{hpoly}}(n, qd^2) = \binom{qd^2 + n - 1}{n}.

这意味着当 $n$ 很大时，该维数以多项式的速度增长。

对于一般的深度- $d$ 电路产生的平移不变态，情况更为复杂，因为电路本身未必具有平移不变性。论文通过巧妙的空间切割方法克服这一困难。对于深度- $d$ 电路制备的平移不变态 ${|\psi\rangle}$ ，考虑每隔 $2d+1$ 个格点施以电路元的逆操作，可将态分解为一系列大小为 $2d+1$ 的区块上的张量积。这一分解使得 ${|\psi\rangle}$ 可以被重写为在粗粒化晶格上的具有极低键维数的 MPS（命题 2），其张成空间的维数被管控为

D_{\text{SRE}}(n, d, q) \leq 2d(2d+1)q^4 \binom{2d(2d+1)q^4 - 1 + m}{m},

其中 $m \approx n/(2d+1)$ 。该维数本质上仅以关于 $n$ 的 $d^2$ 阶多项式的速度增长，而不是指数增长。

主定理的证明思路

平移不变态的总维数 $D_{\text{TI}}(n,q)$ 至少为 $q^n / n$ （指数增长），而深度- $d$ 的平移不变短程纠缠态张成空间的维数至多随 $n$ 多项式增长。因此，深度- $d$ 态空间在全体平移不变态空间中的占比随 $n$ 指数衰减。将其与尾部引理结合，设 $\rho_{\text{TI}}$ 为零动量扇区上的最大混合态（在全体平移不变本征态上等权混合），则任意由时间- $\tau$ 演化制备的混合态 $\sigma_\tau$ 若要近似 $\rho_{\text{TI}}$ 到误差 $1-\eta$ ，必满足

\text{Tr} \, P_d \rho_{\text{TI}} \geq \eta/2.

由于左式正比于 $\sim \text{poly}(n) / q^n$ ，这就要求深度 $d$ 至少以 $\sqrt{n}$ 的量级增长，进而根据线路深度与演化时间的关系给出时间下界 $\tau = \Omega(\sqrt{n}/\text{polylog}(n))$ 。

创新点和贡献

这项工作在对混合态长程纠缠的理解上有几个重要推进。

首先，论文给出了一个全新的长程纠缠强制性机制，它不同于基于对称性反常的论证。平移对称性本身是 “无反常” 的，并且对称直积态也存在，但由于这类态的数目过少，无法张成整个零动量扇区，导致该扇区上的最大混合态必然长程纠缠。这一计数论证对诸如非可格点化（non-onsiteable）对称性等情形也可能有推广意义，作者在讨论部分提出了相应的猜想。

其次，该方法提供了一种明确的、可计算的判据：通过比较短程纠缠态的参数空间维数与目标对称扇区的总维数，可以判断相应的投影算符是否长程纠缠。这种基于多项式次数增长对指数增长的论证，在数学物理中相对罕见且具有很强的启发性。

最后，作者指出这种长程纠缠在关联函数层面完全是不可见的：无论是在零动量扇区还是非零动量扇区，所有局域算符的连通关联函数都随系统尺寸指数衰减为零。因此，这是一种无法由常规两点关联诊断的、只存在于混合态中的新形式长程纠缠。

局限与待解决问题

尽管论文提出了有力的理论构造，但仍存在几个显著局限和尚未解决的问题。

其一，演化时间 $\tau$ 的 $\sqrt{n}$ 下界与最坏情况的紧致性尚未完全确立。目前的证明依赖 Hamiltonian 演化到量子线路的逼近定理（见文中定理 2），这一逼近下界是否最优直接影响到 $\tau$ 下界的精确度。作者明确指出，“Unfortunately, to have a better error estimate of the lower bound we would need to better understand the estimate in Theorem 2”，说明这一问题有待未来更精细的分析。

其二，讨论聚焦于严格的一维环形晶格。虽然作者在讨论一节指出高维情形的类比可行，但详细证明和可能的维度依赖效应并未给出。高维情形是否能得到 $n^{1/D}$ 量级的下界，仍然是一个开放问题。

其三，关于 “非可格点化的有限交换对称性必定给出 LRE 的最大混合态” 这一猜想，仅停留在初步的概念性讨论阶段。作者自己也指出，至少在某个已知的例子中，对称偶宇称扇区内短程纠缠态的数量本身已经指数增长，因此直接用本文的维数对比论证将更加精细。如何将现有技术推广到此类对称性是一个直接而具有挑战性的扩展方向。

此外，平行演化（Floquet）系统作为物理背景引入的 “平移 SWSSB” 设定，以及它与非定域量子信道之间的联系，仅作为动机出现。在这些真实动力学场景中如何实验探测这类隐蔽的长程纠缠，目前尚未有任何具体的诊断方案，这为后续的数值或实验工作留下了广阔空间。