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...
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | Conference item |
| منشور في: |
Open Publishing Association
2017
|