Fast design and scaling of multi-qubit gates in large-scale trapped-ion quantum computers

技术摘要：大规模离子阱量子计算机中多比特门的快速设计与扩展

问题陈述
俘获离子（Trapped-ion）量子计算机具有长程连接性和长相干时间，使其成为量子计算领域领先的平台。然而，将这些系统扩展到数百个离子面临着显著的概念和技术挑战。虽然离子通过其集体运动模式（声子总线）拥有全对全（all-to-all）的连通性，但为大型晶体设计高保真度、可编程的多比特纠缠门在计算上是极其困难的。

核心难点在于门设计问题：寻找一组控制驱动信号，既要同时满足 $N(N-1)/2$ 个二次约束（所有比特对之间的目标纠缠相位），又要最小化驱动功率并确保运动模式返回基态。这被表述为一个二次约束优化问题，其复杂度随离子数 $N$ 以 $N^2$ 的速度增长，使得该问题成为一个 NP-hard 问题。现有方法通常将问题限制在较小的离子子集内，或依赖于梯度下降最小化算法，而这些算法在处理大规模系统的复杂性和约束时表现不佳。

方法论：大规模快速（LSF）方法
作者引入了一种称为“大规模快速”（Large-Scale Fast, LSF）的方法论框架，旨在缓解门设计问题的 NP-hard 特性，从而实现对高达数百个离子的晶体进行鲁棒、可编程门的设计。

1. 频域表述： 门设计在频域中进行表述，将驱动场表示为围绕比特跃迁频率失谐的傅里叶分量之和。问题被简化为寻找一个向量 $R$（驱动调制的振幅），在满足线性约束（运动位移消失）的同时，最小化范数 $\|R\|$ 并满足二次约束（目标纠缠相位 $\phi_{nn'}$）。
2. 零相位解（ZPS）种子： LSF 方法依赖于生成一种被称为“零相位解”（Zero-Phase Solution, ZPS）的“种子”解。ZPS 是齐次问题的一个非平凡解，其中所有目标纠缠相位均为零（$\phi^{(0)}_s = 0$）。这些解在求解特定目标门之前会被累积起来。
3. 转换与优化： 该算法分为两个主要步骤：
   • 转换： 将一个 ZPS 乘以一个大的缩放因子 $\lambda$，并由一个微小向量 $D$ 进行扰动，以满足目标二次约束。通过在缩放后的 ZPS 周围对约束进行线性化，作者推导出一个线性系统来求解 $D$，从而将 ZPS 转换为满足目标相位的近似解 $R_{conv}$。
   • 范数缩减： 通过一个迭代过程在严格遵守约束的前提下最小化解向量的范数。这涉及在“范数缩减”步骤（沿解流形移动以降低功率）和“误差缩减”步骤（修正目标相位偏差）之间交替进行。步长使用解析方法（卡尔达诺法和费拉里法）进行计算，以确保误差保持在指定的容差范围内（通常为 $10^{-4}$）。
4. 聚合： 该方法聚合多个 ZPS 以确保搜索空间的多样性，从而允许算法为各种纠缠映射找到高效的解。

核心贡献与结果

• 多项式时间扩展性： LSF 方法将 NP-hard 设计问题转化为生成 ZPS（可以通过针对特定对称性进行高效处理）以及随后进行高效多项式时间优化的任务。基准测试表明，对于 $N > 20$ 个离子的系统，LSF 实现的求解时间比标准的信赖域约束和共轭梯度优化器快约一个数量级。
• 驱动功率估计： 作者推导出了驱动门所需的总拉比频率（$\Omega_{nuc}$）的启发式估计量。该估计量取决于目标纠缠矩阵的核范数 $\|\phi\|_{nuc}$，并随离子数 $N$ 线性扩展。值得注意的是，仿真结果显示，所需的驱动功率在很大程度上独立于特定的模式结构或频率间隔，在通过平均模式密度时间尺度 $T_\nu$ 进行归一化后，它们会塌缩到一条通用曲线上。
• 最小门时间（$T_{min}$）： 研究确定了门持续时间的根本下界。在临界时间 $T_{min} \approx 2.9 \cdot T_\nu$（其中 $T_\nu$ 与平均模式间距的倒数成正比）之下，无法找到高保真度的解。至关重要的是，$T_{min}$ 随离子数 $N$ 线性扩展。这意味着虽然同时进行的纠缠操作数量随 $N^2$ 扩展，但门持续时间仅随 $N$ 扩展，这提供了相对于顺序执行门实现的扩展优势。
• 误差扩展分析： 论文量化了三种主要误差源对门保真度的影响：
  • 运动模式频率漂移： 误差随频率漂移和耦合数量（$N^2$）呈二次方关系扩展。
  • 驱动幅度波动： 误差随噪声方差和耦合数量扩展。
  • 运动加热： 加热引起的误差扩展取决于噪声的空间相关性。对于不相关噪声，保真度随 $N$ 的平方衰减；对于强相关噪声，则随 $N$ 线性衰减。
    LSF 框架允许加入线性约束，以增强门对这些误差的鲁棒性，从而显著降低对漂移和加热的敏感性。
• 表面码示例： 该方法在 49 个离子的晶体上得到了演示，用于实现表面码稳定器门（在单脉冲中纠缠 33 个离子）。结果显示了高效的功率分布，即为“节点”离子分配较高的驱动振幅，为“边缘”离子分配较低的振幅，并有效地抑制了不相连对之间的不必要交叉纠缠。

意义与主张
本文声称，通过克服设计多比特门这一概念障碍，为将俘获离子量子计算机扩展到数百个比特指明了路径。通过提供一种快速、鲁棒的算法（LSF），作者使得对涉及数十个离子和复杂多比特门的电路进行离线编译成为可能，而此前由于 NP-hard 优化的本质，这被认为是一项极其艰巨的任务。

这项工作确立了只要门时间超过线性扩展阈值 $T_{min}$，在高尺寸晶体中实现高保真度多比特门在物理上是可行的。此外，推导出的驱动功率、门时间与误差源之间的关系，为实验人员提供了实用的设计指南和容差标准。作者指出，虽然其方法在 Lamb-Dicke 近似范围内处理了主要的误差机制，但对于高振幅解中与比特载流子的相互作用以及 Magnus 展开的高阶项，仍需要进一步验证。该框架被呈现为实现利用长程连接性进行量子纠错和优化应用的俘获离子架构潜力的基础工具。