18 citations · 65 across the 19 of their papers we have counts for
4 papers · 1 filter
A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
Renaud Vilmart
Recent developments in the ZX-Calculus have resulted in complete axiomatisations first for an approximately universal restriction of the language, and then for the whole language.…
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…
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
Renaud Vilmart
We consider a ZX-calculus augmented with triangle nodes which is well-suited to reason on the so-called Toffoli-Hadamard fragment of quantum mechanics. We precisely show the form o…
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…