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 …

We present a completely new approach to quantum circuit optimisation, based on the ZX-
calculus. We first interpret quantum circuits as ZX-diagrams, which provide a flexible, lower …

This paper develops practical summation techniques in ZXW calculus to reason about
quantum dynamics, such as unitary time evolution. First we give a direct representation of a …

We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact
graphical language for the design and verification of quantum computations. The SZX …

There exist several graphical languages for quantum information processing, like quantum
circuits, ZX-calculus, ZW-calculus, and so on. Each of these languages forms a†-symmetric …

This paper is a 'spiritual child'of the 2005 lecture notes Kindergarten Quantum Mechanics
Coecke (2005)[24], which showed how a simple, pictorial extension of Dirac notation …

Graphical calculi give us a compact way to express and reason about complex, interacting
processes using string diagrams. String diagrams represent processes that can compose in …

The ZX-calculus is a powerful framework for reasoning in quantum computing. It provides in
particular a compact representation of matrices of interest. A peculiar property of the ZX …

While recent progress in quantum hardware open the door for significant speedup in certain
key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum …

ZX-calculus is a graphical language for quantum computing which is complete in the sense
that calculation in matrices can be done in a purely diagrammatic way. However, all …