第 10 课 · 相位估计 · 模块二:算法主线

第三段:相位读出——整数情形必得 $|\phi\rangle$

  • 命题框:$p_y = (1/N^2)\cdot|\sum_{x=0}^{N-1} \omega^{x(\phi-y)}|^2$
  • 推导步骤(逐行,等号对齐感):
    1. 代入定义:$F_N^*\cdot(1/\sqrt{N})\sum_z \omega^{\phi z}|z\rangle = (1/N)\sum_x\sum_y\sum_z \omega^{\phi z-xy}|y\rangle\langle x|z\rangle$
    2. 收缩:$\langle x|z\rangle = \delta_{xz}$ → 令 $z = x$
    3. 合并指数:$\phi x - xy = x(\phi-y)$ → 输出 $= \sum_y[(1/N)\sum_x \omega^{x(\phi-y)}]|y\rangle$
    4. 相长:$y = \phi$ 时每项 $\omega^0 = 1$ → $p_{y=\phi} = (1/N^2)\cdot N^2 = 1$
    5. 相消:$y \ne \phi$ 时几何级数(第 6 页恒等式)为 0 → $p_{y\ne\phi} = 0$
  • 演算($n = 3$、$N = 8$、$\phi = 3$):$p_3 = (1/64)\cdot|\sum_{x=0}^{7} 1|^2 = 64/64 = 1$;$y = 4$ 时 $\sum_x \omega^{-x} = (\omega^{-8}-1)/(\omega^{-1}-1) = 0$ → $p_4 = 0$
  • 结果框:输出态 = $|\phi\rangle$(除第 $\phi$ 分量外全零);前置 $1/N$ 来自两处 $1/\sqrt{N}$(Hadamard 层 $\times$ iQFT 矩阵元)——幺正保范数,概率和必为 1
类型definition-derivation(重点页,占满)