16 citations · 41 across the 8 of their papers we have counts for
9 papers
A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
Alexandre Clément
We introduce a complete equational theory for the fragment of quantum circuits generated by the real Clifford gates plus the two-qubit controlled-Hadamard gate. That is, we give a…
Minimal Equational Theories for Quantum Circuits
Alexandre Clément, Noé Delorme, Simon Perdrix
We introduce the first minimal and complete equational theory for quantum circuits. Hence, we show that any true equation on quantum circuits can be derived from simple rules, all…
Astrochemical models of interstellar ices: History matters
A. Clément, A. Taillard, V. Wakelam +6
Ice is ubiquitous in the interstellar medium. We model the formation of the main constituents of interstellar ices, including H2O, CO2 , CO, and CH3 OH. We strive to understand wha…
Quantum Circuit Completeness: Extensions and Simplifications
Alexandre Clément, Noé Delorme, Simon Perdrix +1
Although quantum circuits have been ubiquitous for decades in quantum computing, the first complete equational theory for quantum circuits has only recently been introduced. Comple…
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…
Coherent control and distinguishability of quantum channels via PBS-diagrams
Cyril Branciard, Alexandre Clément, Mehdi Mhalla +1
We introduce a graphical language for coherent control of general quantum channels inspired by practical quantum optical setups involving polarising beam splitters (PBS). As standa…
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations
Alexandre Clément, Simon Perdrix
We introduce the PBS-calculus to represent and reason on quantum computations involving coherent control of quantum operations. Coherent control, and in particular indefinite causa…