Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. An axiomatisation has recently been proven to be complete for an approximatively universal fragment of quantum mechanics, the so-called Clifford+T fragment. We focus here on the expressive power of this axiomatisation beyond Clifford+T Quantum …