Lieb–Robinson Bounds, Arveson Spectrum and Haag–Ruelle Scattering Theory for Gapped Quantum Spin Systems

Abstract

We consider translation invariant gapped quantum spin systems satisfying the Lieb-Robinson bound and containing single-particle states in a ground state representation. Following the HaagRuelle approach from relativistic quantum field theory, we construct states describing collisions of several particles, and define the corresponding S-matrix. We also obtain some general restrictions on the shape of the energy-momentum spectrum. For the purpose of our analysis we adapt the concepts of almost local observables and energy-momentum transfer (or Arveson spectrum) from relativistic QFT to the lattice setting. The Lieb-Robinson bound, which is the crucial substitute of strict locality from relativistic QFT, underlies all our constructions. Our results hold, in particular, in the Ising model in strong transverse magnetic fields.

The Adiabatic Theorem and Linear Response Theory for Extended Quantum Systems

“…see also Lemma C.3 of [30]. Now, let B ∈ L S,∞ with associated Φ B ∈ B ζ,n for a ζ ∈ S, and recall that…”

Asymptotic Observables in Gapped Quantum Spin Systems

“…This paper continues the model-independent discussion of scattering theory for gapped quantum spin systems, initiated in [BDN16]. This recent work gave a construction of wave operators for such systems along the lines of Haag-Ruelle theory [Ha58,Ru62].…”

“…We work in a framework outlined in the introduction of [BDN16] which is suitable for gapped quantum spin systems in irreducible ground state representations. Let Γ = Z d be the abelian group of space translations and Γ its Pontryagin dual which is in our case S d 1 i.e.…”

The adiabatic theorem in a quantum many-body setting

“…As a consequence, local observables are mapped into almost local ones and more generally, the algebra of almost local observables is invariant under the dynamics, see e.g. Appendix C of [8]. An observable A is called almost local if there is a Z ∈ F Γ and a sequence A n ∈ A Z n (where Z n = {x ∈ Γ : d(x, Z) ≤ n}) such that A − A n ≤ C k A supp(A)n −k for all k ∈ N. In other words, almost local observables are quasi-local observables whose finite volume approximations converge very rapidly.…”