Systematic construction of quantum many-body scars in frustrated Rydberg arrays

本文引入了一个图论框架，该系统性地识别了在任意晶格上的受挫里德堡原子阵列中构建量子多体疤痕的两种不同机制，证明了它们在六角晶格上的存在性，并确立了疤痕作为在二分系统之外编码受保护信息的通用特征。

要点

想象一个拥挤的舞池，每个人都试图移动，但有一条严格的规则：任何两个相邻的人不能同时跳舞。 如果你试图跳起来（变得兴奋），你的邻居必须保持坐着。这就是“里德堡原子阵列”的世界，一种量子计算机模拟器。

通常，当你在这类舞池上开始跳舞时，混乱会瞬间蔓延。系统变得“ scrambled（混乱）”，原始模式永远丢失。这被称为热化——一切都会变成一团混乱的随机运动热汤。

然而，科学家们发现了一种罕见的例外，称为量子多体疤痕。在这些特殊情况下，系统不会变成热汤。相反，它会记住起始动作，并在一个完美、重复的循环中持续跳舞，就像唱片在同一道沟槽上跳针一样。

到目前为止，这种“完美循环”仅在简单的、棋盘格风格的舞池（称为二分晶格）上被观察到。一个重大问题随之而来：在更复杂、"frustrated（受挫）”的舞池上会发生什么？在这些舞池中，规则使得每个人都无法同时满意？

本文指出：疤痕效应仍然发生，但以两种截然不同的方式。 作者创建了一个“制图”工具包（使用图论），用于在任何形状的舞池上找到这些特殊循环。

以下是他们发现的两种让舞蹈持续进行的方式：

1. “组队”策略（I 型疤痕）

问题： 在一个棘手的舞池（如六边形或三角形）上，“邻居不能同时跳舞”的规则造成了死锁。对系统来说，形成循环过于受挫。
解决方案： 作者意识到，你可以将原子分组为小团队（就像手拉手围成一个紧密的圆圈）。

• 类比： 想象舞池由许多由三人组成的紧密小圆圈构成。规则规定，圆圈中同一时间只能有一个人站起来。
• 工作原理： 系统不再将每个原子视为个体，而是将每个圆圈视为一个单一单元。尽管舞池很混乱，但这些“团队单元”仍然可以形成完美的棋盘格图案。
• 结果： 系统找到了一种方法，再次“假装”舞池是简单的。它创造了一个特殊的起始状态，让这些团队完美协调，从而使整个系统能够来回振荡而不会卡住。
• 额外收获： 在六边形舞池上，他们发现了指数级数量的这些特殊起始模式。这意味着你有可能在这些不会被混乱抹去的循环中存储大量信息（比特）。

2. “冻结与舞蹈”策略（II 型疤痕）

问题： 有些舞池过于受挫，以至于“组队”策略行不通。规则太严格了。
解决方案： 系统不再试图让整个舞池跳舞，而是冻结其中很大一部分，让其余部分自由舞蹈。

• 类比： 想象一个舞池，中间部分被沉重的铁链锁死（“冻结”部分）。中间的人完全无法移动。因为他们被冻结了，他们充当了缓冲。他们阻止了左侧的舞者与右侧的舞者发生碰撞。
• 工作原理： “冻结”的中间部分（子晶格 C）将系统固定到位。这种隔离使得两个外部部分（子晶格 A 和 B）能够像钟摆一样来回摆动，完全不受中间混乱的影响。
• 结果： 这在高度受挫的形状（如三维金字塔结构）上起作用，而“组队”策略在这些形状上失败了。通常阻碍舞蹈的受挫感实际上通过锁定中间部分而起到了帮助作用，为振荡创造了一个安全区。

为什么这很重要

本文证明，这些“完美循环”不仅仅是简单形状的偶然现象。它们是这些量子系统的通用特征。

• 工具包： 作者并非凭空猜测；他们构建了一个基于图论的数学“搜索引擎”，可以扫描任何晶格形状并告诉你：“这是让该系统循环的完美起始状态。”
• 实验： 他们表明，在六边形舞池上，可以创建庞大的此类循环家族。这表明量子模拟器（利用原子模拟物理的机器）可以被编程以找到这些状态，并利用它们使信息免受热化的影响。

简而言之： 本文表明，即使在最混乱、规则繁多的量子环境中，你也可以通过设计特定的起始条件，使系统“记住”其舞步。有时你通过将原子分组为团队（I 型）来实现这一点，有时则通过冻结系统的一部分，让其余部分自由摆动（II 型）来实现。

技术摘要

技术摘要：阻挫里德堡阵列中量子多体疤痕的系统构建

问题陈述
量子多体疤痕（QMBSs）代表了一种在混沌相互作用系统中避免热化的机制，其特征是在一个特殊子空间内存在少量非热本征态。尽管量子多体疤痕已在二维（1D）里德堡原子阵列以及各种二维（2D）二分晶格（如正方形、蜂窝状）中被广泛观测和理解，但其在非二分、阻挫晶格中的存在性仍是一个未解之谜。此前的实验和理论工作未能识别出三角形或 Kagome 等非二分几何结构中的疤痕特征。核心挑战在于缺乏一种对维度不敏感的方法来在这些复杂几何结构中寻找合适的疤痕初始态，因为现有工具往往依赖于矩阵乘积态、需要已知疤痕态作为输入，或仅限于福克态。

方法论
作者引入了一种图论框架，以系统地在任意晶格上识别疤痕初始态。他们将里德堡原子阵列建模为图 $G(V, E)$，其中顶点代表原子，边代表阻塞相互作用。其方法的核心在于将顶点集 $V$ 划分为三个不相交的子集：$A$、$B$ 和 $C$。

1. 代数构建：该框架利用定义在这些子集上的升算符和降算符（$J_+$、$J_-$）构建一个近似的 $su(2)$代数。哈密顿量与$J_x$成正比，而$J_z$和$J_y$定义了疤痕子空间的基底。如果该代数闭合（或近似闭合），则$J(\theta) = \cos(\theta)J_z - \sin(\theta)J_y$ 的基态将表现出相干振荡（复苏），而非热化。
2. 划分规则：寻找疤痕的任务简化为寻找满足特定几何和连通性条件的划分 $\{A, B, C\}$。作者提出了两种不同的机制：
   • I 型疤痕：专为具有轻度阻挫的晶格设计。该方法通过将顶点分组为团（即子集 $s_j$，其中所有原子相互阻塞），将物理晶格映射到有效二分晶格。由这些团构成的商图必须是二分的。这推广了标准的奈尔态，使其包含局部纠缠态（例如团内的 W 态），以克服阻挫。
   • II 型疤痕：专为具有强阻挫的晶格设计。该机制利用一个非空的“死”子晶格 $C$ 来固定系统的一部分。条件要求 $A$ 和 $B$ 仅与 $C$ 中的邻居相连，而 $C$ 必须具有强连通性，并且被 $A$ 和 $B$ 充分“阻塞”以抑制其自身的动力学。这使得 $A$ 和 $B$ 能够几乎自由地振荡，实际上通过 $C$ 的阻挫诱导固定而实现解耦。

作者采用 Knuth 舞蹈链（DLX）算法，在特定晶格几何中系统搜索有效的团覆盖（针对 I 型）和最大独立集（针对 II 型）。

主要贡献与结果

• 推广至非二分晶格：该框架成功识别了先前方法未能发现的非二分几何结构中的疤痕轨迹。
• Shastry-Sutherland 和六方晶格中的 I 型：
  • 在 Shastry-Sutherland 晶格中，作者识别出一种映射到有效正方形晶格的二聚体覆盖，尽管纠缠熵中没有明显的离群值，但返回保真度显示出强烈的复苏。
  • 在六方晶格中，该方法揭示了一个疤痕初始态的指数族（对于具有 $N_y$ 行的环面，数量为 $2^{N_y-1}$）。这些态编码了免受热化保护的信息，保留了 $N_y-1$ 比特的信息。
• 准二维晶格中的 II 型：
  • 作者证明，虽然纯三角形和 Kagome 晶格抵抗 I 型和 II 型疤痕，但它们的准二维对应物（由四面体组成，如麻叶纹和烧绿石晶格）支持 II 型疤痕。
  • 对准二维麻叶纹晶格的数值模拟表明，$C$ 子晶格的动力学受到高度抑制，允许 $A$ 和 $B$ 以高保真度振荡。
• 数值验证：本文提供了广泛的数值模拟（返回保真度、纠缠熵和子晶格占据数），证实了这些疤痕在各类晶格的 PXP 模型中的存在。

意义与主张
本文确立了量子多体疤痕是超越一维的里德堡系统的通用特征，并扩展到了阻挫、非二分晶格。作者声称，他们的图论框架提供了一条实验上可及的途径，用于系统探测非热动力学。

关于疤痕性质的关键主张包括：

1. 双重机制：阻挫系统中的疤痕通过两种不同的机制产生：I 型利用局部纠缠克服轻度阻挫，而 II 型利用强阻挫固定一个子晶格并稳定剩余部分的振荡。
2. 信息保护：在六方晶格中发现的疤痕指数族暗示了一种编码信息的机制，该机制对热化具有鲁棒性。
3. 实验相关性：已识别的初始态是短程纠缠（SRE）的，可以通过从乘积态进行退火或绝热扫描来制备，使其适用于当前的里德堡原子量子模拟器。

作者对其发现的普适性保持谦逊，指出在纯三角形或 Kagome 晶格中未找到疤痕，这表明需要处于阻挫的“恰到好处”（Goldilocks）区域。他们还承认，这些疤痕在偏离理想 PXP 极限时的鲁棒性，以及 I 型和 II 型疤痕共存的可能性，仍然是未解之谜。这项工作邀请人们进一步研究最大独立集与其他约束模型中量子多体疤痕之间的联系。