The Classification of Stabilizer Operations over Qubits
Daniel Grier, Luke Schaeffer · arXiv (Cornell University) · 2016
We present a complete classification of quantum stabilizer gates in terms of the functions they generate assuming the ability to swap qubits and use ancillary workspace. Because we view these stabilizer circuits as subroutines of some general quantum computation, we insist that any ancilla qubits used during the computation must not change in an input-dependent manner. This is the first attempt at a quantum extension of the classification of reversible classical gates introduced by Aaronson et al., another part of an ambitious program to classify all quantum gate sets. The classification uses, at its center, a reinterpretation of the tableau representation of stabilizer gates to give circuit decompositions, from which elementary generators can easily be extracted. There are a total of 57 different stabilizer classes generated in this way, 30 of which arise from the single-qubit subgroups of the Clifford group. At a high level, the remaining classes are arranged according to the bases they preserve. For instance, the CNOT gate preserves the X and Z bases because it maps X-basis elements to X-basis elements and Z-basis elements to Z-basis elements. The remaining classes are characterized by more subtle tableau invariants; for instance, the T_4 and phase gate generate a proper subclass of Z-preserving gates.