Perturbative stability and error correction thresholds of quantum codes

Yaodong Li,Nicholas O'Dea,Vedika Khemani

2024-07-30

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.

Quantum Physics,Statistical Mechanics,High Energy Physics - Lattice

What problem does this paper attempt to address?

The problem this paper attempts to address is: how to connect the stability of topologically ordered phases with the stability of quantum error-correcting codes (especially CSS codes) under local perturbations by constructing classical statistical mechanics models. Specifically, the authors aim to demonstrate that quantum low-density parity-check (LDPC) codes, when considered as Hamiltonians, exhibit a certain degree of stability under local perturbations, and this stability can be reflected through the error threshold of the error-correcting codes.

### Main Research Content:
1. **Relationship between Stability and Error Threshold**:
- The authors explore the relationship between the stability of topologically ordered phases and the error threshold of quantum error-correcting codes.
- By constructing classical statistical mechanics models, the authors transform the decoding problem of quantum error-correcting codes into a statistical inference problem.
- These models describe the behavior of perturbed quantum code Hamiltonians in discrete imaginary time path integrals.

2. **Construction of Statistical Mechanics Models**:
- The authors construct a class of generalized Z2 lattice gauge theory models that encode the success probability of correcting bit-flip and phase-flip errors.
- In the limit of no perturbations, these models correspond to the discrete imaginary time path integrals of the respective quantum code Hamiltonians.

3. **Definition of Order Parameters**:
- The authors define a series of generalized boundary order parameters related to the expectation values of logical operators.
- Successful decoding means that these order parameters reach 1 at low temperatures, indicating that the system is in an ordered phase.

4. **Experimental Verification**:
- Through "memory experiments" and "stability experiments," the authors demonstrate the properties of these models in the continuous imaginary time limit.
- A small failure probability indicates the existence of ground state energy splitting and excitation energy gaps, further supporting the stability of the system.

### Main Conclusions:
- For CSS codes that satisfy the LDPC condition and have a sufficiently large code distance, there exists a low-temperature ordered phase, indicating that the corresponding quantum Hamiltonians are stable under local perturbations.
- Successful decoding provides evidence that these quantum Hamiltonians remain in an ordered phase in the continuous imaginary time limit.

### Significance:
- This study provides a new perspective for understanding the connection between the stability of quantum error-correcting codes and topologically ordered phases.
- By constructing statistical mechanics models, the authors offer a new method for analyzing the performance of quantum error-correcting codes, which is significant for achieving scalable quantum computing.

### Future Directions:
- Further research on the stability and error thresholds under different noise models.
- Exploration of more types of quantum codes and their corresponding statistical mechanics models.
- Investigation of the application of these models in practical quantum computing, especially in high-dimensional and non-Euclidean geometries.