第 11 课 · Simon 算法与 Abel 隐藏子群——统一视角 · 模块二:算法主线

量子三步走:叠加、查询、孪生态

  • 命题框:电路 = $H^{\otimes n}$ → $U_f$ → $H^{\otimes n}$ → 测量;$U_f|x\rangle|0\rangle = |x\rangle|f(x)\rangle$(一次调用记一次查询)
  • 推导步骤(逐行,态演化):
    1. Step 1 叠加:$|\psi_1\rangle = H^{\otimes n}|0\ldots 0\rangle\cdot|0\ldots 0\rangle = (1/\sqrt{2^n})\cdot\sum_x|x\rangle|0\rangle$
    2. Step 2 一次查询:$|\psi_2\rangle = (1/\sqrt{2^n})\cdot\sum_x|x\rangle|f(x)\rangle$——叠加原理把全部 $2^n$ 个函数值同时写入寄存器
    3. 按输出值 $u$ 重排:每个 $u$ 恰有两个原像 $x_u$、$x_u\oplus s$ → $|\psi_2\rangle = (1/\sqrt{2^{n-1}})\cdot\sum_u[(|x_u\rangle+|x_u\oplus s\rangle)/\sqrt{2}]\cdot|u\rangle$
    4. 归一化验证:每个 $u$ 项模方 $= (1/2^{n-1})\cdot(1/2)\cdot 2 = 1/2^{n-1}$,对 $2^{n-1}$ 个 $u$ 求和 = 1 ✓
  • 演算(教材 §7.1 实例):$n=2$、$s=11$ → $|\psi_2\rangle = (1/\sqrt{2})\cdot[(|00\rangle+|11\rangle)/\sqrt{2}\cdot|u_0\rangle + (|01\rangle+|10\rangle)/\sqrt{2}\cdot|u_1\rangle]$;测输出寄存器得任一孪生态的概率各 $1/2$
  • 结果框:孪生态 $(1/\sqrt{2})\cdot(|x_u\rangle+|x_u\oplus s\rangle)$——只要不测输出寄存器,$s$ 已以"成对叠加"的形式留在数据寄存器
类型definition-derivation