Lieb-Robinson interaction-chain expansion (source code)

= Lieb-Robinson interaction-chain expansion
{c}

Iterating the integral <commutator> inequality gives ordered interaction chains with factors $(2|t|)^n/n!$. A per-site interaction weight at most $se^{-\mu}$ bounds each successive chain extension by $ks e^{-\mu}$. No chain shorter than the <interaction distance> connects separated supports. Reversing chains supplies the smaller support prefactor, producing the <Lieb-Robinson bound>. Overlapping supports require retaining the equal-time <commutator> term.