- 命题框：$S_2(t) = \prod_{k=1}^{L} e^{-i\alpha_k H_k\delta/2}\cdot\prod_{k=L}^{1} e^{-i\alpha_k H_k\delta/2}$（第二半为逆序；相邻两个 $e^{-i\alpha_L H_L\delta/2}$ 合并为整步 $e^{-i\alpha_L H_L\delta}$）
- 推导/演算步骤：
- 回文性质：$S_2(-\delta) = S_2(\delta)^{-1} \Rightarrow \log S_2$ 是 $\delta$ 的奇函数 → 误差指数只含 $\delta^3$、$\delta^5$、…
- $\Sigma_2$ 相消：正序 $\log F(u) = -iHu - (u^2/2)\Sigma_2 + O(u^3)$，逆序 $\log\tilde{F}(u) = -iHu + (u^2/2)\Sigma_2 + O(u^3)$（每个新配对的交换子项反号）→ $S_2 = F(\delta/2)\cdot\tilde{F}(\delta/2)$ 合并时 $\pm(\delta^2/8)\Sigma_2$ 精确相消
- 误差：$\lVert e^{-iHt} - S_2(t)\rVert = O(\Lambda_3 t^3/r^2)$；由回文性，下一项已是 $t^5/r^4$
- Suzuki 递推：$S_{2k}(t) = [S_{2k-2}(p_k t)]^2\cdot S_{2k-2}((1-4p_k)t)\cdot[S_{2k-2}(p_k t)]^2$，$p_k = 1/(4-4^{1/(2k-1)})$
- 演算（$k = 2$）：$p_2 = 1/(4-4^{1/3}) = 1/2.413 \approx 0.414$；五块时间参数 $p_2+p_2+(1-4p_2)+p_2+p_2 = 4\times 0.414+(-0.657) \approx 1.000$ ✓；$S_4$ 每步含 5 个 $S_2$ 块 = $2L\times 5$ 个指数因子
- 结果框：回文结构不是装饰——偶次项相消正是二阶精度的来源；代价 $2L\cdot 5^{p-1}$ 随阶数指数增长，实际很少超过四阶
类型definition-derivation