Complete set of circuit equations for stabilizer quantum mechanics

André Ranchin, Bob Coecke
2014 Physical Review A. Atomic, Molecular, and Optical Physics  
We find a sufficient set of equations between quantum circuits from which we can derive any other equation between stabilizer quantum circuits. To establish this result, we rely upon existing work on the completeness of the graphical ZX language for quantum processes. The complexity of the circuit equations, as opposed to the very intuitive reading of the much smaller number of ZX-equations, advocates the latter for performing computations with quantum circuits.
doi:10.1103/physreva.90.012109 fatcat:zblaxov435h2hhkeiokxgpufum