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 method for reducing the number of non-Clifford quantum gates, in particularly
T-gates, in a circuit, an important task for efficiently implementing fault-tolerant quantum …

In this paper, we propose a general scheme to analyze the gradient vanishing phenomenon,
also known as the barren plateau phenomenon, in training quantum neural networks with …

Generating samples from the output distribution of a quantum circuit is a ubiquitous task
used as a building block of many quantum algorithms. Here we show how to accomplish this …

We introduce the first complete and approximately universal diagrammatic language for
quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by …

A leading choice of error correction for scalable quantum computing is the surface code with
lattice surgery. The basic lattice surgery operations, the merging and splitting of logical …

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 …

A reconstruction of quantum theory refers to both a mathematical and a conceptual
paradigm that allows one to derive the usual formulation of quantum theory from a set of …

In this paper, we demonstrate a direct correspondence between phase-free ZX diagrams, a
graphical notation for representing and manipulating a certain class of linear maps on …

We present a quantum compilation algorithm that maps Clifford encoders, encoding maps
for stabilizer quantum codes, to a unique graphical representation in the ZX calculus …