Commuting local Hamiltonian simulation
= Commuting local Hamiltonian simulation
If $H=\sum_jh_j$ and all local terms commute, then
$$
e^{-itH}=\prod_je^{-ith_j}
$$
exactly. Approximating each fixed-size factor to error at most $\varepsilon/m$ and applying the <telescoping bound for products of operators> gives total <operator norm> error at most $\varepsilon$.