152 citations · 305 across the 16 of their papers we have counts for
6 papers · 2 filters
Connecting XOR and XOR* games
Lorenzo Catani, Ricardo Faleiro, Pierre-Emmanuel Emeriau +2
In this work we focus on two classes of games: XOR nonlocal games and XOR* sequential games with monopartite resources. XOR games have been widely studied in the literature of nonl…
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…
Assessing the quality of near-term photonic quantum devices
Rawad Mezher, Shane Mansfield
For near-term quantum devices, an important challenge is to develop efficient methods to certify that noise levels are low enough to allow potentially useful applications to be car…