4 citations · 7 across the 6 of their papers we have counts for
6 papers · 1 filter
Large-scale quantum diagrammatic reasoning tools, !-boxes vs. scalable notations
Titouan Carette, Louis Lemonnier
The application of diagrammatic reasoning techniques to large-scale quantum processes needs specific tools to describe families of diagrams of arbitrary size. For now, large-scale…
Quantum Algorithms and Oracles with the Scalable ZX-calculus
Titouan Carette, Yohann D'Anello, Simon Perdrix
The ZX-calculus was introduced as a graphical language able to represent specific quantum primitives in an intuitive way. The recent completeness results have shown the theoretical…
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
Titouan Carette, Marc de Visme, Simon Perdrix
Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless) quantum computations acting on a finite number of qubits. Meanw…
A note on diagonal gates in SZX-calculus
Titouan Carette
This note describes how the the scalable ZXH calculus can be used to represent in a compact way the quantum gates that are diagonal in the computational basis. This includes contro…
SZX-calculus: Scalable Graphical Quantum Reasoning
Titouan Carette, Dominic Horsman, Simon Perdrix
We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is…
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…