第 21 课 · HHL 与量子线性求解器——从相位估计到 QSVT 的五代演进 · 模块四:应用与前沿专题

前提条件:量子解方程的合同条款

  • 命题框(四条前提,逐条公式化):
    1. 厄米 + s-稀疏:$A^\dagger = A \Rightarrow e^{iAt}$ 酉(可作量子门);每行每列至多 $s$ 个非零元 $\Rightarrow$ 模拟代价只依赖 $s$;需高效实现 $e^{iAt}$ 的预言机 $U_A$
    2. 可逆:$\lambda_{\min} > 0$(0 不是特征值)
    3. 条件数:$\kappa = \lambda_{\max}/\lambda_{\min}$ 非指数级大
    4. 输出:只提取全局量(如 $\langle x|M|x\rangle$),不读全部分量
  • 推导步骤(非厄米嵌入,逐行):
    1. 构造分块矩阵 $\tilde{A} = [[0, A], [A^\dagger, 0]]$,$\tilde{b} = (b, 0)^{\top}$——$\tilde{A}^\dagger = \tilde{A}$ ✓(规模翻倍)
    2. 分块乘法:$\tilde{A}\cdot(u, v)^{\top} = (Av, A^\dagger u)^{\top}$
    3. 代入 $(u, v) = (0, A^{-1}b)$:$\tilde{A}\cdot(0, A^{-1}b)^{\top} = (A\cdot A^{-1}b, 0)^{\top} = (b, 0)^{\top} = \tilde{b}$ ✓
  • 结果框:任何可逆 $A$ 都能化归厄米问题,解的下半块恰为 $A^{-1}b$;警示行:读出全部 $N$ 个分量需 $O(N)$ 次测量,抵消指数加速
类型definition-derivation("合同"比喻只留标题一句)