Justin Makary (Dalhousie University) |
Neil J. Ross (Dalhousie University) |
Peter Selinger (Dalhousie University) |
Real stabilizer operators, which are also known as real Clifford operators, are generated, through composition and tensor product, by the Hadamard gate, the Pauli Z gate, and the controlled-Z gate. We introduce a normal form for real stabilizer circuits and show that every real stabilizer operator admits a unique normal form. Moreover, we give a finite set of relations that suffice to rewrite any real stabilizer circuit to its normal form. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.343.2 | Ancillary files | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |