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 John van de Wetering. If you want to keep up-to-date with additions, there is also an RSS feed, and a Twitter account posting updates.

2024

  • The XYZ ruby code: Making a case for a three-colored graphical calculus for quantum error correction in spacetime
    Julio C. Magdalena de la Fuente, Josias Old, Alex Townsend-Teague, Manuel Rispler, Jens Eisert and Markus Müller
    Show abstract ⇲ Show bibdata ⇲
  • Automated reasoning in quantum circuit compilation
    Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans and Alfons Laarman
    Show abstract ⇲ Show bibdata ⇲
  • ZX Graphical Calculus for Continuous-Variable Quantum Processes
    Hironari Nagayoshi, Warit Asavanant, Ryuhoh Ide, Kosuke Fukui, Atsushi Sakaguchi, Jun-ichi Yoshikawa, Nicolas C. Menicucci and Akira Furusawa
    Show abstract ⇲ Show bibdata ⇲
  • Catalysing Completeness and Universality
    Aleks Kissinger, Neil J. Ross and John van de Wetering
    Show abstract ⇲ Show bibdata ⇲
  • Zero-temperature entanglement membranes in quantum circuits
    Grace M. Sommers, Sarang Gopalakrishnan, Michael J. Gullans and David A. Huse
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
    Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille and Dieter Kranzlmüller
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Optimal compilation of parametrised quantum circuits
    John van de Wetering, Richie Yeung, Tuomas Laakkonen and Aleks Kissinger
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Graphical Symplectic Algebra
    Robert I. Booth, Titouan Carette and Cole Comfort
    Show abstract ⇲ Show bibdata ⇲ Video 🎥

2023

  • Reinforcement Learning Based Quantum Circuit Optimization via ZX-Calculus
    Jordi Riu, Jan Nogué, Gerard Vilaplana, Artur Garcia-Saez and Marta P. Estarellas
    Show abstract ⇲ Show bibdata ⇲
  • Quantum Picturalism: Learning Quantum Theory in High School
    Selma Dündar-Coecke, Lia Yeh, Caterina Puca, Sieglinde M. -L. Pfaendler, Muhammad Hamza Waseem, Thomas Cervoni, Aleks Kissinger, Stefano Gogioso and Bob Coecke
    Show abstract ⇲ Show bibdata ⇲
  • Flexible entangled state generation in linear optics
    Brendan Pankovich, Alex Neville, Angus Kan, Srikrishna Omkar, Kwok Ho Wan and Kamil Brádler
    Show abstract ⇲ Show bibdata ⇲
  • Teaching small transformers to rewrite ZX diagrams
    Richie Yeung, Konstantinos Meichanetzidis, Alexandre Krajenbrink and François Charton
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Fault-tolerant complexes
    Hector Bombin, Chris Dawson, Terry Farrelly, Yehua Liu, Naomi Nickerson, Mihir Pant, Fernando Pastawski and Sam Roberts
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Floquetifying the Colour Code
    Alex Townsend-Teague, Julio Magdalena de la Fuente and Markus Kesselring
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Graphical CSS Code Transformation Using ZX Calculus
    Jiaxin Huang, Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca and Michael Vasmer
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • 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 ⇲ Video 🎥
  • 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 ⇲
  • Quantum Circuit Completeness: Extensions and Simplifications
    Alexandre Clément, Noé Delorme, Simon Perdrix and Renaud Vilmart
    Show abstract ⇲ Show bibdata ⇲
  • Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
    Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung and Bob Coecke
    Show abstract ⇲ Show bibdata ⇲ Video 🎥
  • Complete Graphical Language for Hermiticity-Preserving Superoperators
    Titouan Carette, Timothée Hoffreumon, Émile 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 ⇲ Video 🎥

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 ⇲
  • A compiler for universal photonic quantum computers
    Felix Zilk, Korbinian Staudacher, Tobias Guggemos, Karl Fürlinger, Dieter Kranzlmüller and Philip Walther
    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, Stefan Zohren, Joschka Roffe 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

2009

2008

2007