1

A Complete Equational Theory for Quantum Circuits
We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we …
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
Cite PDF
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits
We introduce the LOv-calculus, a graphical language for reasoning about linear optical quantum circuits with so-called vacuum state …
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
Cite PDF