PyZX: Large Scale Automated Diagrammatic Reasoning

Aleks Kissinger, John van de Wetering
4/9/2019
quant-ph

Official code: zxcalc/pyzx (552 stars, Apache-2.0, last commit 2026-10-20).

Abstract

The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits. Using the ZX-calculus, we can intuitively reason about quantum theory, and optimise and validate quantum circuits. In this paper we introduce PyZX, an open source library for automated reasoning with large ZX-diagrams. We give a brief introduction to the ZX-calculus, then show how PyZX implements methods for circuit optimisation, equality validation, and visualisation and how it can be used in tandem with other software. We end with a set of challenges that when solved would enhance the utility of automated diagrammatic reasoning.

View on arXivView PDF

Code Implementations(1)

zxcalc/pyzxOfficial100%
Apache-2.0

Python library for quantum circuit rewriting and optimisation using the ZX-calculus

552186C++, ShellJul 2, 20184 days agoApache-2.0
quantumquantum-computingquantum-programming-languageunitaryhack

Similar Papers

DisCoPy: Monoidal Categories in Python

75% match1 repo172020

Towards structure-preserving quantum encodings

73% match2024

IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses

73% match2024

When AI meets quantum information: A comprehensive review

72% match2026

Spherical and Hyperbolic Toric Topology-Based Codes On Graph Embedding for Ising MRF Models: Classical and Quantum Topology Machine Learning

72% match1 repo52023

A Practical Quantum Instruction Set Architecture

72% match1 repo1.5k2016

Cite this paper

@article{kissinger2019pyzx,
  title  = {PyZX: Large Scale Automated Diagrammatic Reasoning},
  author = {Aleks Kissinger and John van de Wetering},
  year   = {2019},
  eprint = {1904.04735},
  archivePrefix = {arXiv},
  url    = {https://arxiv.org/abs/1904.04735}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/1904.04735.svg)](https://codeofpaper.com/paper/1904.04735)

Discussion