量子基础

量子干涉

想想池塘上的涟漪。当两道水波相遇时,波峰对齐的地方会叠加增强,波峰遇上波谷的地方则会相互抵消。量子干涉就是同一个道理,只不过参与叠加和抵消的不是水波,而是振幅:量子计算机为每一个可能的结果所携带的那一组数字。让它们成为"量子"的关键在于,振幅可以是负数或复数,而不像概率那样只能是正数。于是,通向同一个答案的两条路径既可能彼此增强,也可能彼此抵消。

这种抵消与增强正是量子算法真正的引擎。你并不是靠让机器悄悄把每个答案都试一遍、再把正确答案交给你来获得速度。恰恰相反,你要把线路安排好,使得到测量的那一刻,指向错误答案的振幅已经大体抵消,而指向正确答案的振幅已经累积叠加起来。读出任何一个结果的概率等于它振幅的平方(玻恩规则),所以把振幅引导到正确答案那一侧,才是让答案大概率出现的原因。干涉构造得好,你就赢了;构造得差,你得到的不过是噪声。

这也正是为什么量子计算机并不是无所不能的通用加速器。只有当问题本身具有可被利用的结构、能让错误答案的路径相互抵消时,干涉才帮得上忙。Shor 算法用量子傅里叶变换(QFT)让周期通过干涉显现出来,这正是它威胁 RSA 的原因;Grover 搜索同样用到干涉,但只带来二次方(平方根)加速,而非指数级加速。对于许多日常问题,根本无从设置出巧妙的干涉模式,因此量子计算机毫无优势可言。

|+> = (1/sqrt2)(|0> + |1>), then H|+> = |0> (the |1> amplitudes cancel)

对 |0> 连续施加两次 Hadamard 门,会先把它送进等权叠加态,再送回 |0>:在第二步中,通向 |1> 的两条路径振幅符号相反、相互抵消,而通向 |0> 的路径则相互增强。这种抵消就是干涉,也正是量子算法在大规模上所精心编排的东西。

干涉是脆弱的:与环境之间任何不经意的相互作用(退相干)都会打乱这些精细的振幅关系,而这正是当今 NISQ 时代硬件所面临的核心工程难题。

又称
interference of amplitudes