Digital programming of spin correlations in a fermionic lattice quantum simulator

本文提出了一种用于费米子晶格量子模拟器的混合模拟-数字方法，该方法将绝热制备与数字碰撞门相结合，用以构建并测量具有特定长程自旋相关性的目标态，例如在海森堡链中发现的态。

要点

想象一下，你正试图用微小的、肉眼不可见的磁性积木搭建一座复杂而精巧的雕塑。这些积木就是原子，它们如何相互粘附（或相互排斥）会创造出被称为“自旋相关性”（spin correlations）的图案。长期以来，科学家们一直能够让这些原子自然地沉淀成某种天然图案，就像风吹过沙丘形成纹路一样。然而，他们很难从零开始设计出特定的、复杂的图案，尤其是那些需要原子之间进行长距离“对话”的图案。

这篇论文描述了一种全新的“混合”方法，它结合了两种不同的操作原子的方式，来构建这些特定的复杂图案。你可以把它看作是一个两步走的配方：模拟制备（准备原材料）和数字编程（雕刻最终形状）。

第一步：模拟制备（“生面团”）

首先，科学家们取出一团原子（具体是钾-40），并将其冷却到表现得像一个统一的量子流体。他们将这些原子捕捉在激光形成的网格中，这就像是一系列一维的小管子。

• 目标： 他们希望创造出一对对完美链接在一起的原子，就像手拉手的舞伴。在物理学中，这些被称为“单态”（singlets）。
• 过程： 他们利用磁性技巧来促使原子配对。然而，这个过程并不完美；有些地方有两个配对，有些地方有一个，有些地方则一个也没有。
• 清理： 为了修复这个问题，他们使用了一个“分子屏蔽器”。他们将完美的配对转化为对特定颜色的光“隐形”的分子。然后，他们用这种光照射整个系统。那些“孤独”的原子（没能配对成功的原子）会被光击中并被踢出系统，而完美的配对则会安然无恙。
• 结果： 他们留下了一行干净的“链式单态”。想象一排手拉手的伴侣：(伴侣 A - 伴侣 B) - (伴侣 C - 伴侣 D)。这就是他们的初始资源。

第二步：数字编程（“雕刻”）

现在，他们已经拥有了这行整齐的伴侣，他们想要重新排列这些伴侣，以创造出一种自然界不会自然形成的特定复杂图案。这就是“数字”部分发挥作用的地方。

• 移动步道： 科学家们使用了一种叫做“拓扑泵浦”（topological pumping）的技术。想象一下机场里的自动扶梯，它可以让原子在不破坏手部连接的情况下向左或向右滑动。这使得他们可以在不破坏量子连接的情况下，将原子移动到新位置。
• 碰撞门： 一旦原子到达正确的位置，他们会让它们进行受控的“碰撞”。把这想象成一次精心编排的碰撞。当两个原子相撞时，它们的内部磁自旋会发生精确的交换或改变。
• 编程： 通过移动原子并让它们按照特定的序列进行碰撞，他们可以对系统进行“编程”。他们可以把初始的模式 (A-B) - (C-D) 进行重新排列，变成另一种连接方式不同的模式，比如 (A-C) - (B-D)，甚至可以创造出长程连接，比如让第一个原子与最后一个原子相连，跳过中间的原子。

验证：检查工作成果

他们如何知道自己成功了？他们不能直接用显微镜观察原子。相反，他们使用了一个聪明的技巧：

1. 重新排列： 他们将原子移回特定的位置。
2. 测试： 他们施加一个磁场，使原子在“单态”（手拉手）和“三重态”（站开）之间发生振荡（摆动）。
3. 测量： 通过观察它们摆动的程度，他们可以计算出在测试之前，原子之间的连接强度究竟有多强。

他们通过创建一个模仿“海森堡链”（Heisenberg chain，一种著名的物理模型）的模式进行了测试。他们展示了如何将初始的“链式”状态通过数字变换，转变为一个与完美理论目标**高度一致（超过 99%）**的状态。

为什么这很重要

该论文声称这是一个突破，因为：

• 控制力： 它超越了仅仅等待原子自然沉淀的阶段。它允许科学家们确定性地（可靠地）创造出特定的量子态。
• 可扩展性： 他们证明了这种方法在四个原子的小规模链条上是有效的，但该方法的设计初衷是用于扩展到更大的系统。
• 混合力量： 它结合了两者的优势：模拟制备的稳定性（准备好原材料）和数字门的精确性（雕刻细节）。

简而言之，研究人员制造了一台机器，它可以将一堆杂乱的量子粒子进行清理，然后使用数字“遥控器”将它们排列成一种以前不存在的、高度复杂的特定图案。这为研究那些目前连最强大的超级计算机都无法模拟的材料和现象打开了大门。

技术摘要

技术摘要：费米子晶格量子模拟器中自旋相关性的数字编程

问题陈述
确定性地制备强关联量子态仍然是量子模拟中的一个核心挑战。虽然模拟方法允许通过从热系综或无关联乘积态进行哈密顿量演化来产生相关性，但它们受限于有限温度和能隙闭合问题。相反，全数字方法提供了可编程控制，但目前的平台在费米子系统的连通性和相干性方面仍显不足。因此，确定性且可编程地制备强关联费米子态，特别是具有特定长程自旋相关性的状态，仍然是一个开放性挑战。

方法论
作者提出了一种混合模拟-数字方法，用于工程化具有特定自旋相关模式的目标态。该方案分为三个截然不同的阶段：

1. 模拟态制备（资源态）：

   • 实验利用加载到三维动力学光学超晶格中的两分量简并费米气体（$^{40}$K），形成独立的一维管束系综。
   • 在加载过程中施加吸引相互作用以形成“双占据态”（doublons，即两个原子占据同一位点且总自旋 $S=0$）。
   • 纯化步骤通过将双占据态转化为费希巴赫分子（Feshbach molecules，对共振光透明）并选择性地移除单占据位点（singlons）来去除单占据态。
   • 通过增加短波长晶格的势垒，将双占据态绝热分裂为原子单态（atomic singlets, $(|\uparrow\downarrow\rangle - |\downarrow\uparrow\rangle)/\sqrt{2}$）。这产生了一个“链式单态”（chained singlets, $|CS\rangle$）资源态，其中约 82.2% 的原子处于单态对中，超过 12% 形成了四粒子链。

2. 数字编程（门操作）：

   • 系统结合了空间重构和碰撞门。
   • 空间重构： 使用拓扑泵浦（Thouless pumping）进行双向、与状态无关的原子输运。这使得原子可以在不破坏现有纠缠的情况下移动到不同的晶格位点。
   • 碰撞门： 通过晶格内的原子碰撞实现可调控的部分交换门（partial swap gates）。这些门由参数化为二聚体隧穿（$t$）、能量偏移（$\Delta$）和在位相互作用（$U$）的随时间变化的费米-哈伯德（Fermi-Hubbard）哈密顿量控制。
   • 门操作由酉算符 $\hat{U}(\alpha)$ 描述，其中门角度 $\alpha$ 可通过费希巴赫共振中的 $U$ 进行连续调节。系统运行在直接交换机制（direct-exchange regime, $|U| \lesssim t$）下，相比于超交换机制（superexchange regime），其动力学相位对 $U$ 表现出一阶依赖性，从而对隧穿波动具有鲁棒性。
   • 通过将输运序列与这些可调控的门组合，作者编程了一个确定性的数字电路，将局部相关性转化为复杂的非局部纠缠结构。

3. 测量：

   • 使用读取电路测量自旋对相关器 $\langle C_{ij} \rangle = \langle S^z_i S^z_j \rangle 4/\hbar^2$。
   • 通过拓扑泵浦重新排列原子，将目标对带到相邻位点。
   • 采用对称选择检测程序：处于自旋单态配置的原子共占据同一个能级，而三重态配置则占据不同的能带。条件自旋翻转操作专门作用于单态子空间，从而允许通过相干单态-三重态振荡（STOs）测量单态分量。

关键结果

• 非局部相关性传播： 作者展示了传播相关性的能力。从链式单态状态（$|CS\rangle = |\text{singlet}_{12}\rangle \otimes |\text{singlet}_{34}\rangle$）开始，通过对内部原子（2 和 3）施加交换门，创建了一个传播态（$|P\rangle = |\text{singlet}_{13}\rangle \otimes |\text{singlet}_{24}\rangle$）。测量证实了单态信号从最近邻（$d=1$）向次最近邻（$d=2$）相关性的转移。
• 目标态制备： 该混合架构被用于制备近似四费米子海森堡链基态的目标态（$|T\rangle$）。通过改变四门量子电路中的门指数 $\alpha$，实验相关器与没有任何自由参数的理论预测相匹配。
• 基态重叠度： 对于四粒子系统，初始链式单态态与海森堡基态的重叠度约为 90%。通过特定的门序列（$\alpha = 1/8$），数字演化将此重叠度提高到了 $>99\%$。
• 可扩展性与鲁棒性： 对更大系统（更长的海森堡链）的理论分析表明，相比于仅使用资源态，模拟-数字方法显著提高了基态重叠度。该方案对于高达 $10^{-2}$ 的门误差保持鲁棒。

意义与主张
本文声称展示了一个用于探索具有非局部相关性的强关联多体态的通用框架。通过将体哈密顿量演化（模拟）与基于门的数字精细化分离，该方法能够制备超出底层哈密顿量基态或本征态的状态。

作者指出，这种方法为以下领域铺平了道路：

• 有针对性地制备强关联物质态。
• 测量高阶相关性和非局部序参数，包括拓扑序和超导配对相关性。
• 解决费米子量子模拟中的连通性和可扩展性挑战，提供了一条通往专用量子模拟与通用费米子量子计算之间的路径。

这项工作建立了一种确定性配置多体态的方法，利用混合模拟-数字协议将初始的局部相关性转化为复杂的非局部纠缠结构。