= Lieb-Robinson localization by Haar twirling
{c}
{title2=$v=4ks/\mu$}
Apply <Haar twirling conditional expectation> to the complement of a neighbourhood around the initial operator support. A <Lieb-Robinson bound> on commutators with arbitrary complement-supported unitaries then bounds the approximation error without summing over sites. For a bound proportional to $e^{-\mu d}(e^{2kst}-1)$, choosing $v=4ks/\mu$ gives an error at most $\mu vt\,|X|\|A_X\|e^{-\mu l/2}$ outside radius $vt+l$.
Back to article page
