[论文解读] Adiabatic Quantum Algorithms for the NP-Complete Maximum-Weight Independent Set, Exact Cover and 3SAT Problems

Vicky Choi|arXiv (Cornell University)|Apr 13, 2010

Quantum Computing Algorithms and Architecture参考文献 28被引用 36

一句话总结

本文提出了一种针对NP完全问题的绝热量子算法参数调优策略——通过在CK图中修改问题哈密顿量的顶点权重，来优化最大权独立集（MIS）、精确覆盖（Exact Cover）和3SAT问题。通过缩放顶点权重，作者成功避免了一阶量子相变，显著增大了最小能隙，挑战了以往认为此类算法在随机实例上会失效的观点。

ABSTRACT

The problem Hamiltonian of the adiabatic quantum algorithm for the maximum-weight independent set problem (MIS) that is based on the reduction to the Ising problem (as described in [Choi08]) has flexible parameters. We show that by choosing the parameters appropriately in the problem Hamiltonian (without changing the problem to be solved) for MIS on CK graphs, we can prevent the first order quantum phase transition and significantly change the minimum spectral gap. We raise the basic question about what the appropriate formulation of adiabatic running time should be. We also describe adiabatic quantum algorithms for Exact Cover and 3SAT in which the problem Hamiltonians are based on the reduction to MIS. We point out that the argument in Altshuler et al.(arXiv:0908.2782 [quant-ph]) that their adiabatic quantum algorithm failed with high probability for randomly generated instances of Exact Cover does not carry over to this new algorithm.

研究动机与目标

• 为解决绝热量子算法在NP完全问题中出现的指数级小能隙问题，该问题可能导致指数级运行时间。
• 研究是否可通过问题哈密顿量中的参数调优——特别是顶点权重缩放——来防止绝热量子计算中的一阶量子相变。
• 通过基于MIS约化的新算法，挑战Altshuler等人关于绝热量子算法在随机精确覆盖实例上会失效的普遍性结论。
• 探讨在问题哈密顿量参数选择对能隙行为敏感的背景下，何为合适的绝热运行时间表述形式。
• 开发并应用可视化工具DeSEV，分析量子态演化过程，为设计更鲁棒的绝热算法提供指导。

提出的方法

• 通过将MIS问题约化为自旋模型，推导出问题哈密顿量，其参数可灵活调节而不改变问题实例本身。
• 在CK图中通过缩放顶点权重来调整能量景观，抑制已知会导致指数级小能隙的一阶量子相变。
• 使用分解态演化可视化工具（DeSEV）分析绝热演化过程中基态与第一激发态的演化，揭示避免能级交叉的机制。
• 通过将Exact Cover和3SAT问题约化为MIS，基于相同的哈密顿量框架构建了绝热量子算法。
• 在假设绝热运行时间（ART）与最小能隙成反比的前提下分析ART，但论文质疑标准ART公式的合理性，因其对参数选择高度敏感。
• 通过数值分析与可视化比较不同权重缩放下的能隙行为，识别出能产生显著更大能隙的配置。

实验结果

研究问题

• RQ1 能否通过调优绝热量子算法问题哈密顿量中的顶点权重，防止CK图中的一阶量子相变？
• RQ2 顶点权重的缩放如何影响MIS问题中绝热量子算法的最小能隙？是否可能实现多项式时间性能？
• RQ3 当问题通过调优参数约化为MIS时，Altshuler等人关于绝热量子算法在随机精确覆盖实例上会失效的结论是否依然成立？
• RQ4 当能隙对问题哈密顿量中参数选择高度敏感时，应如何合理表述绝热运行时间？
• RQ5 可视化工具DeSEV能否为设计具有更大能隙和更高效率的绝热算法提供可操作的洞见？

主要发现

• 在CK图上对MIS绝热算法的问题哈密顿量进行顶点权重缩放，成功避免了一阶量子相变，而该相变曾与指数级小能隙紧密关联。
• 通过最优权重缩放，最小能隙显著增大，表明在CK图上MIS问题可能存在多项式时间的绝热算法，与早期预测相反。
• 基于MIS约化的精确覆盖绝热量子算法，削弱了Altshuler等人关于此类算法在随机实例上高概率失效的普遍性结论。
• DeSEV可视化结果表明，适当的权重缩放可使基态与第一激发态之间的避免能级交叉现象显著减弱，表明演化路径更加有利。
• 研究发现，标准假设——即绝热运行时间与最小能隙成反比——可能不足，因为能隙行为对参数调优极为敏感。
• 作者证明，问题哈密顿量参数的选择——特别是顶点权重——可对算法性能产生巨大影响，提示了绝热量子算法设计的新原则。