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 AKLT spin chain is the prototypical example of a frustration-free quantum spin system with a spectral gap above its ground state. Affleck, Kennedy, Lieb, and Tasaki also conjectured that the two-dimensional version of their model on the hexagonal lattice exhibits a spectral gap. In this paper, we introduce a family of variants of the two-dimensional AKLT model depending on a positive integer n, which is defined by decorating the edges of the hexagonal lattice with one-dimensional AKLT spin chains of length n. We prove that these decorated models are gapped for all n ≥ 3.

We study an effective Hamiltonian for the standard $$\nu =1/3$$ ν = 1 / 3 fractional quantum Hall system in the thin cylinder regime. We give a complete description of its ground state space in terms of what we call Fragmented Matrix Product States, which are labeled by a certain family of tilings of the one-dimensional lattice. We then prove that the model has a spectral gap above the ground states for a range of coupling constants that includes physical values. As a consequence of the gap we establish the incompressibility of the fractional quantum Hall states. We also show that all the ground states labeled by a tiling have a finite correlation length, for which we give an upper bound. We demonstrate by example, however, that not all superpositions of tiling states have exponential decay of correlations.

We prove Lieb-Robinson bounds for a general class of lattice fermion systems. By making use of a suitable conditional expectation onto subalgebras of the CAR algebra, we can apply the Lieb-Robinson bounds much in the same way as for quantum spin systems. We preview how to obtain the spectral flow automorphisms and to prove stability of the spectral gap for frustration-free gapped systems satisfying a Local Topological Quantum Order condition.

Abstract. We introduce and analyze a class of quantum spin models defined on d-dimensional lattices Λ ⊆ Z d , which we call Product Vacua with Boundary States (PVBS). We characterize their ground state spaces on arbitrary finite volumes and study the thermodynamic limit. Using the martingale method, we prove that the models have a gapped excitation spectrum on Z d except for critical values of the parameters. For special values of the parameters we show that the excitation spectrum is gapless. We demonstrate the sensitivity of the spectrum to the existence and orientation of boundaries. This sensitivity can be explained by the presence or absence of edge excitations. In particular, we study a PVBS models on a slanted half-plane and show that it has gapless edge states but a gapped excitation spectrum in the bulk.

We analyze a class of quantum spin models defined on half-spaces in the d-dimensional hypercubic lattice bounded by a hyperplane with inward unit normal vector m ∈ R d . The family of models was previously introduced as the single species Product Vacua with Boundary States (PVBS) model, which is a spin-1/2 model with a XXZ-type nearest neighbor interactions depending on parameters λ j ∈ (0, ∞), one for each coordinate direction. For any given values of the parameters, we prove an upper bound for the spectral gap above the unique ground state of these models, which vanishes for exactly one direction of the normal vector m. For all other choices of m we derive a positive lower bound of the spectral gap, except for the case λ 1 = · · · = λ d = 1, which is known to have gapless excitations in the bulk.

We study the stability with respect to a broad class of perturbations of gapped ground-state phases of quantum spin systems defined by frustration-free Hamiltonians. The core result of this work is a proof using the Bravyi–Hastings–Michalakis (BHM) strategy that under a condition of local topological quantum order (LTQO), the bulk gap is stable under perturbations that decay at long distances faster than a stretched exponential. Compared to previous work, we expand the class of frustration-free quantum spin models that can be handled to include models with more general boundary conditions, and models with discrete symmetry breaking. Detailed estimates allow us to formulate sufficient conditions for the validity of positive lower bounds for the gap that are uniform in the system size and that are explicit to some degree. We provide a survey of the BHM strategy following the approach of Michalakis and Zwolak, with alterations introduced to accommodate more general than just periodic boundary conditions and more general lattices. We express the fundamental condition known as LTQO by means of an indistinguishability radius, which we introduce. Using the uniform finite-volume results, we then proceed to study the thermodynamic limit. We first study the case of a unique limiting ground state and then also consider models with spontaneous breaking of a discrete symmetry. In the latter case, LTQO cannot hold for all local observables. However, for perturbations that preserve the symmetry, we show stability of the gap and the structure of the broken symmetry phases. We prove that the GNS Hamiltonian associated with each pure state has a non-zero spectral gap above the ground state.

Symmetry protected and symmetry enriched topological phases of matter are of great interest in condensed matter physics due to new materials such as topological insulators. The Levin-Wen model for spin/boson systems is an important rigorously solvable model for studying 2D topological phases. The input data for the Levin-Wen model is a unitary fusion category, but the same model also works for unitary multi-fusion categories. In this paper, we provide the details for this extension of the Levin-Wen model, and show that the extended Levin-Wen model is a natural playground for the theoretical study of symmetry protected and symmetry enriched topological phases of matter.