量子查询中的相位 Oracle

Bit oracle 把答案写进可翻转的寄存器，相位 oracle 则让答案只表现为正负号。相位本身不可直接观察，却能让不同索引分支在 Hadamard、反射或 quantum walk 中干涉。Phase kickback 的要点是 $|-⟩$ 是 Pauli $X$ 的特征态：条件翻转 $X^{x_i}$ 不改变 ancilla，只把特征值 $(-1{)}^{x_i}$ 踢回索引分支。

受控版本保留了“是否施加输入相位”的参考分支，因而能用 $H$ 把相位差重新变成 answer bit。普通 targetless 黑盒只承诺 $D_x$，并不自动允许构造 controlled-$D_x$；把“控制未知 unitary”当作免费门，会偷偷增强 oracle。

取 $x=(1,0)$，索引初态为

令控制位 $b=1$，一次 $P_x$ 后得到

由纯态的内积与相对相位理路量子纯态Quantum pure state · Pure quantum state · 纯态量子纯态由复内积空间的单位向量表示，忽略整体相位；量子比特的纯态是二维情形，一般混态则用密度算子描述。可见，它与原来的 $|s⟩$ 正交；在 $\{|1⟩\pm |2⟩\}$ 基测量即可发现两坐标值不同。若 $x=(1,1)$，输出只是 $-|s⟩$，整体相位不能被单独测出，但它相对于 $b=0$ 参考分支仍可观测。

这个整体相位给出真实失效边界。若 $n=1$ 且只提供 targetless $D_x|1⟩=(-1{)}^{x_1}|1⟩$，$x_1=0$ 与 $x_1=1$ 的输出仅差整体负号，任何测量都不能区分；标准 bit oracle 却可查询回答位并读出 $x_1$。一般地，对按位补串 $\overline{x}$ 有 $D_{\overline{x}}=-D_x$，固定 $T$ 次调用的整个计算只多出整体因子 $(-1{)}^T$，因此再多调用也不能消除这类歧义。

若另给已知 $x_0=0$ 的参考索引，则可在控制位为 $0$ 时把实际索引暂存到辅助寄存器，并把 oracle 的索引换成 $0$；控制位为 $1$ 时照常查询 $i$。调用一次 $D_x$ 后恢复索引，就实现 $P_x$。所有交换都与输入无关，故只计一次查询。这说明补充参考项为什么足够，也说明它确实改变了黑盒接口。

相位 convention 也必须固定。把 $\{0,1\}$ 编码成 $\{\pm 1\}$ 时，$(-1{)}^{x_i}$ 与输入符号可能相同或相反；Grover 中“marked 得负号”的定义若翻转，只会改变可控整体符号，但在多 oracle 组合中不能中途换 convention。

Deutsch–Jozsa、Grover 和 amplitude amplification 通常直接写 $D_x$，因为它让干涉几何最清楚。只要底层是上述 bit oracle，$|-⟩$ ancilla 归约表明每次相位调用仍恰计一次输入查询，不能因 answer qubit 最后被丢弃就记作零成本。

量子相位估计理路量子相位估计Quantum phase estimation · QPE用受控酉幂将特征相位写入控制寄存器，再以逆 Fourier 变换读出，推导精确情形、有限概率分布与实际查询成本。把同一机制推广到一般特征值 $e^{2\pi i\phi }$：目标保持在特征态，受控幂在控制寄存器积累相位，再由逆 Fourier 变换读出。其前提明确包含受控酉访问；本页的 targetless 整体相位歧义正说明这个前提不能省略。

反向移植算法时要查看接口，而不是只看论文中 “phase oracle” 四字。受控相位、targetless 相位、带已知参考项的相位以及能否调用逆 oracle 是不同能力；这里的等价仅覆盖已经逐项写明的受控布尔 phase 接口。