Skip to content

振幅放大

Amplitude amplification · Quantum amplitude amplification

用状态制备及其逆与两次选择性反射,将任意过程的成功振幅按二维旋转规律放大。

条目类型
方法

形式陈述 ​

设 unitary A 在零态上制备

A|0⟩=a|ψG⟩+1−a|ψB⟩=sin⁡θ|ψG⟩+cos⁡θ|ψB⟩,

其中 sin2⁡θ=a,good 与 bad 子空间正交。定义选择性反射

SG=I−2ΠG,S0=I−2|0⟩⟨0|,

以及

Q=−AS0A†SG.

Q 保持 good/bad 两个归一化投影张成的平面,并每次旋转 2θ。因此

QrA|0⟩=sin⁡((2r+1)θ)|ψG⟩+cos⁡((2r+1)θ)|ψB⟩.

上面的两个归一化投影在 0<a<1 时定义;a=0 或 a=1 应分别直接处理。若 a>0 已知,选择非负整数 r,使 (2r+1)θ 尽量接近 π/2。当 a≤1/2 时,取整造成的角度误差至多 θ,成功率至少为 cos2⁡θ=1−a≥1/2;若 a>1/2,直接运行 A 已有常数成功率。因此普通反射保证的是常数成功率,不能对所有 a 都声称任意接近一。使用调相的最后一次反射可在已知角度时精确落入 good 子空间。该框架从Grover 搜索抽出 A 与 good 判定,不要求初态均匀。

查询账必须包含逆过程。若 A 用 q 次输入 oracle、实现 SG 用 c 次,则初次制备加 r 轮的成本为

(2r+1)q+rc,

因为每轮都含一次 A† 与一次 A。Boolean bit oracle 自逆只说明逆向调用可实现,不说明其查询免费。

直觉

经典重试把成功概率从 a 提升到常数需要约 1/a 次独立运行;振幅放大不测量每次尝试,而让失败与成功分量保持相干,在二维平面中每轮推进约 2a 的角度,故只需约 1/a 轮。

核心资源不只是“能运行 A”,还包括能逆向运行 A†、能相干识别 good 子空间并反射、以及能重新反射 |0⟩。缺少任何一项,都不能直接写出 Q,平方根提升也不是黑盒重试自动附带的性质。

振幅放大示意图
例子与边界

设原过程成功率 a=1/16,于是 sin⁡θ=1/4。做两轮后 good 振幅为

sin⁡(5θ)=16(14)5−20(14)3+5(14)=6164.

成功率从 1/16 提升到

(6164)2=37214096>0.90.

若 A 用一次查询且 good 反射不读输入,这条轨迹总计 (2⋅2+1)⋅1=5 次查询;把两轮只记成两次会漏掉 A† 与重新制备。

当 a 未知时,固定 r 可能越过成功方向。例如 a=1/4 时 θ=π/6,一轮后的成功率为 1,两轮却降回 1/4;迭代次数增加不意味着成功率单调增加。Boyer–Brassard–Høyer–Tapp 的策略逐渐扩大上界并在区间中随机选迭代次数,在 a>0 时取得期望 O(1/a) 次调用;它不是一个对所有 a 同时最优的固定角度。

若 a=0,初态在 good 子空间没有分量,上述特定迭代 Q 不会产生该分量。这并非说任何 unitary 都做不到:另一个知道成功态的制备过程当然可以改变它。限制在于只复用给定的 A 与两次反射。要保证无解时终止,仍需另有可验证停止界;期望调用界也不能直接充当有界误差模型的每分支硬上限。

噪声或不可逆子程序也是失效边界。把含测量、丢弃或随机环境的过程直接称为 A,一般没有可调用的 A†;必须先给出 coherent dilation,并把清理 workspace 的代价计入。

推论与应用

振幅放大把“能以小概率产生见证”的 coherent 算法转为平方根级查询上界,也为量子计数提供 Grover iterate 的特征相位。后者不把振幅推到一,而是估计旋转角以恢复原成功概率。

已知与未知 a 的口径决定算法类型:已知值可选确定迭代数和精确调相;未知值需随机 schedule、phase estimation 或 fixed-point 版本,并支付不同常数与误差依赖。把这些版本混成同一个查询公式会隐藏真实前提。

参考资料
  • Gilles Brassard, Peter Høyer, Michele Mosca, and Alain Tapp, “Quantum Amplitude Amplification and Estimation,” Contemporary Mathematics 305, 2002, pp. 53–74,振幅旋转与已知、未知成功概率的区别。
  • Michel Boyer, Gilles Brassard, Peter Høyer, and Alain Tapp, “Tight Bounds on Quantum Searching,” Fortschritte der Physik 46, 1998, pp. 493–505.
  • Lov K. Grover, “A Fast Quantum Mechanical Algorithm for Database Search,” Proceedings of STOC 1996, pp. 212–219.
关系图谱6 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系

被这些条目使用