Exact Quantum Many-Body Scars by a generalized Matrix-Product Ansatz

本文提出了一种基于局部误差抵消的广义矩阵乘积拟设，用于构建非无挫量子多体系统的精确本征态，并通过一维和二维空间中的具体示例验证了其有效性。

要点

以下是用通俗语言和日常类比对论文《通过广义矩阵乘积 Ansatz 实现精确量子多体疤痕》的解释。

宏观图景：在混乱中寻找秩序

想象一个巨大的、混乱的舞池，里面挤满了成千上万的舞者（粒子）。在大多数量子系统中，一旦音乐响起，舞者们最终会完全混在一起，忘记他们最初的站位。这被称为“热化”或“遍历性”——一切都变成了一锅滚烫、随机的汤。

然而，物理学家发现了一些罕见的情况，其中一些舞者拒绝混合。即使音乐嘈杂且混乱，他们仍坚持按照特定、重复的模式跳舞。这些特殊而顽固的模式被称为量子多体疤痕。它们就像是秩序在混乱海洋中幸存下来的“幽灵”。

问题在于，寻找这些疤痕通常就像大海捞针。大多数寻找它们的方法仅在系统完美平衡（称为“无挫”条件）时才有效。如果系统略微不平衡或“有挫”，旧的方法就会失效。

本文介绍了一种更灵活的新工具，即使在混乱、不平衡的系统中也能找到这些疤痕。

新工具：“局部误差抵消”技巧

作者 Sascha Gehrmann 和 Fabian H.L. Essler 开发了一种新的数学配方。为了理解它，让我们使用接力赛的类比。

1. 旧方法（无挫）： 想象一场接力赛，要求每一位选手都必须完美奔跑。如果一名选手绊倒，整个团队就会输掉比赛。在物理学中，这意味着系统的每一个微小部分都必须处于完美、零误差的状态。在复杂系统中，这很难实现。
2. 新方法（广义 Ansatz）： 作者意识到，你并不需要每一个选手都完美。你只需要错误相互抵消即可。
   • 想象选手 A 绊倒并向前摔倒（产生一个“错误”）。
   • 但紧随其后的选手 B 向后摔倒，其方式完美地抵消了选手 A 的错误。
   • 如果你观察整个团队，错误已经消失，团队完美地完成了比赛，尽管个人在途中曾绊倒过。

论文将这种方法称为**“局部误差抵消 Ansatz"**。它基于一个用于研究粒子在线性运动中行为的旧思想（Derrida-Evans-Hakim-Pasquier 方法），但作者已将其升级，适用于复杂的量子自旋系统。

他们如何测试

作者不仅讨论了理论，还构建了具体的例子来证明其有效性。他们就像在不同社区建造房屋的建筑师：

• 一维链（走廊）： 他们建立了一个长自旋链模型（像一排多米诺骨牌）。
  • 示例 1： 他们在具有特定类型磁扭曲的系统中发现了一整族疤痕态（一个“简并多重态”。这就像发现了一整合唱团的歌手，即使房间嘈杂，他们都能唱出同一个完美的音符。
  • 示例 2： 他们在另一种设置中发现了一个孤立的疤痕。
• 二维网格（棋盘）： 他们转向了方形网格（像棋盘）。
  • 他们表明，即使系统具有复杂的磁场且是二维的，这种“抵消技巧”依然有效。他们找到了此前被认为过于混乱而无法精确求解的自旋 -2 和自旋 -1 模型的精确解。

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

论文强调了几个关键要点：

1. 它是精确的： 与许多提供近似答案的计算机模拟不同，该方法提供了这些特殊态的精确数学描述。
2. 它相对简单： 生成的态可以用一种紧凑的数学格式书写，称为“矩阵乘积态”（MPS）。这就像一种高效的压缩算法。描述该态不再需要一座图书馆的书籍，而只需要一个小笔记本。
3. 它是可及的： 由于这些态非常简单（低“纠缠”），作者认为它们可以在当前的量子计算机和模拟器上被观测到。你不需要未来的机器就能看到它们；今天就可以在局部可观测量的动力学中看到它们。

总结

本文提出了一种巧妙的数学“抵消技巧”。它使物理学家能够在混乱且不平衡的系统中找到精确、稳定的量子模式（疤痕）。通过让局部错误在全局范围内相互抵消，他们能够在 1D 线和 2D 网格中构建这些态，从而为在现实存在的量子硬件上研究这些罕见的量子现象打开了大门。

技术摘要

技术摘要：基于广义矩阵乘积拟设的精确量子多体疤痕

问题陈述
寻找破坏相互作用量子多体系统遍历性的机制，已识别出“量子多体疤痕”作为一类独特的非热本征态。这些态以低纠缠度和简单的闭式表达式为特征，允许在非平衡动力学中产生持续振荡。尽管存在多种构建此类态的框架（例如嵌入、群论结构、谱生成代数），但获得精确矩阵乘积态（MPS）本征态的主导方法依赖于“无挫”（frustration-free）条件。在这种标准方法中，局域哈密顿量密度 $h_{j,k}$ 在局域上湮灭该态（$h_{j,k}|\Psi\rangle = 0$）。该条件具有限制性，限制了可构建精确 MPS 本征态的哈密顿量类别。作者探讨了是否可能为非无挫的哈密顿量构建精确 MPS 本征态。

方法论：广义 DHEP 拟设
作者提出了对 Derrida-Evans-Hakim-Pasquier (DHEP) 拟设的推广，该拟设最初是为非对称简单排他过程 (ASEP) 的稳态而开发的。其方法的核心是一种“局域误差抵消”机制。

1. 一般框架：对于图 $G$ 上具有哈密顿量 $H = \sum h_{j,k}$ 的量子自旋系统，作者寻求由张量 $A$ 定义的 MPS $|\Psi\rangle$。
2. 放宽条件：他们不要求 $h_{j,k}|\Psi\rangle = 0$，而是施加一个条件，即局域哈密顿量密度对 MPS 张量的作用产生的“误差项”不为零，但可以表示为伸缩和。具体而言，对于连接节点 $k$ 和 $\ell$ 的边：
   $$h_{k,\ell} [A_k] [A_\ell] = [E^{(k,\ell)}_k] [A_\ell] + [A_k] [E^{(k,\ell)}_\ell]$$
   此处，$E$ 代表与 $A$ 结构相同的张量。
3. 全局抵消：如果连接到某个节点的所有边上的这些误差张量之和为零（$\sum_{e \in E_v} E^e_v = 0$），则由于平移不变性（或适当的边界条件），局域误差会在全局上相互抵消。因此，$H|\Psi\rangle = 0$（或常数能量），从而即使哈密顿量不是无挫的，也能得到精确本征态。
4. 代数约化：该问题简化为寻找由局域抵消条件定义的二次代数的表示。

主要结果与示例
作者通过在非无挫哈密顿量的一维和二维空间中构建精确 MPS 疤痕，展示了该方法的有效性。

• 一维模型 I（疤痕的简并多重态）：

  • 系统：自旋-$S$ 链，其哈密顿量结合了广义里德伯项（惩罚相邻激发）和 Dzyaloshinskii–Moriya (DM) 相互作用。
  • 结果：对于 $S=1/2$，作者构建了一个能量为零的精确 MPS。该态表现出有限的关联长度。
  • 简并性：数值分析揭示了一个 $N/2 + 2$ 重简并的零能多重态。作者表明，其中 $N/2 + 1$ 个态（均具有零动量）可以通过将 MPS 参数 $b$ 展开为 $1/a$ 的幂级数来生成。该展开产生了一个态塔 $|v_n\rangle$，其中 $|v_n\rangle$ 包含最多 $n$ 个翻转自旋，类似于在自旋 1/2 XYZ 链中发现的结构。
  • 更高自旋：该构建可推广至 $S \geq 1$，表明在里德伯子空间内存在大量平移不变的零能本征态。
  • 边界条件：该方法也被应用于具有特定边界磁场的开链，产生了一个具有可调能量本征值的非简并精确本征态。

• 一维模型 II（孤立疤痕）：

  • 系统：具有特定哈密顿量的自旋 -1 链，包含二次自旋项和磁场。
  • 结果：构建了一个精确的零能 MPS。与模型 I 不同，零能本征空间是非简并的。该态具有有限且非零的关联长度 $\xi = \log(3)$。

• 二维方格晶格模型：

  • 自旋 -2 模型：作者为具有磁场的方格晶格上的自旋 -2 模型构建了一个平移不变的零能 MPS。在没有磁场的情况下，该模型是无挫的；非零磁场破坏了这一性质，使该态转变为疤痕。
  • 具有 DM 相互作用的自旋 -1 XYZ 模型：为具有 DM 相互作用和磁场的自旋 -1 XYZ 模型找到了一个精确的零能 MPS。当 DM 相互作用非零时，该态不再是基态，但仍保持为精确本征态。值得注意的是，该 MPS 可分解为两个直积态，导致在无限体积极限下关联长度为零。

意义与主张
本文声称提供了一种系统算法，用于获取精确 MPS 本征态，该算法放宽了严格的无挫条件。通过允许局域误差项在全局上伸缩为零，该方法推广了 DHEP 拟设以及 Klümper 和 Zittartz 的早期工作。

作者强调，所构建的疤痕态具有低键维数，使其在理论上易于在当代量子计算机上的局域可观测量动力学中进行观测。该工作的范围较为适度，主要呈现一维和二维中的具体说明性示例，而非对所有疤痕系统进行普遍分类。作者指出，虽然他们已验证了 $S \leq 2$ 的构建，但 $S > 2$ 的证明仍是一个未决问题。他们还承认，最近有一篇预印本在注入型 MPS 的背景下研究了该拟设的更一般版本。