Scalable suppression of heating errors in large trapped-ion quantum processors

技术摘要：大规模捕获离子量子处理器中加热误差的可扩展抑制方法

问题陈述
捕获离子系统是实现可扩展量子计算的主要平台之一，已实现了高保真度的单比特和双比特门，并拥有高达 56 个量子比特的系统。然而，运动加热（motional heating）仍然是一个关键障碍，特别是在系统规模增加时，它阻碍了容错操作。与相干误差不同，加热噪声是无相干的，源于环境扰动（波动的电场），会导致量子比特与声子之间产生不希望出现的纠缠。随着离子数量的增加，运动模式和耗散通道的数量也随之增加，从而放大了加热误差。现有的缓解策略（如多色驱动）通常局限于单模系统，或需要复杂的实验配置，缺乏适用于大型多模处理器的通用且可扩展的框架。此外，由于希尔伯特空间的指数级增长，直接模拟大型系统的加热误差在计算上是难以实现的。

方法论
作者提出了一种灵活的优化框架，用于抑制任意数量离子 Mølmer–Sørensen (MS) 门的加热误差。该方法的核心包含三个主要部分：

1. 高效代价函数构建： 该框架并非模拟完整的噪声动力学，而是利用了一个关于加热诱导保真度损失的一阶贡献的解析上界。基于马尔可夫噪声近似，保真度通过运动模式在相空间中的轨迹 ($\alpha^m_j(t)$) 来估计。代价函数 $E$ 被定义为涉及这些轨迹和加热率 ($\Gamma^\uparrow_m, \Gamma^\downarrow_m$) 的积分之和。该函数可以高效计算，避免了全保真度估计带来的指数级开销。
2. 正提取近似（Positive-Extraction Approximation）： 由于非线性（绝对值）和非凸性，直接优化代价函数是一个 NP 难问题。作者引入了“正提取近似”来简化问题：
   • 定理 1： 他们证明了加热误差代价函数中的交叉项受对角项限制，因此目标函数可以近似为正对角项之和 ($E_{p,p} + E_{q,q}$)，从而消除了绝对值。
   • 定理 2： 他们重新表述了旋转角约束，以确保相关的矩阵是半正定的。通过将拉比频率分解到一组基函数中，并应用特定的符号翻转变换处理系数，将问题转化为一个正定二次约束二次规划 (QCQP) 问题。
3. 优化与重构： 使用标准技术（例如拉格朗日乘子法）高效求解所得的 QCQP。随后，使用最优系数来重构目标离子的随时间变化的拉比频率 ($\Omega(t)$)。该框架兼容各种控制脉冲基底（如分段常数或傅里叶基底），并能同时纳入频率鲁棒性约束（解耦自旋与声子自由度，并确保对失谐波动的鲁棒性）。

关键结果
针对从小型链到 55 个量子比特的系统进行了数值模拟：

• 保真度提升： 与传统方法（满足门约束但不针对加热进行优化）以及“最小拉比（min-Rabi）”方法（旨在最小化激光功率）相比，所提框架在典型机制下实现了高达五倍的保真度损失降低。例如，在 $N=44$ 时，估计的加热误差从 $2.18 \times 10^{-3}$（传统方法）降低到了 $4.56 \times 10^{-4}$。
• 可扩展性： 该方法在离子数量增加时表现出一致的性能提升，而传统方法则会因加热通道的增加而导致误差上升。
• 失谐鲁棒性： 一个意外的发现是，优化的波形同时降低了门旋转角对失谐误差 ($\partial \Theta / \partial \mu$) 的敏感度。这是因为最小化加热代价函数（与误差矩阵的对角项相关）同时也抑制了控制失谐敏感度的非对角项。
• 波形特征： 优化的波形自然呈现出类似于交替符号段和缓慢变化包络的特征，这些特征已知可以抑制失谐相关误差和残余运动位移，尽管优化过程并未显式针对这些目标。
• 对参数失配的鲁棒性： 即使在优化中使用的加热率 ($\Gamma$) 与实际系统速率存在差异时，该方法仍然有效，这表明在实际应用中仅需粗略估计这些参数即可。

意义与主张
本文声称为实现鲁棒、大规模的捕获离子量子计算提供了一条实用且可扩展的路径。其主要意义在于提供了一个通用框架，能够：

• 克服以往单模或多色激光方法的扩展性限制。
• 通过使用高效可计算的上界，避免了全保真度估计在计算上的不可行性。
• 在无需复杂实验装置（如多个激光源）的情况下，同时解决多种误差源（加热和失谐）。
• 兼容现有的误差缓解技术，并可以利用标准的分段常数波形进行实现，具有实验可行性。

作者总结道，虽然其方法依赖于准静态噪声假设和积态初始条件，但它代表了在管理目前限制捕获离子量子处理器扩展的非相干加热噪声方面迈出的重要一步。未来的工作可能会将该框架扩展到随时间变化（有色）的噪声和混合初始态。