预言机 · 把经典函数变成量子黑箱

预言机 · 把经典函数变成量子黑箱

那几个著名的量子算法（Deutsch-Jozsa、Grover、Shor），都要研究一个经典函数 $f(x)$——判断它的性质、或找它的某个特殊输入。可量子门都是幺正矩阵，而一个普通的经典函数未必可逆。怎么把 $f$ 塞进量子线路，还能作用在叠加上？靠一个叫预言机(oracle) 的构造。这是所有量子算法的公共前置，值得单独讲清。

可逆化：标准构造

一个函数 $f(x)$ 直接算 $\ket{x}\to\ket{f(x)}$ 可能不可逆（比如 $f$ 把多个输入映到同一个输出，信息就丢了，而量子演化不许丢信息）。标准解法：加一个「输出寄存器」，用异或写入，让整个操作可逆：

$$U_f\,\ket{x}\ket{y} = \ket{x}\ket{y \oplus f(x)}$$

$\oplus$ 是异或。输入 $\ket{x}$ 原样保留，$f(x)$ 被异或进输出寄存器 $\ket{y}$。这个操作一定可逆（再作用一次 $U_f$ 就变回去了，因为 $y\oplus f(x)\oplus f(x)=y$），所以是合法的量子门。这就是把任意经典函数「量子化」的通用配方。

关键魔术：相位反冲

上面的「比特写入」还不够好用——量子算法真正想要的，往往是把 $f(x)$ 变成一个相位($(-1)^{f(x)}$)，因为相位能干涉。有个精巧的技巧能做到，叫相位反冲(phase kickback)，是量子算法里最该掌握的一招。

诀窍：把输出寄存器 $\ket{y}$ 预置成 $\ket{-}=\frac{1}{\sqrt2}(\ket0-\ket1)$，再作用 $U_f$。算一下会发生什么：

$$U_f\,\ket{x}\ket{-} = \ket{x}\cdot\frac{1}{\sqrt2}\big(\ket{0\oplus f(x)} - \ket{1\oplus f(x)}\big) = (-1)^{f(x)}\,\ket{x}\ket{-}$$

作用在叠加上：一次「盖章」盖所有

现在把相位预言机作用在所有输入的均匀叠加上（用 $n$ 个 H 门造出来），神奇的事发生了：

$$U_f\left(\frac{1}{\sqrt{2^n}}\sum_{x} \ket{x}\right) = \frac{1}{\sqrt{2^n}}\sum_{x} (-1)^{f(x)}\,\ket{x}$$

一次调用，就给所有 $2^n$ 个输入项各自盖上了 $(-1)^{f(x)}$ 的相位。 那些 $f(x)=1$ 的项被标上了负号，$f(x)=0$ 的项保持正号。注意——这不是「同时算出所有 $f(x)$ 并读出来」（测量只能得一个），而是把 $f$ 的信息编码进了相位结构里。接下来算法的任务，就是用干涉把这些相位「翻译」成一个能测出来的答案。

小结与下一章

预言机是把经典函数 $f$ 塞进量子线路的通用构造：用异或写入 $\ket{x}\ket{y}\to\ket{x}\ket{y\oplus f(x)}$ 保证可逆；再用相位反冲（输出寄存器置 $\ket{-}$）把它变成往输入盖 $(-1)^{f(x)}$ 相位的印章。作用在均匀叠加上，一次就给所有输入编码了相位——接下来靠干涉把它变成答案。

理论备齐，来看第一个真正的量子算法，也是历史上第一个证明「量子能指数级超越经典」的例子。它用的正是「H → 预言机 → H」这个你已经在两次 H 实验里见过内核的干涉套路。👉 Deutsch-Jozsa：一次查询判定性质。

参考文献

• [1] Qiskit 官方文档.「Oracles and phase kickback.」https://learning.quantum.ibm.com —— 预言机与相位反冲。
• [2] Nielsen & Chuang.《Quantum Computation and Quantum Information》， §6.1 —— 预言机与量子查询模型。
• [3] Michael Nielsen.「Quantum Computing for the Very Curious.」https://quantum.country —— 相位反冲直觉。