第 22 课 · 量子 ODE/PDE 求解器——从哈密顿量模拟到 Schrödingerization · 模块四：应用与前沿专题

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

  • 内容（六张目标卡，动词全部落到"推导/演算"）：
    1. 问题定义与输出约定——能写出线性/非线性 ODE 初值问题与发展型 PDE，并对 $u(T) = (3, 4)$ 演算归一化态与测量概率
    2. 经典基线与维度灾难——能推导步数 $N_{\mathrm{step}} = O(T\cdot\varepsilon^{-1/p})$，代入 $T = 1$、$\varepsilon = 10^{-4}$ 复算 Euler $10^4$ 步 vs RK4 10 步；算 $N^d$ 与 $n = \lceil d\cdot\log_2 N\rceil$
    3. 线性 ODE 工具箱——能证明 $e^{At}$ 为酉 $\Leftrightarrow$ $A = iH$ 反 Hermitian；写出 Magnus 二阶对易子项与 Schrödingerization 恢复公式 $e^\eta\cdot\Phi = e^{At}\cdot u_0$
    4. 非线性：Carleman 线性化——能推导 $d v_k/dt = k(a\cdot v_k + b\cdot v_{k+1} + c\cdot v_{k-1})$ 与截断阶数 $K = O(\log(1/\varepsilon)/\log(1/R))$，复算 Lotka–Volterra 平衡点 $(20, 10)$
    5. PDE 三大类型——能解热方程模式衰减 $\hat{u}_k(t) = e^{-\alpha k^2 t}\cdot\hat{u}_k(0)$，验证波方程生成矩阵 $M^\dagger = -M$，推导 Poisson 谱 $\lambda_k$ 与 $\kappa = O(N^2)$
    6. 谱方法与复杂度演进——能证明 $\phi_k'' = -k^2\cdot\phi_k$ 并写出 $\hat{u}_k = \hat{g}_k/k^2$；复述 2014–2024 复杂度从 $\mathrm{poly}(n)\cdot T^2/\varepsilon$ 到 $T\cdot\mathrm{polylog}(T/\varepsilon)$ 的演进链
类型objectives