= Lieb-Robinson bound
{c}
{wiki}
A <Lieb-Robinson bound> limits how quickly a local <observable> can influence a distant region under <quantum dynamics>. A standard setting is a lattice of finite-dimensional <quantum systems> with a <Hamiltonian> made of uniformly bounded, finite-range interactions. For <observables> $A_X,B_Y$ with disjoint finite <operator supports> $X,Y$, a typical bound is
$$
\|[A_X(t),B_Y]\|\leq C_{X,Y}\|A_X\|\|B_Y\|\exp\{-\mu[d(X,Y)-v|t|]\},
$$
where $\|\cdot\|$ is the <operator norm>, $\mu>0$, $v$ is a finite <velocity> depending on interaction strengths and range, and the support-dependent prefactor is independent of total system size. On a regular lattice, suitably controlled exponentially decaying interactions also admit this form. <Automorphic Equivalence within Gapped Phases of Quantum Lattice Systems by Sven Bachmann and others>[Section 4.1, metric and interaction-decay hypotheses; Theorem 4.6 in section 4.2, equations 4.19–4.20]{ref}
The estimate gives an effective causal cone: the <commutator> is exponentially small when the separation exceeds $v|t|$. It can have small nonzero tails, so the estimate does not impose a sharp relativistic light cone. An operational consequence follows by perturbing a <quantum state> with a distant local <unitary operator> $U_Y$:
$$
|\langle U_Y^\dagger A_X(t)U_Y\rangle-\langle A_X(t)\rangle|\leq\|[A_X(t),U_Y]\|.
$$
Thus the same <Lieb-Robinson bound> controls the change in a distant <expectation value>. This permits quantitative local approximations to many-body <unitary time evolution>; long-range interactions require estimates matched to their actual decay.
Back to article page
