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