152 citations · 622 across the 29 of their papers we have counts for
7 papers · 1 filter
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 Model of Anaphoric Ambiguities using Sheaf Theoretic Quantum-like Contextuality and BERT
Kin Ian Lo, Mehrnoosh Sadrzadeh, Shane Mansfield
Ambiguities of natural language do not preclude us from using it and context helps in getting ideas across. They, nonetheless, pose a key challenge to the development of competent…
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…