Abstract:The stabiliser formalism plays a central role in quantum computing, error correction, and fault tolerance. Conversions between and verifications of different specifications of stabiliser states and Clifford gates are important components of many classical algorithms in quantum information, e.g. for gate synthesis, circuit optimisation, and simulating quantum circuits. These core functions are also used in the numerical experiments critical to formulating and testing mathematical conjectures on the stabiliser formalism. We develop novel mathematical insights concerning stabiliser states and Clifford gates that significantly clarify their descriptions. We then utilise these to provide ten new fast algorithms which offer asymptotic advantages over any existing implementations. We show how to rapidly verify that a vector is a stabiliser state, and interconvert between its specification as amplitudes, a quadratic form, and a check matrix. These methods are leveraged to rapidly check if a given unitary matrix is a Clifford gate and to interconvert between the matrix of a Clifford gate and its compact specification as a stabiliser tableau. For example, we extract the stabiliser tableau of a $2^n \times 2^n$ matrix, promised to be a Clifford gate, in $O(n 2^n)$ time. Remarkably, it is not necessary to read all the elements of a Clifford gate matrix to extract its stabiliser tableau. This is an asymptotic speedup over the best-known method that is exponential in the number of qubits. We provide implementations of our algorithms in $\texttt{Python}$ and $\texttt{C++}$ that exhibit vastly improved practical performance over existing algorithms in the cases where they exist.

Optimized Aaronson-Gottesman stabilizer circuit simulation through quantum circuit transformations

Improved Graph Formalism for Quantum Circuit Simulation

Classical simulation of quantum circuits with partial and graphical stabiliser decompositions

A simple method for compiling quantum stabilizer circuits

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation

Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions

Faster Computation of Stabilizer Extent

On the Geometry of Stabilizer States

Contraction of ZX diagrams with triangles via stabiliser decompositions

Fast algorithms for classical specifications of stabiliser states and Clifford gates

Simulating Quantum Circuits by Shuffling Paulis

Quantum Circuit Simplification and Level Compaction

Floquetifying stabiliser codes with distance-preserving rewrites

Architecture-Aware Synthesis of Stabilizer Circuits from Clifford Tableaus

Deep Circuit Compression for Quantum Dynamics via Tensor Networks

Approximate stabilizer rank and improved weak simulation of Clifford-dominated circuits for qudits

Speedy Contraction of ZX Diagrams with Triangles via Stabiliser Decompositions

Improved Stabilizer Estimation via Bell Difference Sampling

Hardware implementation of quantum stabilizers in superconducting circuits

Algebraic Compression of Free Fermionic Quantum Circuits: Particle Creation, Arbitrary Lattices and Controlled Evolution

Stabilizer circuit verification