Initial phase; rather unstable at the moment
A library to track Pauli frames through a Clifford circuit with measurements.
more documentation in progress
The Pauli group is invariant under the conjugation of Clifford operations. This means that, in a circuit which consists only of Clifford operators and measurements, the Pauli gates can be "pushed" to the end of the circuit, just before the measurements. The benefit of this is that the Pauli gates don't have to be executed on a quantum computer and can instead be accounted for by post-processing of the measurement outcomes. The whole process is very similar to stabilzer simulations.
For more details about the Pauli and Clifford groups and Pauli tracking, please look into the literature, e.g.,: - Software Pauli Tracking for Quantum Computation - Stim: a fast stabilizer circuit simulator - ...
This library does not provide a full quantum simulator. Instead it only provides tools to track the Pauli operators through the circuit, while building up the circuit or while simulating the circuit.
For examples, please look into the the crate documentation.