Abstract:A central ingredient in fault-tolerant quantum algorithms is the initialization of a logical state for a given quantum error-correcting code from a set of noisy qubits. A scheme that has demonstrated promising results for small code instances that are realizable on currently available hardware composes a non-fault-tolerant state preparation step with a verification step that checks for spreading errors. Known circuit constructions of this scheme are mostly obtained manually, and no algorithmic techniques for constructing depth- or gate-optimal circuits exist. As a consequence, the current state of the art exploits this scheme only for specific code instances and mostly for the special case of distance 3 codes. In this work, we propose an automated approach for synthesizing fault-tolerant state preparation circuits for arbitrary CSS codes. We utilize methods based on satisfiability solving (SAT) techniques to construct fault-tolerant state preparation circuits consisting of depth- and gate-optimal preparation and verification circuits. We also provide heuristics that can synthesize fault-tolerant state preparation circuits for code instances where no optimal solution can be obtained in an adequate timeframe. Moreover, we give a general construction for non-deterministic state preparation circuits beyond distance 3. Numerical evaluations using $d=3$ and $d=5$ codes confirm that the generated circuits exhibit the desired scaling of the logical error rates. The resulting methods are publicly available as part of the Munich Quantum Toolkit (MQT) at <a class="link-external link-https" href="https://github.com/cda-tum/mqt-qecc" rel="external noopener nofollow">this https URL</a>. Such methods are an important step in providing fault-tolerant circuit constructions that can aid in near-term demonstration of fault-tolerant quantum computing.

Protecting expressive circuits with a quantum error detection code

Protecting Expressive Circuits with a Quantum Error Detection Code

Experimental fault-tolerant code switching

Performance of Quantum Approximate Optimization with Quantum Error Detection

Implementing fault-tolerant non-Clifford gates using the [[8,3,2]] color code

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

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

Fault-Tolerant Logical Gates in the IBM Quantum Experience

Transversal CNOT gate with multi-cycle error correction

Demonstration of fault-tolerant universal quantum gate operations

Algorithmic Fault Tolerance for Fast Quantum Computing

Erasure conversion for fault-tolerant quantum computing in alkaline earth Rydberg atom arrays

Demonstration of quantum computation and error correction with a tesseract code

Encoding a magic state with beyond break-even fidelity

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

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes

Overcoming leakage in quantum error correction

Fault-tolerant parity readout on a shuttling-based trapped-ion quantum computer

Demonstration of logical qubits and repeated error correction with better-than-physical error rates

Entangling four logical qubits beyond break-even in a nonlocal code

Realizing repeated quantum error correction in a distance-three surface code