无关输入态的振幅放大

形式陈述

令 $W$ 是作用于辅助和数据的已知酉电路，定义辅助零子空间的正交投影

\Pi=|0^a\rangle\langle0^a|\otimes I, \qquad R=I-2\Pi.

假设对每一个数据态 $|\psi\rangle$ ，辅助零分支满足

(\langle0^a|\otimes I)W(|0^a\rangle\otimes I)=U/2, \qquad U^\dagger U=I. \tag{1}

则下列只用辅助反射的电路

\mathcal A=-WRW^\dagger RW \tag{2}

满足

\mathcal A(|0^a\rangle|\psi\rangle)=|0^a\rangle U|\psi\rangle.

整体负号是已知整体相位，可按需要实现或忽略；若后续加控制，则应保留相位约定。式 (2) 使用两次 $W$ 、一次 $W^\dagger$ 和两次辅助零反射，不需要关于未知 $|\psi\rangle$ 的反射。[1, Lemma 3.6]

这是oblivious amplitude amplification的一个精确特例。与通常振幅放大相比，成功振幅在整个数据子空间上统一，且成功块是缩放后的酉；这项条件让单个辅助反射同时服务所有输入。

直觉

普通振幅放大围绕一条已知制备态做几何旋转；如果数据是别人交来的一份未知量子态，就没有它的经典描述来制造那面反射镜。

这里换成一整片已知子空间：辅助全零，数据任意。只要 $W$ 对这片空间中每个方向都以相同幅度实现同一个酉 $U$ ，就可以用同一套辅助镜面同步放大所有方向，而不触碰数据的未知振幅。

未知数据线始终不需专门反射，辅助零子空间的两次反射与W、W逆、W交替；当成功块为U/2时，三次调用把成功振幅变成1。

例子与边界

用投影代数直接证明一步精确放大

把 $B=\Pi W\Pi$ 视为 $\operatorname{im}\Pi$ 上的块。展开式 (2)：

\begin{aligned} \mathcal A &=-W(I-2\Pi)W^\dagger(I-2\Pi)W\\ &=-W+2W\Pi+2\Pi W-4W\Pi W^\dagger\Pi W. \end{aligned}

两侧再乘 $\Pi$ ，得到

\Pi\mathcal A\Pi=3B-4BB^\dagger B. \tag{3}

由假设 $B=U/2$ ，且 $UU^\dagger U=U$ ，右侧为

\frac32U-4\cdot\frac18U=U.

因此对任何归一化输入，成功投影的范数已经为1。 $\mathcal A$ 本身酉，总范数也是1，所以正交的失败分量必须为零。这一步才把“成功块正确”提升为整个输出确定正确。

同一算子恒等式张量上外部参考仍成立，因此数据原先与参考纠缠也不影响结论。

二维旋转解释为什么选二分之一

若成功块更一般地为 $\sin\theta\,U$ ，则对应成功/失败二维平面中的一次放大把振幅变为 $\sin3\theta$ ；连续 $\ell$ 次为 $\sin((2\ell+1)\theta)$ 。[1]

当 $\sin\theta=1/2$ 时， $\theta=\pi/6$ ，一次正好转到 $\sin3\theta=1$ 。如果成功幅度不是这个已知数，重复同一序列可能过旋转；不能只因为初始成功概率是常数，就宣称式 (2) 总是精确成功。

LCU常生成一个近似酉的子程序块，所以这种方法特别适合把若干模拟片段接起来。它避免每个片段都测量失败后再恢复未知数据，但前提仍是对整个数据空间的统一块条件。

非酉矩阵会被改成另一个奇异值函数

令目标 $A=\operatorname{diag}(1,1/2)$ ，假设 $W$ 的成功块为 $B=A/2=\operatorname{diag}(1/2,1/4)$ 。式 (3) 给

3B-4BB^\dagger B =\operatorname{diag}(1,11/16).

这不是 $A$ ，也不是 $A$ 的统一标量倍数。对输入 $|+\rangle$ ，正确的归一化 $A$ 输出应是 $(2|0\rangle+|1\rangle)/\sqrt5$ ；该放大序列的成功态却为

\frac{16|0\rangle+11|1\rangle}{\sqrt{377}},

成功概率为 $377/512$ 。对 $|0\rangle$ 的成功率为1，对 $|1\rangle$ 则为 $121/256$ ，根本没有统一旋转角。

代数上，式 (3) 对每个奇异值 $\sigma$ 施 $3\sigma-4\sigma^3$ 。酉特例的全部奇异值相等，才使它们同步到达1；一般非酉矩阵不同方向会受到不同改写。

推论与应用

近似酉时需要写出误差接口

用算子范数量误差，设实际成功块为 $V/2$ ，并有某个酉 $U$ 满足 $0\le\|V-U\|\le\delta\le1$ 。由 $\|V\|\le2$ 及逐因子替换，

\|VV^\dagger V-U\|\le(4+2+1)\delta=7\delta.

于是放大后的成功块满足

\left\|\frac32V-\frac12VV^\dagger V-U\right\|\le5\delta.

若 $5\delta<1$ ，成功概率至少 $(1-5\delta)^2$ ；条件输出与理想 $U|\psi\rangle$ 的向量距离可保守界为 $10\delta/(1-5\delta)$ 。这只是一个便于核算的稳健界，不是最优常数；整个酉输出的泄漏还需另算，不能把成功块误差直接当作完整酉误差。

如果 $W,W^\dagger$ 和反射本身也由近似门实现，还要把这些误差加入式 (2) 的逐门预算。尤其逆调用必须对应实际可用的电路或oracle，不能由一次成功态样本自动获得。

资源界的准确含义

一次精确特例消耗三个子程序调用和两个辅助反射。关于 $|0^a\rangle$ 的反射可以用多控制相位门构造，其代价依赖辅助位数 $a$ ；并不是在物理门模型里永远为1。

输入未知不妨碍式 (2)，但不能把它解释成“任意未知非酉变换都能确定实现”。它提供的是一个专用接口：当所有方向的成功幅度相同且目标酉时，利用已知辅助子空间完成放大。更一般的奇异值响应由量子奇异值变换系统处理。

参考资料

[1] Dominic W. Berry, Andrew M. Childs, Richard Cleve, Robin Kothari and Rolando D. Somma, Exponential Improvement in Precision for Simulating Sparse Hamiltonians, §3，Lemmas 3.6–3.7：辅助子空间反射与统一二维旋转。本页用投影展开独立证明成功幅度 $1/2$ 的一步特例及非酉反例。

形式陈述 ​

用投影代数直接证明一步精确放大 ​

二维旋转解释为什么选二分之一 ​

非酉矩阵会被改成另一个奇异值函数 ​

近似酉时需要写出误差接口 ​