Abstract | ||
---|---|---|
We define a normal form for Clifford circuits, and we prove that every Clifford operator has a unique normal form. Moreover, we present a rewrite system by which any Clifford circuit can be reduced to normal form. This yields a presentation of Clifford operators in terms of generators and relations. |
Year | DOI | Venue |
---|---|---|
2013 | 10.2168/LMCS-11(2:10)2015 | LOGICAL METHODS IN COMPUTER SCIENCE |
Keywords | Field | DocType |
Stabilizer circuits,Clifford circuits,generators and relations | Algebra,Pure mathematics,A-normal form,Operator (computer programming),Qubit,Mathematics | Journal |
Volume | Issue | ISSN |
11 | 2 | 1860-5974 |
Citations | PageRank | References |
1 | 0.37 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Selinger | 1 | 434 | 36.65 |