在现代计算的广袤版图中,存在着一类极其复杂的难题,即使是最强大的超级计算机也难以找到最优解。这些被称为组合优化问题,即系统必须从惊人的可能性中选出唯一最佳的排列方式,例如在千座城市中寻找最短路径,或通过安排调度来最小化冲突。几十年来,科学家们一直在寻求量子力学的答案,希望支配亚原子世界的那些奇异、反直觉的规则能够提供一条捷径。在这场探索中最具前景的工具之一是量子近似优化算法(QAOA)。它的工作原理是通过引导量子计算机经历一系列步骤,逐渐塑造量子态以揭示高质量的解。然而,一个主要的障碍一直存在:尽管该算法展现出了巨大的潜力,但科学家们却无法对其进行足够深入的研究,以了解它在受到极限挑战时的表现。用于预测其在大规模系统上性能的数学工具运行速度太慢,实际上让研究人员在面对算法处理更长的时间和更高的复杂度时,处于一种“盲视”状态。
来自摩根大通(JPMorgan Chase)和谷歌量子人工智能(Google Quantum AI)的研究团队现在揭开了这层面纱,发现了一种在大规模尺度上理解 QAOA 内部运作机制的新方法。他们发现,在被称为自旋玻璃(spin glasses)的复杂随机环境中——这是优化问题的标准测试平台——量子系统的各个部分通常交织在一个相互作用的网络中,但在系统变得足够大时,它们实际上会分离成独立的单元。想象一个拥挤的房间,每个人都在互相叫喊;在这种特定的量子场景下,随着房间变得无限大,噪音会自动组织起来,使得每个人实际上只能听到自己的私人对话,与其他所有人完全隔离。这种被称为“退耦”(decoupling)的现象,使得研究人员可以将每个量子比特(或称自旋)视为是在与一个简单的、独立的物理环境进行交互,而不是与一个混乱且相互连接的整体进行交互。
通过证明这种分离现象的存在,该团队建立了一个强大的新框架,将复杂的量子行为映射到一个更简单的系统上,该系统涉及单个自旋和一组玻色子模(bosonic modes),后者可以被视为一系列振动场。这种映射不仅仅是一个理论上的奇趣,它还为用计算机计算系统的能量提供了一个实用的配方。利用这种方法,研究人员能够模拟达到此前无法研究的深度(即过程中的步数)。早期的技术只能处理几十步,之后计算时间就会变得难以承受,而这种新方法使他们能够针对特定问题进行多达 160 步的模拟。这种计算能力的飞跃,类似于从只能看到模糊、低分辨率的预览画面,转变为能够观看高清电影。
这些深度模拟的结果为算法的表现提供了令人惊讶的洞察。团队发现,随着问题复杂度的增加——具体而言,是每一步中相互作用的变量数量增加时——算法需要更多的步骤才能达到高质量的解。对于较简单的问题,算法收敛得很快;但对于更复杂的问题,通往最佳答案的路径变得更加漫长且难以驾驭。此外,他们观察到,调节控制量子步骤的具体设置(或称为角度)会随着问题的难度增加而变得越来越困难。可能设置构成的景观变得如此陡峭且狭窄,以至于寻找完美的组合就像试图让一根针在针尖上保持平衡;初始位置的一个微小误差都可能导致一个完全不同且更差的结果。这表明,虽然该算法功能强大,但它在处理最困难的问题时的成功,高度依赖于极其精确的初始指令。
研究还对比了纯问题(所有相互作用类型均相同)与混合问题(结合了不同类型的相互作用)。他们发现,算法在纯问题上比在混合问题上更接近理论上的最佳极限。这表明,问题的特定结构至关重要,而纯自旋玻璃可能是量子计算机在不久的将来展示出超越经典计算机优势的最具前景的领域。重要的是,研究人员明确了这项工作的范畴及其局限性。虽然他们现在可以高精度地预测系统的能量,但他们还无法在经典计算机上模拟完整的量子态以生成最终答案。要逐位获取实际的解,仍然需要一台真正的量子计算机。然而,通过提供一种严谨的方法来预测算法的表现,并揭示其在复杂问题中进行调优的具体挑战,这项工作为未来量子优化的发展提供了关键的路线图。它将 QAOA 从一个难以分析的“黑箱”,转变为一个具有清晰、可理解结构的系统,为开发更好的算法以及更有效地利用量子硬件铺平了道路。
技术摘要:将 QAOA 解耦为独立的自旋-玻色子系统,以及在纯混合自旋玻璃上的高深度性能表现
问题陈述
量子近似优化算法(QAOA)是展示量子优势于组合优化问题(特别是自旋玻璃问题)中的领先候选方案。然而,在大规模研究 QAOA 时——特别是在高深度(大层数 p)和大规模系统规模下——计算成本极高。虽然存在精确的递归公式可以预测无限规模极限下 QAOA 在大型自旋玻璃上的性能(例如文献 [6–8]),但评估这些公式的计算成本随层数呈指数级增长(O(4p) 或更高),使得对于 p≈12 到 $20$ 以上的深度而言,这些公式变得难以处理。此外,现有方法在高效处理混合自旋玻璃模型(不同相互作用阶数的组合)方面仍存在困难。这种局限性阻碍了对 QAOA 性能如何随深度和相互作用阶数进行扩展的严谨理解,也无法确定其是否能克服诸如重叠间隙性质(Overlap Gap Property, OGP)之类的算法障碍。
方法论
作者引入了一个基于**自旋-玻色子映射(spin-boson mapping)**的理论框架,该框架将多体 QAOA 动力学解耦为独立的单自旋系统与玻色子环境的耦合。
自旋-玻色子映射与解耦:
- 本文证明了在热力学极限(n→∞)且经过无序平均后,自旋玻璃 QAOA 中的自旋近似解耦。每个自旋都表现为一个独立的系统,并耦合到其自身的 p 个玻色子模态上。
- 这是通过从 QAOA 期望值的自旋路径积分表示出发,利用**腔计算(cavity calculation)**推导出来的。系统的本体作为一个玻色子浴作用于一个小子系统,而该浴参数由 QAOA 的角度和自旋玻璃混合多项式 ξ(x) 决定。
- 至关重要的是,自旋所经历的有效场是量子的(非对易的)并且随层数变化,这与经典的平均场近似有所区别。
递归自旋-玻色子程序:
- 作者将(先前在文献 [17] 中已建立用于二次型 Sherrington-Kirkpatrick 模型的)自旋-玻色子映射推广到了任意混合自旋玻璃。
- 他们推导出了一个计算无序平均能量密度的递归程序。该程序涉及迭代构建一个矩阵 G,其中每一步对应于一层 QAOA 电路。
- 该程序通过模拟一个耦合到 p 个玻色子模态的单自旋-1/2 系统来实现。状态使用**矩阵乘积态(Matrix Product States, MPS)**进行表示。
- 一项关键的技术创新是,他们开发了一种新方法,通过测量 p 个固定时间的可观测量(Z-湮灭期望值)从单个自旋-玻色子态中提取必要的矩阵项,而不是需要 p 次单独的状态演化。这降低了内存和计算开销。
数值实现:
- 作者利用 MPS 模拟来评估此前无法通过精确方法计算的深度的 QAOA 能量。他们针对阶数 q∈[2,17] 的纯自旋玻璃以及在 2-自旋和 8-自旋相互作用之间插值的混合模型优化了参数(角度 γ,β)。
- 他们将 2-自旋模型的计算扩展到了 p=160,远超此前 O(4p) 精确评估所能达到的范围。
核心结果
纯自旋玻璃的高深度性能:
- 研究表明,随着自旋阶数 q 的增加,QAOA 接近算法阈值(即低阶多项式算法所能达到的最佳性能)的速度变慢。
- 收敛标度 νq(p)≈νalg,q−cp−η 中的衰减指数 η 随 q 单调递减(从 q=2 时的 η≈0.88 降至 q=17 时的 η≈0.39)。这表明,高阶问题需要显著更多的层数才能达到相当的近似比。
- 参数优化对于更高的 q 和更高的 p 变得越来越困难。最优参数周围的能量景观变得更加尖锐,形成了“狭窄峡谷”,在这些区域内角度的微小偏差会导致巨大的能量惩罚。
混合自旋玻璃与参数敏感性:
- 对于混合自旋玻璃(在 2-自旋和 8-自旋之间插值),QAOA 与算法障碍之间的性能差距随混合参数的变化呈现出非平凡的变化。
- 作者观察到,随着混合参数的变化,优化后的角度会出现不连续性,且能量景观中会出现非微分点(“尖点”)。这些不连续点随着深度 p 的增加向纯 8-自旋极限移动,这表明对于足够深的电路,参数传递策略(热启动)可能会失效。
有限尺寸界限:
- 解耦论证允许推导出 QAOA 性能的显式(尽管较松)有限尺寸界限。能量密度的误差被证明以 n−αp 的形式衰减,其中 αp 随 p 减小。作者指出这些界限可能是保守的,并预计真实的标度应为 1/n。
意义与主张
本文声称建立了自旋-玻色子映射作为一个自然且严谨的框架,用于理解无限规模、恒定角度下 QAOA 的多体物理特性。
- 理论贡献: 它首次为混合自旋玻璃在有限尺寸及 p>1 时的 QAOA 性能提供了严谨的界限。它将之前的研究从二次型模型推广到了任意混合模型。
- 计算突破: 通过利用 MPS 模拟自旋-玻色子系统,这项工作使得评估深度达 p≈40–160 的 QAOA 能量成为可能,这在以前是难以实现的。这开启了进入高深度领域的研究窗口,揭示了 QAOA 的效率会随着高阶相互作用而下降。
- 局限性与范围: 作者明确指出,虽然解耦能够实现对能量(期望值)的评估,但它并不能实现对完整 QAOA 态矢量的强模拟。仍然需要量子计算机来采样对应于预测能量的比特串。此外,作者承认推导出的有限尺寸界限较为宽松,主要作为未来更准确估计的基准。
- 对优化的启示: 结果强调,由于能量景观的敏感性,高阶、高深度 QAOA 的参数优化是一个重大挑战,这为开发更好的热启动和优化技术提供了动力。
总之,这项工作弥合了理论分析与大规模 QAOA 数值探索之间的鸿沟,证明了虽然该算法仍是极具前景的候选方案,但其性能特征对问题结构(自旋阶数)和电路深度高度敏感,并在高深度、高阶领域表现出特定的挑战。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。