Lieb-Robinson bounds show that the speed of propagation of information under the Heisenberg dynamics in a wide class of nonrelativistic quantum lattice systems is essentially bounded. We review works of the past dozen years that has turned this fundamental result into a powerful tool for analyzing quantum lattice systems. We introduce a unified framework for a wide range of applications by studying quasilocality properties of general classes of maps defined on the algebra of local observables of quantum lattice systems. We also consider a number of generalizations that include systems with an infinite-dimensional Hilbert space at each lattice site and Hamiltonians that may involve unbounded on-site contributions. These generalizations require replacing the operator norm topology with the strong operator topology in a number of basic results for the dynamics of quantum lattice systems. The main results in this paper form the basis for a detailed proof of the stability of gapped ground state phases of frustrationfree models satisfying a local topological quantum order condition, which we present in a sequel to this paper.
The Lieb-Robinson theorem states that locality is approximately preserved in the dynamics of quantum lattice systems. Whenever one has finite-dimensional constituents, observables evolving in time under a local Hamiltonian will essentially grow linearly in their support, up to exponentially suppressed corrections. In this work, we formulate Lieb-Robinson bounds for general harmonic systems on general lattices, for which the constituents are infinite-dimensional, as systems representing discrete versions of free fields or the harmonic approximation to the Bose-Hubbard model. We consider both local interactions as well as infinite-ranged interactions, showing how corrections to locality are inherited from the locality of the Hamiltonian: Local interactions result in stronger than exponentially suppressed corrections, while non-local algebraic interactions result in algebraic suppression. We derive bounds for canonical operators, Weyl operators and outline generalization to arbitrary operators. As an example, we discuss the Klein-Gordon field, and see how the approximate locality in the lattice model becomes the exact causality in the field limit. We discuss the applicability of these results to quenched lattice systems far from equilibrium, and the dynamics of quantum phase transitions.
We derive an extension of the Lieb--Robinson bound that accounts for memory effects in quantum lattice systems evolving under discrete-time non-Markovian dynamics generated by local interactions with finite-dimensional memory subsystems associated with each bond. The global evolution is unitary on an extended Hilbert space
Hext=⨂i=1NHi⊗⨂bondsHM(i), while non-Markovian behavior, arising from repeated coupling to the same bond memory at successive time steps, leads to temporal correlations in the system. In this work, “finite memory” refers specifically to memory subsystems of fixed finite Hilbert space dimension whose reduced dynamics satisfy an exponential mixing condition in operator norm, meaning that correlation functions decay exponentially over time, with a characteristic timescale
τ. More precisely, the memory channels satisfy
∥TMs(X)−Tr(X)σM∥≤ce−s/τ∥X∥, for all memory observables
X, where
σM is a stationary state, and
c>0 depends only on the memory dynamics. For a one-dimensional lattice with nearest-neighbor interactions, we prove that the connected correlation function, defined as
Ci,j(t):=supAi=Ai†,Bj=Bj†∥Ai∥≤1,∥Bj∥≤1∣Tr[(Ai⊗Bj)ρ(t)]−Tr[Aiρi(t)]Tr[Bjρj(t)]∣, satisfies an exponential bound of the form
Ci,j(t)≤C0exp[−ξd(i,j)−veff(τ)t], where
d(i,j)=∣i−j∣ and
ξ>0 is independent of system size and time. The effective velocity
veff(τ) is explicitly bounded in terms of the local interaction strength and the memory mixing parameters, ensuring the system exhibits a finite light cone, meaning that information propagation is confined to a region growing linearly with time, with a well-defined maximum speed. In the limit
τ→∞, the bound no longer guarantees a finite propagation speed, reflecting the transition to a persistent memory regime where correlations do not decay exponentially. As an operational consequence, the entanglement fidelity between two-site reduced states
ρi,j(t) and a maximally entangled state satisfies
Fi,j(t)=⟨Φ+∣ρi,j(t)∣Φ+⟩≤21[1+Ci,j(t)]. These results extend Lieb--Robinson theory to a class of discrete-time quantum dynamics with memory subsystems associated with each bond, enabling resummation of multi-step memory effects into an effective correlation propagation kernel that governs the decay of temporal correlations. This establishes a quantitative relationship between the timescale of memory mixing and the effective speed of information propagation in the system.
Open quantum systems weakly coupled to the environment are modeled by completely positive, trace preserving semigroups of linear maps. The generators of such evolutions are called Lindbladians. In the setting of quantum many-body systems on a lattice it is natural to consider Lindbladians that decompose into a sum of local interactions with decreasing strength with respect to the size of their support. For both practical and theoretical reasons, it is crucial to estimate the impact that perturbations in the generating Lindbladian, arising as noise or errors, can have on the evolution. These local perturbations are potentially unbounded, but constrained to respect the underlying lattice structure. We show that even for polynomially decaying errors in the Lindbladian, local observables and correlation functions are stable if the unperturbed Lindbladian has a unique fixed point and a mixing time which scales logarithmically with the system size. The proof relies on Lieb-Robinson bounds, which describe a finite group velocity for propagation of information in local systems. As a main example, we prove that classical Glauber dynamics is stable under local perturbations, including perturbations in the transition rates which may not preserve detailed balance.
Abstract We rigorously examine, in generality, the ergodic properties of quantum lattice models with short range interactions, in the
C∗ C ∗ algebra formulation of statistical mechanics. Ergodicity results, in the context of group actions on
C∗ C ∗ algebras, assume that the algebra is asymptotically abelian, which is not generically the case for time evolution. The Lieb-Robinson bound tells us that, in a precise sense, the spatial extent of any time-evolved local operator grows linearly with time. This means that the algebra of observables is asymptotically abelian in a space-like region, and implies a form of ergodicity outside the light-cone. But what happens within it? We show that the long-time limit of the n-th moment of a ray-averaged observable, along space-time rays of almost every speed, converges to the n-th power of its expectation in the state (i.e. its ensemble average). Thus ray averages do not fluctuate in the long time limit. This is a statement of ergodicity, and holds in any state that is invariant under space-time translations and that satisfies weak clustering properties in space. The ray averages can be performed in a way that accounts for oscillations, showing that ray-averaged observables cannot sustainably oscillate in the long time limit. We also show that in the GNS representation of the algebra of observables, for any KMS state with the above properties, the long-time limit of the ray average of any observable converges (in the strong operator topology) to the ensemble average times the identity, again along space-time rays of almost every speed. This is a strong version of ergodicity, and indicates that, as operators, observables get “thinner” almost everywhere within the light-cone. A similar statement holds under oscillatory averaging.
A dynamics (i.e. a one-parameter group of automorphisms) of a system described by a C *-algebra with a local structure in terms of C *-subalgebras A ( I ) for local domains I of the physical space (a discrete lattice) is normally constructed out of potentials P ( I ), each of which is a self-adjoint element of the subalgebra A ( I ), such that the the first time derivative of the dynamical change of any local observable A is i times the convergent sum of the commutator [ P ( I ), A ] over all finite regions I . We will invert this relation under the assumption (obviously assumed in the usual approach) that local observables all have the first time derivative, i.e. we prove the existence of potentials for any given dynamics satisfying the above-stated condition. Furthermore, by imposing a further condition for the potential P ( I ) to be chosen for each I that it does not have a portion which can be shifted to potentials for any proper subset of I , we also show (1) the existence, (2) uniqueness, (3) an automatic convergence property for the sum over I , and (4) a quite convenient property for the chosen potential. The so-obtained properties (3) and (4) are not assumed and are very useful, though they were never noticed nor used before. We consider a system of finite kinds of finite spins and fermions on a discrete lattice, local regions being all finite subsets of the lattice and all local algebras being full matrix algebras of finite dimensions. For all dynamics for which all elements of any local algebra is once time differentiable, we prove that there exist a system of potentials which describe the time derivative of the given dynamics by a convergent sum stated above. The fundamental technique for finding such potentials is a non-commutative expectation which is defined on the basis of a product state of the algebra. For each choice of a product state, we obtain one expectation which produces one set of potentials, all of which satisfy what we call the standardness condition and the convergence condition. We call this family of potentials standard potentials (corresponding to any specific choice of the product state). The standard potentials corresponding to different product states are different but produces the same time derivative, known as equivalent potentials.