Since its introduction by Hastings (Phys Rev B 69:104431, 2004), the technique of quasi-adiabatic continuation has become a central tool in the discussion and classification of ground-state phases. It connects the ground states of self-adjoint Hamiltonians in the same phase by a unitary quasi-local transformation. This paper takes a step towards extending this result to non-self-adjoint perturbations, though, for technical reason, we restrict ourselves here to weak perturbations of non-interacting spins. The extension to non-self-adjoint perturbation is important for potential applications to Glauber dynamics (and its quantum analogues). In contrast to the standard quasi-adiabatic transformation, the transformation constructed here is exponentially local. Our scheme is inspired by KAM theory, with frustration-free operators playing the role of integrable Hamiltonians.
We prove stability of the spectral gap for gapped, frustration-free Hamiltonians under general, quasi-local perturbations. We present a necessary and sufficient condition for stability, which we call Local Topological Quantum Order and show that this condition implies an area law for the entanglement entropy of the groundstate subspace. This result extends previous work by on the stability of topological quantum order for Hamiltonians composed of commuting projections with a common zero-energy subspace. We conclude with a list of open problems relevant to spectral gaps and topological quantum order. Recently, the stability of certain topological phases of matter under weak perturbations was proven. Here, we present a short, alternate proof of the same result. We consider models of topological quantum order for which the unperturbed Hamiltonian H 0 can be written as a sum of local pairwise commuting projectors on a D-dimensional lattice. We consider a perturbed Hamiltonian H = H 0 + V involving a generic perturbation V that can be written as a sum of short-range bounded-norm interactions. We prove that if the strength of V is below a constant threshold value then H has well-defined spectral bands originating from the low-lying eigenvalues of H 0. These bands are separated from the rest of the spectrum and from each other by a constant gap. The width of the band originating from the smallest eigenvalue of H 0 decays faster than any power of the lattice size.