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

本课知识点（数学目标版）

内容（八张目标卡，动词全部落到"推导/计算/验证"）：
1. 块编码定义——能写出 $\lVert A - \alpha(\langle 0|^{\otimes m}\otimes I)U_A(|0\rangle^{\otimes m}\otimes I)\rVert \le \varepsilon$ 并推导 $\lVert A\rVert \le \alpha + \varepsilon$
2. LCU 构造——能写出 PREP 与 SELECT，推导左上块 $= A/\lambda$（$\lambda = \sum_k|\alpha_k|$）并计算门复杂度
3. Pauli 分解——能计算 $\lambda = \sum_P|\alpha_P|$、辅助比特数 $m_a = \lceil\log_2 L\rceil$ 与 SELECT 的 $O(n)\cdot L$ 门数
4. 对角矩阵构造——能用 $R_y(2\cdot\arccos(d_j/\alpha))$ 逐项验证左上块 $= D/\alpha$
5. 乘积性质——能证明独立辅助寄存器下 $U_B U_A$ 的误差三元组 $\alpha_B\varepsilon_A + \alpha_A\varepsilon_B + \varepsilon_A\varepsilon_B$
6. 线性组合性质——能写出振幅 $a_0$、$a_1$ 与归一化常数 $|c|\alpha_A + |d|\alpha_B$ 并演算实例
7. QSVT 接口——能列出两条可实现约束与 $A^{-1}$、$e^{-iAt}$、$e^{-\beta A}$ 的次数量级
8. 四大应用——能按公式说明 QSVT-HHL、模拟、Gibbs、阈值的复杂度依赖（对 $\kappa$ 线性 vs $O(\kappa^2)$）

类型objectives

讲义

第 2/15 页 · 本课知识点（数学目标版）

本课共八个目标，分三组，要求均落到推导与演算。定义与构造组：写出 $(\alpha, m, \varepsilon)$-块编码的定义不等式并推导 $\lVert A\rVert \le \alpha + \varepsilon$；写出 PREP 与 SELECT 并推导 LCU 左上块 $= A/\lambda$；计算 Pauli 分解的 $\lambda = \sum_P|\alpha_P|$、辅助比特数 $m_a = \lceil\log_2 L\rceil$ 与 SELECT 门数；用 $R_y(2\arccos(d_j/\alpha))$ 逐项验证对角构造。代数性质组：证明独立辅助寄存器下乘积编码的误差三元组，写出线性组合的振幅 $a_0$、$a_1$ 与归一化常数 $|c|\alpha_A + |d|\alpha_B$。走向应用组：列出 QSVT 的两条可实现约束与 $A^{-1}$、$e^{-iAt}$、$e^{-\beta A}$ 等目标的次数量级，并按公式比较四大应用对 $\kappa$ 的线性依赖与 $O(\kappa^2)$。