25 citations · 122 across the 26 of their papers we have counts for
12 papers · 1 filter
Invariants in Linear Optics
Sébastien Draux, Simon Perdrix, Emmanuel Jeandel +1
Linear optics (LO) prohibits certain transformations. In this paper, we study the conditions for a computation to be possible in LO. We find that there are finitely many polynomial…
Addition and Differentiation of ZX-diagrams
Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova
The ZX-calculus is a powerful framework for reasoning in quantum computing. It provides in particular a compact representation of matrices of interests. A peculiar property of the…
Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles
Constantin Dalyac, Loïc Henriet, Emmanuel Jeandel +4
In order to qualify quantum algorithms for industrial NP-Hard problems, comparing them to available polynomial approximate classical algorithms and not only to exact ones -- expone…
Completeness of the ZX-Calculus
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. It comes equipped with an equational presentation. We focus…
Completeness of Graphical Languages for Mixed States Quantum Mechanics
Titouan Carette, Emmanuel Jeandel, Simon Perdrix +1
There exist several graphical languages for quantum information processing, like quantum circuits, ZX-Calculus, ZW-Calculus, etc. Each of these languages forms a dagger-symmetric m…
The rational fragment of the ZX-calculus
Emmanuel Jeandel
We introduce here a new axiomatisation of the rational fragment of the ZX-calculus, a diagrammatic language for quantum mechanics. Compared to the previous axiomatisation introduce…