Lieb-Robinson bound

A Lieb-Robinson bound limits the commutator of initially separated local observables by $\Vert [A(t),B]\Vert \le C\Vert A\Vert \Vert B\Vert e^{-\mu (d-v|t|)}$. It gives local lattice dynamics an effective causal cone with Lieb-Robinson velocity $v$.

A Duhamel comparison can bound truncation error using commutators evolved under the full Hamiltonian. This avoids assuming that a black-box Lieb-Robinson bound for $H$ also holds for every truncation. Polynomial shell weights and exponential distance suppression make the sum over omitted shells convergent. Comparing two truncations through the full evolution bounds their difference.

Iterating the integral commutator inequality gives ordered interaction chains with factors $(2|t|{)}^n/n!$. A per-site interaction weight at most $s{e}^{-\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.

The interaction distance between disjoint supports can count the minimum number of interacting hyperedges in a chain connecting them. Overlapping supports have distance zero in the usual support convention. Distances between interaction terms can instead assign shell zero only to the central term and positive shells to distinct terms. The convention must be specified when using a truncated neighborhood Hamiltonian: ordinary zero support distance includes distinct overlapping terms.

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|\Vert A_X\Vert e^{-\mu l/2}$ outside radius $vt+l$.

A depth-$D$ circuit of gates with range at most $r$ expands the support of a local observable by at most $rD$. States connected by a depth bounded independently of system size are regarded as belonging to the same short-range-entangled phase when no required symmetry is violated.

The backward light cone of an output observable is the set of input degrees of freedom that can influence it. In a depth-$D$ circuit with gate range at most $r$, it lies within distance $rD$ of the observable's output support.

The GHZ state has nonzero connected correlations between arbitrarily distant sites. A local circuit starting from a product state can create such a correlation only when the two backward light cones overlap, giving depth at least proportional to the system's linear size.