ZX-calculus publications Feed icon

This is intended to be a complete list of all publications that use the ZX-calculus (and related graphical calculi) in some manner. The guiding principle is that if the paper contains at least one ZX-diagram, then it should be in this list. If you find any errors or feel that a missing publication should be included in this list, please contact Richard East or John van de Wetering. If you want to keep up-to-date with additions, there is also an RSS feed.

2023

  • Quantum Circuit Optimization of Arithmetic circuits using ZX Calculus
    Aravind Joshi, Akshara Kairali, Renju Raju, Adithya Athreya, Reena Monica P, Sanjay Vishwakarma and Srinjoy Ganguly
    Show abstract ⇲ Show bibdata ⇲
  • Light-matter interaction in the ZXW calculus
    Giovanni de Felice, Razin A. Shaikh, Boldizsár Poór, Lia Yeh, Quanlong Wang and Bob Coecke
    Show abstract ⇲ Show bibdata ⇲
  • Picturing counting reductions with the ZH-calculus
    Tuomas Laakkonen, Konstantinos Meichanetzidis and John van de Wetering
    Show abstract ⇲ Show bibdata ⇲
  • Unifying flavors of fault tolerance with the ZX calculus
    Hector Bombin, Daniel Litinski, Naomi Nickerson, Fernando Pastawski and Sam Roberts
    Show abstract ⇲ Show bibdata ⇲
  • Modular decoding: parallelizable real-time decoding for quantum computers
    Héctor Bombín, Chris Dawson, Ye-Hua Liu, Naomi Nickerson, Fernando Pastawski and Sam Roberts
    Show abstract ⇲ Show bibdata ⇲
  • Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
    Boldizsár Poór, Quanlong Wang, Razin Shaikh A., Lia Yeh, Richie Yeung and Bob Coecke
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Compositionality of planar perfect matchings
    Titouan Carette, Etienne Moutot, Thomas Perez and Renaud Vilmart
    Show abstract ⇲ Show bibdata ⇲
  • Complete Graphical Language for Hermiticity-Preserving Superoperators
    Titouan Carette, Timothée Hoffreumon, Emile Larroque and Renaud Vilmart
    Show abstract ⇲ Show bibdata ⇲
  • Cutting multi-control quantum gates with ZX calculus
    Christian Ufrecht, Maniraman Periyasamy, Sebastian Rietsch, Daniel D. Scherer, Axel Plinge and Christopher Mutschler
    Show abstract ⇲ Show bibdata ⇲

2022

  • A Graphical #SAT Algorithm for Formulae with Small Clause Density
    Tuomas Laakkonen, Konstantinos Meichanetzidis and John van de Wetering
    Show abstract ⇲ Show bibdata ⇲
  • Quantum computation on a 19-qubit wide 2d nearest neighbour qubit array
    Alexis Shaw, Michael Bremner, Alexandru Paler, Daniel Herr and Simon J. Devitt
    Show abstract ⇲ Show bibdata ⇲
  • Barren plateaus in quantum tensor network optimization
    Enrique Cervero Martín, Kirill Plekhanov and Michael Lubasch
    Show abstract ⇲ Show bibdata ⇲
  • A Complete Equational Theory for Quantum Circuits
    Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix and Benoît Valiron
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • The Many-Worlds Calculus: Representing Quantum Control
    Kostia Chardonnet, Marc de Visme, Benoit Valiron and Renaud Vilmart
    Show abstract ⇲ Show bibdata ⇲
  • Addition and Differentiation of ZX-diagrams
    Emmanuel Jeandel, Simon Perdrix and Margarita Veshchezerova
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Qutrit Metaplectic Gates Are a Subset of Clifford+T
    Andrew N. Glaudell, Neil J. Ross, John van de Wetering and Lia Yeh
    Show abstract ⇲ Show bibdata ⇲

2021

  • Optimized Compiler for Distributed Quantum Computing
    Daniele Cuomo, Marcello Caleffi, Kevin Krsulich, Filippo Tramonto, Gabriele Agliardi, Enrico Prati and Angela Sara Cacciapuoti
    Show abstract ⇲ Show bibdata ⇲
  • Spin-networks in the ZX-calculus
    Richard D. P. East, Pierre Martin-Dussaud and John van de Wetering
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Completeness of the ZH-calculus
    Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, John van de Wetering and Sal Wolffs
    Show abstract ⇲ Show bibdata ⇲ Video 🎥

2020

  • Foundations for Near-Term Quantum Natural Language Processing
    Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis and Alexis Toumi
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states
    Richard D. P. East, John van de Wetering, Nicholas Chancellor and Adolfo G. Grushin
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Quantum Natural Language Processing on Near-Term Quantum Computers
    Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice, Nicolò Chiappori, Alexis Toumi and Bob Coecke
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • 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 ⇲ Video 🎥

2019

  • Phase Gadget Synthesis for Shallow Circuits
    Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons and Seyon Sivarajah
    Show abstract ⇲ Show bibdata ⇲
  • Completeness of the ZX-Calculus
    Emmanuel Jeandel, Simon Perdrix and Renaud Vilmart
    Show abstract ⇲ Show bibdata ⇲

2018

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 ⇲

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