194 citations · 1k across the 75 of their papers we have counts for
Showing 2018 · quant-phShow all
2 papers · 2 filters
quant-ph2018
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Recent completeness results on the ZX-Calculus used a third-party language, namely the ZW-Calculus. As a consequence, these proofs are elegant, but sadly non-constructive. We addre…
quant-ph2018
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
The ZX-Calculus is a graphical language for quantum mechanics. An axiomatisation has recently been proven to be complete for an approximatively universal fragment of quantum mechan…