Commuting local Hamiltonian simulation (source code)

= 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$.