Abstract:In fault-tolerant quantum computing, quantum algorithms are implemented through quantum circuits capable of error correction. These circuits are typically constructed based on specific quantum error correction codes, with consideration given to the characteristics of the underlying physical platforms. Optimising these circuits within the constraints of today's quantum computing technologies, particularly in terms of error rates, qubit counts, and network topologies, holds substantial implications for the feasibility of quantum applications in the near future. This paper presents a toolkit for designing and analysing fault-tolerant quantum circuits. We introduce a framework for representing stabiliser circuits using classical low-density parity-check (LDPC) codes. Each codeword in the representation corresponds to a quantum-mechanical equation regarding the circuit, formalising the correlations utilised in parity checks and delineating logical operations within the circuit. Consequently, the LDPC code provides a means of quantifying fault tolerance and verifying logical operations. We outline the procedure for generating LDPC codes from circuits using the Tanner graph notation, alongside proposing graph-theory tools for constructing fault-tolerant quantum circuits from classical LDPC codes. These findings offer a systematic approach to applying classical error correction techniques in optimising existing fault-tolerant protocols and developing new ones. As an example, we develop a resource-efficient scheme for universal fault-tolerant quantum computing on hypergraph product codes based on the LDPC representation.

Flag Gadgets based on Classical Codes

Reducing Quantum Error Correction Overhead with Versatile Flag-Sharing Syndrome Extraction Circuits

Fault-tolerant syndrome extraction and cat state preparation with fewer qubits

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

Optimization tools for distance-preserving flag fault-tolerant error correction

Protecting Expressive Circuits with a Quantum Error Detection Code

Effectiveness of the syndrome extraction circuit with flag qubits on IBM quantum hardware

Algorithmic Fault Tolerance for Fast Quantum Computing

Low-density parity-check representation of fault-tolerant quantum circuits

Designing fault-tolerant circuits using detector error models

Fault-tolerant quantum error correction for Steane’s seven-qubit color code with few or no extra qubits

Fault-tolerant quantum error correction for Steane's seven-qubit color code with few or no extra qubits

2-Designs and Redundant Syndrome Extraction for Quantum Error Correction

High-threshold and low-overhead fault-tolerant quantum memory

Constant-Overhead Fault-Tolerant Quantum Computation with Reconfigurable Atom Arrays

Demonstration of fault-tolerant universal quantum gate operations

Weakly Fault-Tolerant Computation in a Quantum Error-Detecting Code

Flexible Fault Tolerant Gate Gadgets

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

Fault-Tolerant Logical Gates in the IBM Quantum Experience