✨ 要点🔬 技术摘要
想象一下你正在试图解开一个巨大的、缠绕在一起的绳结。这就是科学家们所说的“组合优化”问题:从数十亿种可能性中寻找唯一的最佳排列方式,比如找出向一千户人家送货的最有效路径,或者如何将一群朋友分成两组以减少争吵。几十年来,我们一直依赖超快速的经典计算机来解开这些绳结,但随着问题的规模变大,即使是最优秀的计算机也会开始流汗并变得缓慢。
量子计算机应运而生。不要把它看作是你笔记本电脑的快速升级版,而要把它看作是一个平行宇宙的探险家。它不是一次检查一条路径,而是利用量子物理学的奇特规则同时探索许多条路径。使用这些机器的一种流行方法叫做 QAOA(量子近似优化算法)。你可以把 QAOA 想象成一个在绳结中旋转以寻找最松一端的量子机器人。然而,今天的量子机器人仍然有点笨拙;它们充满噪声,容易被静电干扰,而且只能旋转很短的时间就会感到疲劳(这个概念被称为“浅层电路”)。因此,它们通常难以独立找到“完美”的解,通常只能给我们一个“足够好”的猜测。
这就是由研究人员 Elisabeth Wybo 和 Jernej Rudi Finžgar 提出的一个新想法——量子启发式代理采样(QISS) 。他们并没有要求这个笨拙的量子机器人一次性解决整个谜题,而是决定将机器人视为一名“侦察兵”。量子设备只需要窥探绳结中微小的局部部分,以收集一些简单的线索(称为“相关性”)。然后,一台聪明的经典计算机会利用这些线索来构建一张地图,或者说一个“代理模型”,从而引导更强大的搜索过程去找到真正的最佳解。这就像是量子机器人向人类侦探低声传递了一些提示,而侦探利用这些提示解开了整个谜团。
研究人员在两个经典谜题上测试了这个想法:“最大剪切”(Maximum Cut)问题(通过将网络分为两组来最大化连接数)和“最大独立集”(Maximum Independent Set)问题(寻找最大的互不接触的物品集合)。他们发现,通过仅使用来自浅层、多噪量子电路的一点点信息,他们的方法所生成的解明显优于量子计算机单独能产生的解。事实上,对于最大剪切问题,他们使用非常浅的量子电路(深度为 3)的方法,其平均表现优于运行在更深、更复杂层级(深度为 17)的标准量子方法。
也许最令人兴奋的部分是,这种方法对噪声具有极强的韧性。团队在名为 IQM Emerald 的一台拥有 54 个量子比特的真实量子计算机上进行了实验。即使来自机器的原始数据杂乱无章且充满错误,QISS 方法仍能过滤掉噪声,并依然能找到近乎完美的解,其表现就像机器处于完全静默状态一样出色。这为计算的未来提供了一种新的前进方向:我们不需要等待完美的、无误差的量子计算机来解决大问题。相反,我们可以将今天的这些带有噪声的机器作为简单的“提示提供者”,让经典计算机承担繁重的任务,将几声量子低语转化为强大且可扩展的解决方案。
技术摘要:用于组合优化的量子启发式代理采样 (QISS)
1. 问题陈述
组合优化问题(如最大割 MaxCut 和最大独立集 MIS)在规模扩大时具有计算挑战性。虽然量子近似优化算法 (QAOA) 提供了一种极具前景的混合量子-经典方法,但其在近期的硬件上的性能受限于噪声和相干性限制。这些约束通常将 QAOA 的实现限制在浅层电路(低深度 p p p )中。
浅层 QAOA 的一个基本局限性是局部性 (locality) :对于稀疏图,电路的“光锥”由深度 p p p 而非问题规模 N N N 决定。因此,固定深度 p p p 的 QAOA 通常无法利用全局问题结构,并继承了类似于局部经典算法的局限性。此外,量子态的完整输出分布在经典上通常是难以采样的,且量子设备本身在受到浅层深度限制时,无法直接产生高质量的解。
本文旨在解决一种需求,即利用近即期量子设备的特定优势——高效估计低阶局部统计量——同时将候选解的生成委托给可扩展的经典后处理。
2. 方法论:量子启发式代理采样 (QISS)
作者提出了量子启发式代理采样 (QISS) ,这是一个后处理框架,通过低权重的量子相关性生成候选解,而无需在采样阶段显式依赖组合问题的结构。
核心工作流
量子估计: 在量子设备(或模拟器)上执行浅层 QAOA 电路(深度 p p p ),以估计一组选定的低权重期望值(相关量)μ S α \mu_{S_\alpha} μ S α :μ S α = ⟨ ψ p ( γ , β ) ∣ ∏ i ∈ S α Z i ∣ ψ p ( γ , β ) ⟩ \mu_{S_\alpha} = \langle \psi_p(\gamma, \beta) | \prod_{i \in S_\alpha} Z_i | \psi_p(\gamma, \beta) \rangle μ S α = ⟨ ψ p ( γ , β ) ∣ i ∈ S α ∏ Z i ∣ ψ p ( γ , β )⟩ 本文重点关注权重 ∣ S α ∣ ∈ { 1 , 2 } |S_\alpha| \in \{1, 2\} ∣ S α ∣ ∈ { 1 , 2 } 。这些值可以通过重复测量获得,并且易于进行误差缓解。
代理分布构建: 使用这些测量的相关量作为参数,在解空间 { − 1 , + 1 } N \{-1, +1\}^N { − 1 , + 1 } N 上构建一个经典因子分布 P ( z ) P(z) P ( z ) :P ( z ) ∝ ∏ S α ∈ S ( 1 + μ S α χ S α ( z ) ) P(z) \propto \prod_{S_\alpha \in \mathcal{S}} \left( 1 + \mu_{S_\alpha} \chi_{S_\alpha}(z) \right) P ( z ) ∝ S α ∈ S ∏ ( 1 + μ S α χ S α ( z ) ) 其中 χ S α ( z ) = ∏ i ∈ S α z i \chi_{S_\alpha}(z) = \prod_{i \in S_\alpha} z_i χ S α ( z ) = ∏ i ∈ S α z i 是奇偶校验函数。该分布等价于一个有效 Ising 哈密顿量 H ′ H' H ′ 的吉布斯分布,其耦合系数为 J S α = − arctanh ( μ S α ) J_{S_\alpha} = -\text{arctanh}(\mu_{S_\alpha}) J S α = − arctanh ( μ S α ) 。
经典采样: 使用马尔可夫链蒙特卡洛 (MCMC) 从 P ( z ) P(z) P ( z ) 中抽取候选解。采样过程利用单点条件更新,由于单个自旋翻转的条件概率仅取决于涉及该自旋的局部因子,因此该过程非常高效。配分函数(归一化常数)永远不需要被计算。
相关量选择: 本文区分了两组相关量:
边集 (S = E ∪ V \mathcal{S} = E \cup V S = E ∪ V ): 仅包含问题图的直接边。在局部类树状图中,这会重现 QAOA 的矩,但不会带来改进。
增强集 (S ′ = E ′ ∪ V \mathcal{S}' = E' \cup V S ′ = E ′ ∪ V ): 包括所有在光锥距离 d G ( i , j ) ≤ 2 p d_G(i, j) \le 2p d G ( i , j ) ≤ 2 p 内的对 ( i , j ) (i, j) ( i , j ) 。这创建了一个稠密的、非树状的因子图,允许代理模型隐式地捕捉高阶相关性,并生成优于原始 QAOA 输出的解。
关键特性
无需训练: 该方法使用固定的树最优 QAOA 角度(来自文献 [61]),不需要对代理模型进行变分优化。
模块化: 采样步骤与代价函数无关;它仅需要相关量。
噪声韧性: 从相关量到耦合系数的映射 (arctanh \text{arctanh} arctanh ) 是平滑的,这使得代理模型对测量统计中的噪声具有鲁棒性。
3. 主要贡献与结果
A. 3-正则图上的 MaxCut
相对于 Vanilla QAOA 的性能: 当使用增强相关量集(所有距离在 2 p 2p 2 p 以内的对)时,QISS 显著优于 vanilla QAosa。具体而言,使用深度 p = 3 p=3 p = 3 或 p = 4 p=4 p = 4 的 QAOA 相关量的 QISS,其平均切分比例(cut fractions)能够超过深度 p = 17 p=17 p = 17 的 vanilla QAOA(这是已知树最优角度的最大深度)。
热启动集成: 该方法与正则化热启动 QAOA (RWS-QAOA) 相结合。即使在浅层深度(p = 1 , 2 p=1, 2 p = 1 , 2 )下,QISS 后处理也改善了 RWS-QAOA 的解质量,使近似比接近最优界限。
硬件验证: 实验在 54 位 IQM Emerald QPU 上进行。结果表明 QISS 具有高度的噪声韧性。从原始、带噪声的 QPU 相关量获得的近似比,与从无噪声模拟中获得的近似比几乎不可区分。设备噪声被后处理过程有效地“冲刷”掉,使得在这一机制下复杂的误差缓解变得不再必要。
可扩展性: 该方法在 N = 140 N=140 N = 140 (受限于变量冻结后的可用量子比特数)的情况下仍能保持性能,其近似比保持稳定且远高于标准的 SDP 保证。
B. 最大独立集 (MIS)
约束处理: 与 MaxCut 不同,MIS 是一个受约束的问题。QISS 采样的结果可能包含冲突(相邻节点都被选中)。作者引入了一种简单的后处理剪枝程序来解决冲突并贪婪地添加有效节点。
性能: 对于 MIS,如果仅使用边相关量,由于缺乏 Z 2 Z_2 Z 2 对称性和重叠因子,其性能甚至差于 vanilla QAOA。然而,通过使用增强的相关量集结合剪枝程序,QISS 能够超越独立的 QAOA,并能与最先进的经典启发式算法(如线性优先搜索和量子增强贪婪算法)相媲美。
C. 与经典求解器的比较
QISS 与模拟退火 (SA) 以及 Burer–Monteiro (BM) 二阶秩松弛(针对 Goemans–Williamson SDP)进行了基准测试。
结合 RWS-QAOA 的 QISS 产生了与 BM 求解器竞争力的结果。
不同于在固定时间预算下性能随系统规模增加而下降的经典采样器,QISS 利用了 QAOA 相关性的局部性,这种局部性随 N N N 的变化保持稳定。
4. 重要性与主张
本文声称 QISS 建立了一种新的近即期优化范式,即浅层量子电路不再作为直接采样器,而是作为可扩展经典采样的信息统计量生成器。
分工明确: 量子设备被用于其高效估计低阶、局部观测量的能力(这些观测量对噪声具有鲁棒性,且样本成本与系统规模无关),而经典计算机则处理将这些统计量合成全局解的复杂任务。
噪声韧性: 一个关键发现是,代理分布非常鲁棒,以至于可以从原始、未经缓解的噪声硬件数据中恢复出接近最优的解。这表明,对于某些优化任务,如果采用了像 QSS 这样的鲁棒后处理层,复杂的误差缓解开销可能是不必要的。
可扩展性: 该方法通过依赖浅层电路和经典 MCMC,避免了深层电路在经典收缩上的指数级扩展,为解决比直接量子采样能处理更大规模问题提供了路径。
作者总结道,尽管 Q式 QISS 依赖于所测相关性的特定结构,但它为提高近即期量子设备上的优化性能提供了一条实用、无需训练且硬件高效的途径。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。