1. 不拆不可交换项 → 零 Trotter 误差；误差 = 精确可控的多项式逼近误差（无需缩步长间接压制）
2. 时间无关模拟最优调用：Õ(τ + log(1/ε))，双对数修正因子 = log(τ/ε)/log·log(τ/ε)（达已知下界）
3. 演算（修正因子数值）：τ = 10⁴、ε = 10⁻⁴ → log(τ/ε) = ln(10⁸) = 18.4，log·log(τ/ε) = ln(18.4) ≈ 2.9 → 修正因子 ≈ 6.3
4. 整条绝热路径逐段求和：总深度 ∝ 总时间（线性）+ ∝ log(1/ε)（对数）