research
∙
04/20/2023
The Algebra for Stabilizer Codes
There is a bijection between odd prime dimensional qudit pure stabilizer...
research
∙
05/18/2022
Coend Optics for Quantum Combs
We compare two possible ways of defining a category of 1-combs, the firs...
research
∙
05/13/2021
A Graphical Calculus for Lagrangian Relations
Symplectic vector spaces are the phase space of linear mechanical system...
research
∙
02/08/2021
Distributive Laws, Spans and the ZX-Calculus
We modularly build increasingly larger fragments of the ZX-calculus by m...
research
∙
04/11/2020
The ZX calculus: A complete graphical calculus for classical circuits using spiders
We give a complete presentation for the fragment, ZX , of the ZX-calcu...
research
∙
04/24/2019
Circuit Relations for Real Stabilizers: Towards TOF+H
The real stabilizer fragment of quantum mechanics was shown to have a co...
research
∙
04/27/2018