LDPC stabilizer codes as gapped quantum phases: stability under graph-local perturbations

Abstract

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\ge 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$. The band originating from the smallest eigenvalue has $2^K$ states, is separated from the rest of the spectrum by a finite energy gap, and has exponentially narrow bandwidth $\delta =CN{e}^{-\Theta (d)}$, which is tighter than the best known bounds even in the Euclidean case. We also obtain that the new ground state subspace is related to the initial code subspace by a quasi-local unitary, allowing one to relate their physical properties. Our proof uses an iterative procedure that performs successive rotations to eliminate non-frustration-free terms in the Hamiltonian. Our results extend to quantum Hamiltonians built from classical LDPC codes, which give rise to stable symmetry-breaking phases. These results show that LDPC codes very generally define stable gapped quantum phases, even in the non-Euclidean setting, initiating a systematic study of such phases of matter.

Updated funding information

References in corpus (24)

• Generalized Global Symmetries
• Local unitary transformation, long-range quantum entanglement, wave function renormalization, and topological order
• Local stabilizer codes in three dimensions without string logical operators
• Spectral Gap and Exponential Decay of Correlations
• Quantum Glassiness
• Quasi-adiabatic Continuation of Quantum States: The Stability of Topological Ground State Degeneracy and Emergent Gauge Invariance
• Topological quantum order: stability under local perturbations
• Generalized Symmetries in Condensed Matter
• Hyperbolic Lattices in Circuit Quantum Electrodynamics
• Quantum LDPC codes with positive rate and minimum distance proportional to n^{1/2}
• A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes
• Tradeoffs for reliable quantum information storage in 2D systems
• Programmable Interactions and Emergent Geometry in an Atomic Array
• A short proof of stability of topological order under local perturbations
• Stability of Frustration-Free Hamiltonians
• Balanced Product Quantum Codes
• Constructions and Noise Threshold of Hyperbolic Surface Codes
• Quantum Belief Propagation
• Fiber Bundle Codes: Breaking the $N^{1/2}\mathrm{polylog}(N)$ Barrier for Quantum LDPC Codes
• Ground states in relatively bounded quantum perturbations of classical lattice systems
• On the stability of topological phases on a lattice
• Thresholds for correcting errors, erasures, and faulty syndrome measurements in degenerate quantum codes
• Low-density parity-check codes as stable phases of quantum matter
• An exponentially local spectral flow for possibly non-self-adjoint perturbations of non-interacting quantum spins, inspired by KAM theory

Cited by in corpus (5)

• Solvable Quantum Circuits in Tree+1 Dimensions
• Fundamental thresholds for computational and erasure errors via the coherent information
• Enhanced Lieb-Robinson bounds for commuting long-range interactions
• Effect of slowly decaying long-range interactions on topological qubits
• Symmetry-enriched topological order and quasifractonic behavior in ${\mathbb{Z}}_N$ stabilizer codes