第 23 课 · Gibbs 态与离散绝热——热平衡的量子制备与绝热演化的离散化 · 模块四：应用与前沿专题

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

内容（八张目标卡，前四条 Gibbs、后四条离散绝热，动词全部落到"推导/演算"）：
1. Gibbs 态与制备难点——能写出 $\rho_\beta = e^{-\beta H}/Z(\beta)$，对 $H = \mathrm{diag}(0, \Delta)$ 算出两个权重并验证低温极限
2. 虚时间滤波与 QSVT 复杂度——能推导衰减因子 $e^{-2\beta\Delta}$，由 Bernstein 椭圆推出 $d = O(\beta\lVert H\rVert + \log(1/\varepsilon))$ 并代入数字算 $d$
3. 热场双态与量子 Metropolis——能用部分迹验证 $\mathrm{tr}_E|\mathrm{TFD}\rangle\langle\mathrm{TFD}| = \rho_\beta$、算出 $\tan\theta = e^{-\beta\Delta/2}$，写出接受率与不动分布
4. 查询下界与选型——能解释 $\Omega(\beta)$ 的 Lieb–Robinson 来源，区分两种精度依赖并按任务选路线
5. 绝热定理——能写出 $T \ge \max_s\lVert H'\rVert/(\varepsilon\cdot\Delta_{\min}^2)$ 并推导两个 $1/\Delta$ 因子的来源
6. Trotter 误差预算——能推导冻结与分裂两条引理，显式选出 $T = 2\lVert H'\rVert/(\varepsilon\Delta_{\min}^2)$ 与步数 $r$
7. QSP 化、QAOA 与 VAQC——能比较三种离散化的调用次数与误差结构（Trotter $T^2/\varepsilon$ vs QSP $\tau + \log(1/\varepsilon)$）
8. 能隙标度与三算例——能用 Roland–Cerf 积分求局域绝热时间，核对 $\Delta_{\min} = 2$、$r \ge 6750$、$T = (\pi/2\varepsilon)\sqrt{N}$ 三个数值

类型objectives

讲义

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

八个目标分上下两场，动词全部落到推导与演算。上半场 Gibbs：写出 $\rho_\beta = e^{-\beta H}/Z(\beta)$ 并对 $H = \mathrm{diag}(0, \Delta)$ 算两个权重、验证低温极限；推导虚时间滤波衰减因子 $e^{-2\beta\Delta}$，由 Bernstein 椭圆推出 $d = O(\beta\lVert H\rVert + \log(1/\varepsilon))$ 并代入数字；用部分迹验证热场双态、算出 $\tan\theta = e^{-\beta\Delta/2}$，写出 Metropolis 接受率与不动分布；解释 $\Omega(\beta)$ 下界并按任务选路线。下半场离散绝热：写出 $T \ge \max_s\lVert H'\rVert/(\varepsilon\cdot\Delta_{\min}^2)$ 并推导两个 $1/\Delta$ 因子的来源；推导冻结与分裂两条引理并显式选出 $T$ 与步数 $r$；比较 QSP 化、QAOA 与 VAQC 的调用次数与误差结构；用 Roland–Cerf 积分核对 $\Delta_{\min} = 2$、$r \ge 6750$、$T = (\pi/2\varepsilon)\sqrt{N}$ 三个数值。