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.

2025

  • Optimizing Quantum Circuits via ZX Diagrams using Reinforcement Learning and Graph Neural Networks
    Alexander Mattick, Maniraman Periyasamy, Christian Ufrecht, Abhishek Y. Dubey, Christopher Mutschler, Axel Plinge and Daniel D. Scherer
    Show abstract ⇲ Show bibdata ⇲
  • Bridging wire and gate cutting with ZX-calculus
    Marco Schumann, Tobias Stollenwerk and Alessandro Ciani
    Show abstract ⇲ Show bibdata ⇲
  • Diagrammatic Quantum Circuit Compression for Hamiltonian Simulation
    Victoria Wadewitz, Aaron Szasz, Daan Camps, Katherine Klymko and Tobias Stollenwerk
    Show abstract ⇲ Show bibdata ⇲

2024

  • A Constant Measurement Quantum Algorithm for Graph Connectivity
    Maximilian Balthasar Mansky, Chonfai Kam and Claudia Linnhoff-Popien
    Show abstract ⇲ Show bibdata ⇲
  • 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