PyZX: Large Scale Automated Diagrammatic Reasoning

@article{Kissinger2019PyZXLS,
  title={PyZX: Large Scale Automated Diagrammatic Reasoning},
  author={A. Kissinger and J. V. D. Wetering},
  journal={arXiv: Quantum Physics},
  year={2019}
}
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… Expand
36 Citations
AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states
  • 3
  • PDF
ZX-calculus for the working quantum computer scientist
  • 4
  • PDF
CMSC657 Final Report: Verifications of Quantum Programs: from ZX-Calculus to more
  • Highly Influenced
  • PDF
Graphical Calculi and their Conjecture Synthesis
  • 1
  • PDF
A note on AND-gates in ZX-calculus: QBC-completeness and phase gadgets
  • 3
  • PDF
Quantum Theory from Principles, Quantum Software from Diagrams
  • PDF
...
1
2
3
4
...

References

SHOWING 1-10 OF 30 REFERENCES
Quantomatic: A proof assistant for diagrammatic reasoning
  • 78
  • PDF
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
  • R. Vilmart
  • Mathematics, Physics
  • 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  • 2019
  • 29
  • PDF
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
  • 50
  • PDF
Pattern Graph Rewrite Systems
  • 35
  • PDF
Making the stabilizer ZX-calculus complete for scalars
  • 29
  • PDF
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
  • 70
  • PDF
Interacting Quantum Observables: Categorical Algebra and Diagrammatics
  • 296
  • PDF
Reducing T-count with the ZX-calculus
  • 35
  • PDF
The ZX calculus is a language for surface code lattice surgery
  • 41
  • PDF
...
1
2
3
...