Translation symmetry-enforced long-range entanglement in mixed states

本文通过计数论证表明，平移对称性强制混合态具有长程纠缠，具体而言，尽管存在对称的短程纠缠本征态，强至弱自发对称性破缺不动点仍无法表示为短程纠缠态的混合。

要点

以下是用通俗语言和日常类比对该论文的解读。

核心思想：挤不进小房间的人群

想象你有一长排人（一个量子系统）围成一个圆圈站着。这排人遵循一条特殊规则：平移对称性。这意味着，如果你让大家同时向右迈一步，这排人看起来和之前完全一样。

在量子物理世界中，科学家们感兴趣的是这些人之间有多“纠缠”。

• 短程纠缠（SRE）： 想象这就像人们只和紧邻的邻居手拉手。这种状态很容易制备；你只需告诉大家去拉旁边人的手即可。
• 长程纠缠（LRE）： 这就像一张复杂且无形的网，连接着圆圈里的每一个人，无论他们相距多远。你无法仅通过让邻居手拉手来创造这种状态；它需要一种更复杂、全局性的协调。

论文的发现：
作者证明了一个令人惊讶的事实：尽管看起来你似乎可以用简单的“邻居手拉手”（SRE）状态来描述一条完美平衡、对称的人线，但实际上你做不到。

没有足够多的简单“邻居手拉手”状态来填满整个“零动量”房间（即人线看起来完美对称的特定状态）。因为简单的状态不够用，剩余的状态必须是那种复杂的、长程纠缠的类型。

“计数”论证：为什么简单状态行不通

论文使用了一种“计数论证”来证明这一点。以下是类比：

想象你正试图用一套有限的简单印章（简单的 SRE 状态）来绘制一幅巨大而复杂的壁画（对称状态的全空间）。

1. 壁画巨大无比： 随着人线变长，可能的对称图案数量呈指数级增长。这就像一座拥有无限藏书的图书馆。
2. 印章数量有限： 你能用简单的“邻居手拉手”规则制造出的图案数量增长要慢得多。这就像你只有一小盒蜡笔。
3. 不匹配： 作者计算出，无论你如何混合搭配这些简单的印章，你拥有的数量根本不足以覆盖整幅壁画。在你能用简单规则制造的东西与对称世界中实际存在的东西之间，存在着巨大的差距。

因为你无法用简单的印章覆盖整幅画面，所以最终的画面（平移对称的“最大混合态”）必须包含一种隐藏的、复杂的结构，这是简单印章无法复制的。这种隐藏结构就是长程纠缠。

“强到弱”的破缺：一只坏掉的钟

论文讨论了一个称为“强到弱自发对称性破缺”（SWSSB）的概念。

• 强对称性： 想象一只走时完美的钟。每一次滴答声都完全相同。
• 弱对称性： 想象这只钟坏了，但在平均意义上，它看起来仍然像是在走时。

论文表明，当平移对称性从“强”破缺到“弱”（就像那只坏掉的钟）时，产生的状态不仅仅是简单、破碎的钟的杂乱混合。它是一种特定的、复杂的、本质上纠缠的状态。

你可能会想：“如果我只是混合一堆简单的、非纠缠的状态，我应该会得到一个简单的混合状态。”论文说：不。如果你试图混合简单状态来产生这种特定的对称结果，你会失败。数学证明，要得到这种特定结果，唯一的方法是混合体本身必须是根本复杂的（纠缠的）。

“隐形”的纠缠

这是发现中最微妙的部分。

通常，当我们说某物是“长程纠缠”时，我们期望通过观察系统遥远部分之间的相互“交谈”（关联函数）来看到它。这就像看到相隔数英里的人在互相耳语。

转折：
作者表明，这种特定类型的纠缠对标准测试是不可见的。

• 如果你看着这排人问：“远处的人在互相耳语吗？”答案是否。
• 如果你看着这排人问：“整个系统是简单的邻居手拉手的混合吗？”答案也是否。

这是一种“幽灵”般的纠缠。它的存在是因为用简单状态填满空间的数学不可能性，而不是因为任何明显的远距离信号。这就像一个拼图，从外面看，拼块似乎是以随机的方式契合在一起的，但实际上内部是一个刚性且不可破坏的结构。

“时间”成本

论文还提到，构建这种状态是很困难的。
如果你想从一条简单的人线开始构建这种对称状态，你需要运行一个复杂的过程。作者证明，构建这种状态所需的时间会随着系统大小的平方根而增长。

这就像试图组织一场盛大的游行。如果你只让人们和邻居交谈，秩序传播需要一段时间。但要获得这种特定的“完美对称”秩序，你不能只依赖邻居；你需要一种全局协调，而这种协调需要很长时间才能传播到整条人线。

总结

1. 问题： 我们能否仅用简单的局部连接来描述一个完美对称的量子系统？
2. 答案： 不能。对称的可能性太多了，而简单的连接不足以覆盖所有情况。
3. 后果： 对称状态必须是“长程纠缠”的。
4. 陷阱： 这种纠缠是“微妙”的。你无法通过寻找远距离信号来探测它；你只知道它存在，是因为数学证明简单的状态不足以构建它。

简而言之：大自然迫使对称系统中形成复杂且不可见的连接网，即使你试图用简单的局部部件来构建它们。

技术摘要

技术摘要：混合态中平移对称性强制的长程纠缠

问题陈述
近期对开放量子系统的研究表明，混合态展现出与纯态截然不同的纠缠模式。若一个混合态无法被近似为“易于制备”的短程纠缠（SRE）态的混合，则被定义为长程纠缠（LRE）。虽然已知对称性会强制混合态产生纠缠，但平移对称性的具体作用仍显微妙。

对于在位对称性（即对称算符局域地作用于每个格点），对称子空间中的最大混合态（MMIS）通常可由对称积态张成，从而使其表现为 SRE。相反，对于反常对称性，强对称性约束迫使 MMIS 成为 LRE。平移对称性处于中间位置：它允许对称积态（在零动量子空间中），但具有非零动量的态必须是 LRE。本研究解决的核心问题是：平移对称性的零动量子空间能否由 SRE 态张成？具体而言，代表平移对称性从强到弱自发对称性破缺（SWSSB）的固定点态是否表现出 LRE？如果是，这种纠缠能否通过标准关联函数被探测到？

方法论
作者采用计数论证，比较所有平移不变态空间的维数与由平移不变 SRE 态（具体指可由深度为$d$的量子电路制备的态）所张成的子空间的维数。

1. 定义与设置：研究聚焦于长度为$n$、局域维数为$q$且具有周期性边界条件的 1D 自旋链。研究对象是$\rho_{TI}$，即平移不变（零动量）态的最大混合态。
2. 通过电路深度的近似：作者利用以下事实：在有界几何局域哈密顿量下的时间$\tau$演化，可由深度$d \sim O(\tau \text{polylog}(n))$的量子电路很好地近似。为了证明$\rho_{TI}$是 LRE，只需证明它不能被任何多项式小深度$d$的“深度-$d$态”很好地近似。
3. SRE 态的维数分析：
   • 作者首先分析平移不变矩阵积态（TIMPS）。他们证明，键维数为$d$的 TIMPS 的张成空间维数随$n$多项式增长（具体表现为张量参数中的$n$次齐次多项式）。
   • 随后，他们将此推广到平移不变深度-$d$电路。利用“切割论证”，他们将由深度-$d$电路生成的平移不变态分解为大小为$2d+1$的块。通过将这些块视为有效物理格点，他们将态映射到 TIMPS 结构。
   • 关键在于，他们推导出了这些平移不变深度-$d$态张成空间维数的上界，记为$D_{SRE}(n, d, q)$。该上界大致随$n$的多项式增长，其次数与$d^2$成正比。
4. 与全空间的比较：平移不变态全空间的维数$D_{TI}(n, q)$随$n$指数增长（与$q$元项链的数量相关）。
5. 迹距离论证：利用“尾部引理”，作者将$\rho_{TI}$与任何 SRE 态混合之间的迹距离，与$\rho_{TI}$向深度-$d$态子空间的投影联系起来。由于对于$d \ll \sqrt{n}$，SRE 子空间的维数比全空间小指数倍，因此投影呈指数级小，这意味着迹距离很大。

主要贡献与结果

• 定理 1（主要结果）：平移不变态的最大混合态$\rho_{TI}$不能被任何由范围$r$哈密顿量通过时间$\tau$演化从积态制备的纯态的混合很好地近似，除非$\tau = \Omega(\sqrt{n}/\text{polylog}(n))$。
• 纠缠机制：本文确立了一种在混合态中强制 LRE 的新机制：零动量态空间的“体积”与由 SRE 零动量态张成的空间的“体积”之间存在“不匹配”。尽管对称积态存在，但其数量不足以张成零动量子空间。
• 纠缠的微妙性：作者证明这种 LRE 是“微妙的”。与其他形式的 LRE 不同，它无法被长程连通关联函数探测到。本文证明，对于任何局域算符，$\rho_{TI}$的连通关联函数均呈指数衰减，这意味着 LRE 的标准诊断手段（如非零长程关联）无法探测到这种纠缠。
• 热化背景：作者指出，这些 SWSSB 态自然地作为非局域量子通道的稳态出现，特别是在热化 Floquet 动力学和对偶幺正电路的背景下，其稳态由时间平移算符张成。

意义与主张
本文声称识别出了一类独特的 LRE 混合态，它们仅由平移对称性强制，且无异常并允许对称积态存在。这挑战了“对称积态的存在意味着对称子空间可由其张成”的直觉。

其意义在于：

1. 重新定义混合态中的 LRE：它表明 LRE 可以在没有强异常或非阿贝尔对称性的情况下存在，而是源于平移对称性对希尔伯特空间维数的几何约束。
2. 不可探测性：它揭示了一种对局域关联函数不可见的纠缠形式，暗示当前混合态纠缠的诊断工具对于平移不变系统可能是不充分的。
3. 与 SWSSB 的联系：它为平移对称性从强到弱自发对称性破缺的固定点态提供了严格的刻画，证明其本质上是长程纠缠的。

作者对更广泛的影响保持谦逊，指出尽管他们的证明是在 1D 中进行的，但可以推广到更高维。他们建议未来的工作可以探索这种计数论证与非可逆对称性的“在位性”之间的联系，但除了 Floquet 热化的理论背景外，并未提出具体的实验实现方案。