[论文解读] Quantum Adiabatic Evolution Algorithms versus Simulated Annealing

Edward Farhi, Jeffrey Goldstone+1 more|ArXiv.org|Jan 8, 2002

Quantum Computing Algorithms and Architecture参考文献 3被引用 84

一句话总结

本文比较了在n比特字符串上最小化经典代价函数时，量子绝热演化算法与模拟退火算法的性能。当代价函数仅依赖于汉明权重时，两种方法表现相似；但在特定非对称示例（如“尖峰”和“蕴含树”）中，量子绝热算法可在多项式时间内成功，而模拟退火则以指数方式失败。关键贡献在于表明，量子绝热算法在结构化问题中可超越经典局部搜索，其中演化路径的选择对性能有决定性影响。

ABSTRACT

We explain why quantum adiabatic evolution and simulated annealing perform similarly in certain examples of searching for the minimum of a cost function of n bits. In these examples each bit is treated symmetrically so the cost function depends only on the Hamming weight of the n bits. We also give two examples, closely related to these, where the similarity breaks down in that the quantum adiabatic algorithm succeeds in polynomial time whereas simulated annealing requires exponential time.

研究动机与目标

• 比较量子绝热演化与模拟退火在最小化n比特字符串上代价函数时的性能。
• 研究量子绝热算法在何种情况下能成功，而经典模拟退火则失败。
• 分析初始哈密顿量与演化路径在决定算法成败中的作用。
• 识别导致量子绝热算法实现指数级加速的代价函数结构特征。

提出的方法

• 将量子绝热算法形式化为时间依赖的哈密顿量 H(t) = H̃(t/T)，从已知的初始基态演化到问题哈密顿量 HP。
• 利用绝热定理确保系统始终保持在瞬时基态，要求前两个能级之间的最小能隙足够大。
• 将模拟退火建模为比特配置上的马尔可夫链，使用玻尔兹曼分布和梅特罗波利斯接受规则在温度递减时更新状态。
• 分析仅依赖于汉明权重的对称代价函数，表明量子与经典方法行为相似。
• 研究非对称示例（如“尖峰”和“蕴含树”），其中量子隧穿使量子绝热算法实现多项式时间成功。
• 使用微扰分析与数值对角化计算最小能隙，显示其缩放关系为 gap(n) ≈ 0.5782 / n^{1/3} + O(n^{-2/3})。

实验结果

研究问题

• RQ1 在何种条件下，量子绝热算法与模拟退火在最小化代价函数时表现出相似性能？
• RQ2 量子绝热算法是否能在模拟退火以指数方式失败的问题中实现多项式时间成功？
• RQ3 初始哈密顿量的选择如何影响量子绝热算法的性能？
• RQ4 代价函数的何种结构特征可使量子隧穿克服经典势垒？
• RQ5 为何在“蕴含树”示例中最小能隙缩放为 n^{-1/3}，这又如何影响运行时间？

主要发现

• 在仅依赖于汉明权重的对称代价函数中，量子绝热演化与模拟退火表现相似，两者在最坏情况下均需指数时间。
• 在“尖峰”示例中，由于量子隧穿可穿透经典不可达势垒，量子绝热演化可在多项式时间内成功，而模拟退火则以指数方式失败。
• 在“蕴含树”示例中，添加一个辅助量子比特导致最小能隙缩放为 ∼n^{-1/3}，从而实现多项式时间性能。
• 数值结果验证了分析预测 gap(n) ≈ 0.5782 / n^{1/3}，拟合截距为 0.5812，支持了微扰分析的正确性。
• 量子绝热算法的性能对初始哈密顿量的选择极为敏感；例如，当 λ < 1 时，能隙会呈指数级缩小。
• 结果表明，不存在一般性定理说明当模拟退火失败时量子绝热算法也必然失败，凸显了在特定结构化问题中实现量子加速的潜力。