71 citations · 109 across the 6 of their papers we have counts for
4 papers · 2 filters
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…
Strong Simulation of Linear Optical Processes
Nicolas Heurtel, Shane Mansfield, Jean Senellart +1
In this paper, we provide an algorithm and general framework for the simulation of photons passing through linear optical interferometers. Given photons at the input of an -…
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…
Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing
Nicolas Heurtel, Andreas Fyrillas, Grégoire de Gliniasty +13
We introduce Perceval, an open-source software platform for simulating and interfacing with discrete-variable photonic quantum computers, and describe its main features and compone…