16 citations · 41 across the 8 of their papers we have counts for
3 papers · 1 filter
A Complete Equational Theory for Quantum Circuits
Alexandre Clément, Nicolas Heurtel, Shane Mansfield +2
We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we prove to be sound and complete: two circuits…
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits
Alexandre Clément, Nicolas Heurtel, Shane Mansfield +2
We introduce the LOv-calculus, a graphical language for reasoning about linear optical quantum circuits with so-called vacuum state auxiliary inputs. We present the axiomatics of t…
Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus
Alexandre Clément, Simon Perdrix
Coherent control of quantum computations can be used to improve some quantum protocols and algorithms. For instance, the complexity of implementing the permutation of some given un…