- 命题框：三条引理装配一个定理——单步 BCH：$e^{X\delta}\cdot e^{Y\delta} = e^{(X+Y)\delta + \frac{1}{2}[X,Y]\delta^2 + O(\delta^3)}$
- 推导步骤（逐行）：
- 引理 1（系数配平）：左端相乘 $= I + (X+Y)\delta + (\frac{1}{2}X^2+XY+\frac{1}{2}Y^2)\delta^2 + O(\delta^3)$；右端设 $\Omega = \Omega_1\delta+\Omega_2\delta^2$ → 比对得 $\Omega_1 = X+Y$，$\Omega_2 = \frac{1}{2}X^2+XY+\frac{1}{2}Y^2 - \frac{1}{2}(X+Y)^2 = \frac{1}{2}(XY-YX) = \frac{1}{2}[X,Y]$
- 引理 2（多因子归纳）：每乘一个新因子恰好补上含其指标的全部交换子对（$[H_{<L}, H_L'] = \sum_{i<L} [H_i', H_L']$）→ $\lVert E_2\rVert \le (\delta^2/2)\Lambda_2 + O(\delta^3\lambda^3)$
- 引理 3（望远镜）：$A^r-B^r = \sum_j A^{r-1-j}(A-B)B^j$ 相邻相消 → 压缩算符 $\lVert A^r-B^r\rVert \le r\lVert A-B\rVert$；配指数 Lipschitz 性 $\lVert e^A-e^B\rVert \le \lVert A-B\rVert\cdot e^{\max(\lVert A\rVert,\lVert B\rVert)}$
- 装配：$A = e^{-iH\delta}$（酉）、$B = \prod_k e^{-iH_k'\delta}$（酉）→ $\lVert A-B\rVert \le e^2\lVert E_2\rVert \le (e^2\delta^2/2)\Lambda_2$ → 乘 $r$ 步即定理
- 结果框（大字）：$\lVert e^{-iHt} - S_1(t)\rVert \le (e^2/2)\cdot\Lambda_2 t^2/r + O(\lambda^3 t^3/r^2)$——常数 $e^2/2 \approx 3.7$ 未优化，重要的是结构：$1/r$ 衰减、$t^2$ 增长、只通过 $\Lambda_2$ 依赖 $H$
类型definition-derivation（重点页）