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.

Automatic Test Pattern Generation for Robust Quantum Circuit Testing

Automatic Test Pattern Generation for Robust Quantum Circuit Testing

Pattern-based quantum functional testing

Application of Combinatorial Testing to Quantum Programs

Testing and Debugging Quantum Circuits

A Survey on Testing and Analysis of Quantum Software

Exact and practical pattern matching for quantum circuit optimization

QCIR: Pattern Matching Based Universal Quantum Circuit Rewriting Framework

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

A Pattern Matching-Based Framework for Quantum Circuit Rewriting

Quantum software testing: State of the art

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements

Pattern Tree: Enhancing Efficiency in Quantum Circuit Optimization Based on Pattern-matching

Efficient Classical Computation of Single-Qubit Marginal Measurement Probabilities to Simulate Certain Classes of Quantum Algorithms

Benchmarking Single-Qubit Gates on a Noise-Biased Qubit Beyond the Fault-Tolerant Threshold

QuSBT: Search-Based Testing of Quantum Programs

Self-Testing of Quantum Circuits

Queen: A quick, scalable, and comprehensive quantum circuit simulation for supercomputing

Tailoring Fault-Tolerance to Quantum Algorithms

Stabilizer circuit verification