Single-shot and measurement-based quantum error correction via fault complexes

Basic Information

• Paper ID: 2410.12963
• Title: Single-shot and measurement-based quantum error correction via fault complexes
• Authors: Timo Hillmann, Guillaume Dauphinais, Ilan Tzitrin, Michael Vasmer
• Classification: quant-ph (Quantum Physics)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2410.12963

Abstract

Photonics provides a viable pathway toward scalable fault-tolerant quantum computers. The natural framework for this platform is measurement-based quantum computation (MBQC), where fault-tolerant graph states replace conventional quantum error correction codes. However, existing foliation formalisms—methods for constructing fault-tolerant graph states—fail to reveal how certain properties, such as single-shot error correction, manifest in the measurement-based setting. This paper introduces fault complexes, a representation method particularly suited for describing the dynamics of foliation-based quantum error correction protocols. This approach enables precise calculation of the fault-tolerance properties of foliated codes and provides insights for circuit-based quantum computation. Through analysis of fault complexes, improved thresholds for three-dimensional and four-dimensional toric codes are obtained, the stabilizer formalism is generalized, and the possibility of single-shot lattice surgery in higher-dimensional topological codes is demonstrated.

Research Background and Motivation

Problem Background

1. Requirements for Photonic Quantum Computing: The photonic platform offers a promising pathway for scalable fault-tolerant quantum computation, particularly suited to the measurement-based quantum computation (MBQC) framework.
2. Limitations of Existing Methods:
   • Traditional quantum error correction theory is primarily designed for circuit-based quantum computation (CBQC)
   • Existing foliation methods, while capable of constructing fault-tolerant graph states, fail to clearly reveal how important properties such as single-shot error correction manifest in MBQC
   • Lack of a unified theoretical framework for analyzing the fault-tolerance properties of dynamic error correction protocols
3. Research Motivation:
   • Need for a better mathematical framework to describe and analyze foliated codes
   • Desire to improve error correction thresholds for higher-dimensional topological codes
   • Exploration of the possibility of single-shot lattice surgery in higher-dimensional topological codes

Core Contributions

1. Introduction of Fault Complex Concept: Proposes a novel mathematical framework for representing dynamic quantum error correction protocols, particularly suited for describing the foliation process.
2. Reformulation of Foliation: Reformulates foliation as a tensor product of CSS codes and repetition codes using homological theory language.
3. Improved Error Correction Thresholds:
   • 3D toric code threshold elevated to approximately 9.65%
   • 4D toric code threshold elevated to approximately 5.9%
   • These results surpass all previous achievements
4. Generalization of Stabilizer Formalism: Generalizes the concept of the stabilizer formalism through explicit computation of the homology groups of fault complexes.
5. Single-shot Lattice Surgery: Demonstrates the existence of single-shot lattice surgery in higher-dimensional topological codes.

Methodology Details

Task Definition

The core task of this paper is to establish a unified theoretical framework for analyzing measurement-based quantum error correction protocols, particularly the properties of fault-tolerant graph states constructed through foliation.

Fault Complex Architecture

Basic Definition

A fault complex is defined as a chain complex of length 3:

... → F_{i+2} --∂_{i+2}--> F_{i+1} --∂_{i+1}--> F_i --∂_i--> F_{i-1} → ...

Where:

• Primal Fault Locations: Elements of F_i
• Dual Fault Locations: Elements of F_{i+1}
• Boundary Maps: ∂_{i+1} determines equivalent primal and dual faults
• Detector Matrices: D_X = ∂_i (primal), D_Z = ∂_i^T (dual)

Mathematical Structure

For foliated CSS codes, the fault complex is represented as F = C × R, where:

• C: Chain complex of length 2 describing the CSS code
• R: Chain complex describing the repetition code

Space definition:

F_j = ⊕_{ℓ+m=j} R_ℓ ⊗ C_m

Boundary operators:

∂_j = (1_r ⊗ ∂_j^C    R ⊗ 1_{n_j-1})
      (0              1_c ⊗ ∂_{j-1}^C)

Key Technical Innovations

1. Application of Homological Theory

Uses the Künneth formula to compute logical correlations and error counts:

k_i = dim H_0(R) dim H_i(C) + dim H_1(R) dim H_{i-1}(C)

2. Fault-Tolerance Distance Calculation

Primal and dual fault-tolerance distances are given by:

d_i = min[d_0(R)d_i(C), d_1(R)d_{i-1}(C)]
d_{i+1} = min[d_0(R^T)d_{i+1}(C^T), d_1(R^T)d_i(C^T)]

3. Overlapping Window Decoder

Introduces (w,c)-overlapping window decoder, where:

• w: Window size (number of rounds considered)
• c: Number of committed rounds (c ≤ w)

The effective distance becomes min(wL, L²), where L is the linear size of the code.

Experimental Setup

Noise Model

1. Phenomenological Pauli Noise: Independent and identically distributed Pauli errors with probability p
2. Photonic GKP Noise: Noise model for photonic architecture based on Gottesman-Kitaev-Preskill qubits

Evaluation Metrics

• Sustainable Threshold: Maximum error rate that can be maintained after multiple rounds of noisy syndrome measurements
• Logical Error Rate: Probability of residual logical errors after decoding

Comparison Methods

• Overlapping window decoders with different window sizes (w = 1, 2, 3, L)
• Previous single-round decoding methods
• Optimal window selection (w = L)

Implementation Details

• Belief propagation (BP) + ordered statistics decoding (OSD)
• 30 BP iterations, OSD search depth 60
• Bootstrap resampling technique for threshold estimation (10,000 samples)
• 99% confidence intervals

Experimental Results

Main Results

Threshold Improvements Under Phenomenological Noise

• 3D Toric Code:
  • w=1: ~7.5%
  • w=2: ~8.5%
  • w=3: ~9.65% (approaching optimal w=L performance)
• 4D Toric Code:
  • w=1: ~5.0%
  • w=2: ~5.5%
  • w=3: ~5.9% (approaching optimal w=L performance)

Photonic GKP Noise Model

• 3D Toric Code: Threshold approximately 7.95 dB
• 4D Toric Code: Threshold approximately 10.35 dB

Key Findings

1. Impact of Window Size

Larger decoding windows significantly improve sustainable thresholds; w=3 already approaches optimal performance, which is important for practical applications.

2. Convergence Analysis

• Threshold estimation converges slowly at w=1
• Larger w values converge faster due to increased temporal distance
• Convergence is immediate at w=L

3. Stabilizer Experiments

Stabilizer experiments on 3D toric code show:

• Error thresholds observed for all window sizes
• Logical error rates decrease with increasing L below threshold
• Exponential error suppression demonstrated

Related Work

Main Research Directions

1. Topological Quantum Error Correction: Decoding algorithms for 2D/3D/4D toric codes
2. Single-shot Error Correction: Codes achieving fault-tolerant error correction with a single round of parity checks
3. Measurement-based Quantum Computation: Construction and analysis of fault-tolerant graph states
4. Lattice Surgery: Primary technique for logical operations on topological codes

Unique Contributions of This Work

• Provides a unified theoretical framework connecting MBQC and CBQC
• First systematic application of homological theory to dynamic error correction protocol analysis
• Achieves significant threshold improvements for higher-dimensional topological codes

Conclusions and Discussion

Main Conclusions

1. Theoretical Contribution: Fault complexes provide powerful mathematical tools for analyzing dynamic quantum error correction protocols
2. Practical Value: Improved decoding algorithms make higher-dimensional topological codes more attractive for practical applications
3. Architectural Advantages: 4D toric code has asymptotic advantages over 2D toric code in spacetime overhead

Limitations

1. Computational Complexity: Larger decoding windows increase decoding time
2. Scope of Applicability: Primarily focused on CSS codes and topological codes
3. Noise Models: Mainly considers Pauli noise and specific photonic noise models

Future Directions

1. Extension to Non-CSS Codes: Exploration of symplectic chain complexes for non-CSS codes
2. Other Product Constructions: Investigation of balanced and lifted product constructions
3. More Complex Noise Models: Including circuit-level noise modeling
4. Subsystem Codes: Extension to subsystem codes with single-shot error correction

In-Depth Evaluation

Strengths

1. Strong Theoretical Innovation: First systematic application of homological theory to dynamic quantum error correction, providing a novel analytical perspective
2. Significant Experimental Results: Achieves threshold improvements on 3D and 4D toric codes surpassing all previous work
3. Unified Framework: Successfully connects the seemingly different frameworks of MBQC and CBQC
4. Mathematical Rigor: Uses rigorous homological theory with complete and clear derivations

Weaknesses

1. Complexity: The theoretical framework is relatively complex, requiring substantial mathematical background for complete understanding
2. Limited Experimental Scope: Primarily focused on topological codes; applicability to other types of quantum codes remains to be verified
3. Computational Overhead: While the improved decoding algorithm performs better, computational complexity correspondingly increases

Impact

1. Academic Value: Provides new mathematical tools and analytical methods for quantum error correction theory
2. Practical Significance: Improved thresholds make higher-dimensional topological codes more feasible for near-term quantum computing experiments
3. Cross-disciplinary Contribution: Connects topology, homological algebra, and quantum information theory

Applicable Scenarios

1. Photonic Quantum Computing: Particularly suited for measurement-based photonic quantum computing platforms
2. Higher-dimensional Topological Codes: Provides theoretical support for practical applications of 3D/4D toric codes
3. Fault-tolerant Quantum Computing: Provides new tools for designing more efficient fault-tolerance protocols

References

The paper cites 87 related references covering important works in quantum error correction, topological codes, measurement-based quantum computation, and other relevant fields, demonstrating comprehensive and in-depth research.

Overall Assessment: This is a high-quality paper making important contributions to quantum error correction theory. By introducing fault complexes as a novel mathematical framework, it not only provides powerful tools for understanding dynamic quantum error correction protocols but also achieves significant performance improvements in practical applications. Both the theoretical innovation and experimental results of this paper reach a high standard, with important implications for advancing the field of quantum computing.