为什么只有平方根加速:Grover II 的干涉配平

先备导航:你需要 033(Grover 的两拍摇法)、016(干涉与交叉项)、013(振幅)、012(状态球)。 下一篇预告:035《周期藏在黑箱里:Simon 算法》。

目录
  1. 为什么只有平方根加速:Grover II 的干涉配平
  2. 先看一幅小得惊人的画
  3. 极限那一边:为什么谁都快不过
  4. 加速幅度的谱系:承诺换速度
  5. 把类比拆掉
  6. 带走的行李
先备导航:你需要 033(Grover 的两拍摇法)、016(干涉与交叉项)、013(振幅)、012(状态球)。
下一篇预告:035《周期藏在黑箱里:Simon 算法》。

为什么只有平方根加速:Grover II 的干涉配平

从硬币到纠错 · 量子计算专栏 034 为什么只有平方根加速:Grover II 的干涉配平 为什么只有平方根加速 → 核心算法 I

上篇留了两笔账:摇一次长 2/√N,摇 (π/4)√N 次近乎必中;以及一句悬置的断言——√N 是物理极限,谁也快不过它。

本篇把这两笔账结清。它们其实是同一件事:每次黑箱调用能注入的"干涉预算"是固定的,而这份预算由账本的本底浓度决定。标题里"配平"二字,说的就是这笔账。

先看一幅小得惊人的画

Grover 在百万维的账本上跳来跳去,但你把每一支箭头投影到两个方向上——"钥匙方向"与"其余均匀混合方向"——会发现整场戏发生在一副二维平面里:态是两支成分的合成(钥匙成分 + 均匀成分),摇一次,这个二维态就转一个角度。

转多少?由起点的"浓度"决定:均匀叠加里含钥匙的成分是 1/√N(013 篇:振幅 1/√N,概率 1/N),几何上这对应一个很小的角度 θ,满足 sin θ = 1/√N。摇一次 = 转 2θ。要转到"纯钥匙"方向(转过约 90 度),需要转的次数就是:

(90 度 ÷ 2θ) ≈ (π/4)·√N

看清楚这里的因果链:每步能转的角度(2θ),被起点浓度(1/√N)锁死。钥匙在一百万抽屉里只占百万分之一——你的出发点里,目标成分只有千分之一(1/√1000 的振幅);以这么"稀"的起点为轴心,每次摇能撬动的角度就那么大。不是 Grover 设计得不够狠,是出发点太稀释。

这也顺手解释了上篇的"摇过头会回落":二维画面里就是转过了头——越过"纯钥匙"方向继续转,振幅自然掉头向下。停点 (π/4)√N 在这幅画里就是"转到正对钥匙"的那一步。

极限那一边:为什么谁都快不过

"Grover 自己只能 √N"和"谁都只能 √N"是两句话,第二句才值钱。数学上这有严格定理(用多项式方法证明,细节超出本专栏,结论直接给出):任何量子算法解无结构搜索,t 次黑箱调用之后,任何一格的振幅只能随 t 线性地增长——从 1/√N 的起点起步,每调用一次,增长量级不超过 1/√N。要爬到 1,t 至少 √N 量级。

定理为什么长这样?给一个不严格的直觉,但它抓住了要害:

黑箱调用本身不搬运振幅。031/033 篇见过:拍一(标记)只给箭头翻相位——016 篇反复强调,相位不改概率;真正搬运振幅的是拍二那类干涉操作。而干涉要干活,必须以账本的平均(本底)为参照——拍二的"绕平均反射"就是明证。可本底里目标的浓度是 1/√N:你每调用一次黑箱,等于从一份稀释 1/√N 的原液里提纯一次,每次提纯的份额被稀释度锁死。要提纯出一整份,就得 √N 次。Grover 把这份"每调用 2/√N"的预算用到了满额——极限与实现,在同一个数字上握手。

顺带一笔总账守恒的确认:目标振幅涨,靠的是其余格子摊薄(016 篇:平方和永远为 1)。加速不是无中生有,是把"均匀"这座山削下来填一座峰。山有多少土,峰就有多高——这也是"配平"二字的字面义。

加速幅度的谱系:承诺换速度

现在把批四前四篇排成一列,看一个此前没人点破的规律:

  • DJ(031):承诺极强(黑箱非常数即平衡)→ 加速 2 倍(两次对一次);
  • BV(032):承诺强(黑箱必须是内积计数器)→ 加速 n 倍(n 次对一次);
  • Grover(033/034):承诺最弱(任意黑箱、任意标记)→ 加速 √N 倍。
承诺越强,加速越大;问题越一般,加速越保守。这条谱系规律是本批的隐形主轴:BV 的"n 次对一次"听着风光,代价是黑箱必须恰好是那个特殊函数;Grover 对任何黑箱都管用,代价是只有平方根。天下没有既"万能"又"狂暴"的加速——干涉的预算就那么多,花在哪、撬多大,全看你愿意预先承诺多少。

按这条规律往前看,接下来的两篇(035 Simon、036 QFT)要引入的承诺比内积计数器更强、也更"自然"——周期性。自然界真的满是周期(晶格、信号、日历),于是量子算法第一次挣到指数级加速,Shor 顺势登场(037)。

把类比拆掉

"原液提纯"类比借了哪里:

  • 不像之一:化工提纯的每次过滤耗时固定,多花时间多过滤几遍即可;量子的"调用次数"是计费单位——定理封顶的是单位调用的收益,不能靠"多花时间"绕过,只能接受 √N。
  • 不像之二:提纯可以换工艺(蒸馏、萃取、膜分离);量子侧的"工艺自由度"已被定理覆盖——任何用黑箱的方式都在封顶之列。类比只负责"稀释锁速率"这一个直觉。

带走的行李

1. √N 的来源是一笔几何账:全戏在二维平面里转,每步转角 2θ 由起点浓度决定(sin θ = 1/√N)——起点太稀,步幅就小;停点 (π/4)√N 即"转到正对钥匙"。 2. √N 是普适极限:黑箱调用只翻相位(不搬振幅),搬振幅的干涉以本底为参照,而本底浓度 1/√N 锁死了每次调用的提纯份额——Grover 恰好用满预算。 3. 谱系规律:承诺越强加速越大(DJ 2 倍 → BV n 倍 → Grover √N);下一个更强的承诺是"周期性",它将换来指数加速。

下一站的钩子:BV 的黑箱里藏着一串比特,一次听完;要是黑箱藏着的是一个周期——某个隐藏的节拍,x 和 x+s 的答案永远相同——量子能把它敲出来吗?能,而且正是这一步,把"黑箱游戏"接上了"破解密码"的人间。035《周期藏在黑箱里:Simon 算法》。

#量子计算 #从硬币到纠错 #Grover算法 #加速极限

暂无表态

想参与讨论或点赞?登录后使用完整功能

讨论回复(0)

暂无回复,登录后可参与讨论
合作

智谱 GLM-5 已上线

在智谱开放平台 BigModel.cn 打造 AI 应用。新一代旗舰模型 GLM-5 在推理、代码、智能体综合能力达到开源模型 SOTA。

领取 2000万 Tokens