Picturing Quantum Software

Aleks Kissinger

Quantum Software

the code that runs on a quantum computer

INIT 5 CNOT 1 0 H 2 Z 3 H 0 H 1 CNOT 4 2 ...

↔

Quantum Software

code that makes that code (better)

Optimisation	Simulation & Verification	Error Correction

Optimising circuits the old-fashioned way

...

A better idea: the ZX calculus

A complete set of equations for qubit QC

Q: How to we scale up?

≈ 30 spiders

≈ $10^3$ - $10^8$ spiders

A: Automation

PyZX

• Open source Python library for circuit optimisation, experimentation, and education using ZX-calculus

QuiZX

• Large scale circuit optimisation and classical simulation library for ZX-calculus

ZXLive

• GUI tool based on PyZX

Quantum Software

lots of theory to be done...

Optimisation	Simulation & Verification	Error Correction