MQT QECC: A tool for Quantum Error Correcting Codes written in C++

A tool for quantum error correcting codes and numerical simulations developed as part of the Munich Quantum Toolkit (MQT) by the Chair for Design Automation at the Technical University of Munich.

The tool can be used to:

• Decode (triangular) color codes and conduct respective numerical simulations.
  • The decoder is based on an analogy to the classical LightsOut puzzle and formulated as a MaxSAT problem. The SMT solver Z3 is used to determine minimal solutions of the MaxSAT problem, resulting in minimum-weight decoding estimates.
• Decode bosonic quantum LDPC codes and conduct numerical simulations for analog information decoding under phenomenological (cat qubit) noise.
• Synthesize non-deterministic and deterministic fault-tolerant state preparation circuits for qubit CSS codes.

::: warning The C++ implementation of the union find decoder for LDPC codes and the circuit transpilation framework have been removed with v2.0.0 and are no longer available. QECC is now entirely a Python package. For up to date software for decoding LDPC codes we refer to quantumgizmos/ldpc.

If you would like to use these features, they are available in mqt.qecc version <2.0.0. :::

Basic usage for lattice surgery compilation beyond the surface code is described here in the branch ls-compilation whose code quality improvements are work in progress.

If you have any questions, feel free to contact us via quantum.cda@xcit.tum.de or by creating an issue on GitHub.

Getting Started

QECC is available via PyPI for Linux, macOS, as well as Windows and supports Python 3.9 to 3.13.

(venv) $ pip install mqt.qecc

Detailed documentation on all available methods, options, and input formats is available at ReadTheDocs.

Reference

If you use our tool for your research, we will be thankful if you refer to it by citing the appropriate publication:

• L. Schmid, T.Peham, L. Berent, M. Müller, and R. Wille, "Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability".

• T.Peham, L. Schmid, L. Berent, M. Müller, and R. Wille, "Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes".

• L. Berent, T. Hillmann, J. Eisert, R. Wille, and J. Roffe, "Analog information decoding of bosonic quantum LDPC codes".

• L. Berent, L. Burgholzer, P.J. Derks, J. Eisert, and R. Wille, "Decoding quantum color codes with MaxSAT".

  The dataset used in the paper evaluation on decoding quantum color codes is available on Zenodo:

• T. Grurl, C. Pichler, J. Fuss and R. Wille, "Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error-Correction," in International Conference on VLSI Design and International Conference on Embedded Systems (VLSID), 2023

• L. Berent, L. Burgholzer, and R. Wille, "Software Tools for Decoding Quantum Low-Density Parity Check Codes," in Asia and South Pacific Design Automation Conference (ASP-DAC), 2023

Acknowledgements

The Munich Quantum Toolkit has been supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (grant agreement No. 101001318), the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program, as well as the Munich Quantum Valley, which is supported by the Bavarian state government with funds from the Hightech Agenda Bayern Plus.