1. 量子退火概览
量子退火(Quantum Annealing, QA)是一种利用量子力学效应来求解组合优化问题的计算范式。要理解它,最直观的切入点是把它与经典退火做对照:经典模拟退火通过“加热—缓慢降温”让系统在能量景观中寻找全局最低点,而量子退火则用“量子涨落”替代热涨落,让系统有机会穿越能量势垒,而不是仅仅靠热运动翻越势垒。
从物理图像看,量子退火的核心是绝热定理。考虑一个量子系统,其哈密顿量随时间变化:
H(t) = A(t)·H_initial + B(t)·H_problem
其中 H_initial 是初始哈密顿量,通常取横向场形式,其基态是已知且容易制备的均匀叠加态;H_problem 是编码了待求解优化问题的哈密顿量,其基态对应问题的最优解。系数 A(t) 从大变小,B(t) 从小变大,系统从初始基态缓慢演化到问题基态。如果演化足够慢,且演化时间满足绝热条件,系统将始终停留在瞬时基态,最终测量得到的就是问题的最优解。
量子退火与通用量子门模型计算有本质区别。它不要求构造量子线路、执行量子门序列,而是直接设计一个物理系统的哈密顿量,让系统自然演化。这使得量子退火在工程实现上更接近“模拟量子计算”,也更容易在特定硬件上规模化。目前最典型的实现是超导磁通量子比特(flux qubit)构成的量子退火机,例如 D-Wave 系列设备。这些设备通常以伊辛模型(Ising Model)或二次无约束二值优化(QUBO)形式接收问题。
从发展历程看,量子退火的思想可以追溯到 1980 年代末至 1990 年代初。1989 年,Apolloni 等人提出了“量子随机优化”的概念;1994 年,Finnila 等人明确提出了“量子退火”这一术语;1998 年,Kadowaki 和 Nishimori 系统分析了量子退火相对于经典模拟退火的优势。2000 年代,D-Wave 公司开始研发基于超导量子比特的退火硬件,并于 2011 年推出 D-Wave One,标志着量子退火从理论走向工程实现。此后,D-Wave 陆续推出 2000Q、Advantage 等系统,量子比特数量从数百提升到数千,连接拓扑也从 Chimera 发展到 Pegasus 和 Zephyr。
量子退火的典型应用场景集中在组合优化领域。常见问题包括:最大割问题(Max-Cut)、图着色、旅行商问题、背包问题、投资组合优化、交通路径规划、分子对接、机器学习中的特征选择和训练优化等。这些问题在经典计算中往往属于 NP 难问题,规模稍大就难以精确求解。量子退火并不保证在所有问题上都优于经典算法,但在某些特定结构和参数区间内,它可能展现出更快的收敛速度或更好的解质量。
为了更清晰地展示量子退火从问题到解的完整链路,下面用一张信号链与数据流图来呈现其核心环节。图中从左侧的“实际问题”出发,经过“QUBO/Ising 编码”“硬件映射”“量子演化”“测量读出”,最终到达“解解码与验证”,并标注了每个环节的关键输入输出与典型参数。
需要特别强调的是,量子退火目前并非“万能加速器”。它的优势依赖于问题结构、编码方式、硬件拓扑和参数调优。对于某些问题,经典启发式算法(如模拟退火、禁忌搜索、遗传算法)可能表现更好;而对于另一些问题,量子退火在特定规模下可能展现出优势。因此,在实际应用中,通常需要将量子退火与经典算法结合,形成混合求解策略:经典部分负责问题分解、参数调优和后处理,量子部分负责在能量景观中快速探索。
总结来说,量子退火是一种以绝热定理为物理基础、以伊辛模型/QUBO 为数学载体、以超导量子比特为硬件实现的计算范式。它的核心价值在于为组合优化问题提供一种不同于经典算法的求解路径。理解它的物理原理、发展脉络和典型应用,是后续学习问题建模、参数调优和实际应用的基础。