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

为什么要"制备温度"与"慢慢地变"

  • 引子（一句）：咖啡会凉、坡要慢爬——大自然用热平衡与绝热慢变制备量子态，算法要把两者翻译成门序列
  • 墙一（非酉）演算：
    1. 判据：算符酉 $\Leftrightarrow$ $U^\dagger U = I$；取 $U = e^{-\beta H}$：$U^\dagger U = e^{-\beta H}\cdot e^{-\beta H} = e^{-2\beta H}$
    2. 能量本征基下对角元 $= e^{-2\beta E} < 1$（$E > 0$）→ 不是酉
    3. 数值：$\beta\Delta = 1$ 时 $e^{-2\beta\Delta} = e^{-2} \approx 0.135$——激发分量模长被压掉约 86%
  • 墙二（非离散）：连续绝热演化 $\mathcal{T}\cdot e^{-i\int_0^T H(t)\, dt}$ 是时间编序的连续指数；门模型只有离散酉序列 $\prod_k e^{-iH(s_k)\delta}$
  • 设问条：非酉的 $e^{-\beta H}$ 怎么被酉线路"逼出来"？（上半场）；连续 $\mathcal{T}$-指数怎么被离散切片"拼出来"？（下半场）
类型hook + 演算（开场页，引子一句，主体是两堵"墙"的数学表达）