第 12 课 · Grover 搜索——几何、最优迭代与下界 · 模块二:算法主线

Grover 迭代 = 平面旋转(本课高潮一)

  • 命题框(Theorem 4):正交归一基 $\{|x_0\rangle, |x_0^\perp\rangle\}$ 下 $G = U_S U_O = \begin{bmatrix}-(1-2/N) & -2\sqrt{N-1}/N\\ 2\sqrt{N-1}/N & -(1-2/N)\end{bmatrix} = R(\pi-2\theta)$,$\theta = \arcsin(1/\sqrt{N})$
  • 推导步骤(逐行):
    1. $U_S$ 的作用(代入分解式与两个内积):$U_S|x_0\rangle = (2/N - 1)|x_0\rangle + (2\sqrt{N-1}/N)|x_0^\perp\rangle$;$U_S|x_0^\perp\rangle = (2\sqrt{N-1}/N)|x_0\rangle + (1 - 2/N)|x_0^\perp\rangle$
    2. $U_O$ 的作用:$U_O|x_0\rangle = |x_0\rangle$;$\langle x_0|x_0^\perp\rangle = 0$ → $U_O|x_0^\perp\rangle = -|x_0^\perp\rangle$
    3. 合成(先 $U_O$ 后 $U_S$),两个像的系数依次写成矩阵第 1、2 列 → 命题框矩阵
    4. 旋转形状验证:$(1-2/N)^2 + (2\sqrt{N-1}/N)^2 = 1 - 4/N + 4/N^2 + 4(N-1)/N^2 = 1$ ✓
    5. 倍角公式识别:$\cos 2\theta = 1 - 2\sin^2\theta = 1 - 2/N$;$\sin 2\theta = 2\sin\theta\cos\theta = 2\sqrt{N-1}/N$ → $G = \begin{bmatrix}-\cos 2\theta & -\sin 2\theta\\ \sin 2\theta & -\cos 2\theta\end{bmatrix} = R(\pi-2\theta)$
    6. 数值演算 $N = 4$:$1 - 2/4 = 1/2$、$2\sqrt{3}/4 = \sqrt{3}/2 \approx 0.866$ → $G = \begin{bmatrix}-1/2 & -\sqrt{3}/2\\ \sqrt{3}/2 & -1/2\end{bmatrix} = R(120^\circ)$,与 $\theta = 30^\circ$ 一致 ✓
  • 结果框:$G = R(\pi-2\theta) = -R(-2\theta)$,每迭代一次向目标推进 $2\theta$;几何本质:$U_O$、$U_S$ 是关于 $|x_0\rangle$、$|s\rangle$ 两轴的反射,两轴夹角 $\phi$ 满足 $\cos\phi = 1/\sqrt{N}$($\phi = \pi/2 - \theta$),反射复合 = 旋转 $2\phi = \pi - 2\theta$(与 QCQI §6.1.2 式 6.13–6.14 一致)
类型definition-derivation(重点页,占满)