Stabilizer Circuits, Quadratic Forms, and Computing Matrix Rank

Chaowen Guan, Kenneth W. Regan

We show that a form of strong simulation for $n$-qubit quantum stabilizer circuits $C$ is computable in $O(s+n^{\omega })$ time, where $\omega$ is the exponent of matrix multiplication. Solut…