第 16 课 · 块编码——SELECT/PREPARE 与三种构造 · 模块三:现代算法体系

构造一 LCU:PREP–SELECT–$\mathrm{PREP}^\dagger$ 三明治

  • 命题框:若 $A = \sum_{k=1}^{L} \alpha_k U_k$(酉的线性组合),则 $U_A = \mathrm{PREP}^\dagger\cdot\mathrm{SELECT}\cdot\mathrm{PREP}$ 是其块编码
  • 构造步骤:
    1. 归一化常数:$\lambda = \sum_k|\alpha_k|$(系数向量的 1-范数);辅助比特 $m_a = \lceil\log_2 L\rceil$
    2. PREP:$\mathrm{PREP}|0\rangle^{\otimes m_a} = |A\rangle = (1/\sqrt{\lambda}) \sum_k \sqrt{|\alpha_k|}\cdot|k\rangle$——振幅取平方根,模方后恰好按 $|\alpha_k|$ 称重
    3. SELECT:$\mathrm{SELECT} = \sum_k|k\rangle\langle k| \otimes \mathrm{sgn}(\alpha_k)\cdot U_k$——负号吸收进受控酉
    4. 演算(教材练习 2:$A = 3I + 4X$):$\lambda = |3| + |4| = 7$,$m_a = \lceil\log_2 2\rceil = 1$;$|A\rangle = \sqrt{3/7}|0\rangle + \sqrt{4/7}|1\rangle \approx 0.655|0\rangle + 0.756|1\rangle$;$\mathrm{SELECT} = |0\rangle\langle 0|\otimes I + |1\rangle\langle 1|\otimes X$
    5. 归一化验证:$|\sqrt{3/7}|^2 + |\sqrt{4/7}|^2 = 3/7 + 4/7 = 1$ ✓
  • 结果框:电路 = PREP → SELECT → $\mathrm{PREP}^\dagger$ 三明治;PREP 摊开分支、SELECT 按分支执行、$\mathrm{PREP}^\dagger$ 收拢
类型definition-derivation