Stabilizer circuit
/-- "Stabilizer circuits are quantum circuits made entirely of the stabilizer gates: CNOT, Hadamard, and the phase gate." These gates form a group under multiplication: The Clifford group. -/ def stabilizer_circuit [unitary U] := sorry
“The Gottesman-Knill Theorem: There’s a polynomial-time classical algorithm to simulate any Stabilizer circuit that acts on an initial Stabilizer state like |00...0⟩.
“simulate”: you can compute the probability of any possible sequence of measurement outcomes, or you can simulate the measurement outcomes if given access to a random bit source.”