Numerical evidence for the non-Abelian eigenstate thermalization hypothesis

本文通过对一维海森堡链的模拟，为非阿贝尔本征态热化假说（ETH）提供了数值证据，并提供了其自洽性的解析证明，从而为理解具有非对易守恒量的量子系统中的热化过程建立了框架。

要点

想象一下，你拥有一台由 18 个微小开关（量子比特）组成的巨大且复杂的机器，这些开关全部相互连接。在量子物理的世界里，这些开关不仅仅是简单的开启或关闭；它们在不同的方向上旋转，而且一个开关的方向会影响到它的邻居。

长期以来，物理学家一直认为，如果让这样一台机器运行很长时间，它最终会“稳定”下来，进入一种可预测的平均状态，就像一杯热咖啡冷却到室温一样。这个想法被称为本征态热化假设（Eigenstate Thermalization Hypothesis, ETH）。它表明，无论你如何开始操作这台机器，其局部部分最终都会表现得像是处于一种标准的“热力学平衡”（热/冷）状态。

问题所在：“非对易”谜题
然而，这里有一个陷阱：在这台特定的机器中，开关遵循一种特殊的规则，称为非阿贝尔对称性（non-Abelian symmetry）。你可以把这想象成一场关于方向的游戏：

• 如果你先向北转，再向东转，和你先向东转、再向北转，最终到达的位置是不一样的。
• 用量子术语来说，这些“方向”（电荷）并不和谐；它们不对易。它们会相互干扰。

由于这种干扰，旧的规则（标准的 ETH）失效了。这台机器不应该以通常的方式稳定下来。但是，一个新的理论——非阿贝尔 ETH 被提出了，用以解释这类特定机器究竟是如何最终实现稳定的，只是遵循了一套不同的规则。

这篇论文做了什么
论文的作者扮演了测试新理论的侦探角色。他们构建了一个这个 18 开关机器的计算机模拟，以观察“非阿贝尔 ETH”理论是否正确。

以下是他们利用简单的类比所发现的结果：

1. “平滑”模式： 他们观察了机器内部的数学逻辑。理论预测，如果将机器的行为随能量变化的曲线绘制出来，这些点应该形成一条平滑、流动的曲线（就像一座缓丘），而不是杂乱、随机的碎片。结果： 数据形成了美丽的、平滑的带状区域，正如理论所预言的那样。
2. “随机噪声”： 理论还指出，如果你仔细观察这些点之间的微小差异，它们看起来应该像旧电视机上的随机静电（高斯分布）。结果： 当他们放大观察时，这些“噪声”看起来完全就是随机的静电。
3. “体积”检查： 理论预测了噪声的“响度”与机器可以处于的不同状态数量（状态密度）之间存在一种特定的关系。这就像是在说：“如果房间变大了，回声应该以一种非常特定的方式变小。”结果： 回声减小的速率完全符合理论所预言的速率。
4. “比例”测试： 他们比较了机器内部主要组群内的噪声与组群之间的噪声。理论认为这个比例应该恰好是 2。结果： 他们的测量结果为 1.99，这实际上就是 2。

“自洽性”证明
除了计算机模拟之外，作者还进行了一个数学证明。他们证明了这个新理论并不会产生矛盾。他们必须稍微调整一下“熵”（衡量无序度的度量）的定义——减去一个与机器自旋相关的微小量——才能使数学逻辑完美成立。一旦完成了这个微调，该理论在逻辑上就变得严丝合缝，没有任何漏洞。

底线结论
这篇论文提供了第一个强有力的数值证据，证明了非阿贝尔 ETH 是真实的。它证实了即使当量子粒子拥有会导致它们无法正常行为的“冲突”规则（非对易电荷）时，它们仍然能找到一种方式实现热化，只不过它们遵循的是一套比我们之前认为的更复杂、更精细的指令。

作者并未声称这会导致新的医疗手段或即时技术应用。相反，他们成功地证明了这一关于量子系统如何趋于稳定的特定理论框架在数学上是严谨的，并且与他们的计算机模型相吻合。

技术摘要

技术摘要：非阿贝尔本征态热化假设的数值证据

问题陈述
本征态热化假设（ETH）解释了通用的、孤立的量子多体系统如何进行内部热化，该假设认为局部算符的时间平均期望值等于其热期望值。然而，Murthy 等人的近期工作表明，在存在非阿贝尔对称性的情况下，标准的 ETH 会失效。在这些系统中，守恒量（电荷）彼此之间不交换，导致简并性以及所有电荷无法共享同一本征基底的问题。这与标准的 ETH 结构以及规定了连续对称性系统中跃迁频率和矩阵元结构的 Wigner–Eckart 定理相冲突。虽然 Murthy 等人提出了“非阿贝尔 ETH”（NA-ETH）来解决这些冲突，且 Noh 在一个二维模型中提供了初步的数值支持，但仍缺乏在一个具有极少额外对称性的系统中的全面数值验证。

方法论
作者对一个具有 $N=18$ 个量子比特、采用开边界条件的一维（1D）链进行了建模。系统的演化遵循一个非不可积的海森堡哈密顿量，该哈密顿量包含最近邻和次近邻相互作用。哈密顿量的设计使其表现出 $SU(2)$对称性（守恒总自旋分量$S^x, S^y, S^z$），同时显式地打破了平移和空间反转对称性，以确保其不可积性。

本研究采用精确对角化方法来计算哈密顿量 $H$、总自旋平方算符 $\vec{S}^2$ 以及 $z$ 分量自旋 $S^z$ 的共同本征基底 $\{|\alpha, m\rangle\}$。这里，$\alpha$ 标记能量 $E_\alpha$ 和总自旋量子数 $s_\alpha$，而 $m$ 是磁量子数。局部算符由球面张量算符 $T^{(k)}_q$ 表示。作者分析了约化矩阵元 $\langle \alpha || T^{(k)} || \alpha' \rangle$，由于 Wigner–Eckart 定理，这些矩阵元与磁量子数无关。

分析重点在于验证 Murthy 等人提出的假设，即约化矩阵元具有如下形式：
$$\langle \alpha || T^{(k)} || \alpha' \rangle = T^{(k)}(E, S) \delta_{\alpha\alpha'} + e^{-S_{th}(E, S)/2} f^{(T)}_\nu(E, S, \omega) R^{(T)}_{\alpha\alpha'}$$
其中 $E$ 和 $S$ 是平均能量和自旋，$\omega$ 和 $\nu$ 是它们的差值，$R^{(T)}$ 代表不规则波动，$S_{th}$ 是一个修正的热力学熵，定义为标准熵减去 $\ln(2S+1)$ 以解释磁简并性。

主要贡献与结果
本文通过七个具体的预测以及一个解析自洽性证明，为 NA-ETH 提供了广泛的数值证据：

1. 解析自洽性：作者证明，只有当 $S_{th}$ 的定义排除磁简并因子 $\ln(2S+1)$ 时，NA-ETH 才是自洽的（在 Srednicki 意义上）。这种定义确保了直接从假设导出的矩阵元标度与通过算符组合（使用 Clebsch–Gordan 系数）间接导出的标度相匹配。

2. 不可积性验证：在 $\vec{S}^2$ 和 $S^z$ 的联合本征空间内，能量间隙统计遵循高斯正交系综（GOE）分布，证实了该系统是非可积的，适合进行 ETH 测试。

3. 块对角平滑性：块对角约化矩阵元 $\langle \alpha || T^{(1)} || \alpha \rangle$ 在热力学极限下对能量密度（$E/N$）和自旋密度（$s_\alpha/N$）表现出平滑的依赖关系，这与假设中的平滑函数 $T^{(k)}(E, S)$ 相一致。

4. 高斯波动：在减去平滑均值后，块对角和非块对角约化矩阵元的波动均遵循高斯分布，支持了随机矩阵项 $R^{(T)}_{\alpha\alpha'}$。

5. 非块对角结构：非块对角元素同样表现出高斯波动，并依赖于一个随能量差 $|\omega|$ 快速衰减的平滑函数 $f^{(T)}_\nu(E, S, \omega)$。

6. 方差比：块对角元素的方差与非块对角元素方差的比值平均为 $2$，这是由随机矩阵理论得出的预测。

7. 方差标度：块对角和非块对角元素的方差均随态密度（DOS）呈代数衰减。在对数-对数图中观察到的斜率（分别为 $\approx -0.83$ 和 $\approx -0.95$）接近预测的斜率 $-1$，偏差归因于有限尺寸效应。

8. $q$-独立性：函数 $f^{(T)}_\nu$ 被证明与磁量子数 $q$ 无关，这与 Wigner–Eckart 定理一致。

意义
作者指出，这项工作开启了对非阿贝尔 ETH 的观察与应用。它提供了首次详尽的数值支持，其研究范围超越了以往的二维研究，扩展到了具有极少额外对称性的 一维系统。通过验证 NA-ETH，这项工作弥合了量子热力学（特别是关于非交换电荷的研究）与多体物理之间的鸿沟。作者指出，这些结果为未来研究非阿贝尔对称性如何改变热化、量子存储器中的信息保留以及涨落-耗散关系提供了可能，尽管他们并未提出超出这些理论途径之外的具体新实验或应用。