Skip to content

方法Method

振幅放大

Amplitude amplification · Quantum amplitude amplification

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

形式陈述 ​

在非零有限维状态空间上,给定可调用的酉制备电路 A 及其逆 A†,并以正交投影 ΠG 指定成功子空间,失败子空间为其正交补。设 A 在零态上制备

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

其中取 θ=arcsin⁡a∈[0,π/2],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 已有常数成功率。因此普通反射给出常数成功率保证。

如果还可实现所需角度的选择性相位 SG(φ)=I+(eiφ−1)ΠG 和 S0(ϕ)=I+(eiϕ−1)|0⟩⟨0|,已知成功率时可按匹配相位修正最后一轮,精确落入 good 子空间。[1, §2.1] 这额外使用了可调相位操作,不能仅由一个无控制的固定符号反射黑盒推出。Grover 搜索是 A 制备均匀态的情形;本框架允许一般初态。

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

(2r+1)q+rc,

因为每轮都含一次 A† 与一次 A。Boolean bit oracle自逆,因此逆向执行 A† 时,每个 oracle 门仍按一次调用计费。

直觉

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

构造 Q 需要三项操作配合:可逆的状态制备 A,对 good 子空间的相干反射,以及对零态的反射。这样,算法才能反复改变成功与失败分量的相对振幅,同时保留干涉所需的相位关系。

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

设原过程成功率 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;迭代次数增加不意味着成功率单调增加。逐渐扩大上界并在区间中随机选迭代次数,可在 a>0 时取得期望 O(1/a) 次制备及逆调用;这种发现成功即停止的策略还要求能测量并识别成功,例如有可读的成功标志或可验证候选。[1, Theorem 3] 仅能调用相位反射,却没有识别成功的测量或验证方式,不足以实现这个停止规则。它不是一个对所有 a 同时最优的固定角度。

若 a=0,初态在 good 子空间没有分量,上述特定迭代 Q 不会产生该分量。要保证无解时终止,仍需另有可验证停止界;期望调用界也不能直接充当有界误差模型的每分支硬上限。

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

酉算子的线性组合给出具体的相干后选子程序,但其成功率一般依赖输入。若成功块恰为同一个酉算子的已知标量倍数,无视输入的振幅放大可只反射辅助子空间,无需反射未知数据态;一般非酉成功块则会按 B↦3B−4BB†B 改变奇异值,不能只把它理解为统一提高成功率。

推论与应用

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

已知与未知 a 的口径决定算法类型:已知值可选确定迭代数和精确调相;未知值需随机 schedule、phase estimation 或 fixed-point 版本,并支付不同常数与误差依赖。各版本的查询界应与成功概率的已知信息及所需误差一起报告。

参考资料
  • [1] Gilles Brassard, Peter Høyer, Michele Mosca, and Alain Tapp, “Quantum Amplitude Amplification and Estimation,” Contemporary Mathematics 305, 2002, pp. 53–74;所链作者稿 §2 的二维旋转、Theorem 3 的成功验证与期望停止,以及 §2.1 Theorem 4 和式 (10) 的已知成功率精确方案。
  • 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.
关系图谱16 个相邻概念 · 3 类关系

拖动节点调整位置。

显示关系

显示:依赖

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

上位 / 更一般

暂未标注直接上位概念。

下位 / 直接特例

类型化关系