量子查询中的相位 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$ 后得到

它与原来的 $|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$。只有黑盒规格同时授权受控 $P_x$，或另给已知 $x_0=0$ 的参考索引并核算归约查询，才可反向恢复 bit oracle。

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

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

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