数值实例：横场 Ising 链与交换子标度

• 题面：H = −J·Σᵢ ZᵢZᵢ₊₁ − h·Σⱼ Xⱼ，n = 10、J = 1、h = 0.5、t = 1、ε = 0.01；L = 19 项（9 个 ZZ 项 Aᵢ + 10 个 X 项 Bⱼ）
• 演算步骤：

1. 交换子计数：ZᵢXᵢ = iYᵢ、XᵢZᵢ = −iYᵢ → 仅共享比特的对 (Aᵢ,Bⱼ)（j ∈ {i, i+1}）非零，‖[Aᵢ,Bⱼ]‖ = 2Jh = 1；共 2(n−1) = 18 对 → Λ₂ = 18×1 = 18

2. 一阶：r ≥ Λ₂t²/ε = 18/0.01 = 1800 步；每步 9×3+10×1 = 37 门 → 总计 ≈ 1800×37 ≈ 6.7×10⁴ 门

3. 二阶：三重嵌套计数 Λ₃ = 18×5 − 2×2 = 86 → r ≥ √(Λ₃t³/ε) = √(86/0.01) ≈ 93 步；每步 2×37 = 74 门 → ≈ 93×74 ≈ 6.9×10³ 门

4. 最坏情形对比：C(19,3) = 969 个三元组 × 最大范数 4J²h = 2 → Λ₃ ≳ 2000、r ≳ 450——高估约 5 倍（Childs 等 2021 交换子标度的价值：只对非零交换子求和）

5. 延伸：H₂ 分子 4 比特 15 项（λ ≈ 2.70、Λ₂ ≤ 6.30、Λ₃ ≤ 34），t = 1、ε = 10⁻³ → 一阶 6300 步 vs 二阶 185 步（≈5×10⁵ vs ≈3×10⁴ 门）；换 t = 5、误差 0.1：二阶 r ≈ √(86×125/0.1) ≈ 328 步 vs 一阶 4500 步——t 的幂次主导步数增长

• 结果框：二阶 93 步干完一阶 1800 步的活；局限：误差随 t 多项式增长、高阶门数指数增长——理论上被 Qubitization+QSP 超越（1/ε 对 log(1/ε)），但 Trotter 无需块编码与后选择，NISQ 时代仍最常用