[论文解读] Industry applications of neutral-atom quantum computing solving independent set problems

Jonathan Wurtz, Pedro Lopes+4 more|arXiv (Cornell University)|May 17, 2022

Quantum Computing Algorithms and Architecture被引用 12

一句话总结

本文展示了中性原子量子计算机，特别是QuEra的256量子比特'Aquila'平台，能够通过利用Rydberg阻塞效应自然编码约束，高效求解独立集问题——这类问题在组合优化中具有关键意义。研究结果表明，这些设备可在经典算法基础上实现超线性量子加速，并能以较低开销将多种工业问题（如天线部署、投资组合优化和网络免疫化）映射为可解的独立集实例。

ABSTRACT

Architectures for quantum computing based on neutral atoms have risen to prominence as candidates for both near and long-term applications. These devices are particularly well suited to solve independent set problems, as the combinatorial constraints can be naturally encoded in the low-energy Hilbert space due to the Rydberg blockade mechanism. Here, we approach this connection with a focus on a particular device architecture and explore the ubiquity and utility of independent set problems by providing examples of real-world applications. After a pedagogical introduction of basic graph theory concepts of relevance, we briefly discuss how to encode independent set problems in Rydberg Hamiltonians. We then outline the major classes of independent set problems and include associated example applications with industry and social relevance. We determine a wide range of sectors that could benefit from efficient solutions of independent set problems -- from telecommunications and logistics to finance and strategic planning -- and display some general strategies for efficient problem encoding and implementation on neutral-atom platforms.

研究动机与目标

• 证明中性原子量子计算机在现实世界组合优化问题中的实际适用性，特别是独立集问题。
• 展示中性原子系统中的Rydberg阻塞机制如何自然编码独立集约束，从而实现高效的问题映射。
• 识别并映射一系列与工业相关的实际问题——如天线部署、投资组合优化和网络免疫化——至独立集形式化表达。
• 探索在当前硬件上使用QAOA和绝热演化等量子算法求解最大独立集问题。
• 确立从NP完全问题（如SAT、QUBO、图着色）到独立集问题的约化可在中性原子平台上以低开销实现。

提出的方法

• 利用捕获中性原子中的Rydberg阻塞效应，将独立集约束直接编码至系统的低能Hilbert空间。
• 将工业问题映射为可嵌入光学镊子中二维或三维中性原子阵列的单位圆盘图或一般图。
• 采用变分量子算法（如QAOA）和绝热演化，制备编码最大独立集的基态。
• 应用多项式约化，将SAT、QUBO和图着色等NP完全问题转换为单位圆盘图上的最大独立集问题。
• 在必要时使用辅助量子比特将非几何图扩展为单位圆盘图表示，以确保硬件兼容性。
• 利用混合量子-经典架构优化问题编码，并提升近期设备上的解的保真度。

实验结果

研究问题

• RQ1 中性原子量子计算机能否高效求解现实工业应用中出现的独立集问题？
• RQ2 Rydberg阻塞机制如何在可编程量子硬件平台上自然编码独立集约束？
• RQ3 将复杂工业优化问题映射为独立集问题的最有效策略是什么，且能将量子比特和布局开销降至最低？
• RQ4 在近期设备上，这些问题是多大程度上能实现量子优势，特别是通过超线性加速？
• RQ5 从其他NP问题（如SAT、QUBO、图着色）到中性原子硬件上高效实现约化的方法是什么，从而扩展可求解问题的范围？

主要发现

• 使用Rydberg阻塞的中性原子量子计算机可原生编码独立集约束，实现组合优化问题的直接且低开销映射。
• 哈佛大学的演示表明，QuEra的中性原子处理器在最大独立集问题上，相对于一类通用经典算法，实现了超线性量子加速。
• 即使在单位圆盘图上，最大独立集问题仍是NP完全的，使其成为通过多项式约化求解广泛NP问题的通用目标。
• 天线部署、投资组合优化、分子对接和5G网络优化等问题，均可有效映射至中性原子硬件上的独立集问题。
• 针对特定问题的高效映射（如将二值涂装问题直接编码为单位圆盘图）相比通用约化，可显著降低量子比特和布局开销。
• QAOA和绝热演化等量子算法可用于制备编码最优解的基态，在结构化实例上相比经典方法具有潜在性能优势。