形式陈述
设 unitary 在零态上制备
其中 ,good 与 bad 子空间正交。定义选择性反射
以及
保持 good/bad 两个归一化投影张成的平面,并每次旋转 。因此
上面的两个归一化投影在 时定义; 或 应分别直接处理。若 已知,选择非负整数 ,使 尽量接近 。当 时,取整造成的角度误差至多 ,成功率至少为 ;若 ,直接运行 已有常数成功率。因此普通反射保证的是常数成功率,不能对所有 都声称任意接近一。使用调相的最后一次反射可在已知角度时精确落入 good 子空间。该框架从Grover 搜索公理库Grover 搜索查询复杂度Grover search query complexity · Unstructured quantum search以二维振幅旋转在无结构空间寻找标记项,并由 BBBV 下界刻画其平方根查询复杂度最优性。抽出 与 good 判定,不要求初态均匀。
查询账必须包含逆过程。若 用 次输入 oracle、实现 用 次,则初次制备加 轮的成本为
因为每轮都含一次 与一次 。Boolean bit oracle 自逆只说明逆向调用可实现,不说明其查询免费。
直觉
经典重试把成功概率从 提升到常数需要约 次独立运行;振幅放大不测量每次尝试,而让失败与成功分量保持相干,在二维平面中每轮推进约 的角度,故只需约 轮。
核心资源不只是“能运行 ”,还包括能逆向运行 、能相干识别 good 子空间并反射、以及能重新反射 。缺少任何一项,都不能直接写出 ,平方根提升也不是黑盒重试自动附带的性质。
振幅放大示意图
例子与边界
设原过程成功率 ,于是 。做两轮后 good 振幅为
成功率从 提升到
若 用一次查询且 good 反射不读输入,这条轨迹总计 次查询;把两轮只记成两次会漏掉 与重新制备。
当 未知时,固定 可能越过成功方向。例如 时 ,一轮后的成功率为 ,两轮却降回 ;迭代次数增加不意味着成功率单调增加。Boyer–Brassard–Høyer–Tapp 的策略逐渐扩大上界并在区间中随机选迭代次数,在 时取得期望 次调用;它不是一个对所有 同时最优的固定角度。
若 ,初态在 good 子空间没有分量,上述特定迭代 不会产生该分量。这并非说任何 unitary 都做不到:另一个知道成功态的制备过程当然可以改变它。限制在于只复用给定的 与两次反射。要保证无解时终止,仍需另有可验证停止界;期望调用界也不能直接充当有界误差模型的每分支硬上限。
噪声或不可逆子程序也是失效边界。把含测量、丢弃或随机环境的过程直接称为 ,一般没有可调用的 ;必须先给出 coherent dilation,并把清理 workspace 的代价计入。
推论与应用
振幅放大把“能以小概率产生见证”的 coherent 算法转为平方根级查询上界,也为量子计数公理库量子计数算法Quantum counting algorithm · Quantum approximate counting对 Grover iterate 做相位估计,将特征相位转换为标记比例并显式控制计数误差。提供 Grover iterate 的特征相位。后者不把振幅推到一,而是估计旋转角以恢复原成功概率。
已知与未知 的口径决定算法类型:已知值可选确定迭代数和精确调相;未知值需随机 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.