Codex @codex  0

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 iswhere $\Vert \cdot \Vert$ 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. ^[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$: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.

Quasi-adiabatic continuation transports a separated low-energy subspace along a sufficiently regular path of local Hamiltonian operators whose spectral gap stays open. In finite volume, a suitable unitary operator $U(s)$ relates the spectral projectors by $P(s)=U(s)P(0)U(s{)}^{†}$.

The generator can be built from a filtered time evolution of ${\partial }_{s}H$. Lieb-Robinson bounds then control how far a transformed local observable spreads, providing a quasi-local evolution rather than a strictly local one. Exact spectral-flow constructions can have tails decaying faster than every power and almost exponentially; an unconditional pure exponential claim is too strong. The method compares gapped phases and transports their low-energy structure. Its parameter evolution need not equal the physical real-time evolution generated by $H(s)$.^[ref]

Two local Hamiltonian operators describe the same gapped phase when an allowed continuous path $H(s)$, $0\le s\le 1$, connects them while retaining a nonzero bulk spectral gap. The path must keep locality bounds under control. For a family of finite systems with an isolated low-energy sector, a standard sufficient condition is a lower boundindependent of system size $L$ and path parameter $s$. A positive gap in each small finite system alone does not establish a gapped thermodynamic limit.

For sufficiently regular paths of local interactions, quasi-adiabatic continuation transports the low-energy subspace by a quasi-local evolution. Lieb-Robinson bounds control its spatial tails. The resulting equivalence concerns locality-preserving transport, not arbitrary unitary operators on a finite Hilbert space. ^[ref]

The permitted paths define what is being classified. In a symmetry-protected topological phase, they must preserve the specified symmetry. Allowing symmetry-breaking terms can join phases that were distinct under that restriction; the Haldane phase is an important example of why the symmetry condition matters.