形式陈述
在非零有限维状态空间上,给定可调用的酉制备电路公理库量子电路Quantum circuit用固定寄存器上的酉门、测量和经典控制表示有限量子操作序列,并明确基顺序、矩阵乘法与测后更新。 及其逆 ,并以正交投影公理库正交投影Orthogonal projection把向量映到子空间上最近点并使误差与子空间正交的线性算子。 指定成功子空间,失败子空间为其正交补。设 在零态上制备
其中取 ,good 与 bad 子空间正交。迭代还要求能相干实现以下选择性反射,具体调用成本在下文分别计入:
以及
保持 good/bad 两个归一化投影张成的平面,并每次旋转 。因此
上面的两个归一化投影在 时定义; 或 应分别直接处理。若 已知,选择非负整数 ,使 尽量接近 。当 时,取整造成的角度误差至多 ,成功率至少为 ;若 ,直接运行 已有常数成功率。因此普通反射给出常数成功率保证。
如果还可实现所需角度的选择性相位 和 ,已知成功率时可按匹配相位修正最后一轮,精确落入 good 子空间。[1, §2.1] 这额外使用了可调相位操作,不能仅由一个无控制的固定符号反射黑盒推出。Grover 搜索公理库Grover 搜索查询复杂度Grover search query complexity · Unstructured quantum search以二维振幅旋转在无结构空间寻找标记项,并由 BBBV 下界刻画其平方根查询复杂度最优性。是 制备均匀态的情形;本框架允许一般初态。
查询账必须包含逆过程。若 用 次输入 oracle、实现 用 次,则初次制备加 轮的成本为
因为每轮都含一次 与一次 。Boolean bit oracle公理库量子查询模型Quantum query model · Quantum black-box model将输入封装为可在叠加索引上相干调用的 oracle,并只计输入相关调用次数的有限维量子黑盒模型。自逆,因此逆向执行 时,每个 oracle 门仍按一次调用计费。
直觉
经典重试把成功概率从 提升到常数需要约 次独立运行;振幅放大不测量每次尝试,而让失败与成功分量保持相干,在二维平面中每轮推进约 的角度,故只需约 轮。
构造 需要三项操作配合:可逆的状态制备 ,对 good 子空间的相干反射,以及对零态的反射。这样,算法才能反复改变成功与失败分量的相对振幅,同时保留干涉所需的相位关系。
振幅放大示意图
例子与边界
设原过程成功率 ,于是 。做两轮后 good 振幅为
成功率从 提升到
若 用一次查询且 good 反射不读输入,这条轨迹总计 次查询;把两轮只记成两次会漏掉 与重新制备。
当 未知时,固定 可能越过成功方向。例如 时 ,一轮后的成功率为 ,两轮却降回 ;迭代次数增加不意味着成功率单调增加。逐渐扩大上界并在区间中随机选迭代次数,可在 时取得期望 次制备及逆调用;这种发现成功即停止的策略还要求能测量并识别成功,例如有可读的成功标志或可验证候选。[1, Theorem 3] 仅能调用相位反射,却没有识别成功的测量或验证方式,不足以实现这个停止规则。它不是一个对所有 同时最优的固定角度。
若 ,初态在 good 子空间没有分量,上述特定迭代 不会产生该分量。要保证无解时终止,仍需另有可验证停止界;期望调用界也不能直接充当有界误差模型的每分支硬上限。
噪声或不可逆子程序也是失效边界。把含测量、丢弃或随机环境的过程直接称为 ,一般没有可调用的 ;必须先给出 coherent dilation,并把清理 workspace 的代价计入。
酉算子的线性组合公理库酉算子的线性组合实现Linear combination of unitaries · LCU method用PREP、SELECT和逆制备把矩阵线性组合实现为辅助零分支,显式计算I加2Z的成功和失败输出,并把选择访问、相位和后选择成本纳入契约。给出具体的相干后选子程序,但其成功率一般依赖输入。若成功块恰为同一个酉算子的已知标量倍数,无视输入的振幅放大公理库无关输入态的振幅放大Oblivious amplitude amplification只反射辅助零子空间就放大未知数据上的统一酉作用,证明成功振幅二分之一时的一步精确恒等式,并用非酉反例展示奇异值失真。可只反射辅助子空间,无需反射未知数据态;一般非酉成功块则会按 改变奇异值,不能只把它理解为统一提高成功率。
推论与应用
振幅放大把“能以小概率产生见证”的 coherent 算法转为平方根级查询上界,也为量子计数公理库量子计数算法Quantum counting algorithm · Quantum approximate counting对 Grover iterate 做相位估计,将特征相位转换为标记比例并显式控制计数误差。提供 Grover iterate 的特征相位。后者不把振幅推到一,而是估计旋转角以恢复原成功概率。
已知与未知 的口径决定算法类型:已知值可选确定迭代数和精确调相;未知值需随机 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.