- 命题框：持有 $H_k = H(s_k)$ 的块编码，QSP 把 $e^{-iH_k\delta}$ 的多项式逼近编译为"信号旋转 $\times$ 块编码调用"交替串
- 推导/演算步骤：
- 不拆不可交换项 → 零 Trotter 误差；误差 = 精确可控的多项式逼近误差（无需缩步长间接压制）
- 时间无关模拟最优调用：$\tilde{O}(\tau + \log(1/\varepsilon))$，双对数修正因子 $= \log(\tau/\varepsilon)/\log\cdot\log(\tau/\varepsilon)$（达已知下界）
- 演算（修正因子数值）：$\tau = 10^4$、$\varepsilon = 10^{-4}$ → $\log(\tau/\varepsilon) = \ln(10^8) = 18.4$，$\log\cdot\log(\tau/\varepsilon) = \ln(18.4) \approx 2.9$ → 修正因子 $\approx 6.3$
- 整条绝热路径逐段求和：总深度 $\propto$ 总时间（线性）+ $\propto$ $\log(1/\varepsilon)$（对数）
- 结果框：对比一阶 Trotter 的 $O(T^2/\varepsilon)$（第 10 页最重项 $1/\varepsilon^3$）→ 关于精度只取对数，本质改进
类型definition-derivation（含演算）