stac

Stac allows you to generate and simulate quantum stabilizer codes. It comes with its own quantum circuit library that has been designed to make the process of algorithmically creating quantum error-correction circuits and fault-tolerence circuits as painless as possible.

Stac also includes a stabilizer code library. If you give it a generator matrix of any stabilizer code, you construct a code object. Code objects include algorithms for generating

• encoding circuits,
• decoding circuits,
• syndrome measurment circuits,

for the code, among other useful functions.

For these circuits or any other circuits you build using the circuit library, you can

• draw the circuits.
• annotate the circuit with errors. This is useful for reasoning about how errors effect the circuits of quantum codes.
• simulate circuits using stim.
• export to qasm, stim or quirk.

One of the goals of stac (not there yet) is to compute the fault-tolerance thresholds of simple stabilizer codes in "one-click".

Getting started

To install stac, run

pip install git+https://github.com/abdullahkhalids/stac

Please refer to my mini-book which illustrates basic usage in action.

A short guide on more advanced Stac circuits is available here.

Development version

Stac is currently undergoing a complete overwrite to make it suitable for constructing fault-tolerant circuits. The goals and progress

• There is an intrinsic notion of encoded qubits at any concatenation level in the circuit. User can create registers of such qubits.
• The append function can apply a logical operation to qubits at any level of concatentation. The resultant operation is automatically compiled down to the physical qubits.
• The user can construct a fault-tolerant circuit for any stabilizer code using a few lines of code. (Works for codes with k=1 currently)
• Provide the user with a rich assembly language to construct custom fault-tolerant circuits (basic functionality present but needs improvement)
• Export a stim circuit that can be used to compute the threshold of the code.

Credits

Thanks for Unitary Fund for funding part of the development of this project.