18 citations · 65 across the 19 of their papers we have counts for
3 papers · 2 filters
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
We introduce the first complete and approximatively universal diagrammatic language for quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by Coecke and…
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart +1
The ZX-Calculus is a powerful graphical language for quantum mechanics and quantum information processing. The completeness of the language -- i.e. the ability to derive any true e…
Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
We introduce a ZX-like diagrammatic language devoted to manipulating real matrices - and rebits -, with its own set of axioms. We prove the necessity of some non trivial axioms of…