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 …

Quantum computing is regarded as a promising paradigm that may overcome the current
computational power bottlenecks in the post-Moore era. The increasing maturity of quantum …

Translations between the quantum circuit model and the measurement-based one-way
model are useful for verification and optimisation of quantum computations. They make …

The ZX-calculus is a universal graphical language for qubit quantum computation, meaning
that every linear map between qubits can be expressed in the ZX-calculus. Furthermore, it is …

We introduce an enhanced technique for strong classical simulation of quantum circuits
which combines the'sum-of-stabilisers' method with an automated simplification strategy …

In fault-tolerant quantum computing systems, realising (approximately) universal quantum
computation is usually described in terms of realising Clifford+ T operations, which is to say …

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 …

A key challenge in realizing fault-tolerant quantum computers is circuit optimization.
Focusing on the most expensive gates in fault-tolerant quantum computation (namely, the T …

Quantum theory is often regarded as challenging to learn and teach, with advanced
mathematical prerequisites ranging from complex numbers and probability theory to matrix …

There are various gate sets that can be used to describe a quantum computation. A
particularly popular gate set in the literature on quantum computing consists of arbitrary …