A simplified stabilizer ZX-calculus
The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: a stabilizer ZX-diagram can be transformed into another one if and only if these two diagrams represent the same quantum evolution or quantum state. We show that the...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Udgivet: |
Open Publishing Association
2017
|