⚛️ quantum physics

Non-zero Momentum Implies Long-Range Entanglement When Translation Symmetry is Broken in 1D

该论文证明了在一维系统中，即使平移对称性破缺，非零动量（通过平移算符期望值表征）仍能作为长程纠缠的判据，并探讨了该结论在连续极限及特定晶格模型中的有效性。

原作者： Amanda Gatto Lamas, Taylor L. Hughes

发布于 2026-02-24

📖 1 分钟阅读🧠 深度阅读

原作者： Amanda Gatto Lamas, Taylor L. Hughes

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文探讨了一个非常深奥的量子物理问题，但我们可以用一些生活中的比喻来把它讲得通俗易懂。

核心故事：寻找“混乱”与“纠缠”的线索

想象一下，你有一大群人在一个巨大的圆形广场（这就叫一维周期性系统）里跳舞。

短程纠缠 (SRE)：就像大家各自跳自己的舞，或者只和身边几个人互动。大家虽然在一起，但彼此没有深度的联系。在物理上，这通常意味着大家**“定住”了**（局域化），比如每个人都站在自己的格子上不动。
长程纠缠 (LRE)：就像大家手拉手，或者整个队伍像波浪一样同步运动。这种状态非常“纠缠”，大家是一个整体。在物理上，这通常意味着大家**“跑起来”了**（非局域化），可以在整个广场上自由穿梭。

以前，物理学家发现了一个规律：如果这群人跳的是整齐划一的舞（具有平移对称性），并且他们有一个非零的“集体动量”（比如都在顺时针转），那他们一定处于“长程纠缠”状态。这就像看到一支整齐的行军队伍在移动，你肯定知道他们是一个紧密的整体。

但这篇论文要问的问题是：
如果这群人不再整齐划一了（打破了平移对称性），比如有人乱跳，有人停着，有人快有人慢，我们还能通过某种“动量”的线索，看出他们是否处于“长程纠缠”状态吗？

论文的答案：是的！只要看“平移算符的期望值”

作者们发现了一个神奇的“探测器”，叫做 $z_t$ （你可以把它想象成**“平移操作的平均效果”**）。

1. 核心发现： $z_t$ 是“扩散度”的尺子

如果 $z_t$ 接近 1：说明这群人虽然跳得乱七八糟，但他们的“动量分布”非常集中（就像大家虽然乱跳，但整体趋势都在往一个方向冲）。这意味着他们在空间上是**“扩散”的（Delocalized），也就是长程纠缠**的。
如果 $z_t$ 接近 0：说明这群人的“动量分布”非常散乱（像是一锅粥，完全看不出整体趋势）。这意味着他们在空间上是**“定住”的（Localized），也就是短程纠缠**的。

简单比喻：
想象你在看一群鸟的飞行轨迹。

如果所有鸟虽然飞得高低不同，但整体都往同一个方向飞（动量集中），那么 $z_t$ 就很大。这就像鸟群是一个紧密的整体（长程纠缠）。
如果鸟群完全散开，有的往东，有的往西，有的原地打转，完全看不出方向（动量均匀分布），那么 $z_t$ 就接近 0。这就像鸟群是一盘散沙（短程纠缠/局域化）。

2. 两个重要的“极限”世界

论文里还讨论了两个特殊的“世界规则”，这决定了我们怎么测量：

热力学极限（人越来越多，广场越来越大）：这就像把广场无限放大。在这个世界里，用位置尺子（ $z_x$ ）来测量“是否定住”最准。
连续极限（格子越来越密，直到变成光滑的平面）：这就像把离散的格子地板变成光滑的地板。在这个世界里，用动量尺子（ $z_t$ ）来测量“是否扩散”最准。

论文的一个精彩发现是：
对于打破对称性的系统， $z_t$ 在“连续极限”下特别好用。它能非常敏锐地告诉我们：这群人是不是真的“跑起来”了。即使在没有完美连续极限的模型里（比如有些模型天生就是离散的格子）， $z_t$ 依然能捕捉到“局域化”和“非局域化”转变的信号，虽然信号可能没那么完美，但依然有效。

3. 他们是怎么验证的？（三个实验模型）

作者们用了三个模型来测试这个理论：

确定性双聚模型 (DDM)：这是一个设计得很完美的模型，就像在实验室里精心搭建的积木。
- 结果：在这个模型里， $z_t$ 就像一把精准的尺子。当系统从“定住”变成“跑起来”时， $z_t$ 会从 0 突然跳到 1。而且，他们发现只要看单个粒子的动量分布，就能推测出整个大群体的状态。
简单自对偶模型 (SSD)：这个模型很特别，位置和动量是对称的。
- 结果：在这个模型里， $z_t$ 和位置尺子 $z_x$ 表现得像照镜子一样完美对称。
随机二聚模型 (RDM) 和 Aubry-Andre 模型：这些是更真实的、带有“噪音”或“无序”的模型（就像在满是坑洼的路上跳舞）。
- 结果：在这里， $z_t$ 的表现稍微有点“迟钝”。在系统还没完全“定住”之前， $z_t$ 就开始下降了。但是！作者发现，虽然 $z_t$ 的数值本身看不清界限，但如果我们看 $z_t$ 变化的速度（导数），就能精准地找到那个“定住”的临界点。这就像虽然温度计读数变化不明显，但看温度变化的速率，就能知道冰点在哪里。

4. 关于“通量插入”的魔法（Flux Insertion）

论文还讨论了一个有趣的现象：如果我们给这个系统“拧”一下（插入磁通量），会发生什么？

对于“长程纠缠”（扩散）的状态：拧一下，大家的动量分布会整体平移。就像你推了一下正在奔跑的鸟群，它们整体方向变了。这说明它们对“拧”很敏感。
对于“短程纠缠”（定住）的状态：如果它们完全定住了，动量分布是均匀的一锅粥（ $z_t=0$ ）。这时候你“拧”一下，这锅粥看起来还是那锅粥，完全看不出变化。
结论：即使没有平移对称性，只要看动量分布是否对“拧”敏感，就能区分大家是“紧密整体”还是“一盘散沙”。

总结

这篇论文的核心贡献是：
以前我们只能用“整齐划一的动量”来判断量子纠缠。现在作者们证明了，即使大家跳得乱七八糟（打破对称性），只要看他们的“动量分布集中度”（用 $z_t$ 衡量），依然能判断他们是否处于“长程纠缠”状态。

这就好比，以前只有看到整齐的队伍才能知道他们在协作；现在作者告诉我们，即使队伍乱了，只要看他们是不是还在往同一个方向“冲”（动量集中），就能知道他们是否依然是一个紧密的整体。这为我们理解更复杂的量子物质（比如无序材料、拓扑材料）提供了一把新的、好用的“钥匙”。

这是一份关于论文《Non-zero Momentum Implies Long-Range Entanglement When Translation Symmetry is Broken in 1D》（当一维系统平移对称性破缺时，非零动量意味着长程纠缠）的详细技术总结。

1. 研究背景与问题 (Problem)

背景： Gioia 和 Wang (2022) 之前的研究表明，对于具有平移对称性的状态，如果其具有非平凡的动量（即平移算符期望值 $\langle T \rangle \neq 1$ ），则该状态必然是长程纠缠 (LRE) 的。这一结论适用于通过有限深度量子电路与平移对称态相连的状态。
核心问题： 对于平移对称性破缺的状态（即非平移对称态），是否存在一种基于“动量”的概念，能够直接编码其纠缠性质？具体来说，平移算符的期望值 $\langle T \rangle$ 能否在不依赖寻找连接电路的情况下，直接反映这类状态的局域化（从而反映纠缠）性质？
挑战： 在平移对称破缺的情况下，状态不再是平移算符的本征态，因此没有确定的总动量值。传统的基于动量本征值的方法不再直接适用。此外，在晶格模型中，特别是那些没有明确定义连续极限的模型中，如何准确量化纠缠和局域化是一个难题。

2. 方法论 (Methodology)

作者提出了一种基于平移算符期望值幅度 $z_t = |\langle T \rangle|$ 的新探针，并将其与位置空间的局域化长度联系起来。

理论框架：
- 特征函数与累积量： 利用概率分布的特征函数形式，将平移算符的期望值与动量分布的二阶累积量（即动量分布的展宽 $C(K)_2$ ）联系起来。
- 不确定性关系： 利用模位置算符 $U = e^{i \frac{2\pi}{L}\hat{X}}$ 和模动量（平移）算符 $T = e^{ia\hat{K}}$ 之间的不确定性关系。当填充率非整数（ $a N_e / L \notin \mathbb{Z}$ ）时，这两个算符不对易，导致位置分布的局域化与动量分布的展宽之间存在互补关系。
- 连续极限下的推导： 推导出在连续极限（晶格常数 $a \to 0$ ）下，平移算符期望值的幅度 $z_t$ 与动量分布展宽的关系：
  $C(K)_2 \approx -\frac{2}{a^2} \ln z_t$
  这意味着，如果 $z_t \to 1$ ，则动量分布高度局域化（展宽很小），对应于位置空间的完全退局域化（Delocalized）。反之，如果 $z_t \to 0$ ，则动量分布平坦，对应于位置空间的局域化。
数值验证模型：
为了验证理论并探讨不同极限（热力学极限与连续极限）的作用，作者引入了两个新模型并研究了两个经典模型：
1. 确定性二聚体模型 (Deterministic Dimer Model, DDM)： 具有明确的连续极限和热力学极限，用于研究极限对测量精度的影响。
2. 简单自对偶模型 (Simple Self-Dual Model, SSD)： 在位置和动量空间具有对称性，用于研究自对偶点附近的极限行为。
3. 随机二聚体模型 (Random Dimer Model, RDM)： 无序模型，没有明确的连续极限，用于测试 $z_t$ 在缺乏连续极限时的有效性。
4. Aubry-Andre 模型： 准周期模型，同样缺乏明确的连续极限。
通量插入 (Flux Insertion)： 研究在平移对称破缺下，插入磁通量对 $\langle T \rangle$ 相位的影响，以此区分 LRE 和 SRE（短程纠缠）态。

3. 主要贡献与结果 (Key Contributions & Results)

A. 理论突破：动量空间的 Resta 公式

作者建立了一个与 Resta 公式（基于位置空间模算符 $z_x$ 描述局域化长度）对偶的动量空间公式。

结论： 在一维周期性系统中，对于平移对称破缺的状态， $z_t \to 1$ （在连续极限下）是状态完全退局域化（即长程纠缠 LRE）的充分条件。
物理图像：
- SRE/局域化态： 位置分布局域 $\implies$ 动量分布平坦 $\implies z_t \to 0$ 。
- LRE/退局域化态： 位置分布退局域 $\implies$ 动量分布尖锐（峰值） $\implies z_t \to 1$ 。
对比： 对于平移对称态， $z_t$ 总是 1，无法区分 LRE/SRE，需依赖相位 $\arg\langle T \rangle$ 对通量的敏感性。而对于平移破缺态，幅度 $z_t$ 本身即可作为局域化/纠缠的探针。

B. 极限的作用 (Role of Limits)

通过 DDM 模型的研究，作者阐明了热力学极限（ $L \to \infty, a$ 固定）和连续极限（ $a \to 0, L$ 固定）对测量指标的影响：

连续极限 ( $a \to 0$ )： 显著提高了 $z_t$ 作为退局域化探针的灵敏度。在连续极限下，退局域态的 $z_t$ 更紧密地趋近于 1，使得相变更加尖锐。
热力学极限 ( $L \to \infty$ )： 显著提高了 $z_x$ 作为局域化探针的灵敏度。
互补性： $z_t$ 在连续极限下是探测 LRE 的最佳指标，而 $z_x$ 在热力学极限下是探测 SRE 的最佳指标。

C. 模型验证结果

DDM 模型： 成功展示了 $z_t$ 能够清晰捕捉从退局域相到部分局域相的转变。研究发现，单粒子态的 $z_t$ 乘积可以很好地近似多体基态的 $z_t$ ，因为 DDM 的本征态主要在动量空间局域化。
RDM 和 Aubry-Andre 模型（无明确连续极限）：
- 在这些模型中， $z_t$ 本身在相变前就会迅速衰减，不如 $z_x$ 那样能清晰标记相变点。
- 关键发现： 尽管 $z_t$ 的幅度变化不敏锐，但由 $z_t$ 导出的动量局域化长度 $\lambda_k$ 的有限差分（离散导数） 在相变点处会出现峰值。这表明即使在没有连续极限的晶格模型中， $z_t$ 仍然包含局域化转变的信息，只是需要更精细的分析（如导数分析）。
通量插入与相位：
- 对于平移破缺的局域化态（SRE），动量分布是平坦的， $z_t \to 0$ ，导致相位 $\arg\langle T \rangle$ 无定义。因此，插入通量不会改变可观测的动量分布（分布平移后仍看起来一样）。
- 对于退局域态（LRE）， $z_t \to 1$ ，相位有定义且对通量敏感。
- 结论： 即使平移对称性破缺，通量敏感性（即动量分布是否随通量发生可区分的移动）仍然是区分 LRE 和 SRE 的有效判据。

4. 意义与影响 (Significance)

扩展了纠缠判据： 将 Gioia 和 Wang 关于平移对称态的结论推广到了平移对称破缺的通用状态。证明了在一维系统中，动量空间的性质（通过 $z_t$ 量化）可以直接编码纠缠性质。
提供了新的数值工具： 提出 $z_t$ 作为探测 1D 周期性系统局域化和纠缠的新指标。特别是在那些难以定义位置空间局域化长度或连续极限的模型中， $z_t$ 提供了一种互补的视角。
深化了对极限的理解： 揭示了连续极限和热力学极限在定义和测量局域化/退局域化时的不同作用，解释了为什么在某些模型中 $z_t$ 比 $z_x$ 更适合作为退局域化的探针。
物理直觉的澄清： 阐明了在平移对称破缺下，为什么局域化态对通量不敏感（因为动量分布平坦，相位无定义），而退局域态敏感。这为理解无序和准周期系统中的多体局域化（MBL）提供了新的理论视角。
未来方向： 虽然目前主要局限于一维周期性系统，但作者乐观地认为该框架可能扩展到更高维系统或具有拓扑序的系统，尽管这需要进一步的工作。

总结： 该论文通过建立动量空间特征函数与平移算符期望值之间的严格联系，证明了在平移对称破缺的一维系统中，平移算符期望值的幅度 $z_t$ 是探测长程纠缠（退局域化）的有效探针。这一发现不仅丰富了量子多体物理中关于纠缠和局域化的理论框架，也为数值模拟复杂无序系统提供了新的分析工具。