PyZX: Large Scale Automated Diagrammatic Reasoning
Abstract
The ZXcalculus is a graphical language for reasoning about ZXdiagrams, a type of tensor networks that can represent arbitrary linear maps between qubits. Using the ZXcalculus, 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 ZXdiagrams. We give a brief introduction to the ZXcalculus, 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.
 Publication:

arXiv eprints
 Pub Date:
 April 2019
 arXiv:
 arXiv:1904.04735
 Bibcode:
 2019arXiv190404735K
 Keywords:

 Quantum Physics
 EPrint:
 In Proceedings QPL 2019, arXiv:2004.14750