We consider the family of gapped Hamiltonians introduced in [FNW] on the quantum spin chains
⨂ZMn, with local symmetry given by a group
G. The
G-symmetric gapped Hamiltonians are given by triples
(k,u,V), where
u is a projective unitary representation of
G on a finite dimensional space
Ck, and
V is an isometry from
Ck to
Cn⊗Ck. We show that Hamiltonians
H0,H1, given by the triples
(k(0),u(0),V(0)) and
(k(1),u(1),V(1)) are
C1-equivalent if the projective representations
u(0) and
u(1) are unitary equivalent.
Key properties of a physical system depend on whether it is gapped, i.e., whether its spectral gap has a positive lower bound that is independent of system size. Here, we provide a prescription for renormalizing a spin chain Hamiltonian in such a way that the renormalized Hamiltonian is gapped if and only if the original Hamiltonian is gapped. Then, we articulate a set of conditions that guarantees the renormalized Hamiltonian is gapped. These conditions are built on a certain strong notion of decaying correlations involving an operator norm of non-commuting terms in the renormalized Hamiltonian. We apply the method to show that two interesting models, with forms motivated by quantum circuits, are gapped. We also confirm the generality of the method by successfully applying it to a somewhat different case, the well-known Affleck-Kennedy-Lieb-Tasaki (AKLT) model.
This work provides an overview of gapped quantum spin systems, including concepts, techniques, properties, and results. The basic framework and objects of interest for quantum spin systems are introduced, and the main ideas behind methods for proving spectral gaps for frustration-free models are outlined. After reviewing recent progress on several spectral gap conjectures, we discuss quasi-locality of the Heisenberg dynamics and its utility in proving properties of gapped quantum spin systems. Lieb-Robinson bounds have played a central role in establishing exponential decay of ground state correlations, an area law for one-dimensional systems, a many-body adiabatic theorem, and spectral gap stability. They also aided in the development of the quasi-adiabatic continuation, which is a useful for investigating gapped ground state phases, both of which are also discussed.