ZX-calculus publications

2020

  • There and back again: A circuit extraction tale
    Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski and John van de Wetering
    Show abstract ⇲ Show bibdata ⇲

2019

  • Efficient compression of quantum braided circuits
    Michael Hanks, Marta P. Estarellas, William J. Munro and Kae Nemoto
    Show abstract ⇲ Show bibdata ⇲
  • Phase Gadget Synthesis for Shallow Circuits
    Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons and Seyon Sivarajah
    Show abstract ⇲ Show bibdata ⇲
  • Graphical Fourier Theory and the Cost of Quantum Addition
    Stach Kuijpers, John van de Wetering and Aleks Kissinger
    Show abstract ⇲ Show bibdata ⇲
  • Completeness of the ZX-Calculus
    Emmanuel Jeandel, Simon Perdrix and Renaud Vilmart
    Show abstract ⇲ Show bibdata ⇲
  • Completeness of Graphical Languages for Mixed States Quantum Mechanics
    Titouan Carette, Emmanuel Jeandel, Simon Perdrix and Renaud Vilmart
    Show abstract ⇲ Show bibdata ⇲
  • Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
    Ross Duncan, Aleks Kissinger, Simon Pedrix and John van de Wetering
    Show abstract ⇲ Show bibdata ⇲

2018

  • A diagrammatic calculus of fermionic quantum circuits
    Amar Hadzihasanovic, Giovanni de Felice and Kang Feng Ng
    Show abstract ⇲ Show bibdata ⇲

2017

2016

  • Graphical Structures for Design and Verification of Quantum Error Correction
    Nicholas Chancellor, Aleks Kissinger, Joschka Roffe, Stefan Zohren and Dominic Horsman
    Show abstract ⇲ Show bibdata ⇲
  • A Simplified Stabilizer ZX-calculus
    Miriam Backens, Simon Perdrix and Quanlong Wang
    Show abstract ⇲ Show bibdata ⇲

2015

2014

2013

2012

2011

  • The GHZ/W-calculus contains rational arithmetic
    Bob Coecke, Aleks Kissinger, Alex Merry and Shibdas Roy
    Show abstract ⇲ Show bibdata ⇲

2010

2009

2008


Home Tutorial Publications Accessibility Map PyZX Demo