Understand
We generalize the proof of stability of topological order, due to Bravyi, Hastings and Michalakis, to stabilizer Hamiltonians corresponding to low-density parity check (LDPC) codes without the restriction of geometric locality in Euclidean space.
- We consider Hamiltonians $H_0$ defined by $[[N,K,d]]$ LDPC codes which obey certain topological quantum order conditions: (i) code distance $d \geq c \log(N)$, implying local indistinguishability of ground states, and (ii) a mild condition on local and global compatibility of ground states; these include good quantum LDPC codes, and the toric code on a hyperbolic lattice, among others.
- We consider stability under weak perturbations that are quasi-local on the interaction graph defined by $H_0$, and which can be represented as sums of bounded-norm terms.
- As long as the local perturbation strength is smaller than a finite constant, we show that the perturbed Hamiltonian has well-defined spectral bands originating from the $O(1)$ smallest eigenvalues of $H_0$.