Lieb-Schultz-Mattis theorem from gauge constraints

本文建立了一个适用于耦合物质的单维$\mathbb{Z}_2 \times \mathbb{Z}_2$规范理论的新的 Lieb-Schultz-Mattis 定理，证明了运动学高斯定律约束产生了一个 U(1) 对称性，该对称性禁止平庸的能隙基态，并导致要么发生自发对称性破缺，要么出现无能隙激发，后者表现出具有特定关联衰减的自由狄拉克费米子行为。

要点

以下是用简单语言和创造性类比对这篇论文的解读。

宏观图景：量子链的规则手册

想象你有一条由珠子串成的长圆形项链。在量子物理世界中，这些珠子不仅仅是塑料；它们是微小的磁铁（自旋），可以指向不同的方向。通常，物理学家试图弄清楚当这些珠子变冷时会发生什么。它们是会冻结成完美、安静的图案，还是会永远保持颤动？

本文介绍了一种特定类型项链的新规则集。作者建立了一个模型，其中珠子由不可见的“规范”弦连接。该模型最重要的规则是高斯定律。将高斯定律想象成俱乐部里一位严格的看门人：它规定“没有两个邻居可以穿同样的衣服”。如果一个珠子穿着“红色”衬衫，那么连接它与下一个珠子的弦必须是“蓝色”或“绿色”，绝不能是红色。

主要发现：“无静区”定理

作者发现了一条强大的数学规则（著名Lieb-Schultz-Mattis 或 LSM 定理的一个变体），适用于这种特定的项链。

类比：
想象试图排列一队舞者，使每个人都完全静止且快乐（即“有能隙”的基态）。在许多物理系统中，你可以做到这一点。但在这一特定模型中，作者证明不可能存在一种完全静止、简单的排列。

为什么？因为两种对称性之间存在冲突：

1. 平移：如果你将整个项链向右滑动一步，规则看起来是一样的。
2. 反射：如果你在镜子里看这条项链，规则看起来是一样的。

作者发现，这位“看门人”（高斯定律）创造了一个隐藏的"U(1) 对称性”——一种系统的内部时钟或节奏。这个时钟的走时方式对滑动（平移）很友好，但讨厌照镜子（反射）。这就像是一个当你向左走时向前运行，但当你向右走时向后运行的时钟。

结果：
由于这种冲突，系统无法安定下来进入一个无聊的、冻结的状态。它被迫做以下两件事之一：

• 打破对称性：舞者自发决定打破镜像规则（例如，每个人都向左倾斜而不是向右）。
• 保持颤动：舞者永不停止运动；即使在绝对零度，系统仍然保持“无能隙”（流体且活跃）。

本文证明，在该系统中不可能存在平凡的、冻结的、有能隙的状态。“看门人”（高斯定律）迫使系统变得有趣。

寻找“甜蜜点”（无能隙点）

作者不仅证明了系统不能被冻结；他们还找到了一个特定的设置（一个特定的“无能隙点”），在那里他们可以精确地求解数学问题。

类比：
在这个特定的设置下，由珠子和弦组成的复杂项链转变为一个更简单的系统：一条自由浮动的费米子线（把它们想象成幽灵般的、不相互作用的粒子）。然而，有一个陷阱：这些幽灵的总数必须遵循严格的规则（对总数的约束）。

在这个点上，系统的行为就像一条平稳流动的河流。作者计算了这条河流中扰动（涟漪）的行为。他们发现，如果你在一点上戳一下系统，这种戳击的影响会随着你远离而减弱，但它是以一种非常特定的波浪模式减弱的：

• 它振荡（像波浪一样：上、下、上、下）。
• 它减弱得非常缓慢（遵循特定的数学幂律）。

这种行为由“自由狄拉克费米子”描述，这是一种花哨的说法，意思是该系统表现得像一种完美的、无质量的量子粒子流体。

为什么这很重要（根据论文）

1. 规则的新来源：通常，像 LSM 这样的定理源于粒子的内部属性（如它们的自旋）。这篇论文表明，约束（高斯定律）本身就可以产生这些强大的规则。这就像说房间的形状迫使家具以特定方式排列，即使家具本身没有任何意见。
2. 新的游乐场：该模型为研究“拓扑缺陷”提供了一个完美的试验台。想象项链上有一个无法解开的结。作者建议，这个模型是研究这些结在不同相态下如何行为的绝佳场所。
3. 验证：他们使用了强大的计算机模拟（DMRG）来证实系统的行为完全符合他们的数学预测，显示其具有“中心荷”为 1，这证实了它表现得像单通道的自由移动量子粒子。

一句话总结

作者构建了一条带有严格“邻居不得相同”规则的量子项链，证明这一规则迫使系统要么打破对称性，要么保持流体状态，并且他们找到了一个特定的设置，在该设置下系统表现得像一条完美的、流动的量子粒子河流。

技术摘要

技术摘要：基于规范约束的 Lieb-Schultz-Mattis 定理

问题陈述
Lieb-Schultz-Mattis (LSM) 定理对具有空间对称性和内部对称性的量子多体系统的基态性质施加了非平凡约束，通常禁止存在平庸的能隙基态。尽管近期工作已将 LSM 定理与量子反常联系起来，并在纯 $U(1)$ 规范理论中确立了该定理，但一个关键的开放问题依然存在：耦合到具有离散规范群的规范场的物质理论中，能否产生 LSM 型定理？具体而言，此类规范理论的运动学结构（高斯定律约束）能否在高斯定律子空间内导致对低能物理的非平凡约束？

方法论
作者在周期性链上构建了一个耦合到物质的 $Z_2 \times Z_2$ 规范理论。该模型在每个格点（物质）和每条链节（规范）上具有三维希尔伯特空间。哈密顿量定义为：
$$H = \sum_{j, \alpha=x,y,z} \left( t_\alpha S^\alpha_{j\sigma} S^\alpha_{j\tau} S^\alpha_{j+1\sigma} - K_\alpha (S^\alpha_{j\tau})^2 \right)$$
其中 $S^\alpha$ 为自旋 -1 算符。系统具有由算符 $A^\alpha_j = \Sigma^\alpha_{j-1\tau}\Sigma^\alpha_{j\sigma}\Sigma^\alpha_{j\tau}$ 生成的局域规范对称性，其中 $\Sigma^\alpha = \exp(i\pi S^\alpha)$。

分析通过将系统限制在由高斯定律条件 $A^\alpha_j |\psi\rangle = |\psi\rangle$（对所有格点和生成元成立）定义的高斯定律子空间 $\mathcal{V}_G$ 内进行。在此子空间内，作者：

1. 分析对称性：研究哈密顿量与晶格平移 ($T$) 和反射 ($R$) 算符的对易关系。
2. 识别隐藏对称性：构建一个守恒量 $M$（$U(1)$ 生成元），该量源于高斯定律的运动学约束。
3. 证明 LSM 定理：证明生成元 $M$ 与 $T$ 对易但与 $R$ 反对易，从而证明平庸的能隙基态是不可能的。
4. 映射到费米子：执行从约束希尔伯特空间到量子比特链的非局域映射，随后通过 Jordan-Wigner 变换映射到自由费米子，以识别参数空间中的特定点。
5. 计算关联函数：利用 Toeplitz 行列式理论和 Fisher-Hartwig 猜想，确定所识别临界点处关联函数的渐近行为。

主要贡献与结果

1. 源于运动学约束的 LSM 定理：主要结果是证明在耦合到物质的 $Z_2 \times Z_2$ 规范理论中施加高斯定律会产生一个涌现的 $U(1)$ 对称性。该对称性的生成元 $M$ 满足 $[M, T] = 0$ 和 $\{M, R\} = 0$。这种代数结构迫使基态要么自发破缺某种对称性，要么无能隙，从而排除了该子空间中任何平移和反射不变哈密顿量的平庸能隙相。这确立了一种新机制，即 LSM 定理源于规范理论的运动学约束，而不仅仅是物质部分的整体对称性。

2. 无能隙点与狄拉克费米子：作者识别了参数空间中的一个特定点（$t_x=t_y=t_z=1, K_x=K_y=K_z=0$），在该点系统是无能隙的。通过非局域映射，该点的哈密顿量被证明等价于受总费米子数约束 $\exp(i\frac{2\pi}{3}(L+N)) = 1$ 的自由狄拉克费米子系统。该临界理论的中心荷被确定为 $c=1$，并通过双分纠缠熵的密度矩阵重整化群 (DMRG) 计算在数值上得到验证。

3. 关联函数渐近行为：在无能隙点，推导了局域规范不变量 $(S^\alpha_{j\tau})^2$ 的两点关联函数的渐近行为。结果为：
   $$\langle (S^\alpha_{j\tau})^2 (S^\beta_{j+r\tau})^2 \rangle - \frac{4}{9} \propto \frac{\cos(\pi r)}{r^{2/9}}$$
   这种带有振荡项的幂律衰减证实了该点的临界性质。

4. 自旋 -1/2 变体：本文简要分析了该模型的自旋 -1/2 版本，其中局域对称算符并非全部对易。结果表明，这导致了对称群的投影表示，使得每个能量本征值都具有广延简并度（至少为 $2^L$）。

意义
本文声称肯定地回答了离散规范理论耦合到物质能否支持 LSM 型定理的问题。其意义在于揭示了一种机制，即负责 LSM 定理的对称性（涌现的 $U(1)$）直接源于规范理论的运动学结构（高斯定律）。这为规范理论中的约束如何决定低能物理提供了新视角。此外，该模型作为研究自发对称破缺 (SSB) 相族内拓扑缺陷以及所识别无能隙点处相图中奇点性质的自然平台。这项工作还将约束希尔伯特空间的研究与希尔伯特空间碎片化和量子多体疤痕等现象联系起来。