Abstract:Topologically-ordered phases are stable to local perturbations, and topological quantum error-correcting codes enjoy thresholds to local errors. We connect the two notions of stability by constructing classical statistical mechanics models for decoding general CSS codes and classical linear codes. Our construction encodes correction success probabilities under uncorrelated bit-flip and phase-flip errors, and simultaneously describes a generalized Z2 lattice gauge theory with quenched disorder. We observe that the clean limit of the latter is precisely the discretized imaginary time path integral of the corresponding quantum code Hamiltonian when the errors are turned into a perturbative X or Z magnetic field. Motivated by error correction considerations, we define general order parameters for all such generalized Z2 lattice gauge theories, and show that they are generally lower bounded by success probabilities of error correction. For CSS codes satisfying the LDPC condition and with a sufficiently large code distance, we prove the existence of a low temperature ordered phase of the corresponding lattice gauge theories, particularly for those lacking Euclidean spatial locality and/or when there is a nonzero code rate. We further argue that these results provide evidence to stable phases in the corresponding perturbed quantum Hamiltonians, obtained in the limit of continuous imaginary time. To do so, we distinguish space- and time-like defects in the lattice gauge theory. A high free-energy cost of space-like defects corresponds to a successful "memory experiment" and suppresses the energy splitting among the ground states, while a high free-energy cost of time-like defects corresponds to a successful "stability experiment" and points to a nonzero gap to local excitations.

A Quantum Stabilizer Code Associated with Cluster States

On the Geometry of Stabilizer States

Efficient One-Way Quantum Computations for Quantum Error Correction

Quotient Space Quantum Codes

A Construction of Quantum Stabilizer Codes from Classical Codes and Butson Hadamard Matrices

Low-overhead quantum error correction codes with a cyclic topology

Bipartite entanglement of noisy stabilizer states through the lens of stabilizer codes

Existence of Pauli-like stabilizers for every quantum error-correcting code

Quantum Circuits for Stabilizer Error Correcting Codes: A Tutorial

Perturbative stability and error correction thresholds of quantum codes

Quantum stabilizer codes and beyond

Constructing quantum codes from any classical code and their embedding in ground space of local Hamiltonians

Detecting arbitrary quantum errors via stabilizer measurements on a sublattice of the surface code

The Algebra for Stabilizer Codes

Inhomogenous Quantum Codes (i):Additive Case

Quantum Error Correction with the GKP Code and Concatenation with Stabilizer Codes

Error-correcting codes for fermionic quantum simulation

Quantum LDPC Codes Based on Cocyclic Block Matrices

On the Fourier Transform Approach to Quantum Error Control

Fault-tolerant Preparation of Stabilizer States for Quantum CSS Codes by Classical Error-Correcting Codes