量子漫步:让扩散也带上干涉
相干扩散比随机扩散快,但要看问题结构
一个醉汉在直线上走,每步随机向左或向右,t 步之后离原点大约 格。换一个「量子醉汉」:方向不是掷出来的,而是留在相干叠加里,同样的 t 步,他能铺开到 t 那么宽。
随机漫步为什么只有 √t
经典漫步每一步独立,方差可加,走 t 步后标准差就是 :一万步,典型距离一百格;想覆盖 N 格,得走 N² 步。慢的根源不是步子小,而是没有方向记忆。
量子版本要两件东西:一个硬币比特,一个条件平移。每一步先给硬币加 H,再按硬币的值把走子往左或往右挪一格,中间不测量,于是同一批路径的振幅带着符号相加,出现干涉。
t 步之后,两个尖峰跑到离原点约 的位置,中间相消,原点附近反而越来越空。相干让走向一致的那批路径彼此加强,这不是「每一步都试一遍」换来的。连续时间版本不需要硬币:直接让哈密顿量(图的邻接矩阵)演化 。
走得快不等于算得快
扩散快只有在答案被编码进位置分布时才算数。元素区分(判断 N 个数里有没有重复)是真拿到好处的问题:用漫步做量子算法,查询量级从经典的 Θ(N) 降到 N^0.6666666666666666。粘合树问题在神谕模型里给出指数级分离,但那张图是黑箱递进来的,不能直接搬到实际问题上。加速来自图的结构,不是扩散速度本身。
条件也很脆弱。硬币要一直保住相干,一旦你测了它,或者环境把相位抹掉,退相干 会把弹道扩散打回 。图写进量子态要花门,很多问题光准备图就用掉了全部预算。所以「量子漫步更快」只在具体结构下成立,它给的是若干类问题上的具体加速,不是一个通用开关。
量子漫步的宽度按 t 增长,所以在任何图上做搜索都比经典快。
扩散快只是资源:答案得编码进分布、图得能高效制备、相干得维持到读出,很多问题只拿到多项式级甚至没有提升。
把「扩散快」当成「算法快」,是这类演示最常见的越界。
一句话结论
量子漫步用硬币加条件平移(或哈密顿量演化)让路径振幅相干叠加,宽度按 t 而不是 增长,代价是相干必须保住。它是若干算法的引擎,元素区分与粘合树是两个例子;但它不承诺通用加速,测掉硬币或让环境插手,它就退回经典随机漫步。
本节自测 · 3 题
未作答
01离散时间量子漫步里,如果把硬币比特在每一步之后都测一次,结果会变成什么?
解析 · 硬币的值一旦被测出来,方向就成了一次经典掷硬币,路径之间不再保留相位关系,振幅没法相长或相消,扩散退回 √t。速度不会只慢一点,更不会变成指数级;停住不动也不对,位置仍在随机挪动。
02连续时间量子漫步与离散时间版本的主要区别是什么?
解析 · 连续时间版本把「走一步」换成 ,H 通常取邻接矩阵或拉普拉斯量,硬币这个额外自由度就不需要了。它仍然靠干涉扩散,也可以走任意图;若不断测量位置,反而会破坏相干、退化成经典扩散。
03「量子漫步的宽度按 t 增长,所以任何图上的搜索都能跟着加速」,这句话的问题在哪?
解析 · 弹道扩散是真的,但它不自动等于算法加速:答案得能被编码进位置分布,图要能高效写进量子态,相干要维持到读出为止。已知的加速都来自具体结构,例如元素区分的 ,很多问题只拿到多项式级甚至没有提升,所以另外三项都不对。