Digital-Analog Counterdiabatic Quantum Optimization with Trapped Ions

技术摘要：基于陷阱离子技术的数字-模拟反绝热量子优化

问题陈述
本文探讨了在当前的含噪声中等规模量子（NISQ）设备，特别是陷阱离子处理器上，解决二次无约束二元优化（QUB）问题的挑战。虽然数字化反绝热量子计算（DCQC）相比传统的绝热方法在多项式缩放方面具有优势，但纯数字化实现需要极深的电路深度。这种深度超过了当前硬件的相干时间，限制了可求解问题的规模。作者指出，需要一种混合方法，利用陷ell陷阱离子的全连接特性和多比特能力来降低电路深度，同时又不牺牲优化任务所需的灵活性。

方法论
作者提出了一种专为陷阱离子架构定制的**数字-模拟反绝热量子优化（DACQO）**算法。其核心方法包括：

1. 哈密顿量公式化： 目标 QUBO 问题被编码在哈密顿量 $H_f$ 的基态中。为了加速向该基态的演化，算法采用了源自绝热规范势（AGP）嵌套对易子展开的计数反绝热（CD）驱动项。AGP 的一阶近似引入了涉及泡利算符（$\sigma_x, \sigma_y, \sigma_z$）的局部和双局部项。
2. 模拟模块（GMS 门）： 算法并非将所有相互作用都分解为单比特和双比特门，而是利用全局 Mølmer-Sørensen (GMS) 门作为模拟模块。这些门可以通过均匀场在离子子集上生成同步的多体相互作用（2-local 和有效的 n-local 项）。特定的 GMS 门定义为 $U_{MS}^k(\theta, \phi) = \exp[-i\frac{\theta}{4}(\cos\phi S_x + \sin\phi S_y)^2]$。
3. 混合编码： 受 CD 哈密顿量控制的连续时间演化通过 Trotter 化方案进行数字化。其中的“模拟”层由直接实现多比特相互作用项的 GMS 门组成。这些层与“数字”层交错使用，数字层包含用于校正相位、消除寄生项（例如不希望出现的 $\sigma_y\sigma_y$ 项）以及引入不均匀性（变化的耦合强度 $J_{ij}$）的单比特旋转。
4. 算法结构：
   • 齐次情况： 对于均匀耦合，算法使用 4-比特 GMS 模块使相邻离子产生纠缠，随后使用共轭门移除寄生项并进行单比特旋转。
   • 非齐次情况： 对于非均匀耦合，算法引入局部旋转来调制相互作用强度。这需要用 $k(k-1)/2$ 个模块配合局部旋转来系统地替换模拟模块，虽然增加了电路深度，但保持了混合方法的优势。

核心贡献

• 硬件特定协议： 本文引入了一种专门针对陷阱离子处理器的 DAQC 协议，利用其原生的 GMS 门能力来高效实现高阶 CD 项。
• 电路深度缩减： 通过利用模拟模块进行多比特纠缠，作者证明了与纯数字化方法相比，该算法显著降低了电路深度。这使得算法能够在当前相干时间限制内，瞄准更大规模的问题实例（需要更多量子比特）。
• 保真度阈值分析： 研究计算了模拟模块达到超越纯数字化模拟性能所需的最小门保真度。研究发现，对于高达 20 个量子比特的系统，98%–99% 范围内的模拟模块保真度足以超越数字性能，而要达到最低准确度基准则需要 99%–99.5% 的保真度。据报告，这些阈值处于现有先进硬件的能力范围内。
• 可扩展性预测： 作者预测，借助现有技术，DACQO 方法可以在相干时间内解决包含多达 55 个量子比特 的优化问题，而纯数字化方法则需要大幅延长相干时间（例如，对于 100 个量子比特，从 ~1.8s 增加到 ~2.8s）。

结果

• 成功概率： 在 4-比特齐次 Ising 模型上的模拟表明，当模拟模块的保真度超过约 94% 时，DACQO 算法的表现优于纯数字化模拟。
• 可扩展性： 对 16 节点图上的最大独立集（MIS）问题的分析表明，混合方法比数字模拟将运行时间缩短了约 1.6 倍至 2 倍。
  • 对于无权重和混合权重图，进一步增大模拟模块的尺寸会进一步减少运行时间。
  • 对于完全非均匀（非齐次）图，通过使用较小的（2-比特）模拟模块可以实现最佳的缩减效果，因为较大的模块由于引入不均匀性的开销会带来深度惩罚。
• 运行时效率： 对于 100 个量子比特的问题，DACQO 方法仅需约 1.8 秒 的相干时间，相比于纯数字化方法所需的 ~2.8 秒，实现了 55% 的缩减。

意义与主张
本文声称 DACQO 范式为当前 NISQ 硬件上的优化问题提供了实现量子优势的可行路径。通过将算法与陷阱离子处理器的特定能力（特别是 GMS 门）进行协同设计，该方法能够解决因退相干而原本无法触及的更大规模问题实例（≥20 个量子比特）。

作者强调，这种方法放宽了对工程实现极高保真度 2-比特门的严格要求，表明专注于具有“合理”保真度（98%–99.5%）的模拟门并辅以数字门，是更具实际意义的扩展路径。此外，论文指出，未来可编程、非齐次模拟模块（如快速 XX 门）的发展将进一步提升处理非齐次问题的扩展性，并逼近量子速度极限。这项工作将数字-模拟编码定位为解决工业相关组合优化问题的关键步骤。