ZX-calculus for the working quantum computer scientist
J van de Wetering - arXiv preprint arXiv:2012.13966, 2020 - arxiv.org
The ZX-calculus is a graphical language for reasoning about quantum computation that has
recently seen an increased usage in a variety of areas such as quantum circuit optimisation …
recently seen an increased usage in a variety of areas such as quantum circuit optimisation …
PyZX: Large scale automated diagrammatic reasoning
A Kissinger, J van de Wetering - arXiv preprint arXiv:1904.04735, 2019 - arxiv.org
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 …
networks that can represent arbitrary linear maps between qubits. Using the ZX-calculus, we …
Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions
A Kissinger, J van de Wetering - Quantum Science and …, 2022 - iopscience.iop.org
We introduce an enhanced technique for strong classical simulation of quantum circuits
which combines the'sum-of-stabilisers' method with an automated simplification strategy …
which combines the'sum-of-stabilisers' method with an automated simplification strategy …
Reducing T-count with the ZX-calculus
A Kissinger, J van de Wetering - arXiv preprint arXiv:1903.10477, 2019 - arxiv.org
Reducing the number of non-Clifford quantum gates present in a circuit is an important task
for efficiently implementing quantum computations, especially in the fault-tolerant regime …
for efficiently implementing quantum computations, especially in the fault-tolerant regime …
LOv-calculus: A graphical language for linear optical quantum circuits
We introduce the LOv-calculus, a graphical language for reasoning about linear optical
quantum circuits with so-called vacuum state auxiliary inputs. We present the axiomatics of …
quantum circuits with so-called vacuum state auxiliary inputs. We present the axiomatics of …
Cutting multi-control quantum gates with ZX calculus
Circuit cutting, the decomposition of a quantum circuit into independent partitions, has
become a promising avenue towards experiments with larger quantum circuits in the noisy …
become a promising avenue towards experiments with larger quantum circuits in the noisy …
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
We present a smorgasbord of results on the stabiliser ZX-calculus for odd prime-
dimensional qudits (ie qupits). We derive a simplified rule set that closely resembles the …
dimensional qudits (ie qupits). We derive a simplified rule set that closely resembles the …
With a few square roots, quantum computing is as easy as pi
Rig groupoids provide a semantic model of Π, a universal classical reversible programming
language over finite types. We prove that extending rig groupoids with just two maps and …
language over finite types. We prove that extending rig groupoids with just two maps and …
Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
RI Booth, T Carette - arXiv preprint arXiv:2204.12531, 2022 - arxiv.org
We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum
theory in odd prime dimensions. These calculi recover many of the nice features of the qubit …
theory in odd prime dimensions. These calculi recover many of the nice features of the qubit …
Quantum picturalism: learning quantum theory in high school
S Dündar-Coecke, L Yeh, C Puca… - 2023 IEEE …, 2023 - ieeexplore.ieee.org
Quantum theory is often regarded as challenging to learn and teach, with advanced
mathematical prerequisites ranging from complex numbers and probability theory to matrix …
mathematical prerequisites ranging from complex numbers and probability theory to matrix …