叠加学堂superposition

量子漫步:让扩散也带上干涉

相干扩散比随机扩散快,但要看问题结构

深入8 分钟第 47 / 80 节更新于 2026-10-18

一个醉汉在直线上走,每步随机向左或向右,t 步之后离原点大约 t\sqrt t 格。换一个「量子醉汉」:方向不是掷出来的,而是留在相干叠加里,同样的 t 步,他能铺开到 t 那么宽。

随机漫步为什么只有 √t

经典漫步每一步独立,方差可加,走 t 步后标准差就是 t\sqrt t:一万步,典型距离一百格;想覆盖 N 格,得走 N² 步。慢的根源不是步子小,而是没有方向记忆。

量子版本要两件东西:一个硬币比特,一个条件平移。每一步先给硬币加 H,再按硬币的值把走子往左或往右挪一格,中间不测量,于是同一批路径的振幅带着符号相加,出现干涉。

σ经典∼t,σ量子∼t\sigma_{\text{经典}}\sim\sqrt t,\qquad \sigma_{\text{量子}}\sim t

t 步之后,两个尖峰跑到离原点约 t/2t/\sqrt2 的位置,中间相消,原点附近反而越来越空。相干让走向一致的那批路径彼此加强,这不是「每一步都试一遍」换来的。连续时间版本不需要硬币:直接让哈密顿量(图的邻接矩阵)演化 e−iHte^{-iHt}。

走得快不等于算得快

扩散快只有在答案被编码进位置分布时才算数。元素区分(判断 N 个数里有没有重复)是真拿到好处的问题:用漫步做量子算法,查询量级从经典的 Θ(N) 降到 N^0.6666666666666666。粘合树问题在神谕模型里给出指数级分离,但那张图是黑箱递进来的,不能直接搬到实际问题上。加速来自图的结构,不是扩散速度本身。

条件也很脆弱。硬币要一直保住相干,一旦你测了它,或者环境把相位抹掉,退相干 会把弹道扩散打回 t\sqrt t。图写进量子态要花门,很多问题光准备图就用掉了全部预算。所以「量子漫步更快」只在具体结构下成立,它给的是若干类问题上的具体加速,不是一个通用开关。

量子漫步的宽度按 t 增长,所以在任何图上做搜索都比经典快。
扩散快只是资源:答案得编码进分布、图得能高效制备、相干得维持到读出,很多问题只拿到多项式级甚至没有提升。
把「扩散快」当成「算法快」,是这类演示最常见的越界。
一句话结论

量子漫步用硬币加条件平移(或哈密顿量演化)让路径振幅相干叠加,宽度按 t 而不是 t\sqrt t 增长,代价是相干必须保住。它是若干算法的引擎,元素区分与粘合树是两个例子;但它不承诺通用加速,测掉硬币或让环境插手,它就退回经典随机漫步。

本节自测 · 3 题
未作答
01离散时间量子漫步里,如果把硬币比特在每一步之后都测一次,结果会变成什么?
02连续时间量子漫步与离散时间版本的主要区别是什么?
03「量子漫步的宽度按 t 增长,所以任何图上的搜索都能跟着加速」,这句话的问题在哪?