• Corpus ID: 229680014

ZX-calculus for the working quantum computer scientist

@inproceedings{Wetering2020ZXcalculusFT,
  title={ZX-calculus for the working quantum computer scientist},
  author={John van de Wetering},
  year={2020}
}
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, surface codes and lattice surgery, measurementbased quantum computation, and quantum foundations. The first half of this review gives a gentle introduction to the ZX-calculus suitable for those familiar with the basics of quantum computing. The aim here is to make the reader comfortable enough with the ZX-calculus… 

Figures from this paper

Circuit Extraction for ZX-diagrams can be #P-hard
TLDR
This paper proves that any oracle that takes as input a ZX-diagram description of a unitary and produces samples of the output of the associated quantum computation enables efficient probabilistic solutions to NP-complete problems.
Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
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 ZX-calculus which
Spin-networks in the ZX-calculus
TLDR
This paper writes the spin-networks of loop quantum gravity in the ZX-diagrammatic language of quantum computation by writing the Yutsis diagrams, a standard graphical calculus used in quantum chemistry and quantum gravity, which captures the main features of SU(2) representation theory.
Diagrammatic Analysis for Parameterized Quantum Circuits
TLDR
Extensions of the ZX-calculus especially suitable for parameterized quantum circuits, in particular for computing observable expectation values as functions of or for parameters, which are important algorithmic quantities in a variety of applications ranging from combinatorial optimization to quantum chemistry are described.
Simplification Strategies for the Qutrit ZX-Calculus
TLDR
The main contribution of this work is the derivation of efficient rewrite strategies for the stabiliser fragment of the qutrit ZX-calculus, which constitutes a first non-trivial step towards the simplification ofqutrit quantum circuits.
VyZX : A Vision for Verifying the ZX Calculus
TLDR
Vy ZX is developed, a verified ZX-calculus in the Coq proof assistant that provides two distinct representations of ZX diagrams for ease of programming and proof.
Addition and Differentiation of ZX-Diagrams
TLDR
This work introduces a general, inductive definition of the addition of ZX-diagrams, relying on the construction of controlled diagrams, and provides an inductive differentiation of Zx-displays, based on the isolation of variables.
Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions
We introduce an enhanced technique for strong classical simulation of quantum circuits which combines the ‘sum-of-stabilisers’ method with an automated simplification strategy based on the
Classifying Complexity with the ZX-Calculus: Jones Polynomials and Potts Partition Functions
TLDR
This work presents simplifying rewrites for the case of qutrits, which are of independent interest in the field of quantum circuit optimisation and further champions the ZX-calculus as a suitable and unifying language for studying the complexity of classical and quantum problems.
AKLT-States as ZX-Diagrams: Diagrammatic Reasoning for Quantum States
TLDR
The results show that the ZXH-calculus is a powerful language for representing and computing with physical states entirely graphically, paving the way to develop more efficient many-body algorithms.
...
...

References

SHOWING 1-10 OF 131 REFERENCES
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
TLDR
A simplification strategy for ZX-diagrams is given based on the two graph transformations of local complementation and pivoting and it is shown that the resulting reduced diagram can be transformed back into a quantum circuit.
Graphical Fourier Theory and the Cost of Quantum Addition
The ZX-calculus is a convenient formalism for expressing and reasoning about quantum circuits at a low level, whereas the recently-proposed ZH-calculus yields convenient expressions of mid-level
Completeness of the ZH-calculus
There are various gate sets used for describing quantum computation. A particularly popular one consists of Clifford gates and arbitrary single-qubit phase gates. Computations in this gate set can be
Completeness of the ZX-Calculus
TLDR
This work improves on the known-to-be-complete presentation for the so-called Clifford fragment of the ZX-Calculus, and provides a complete axiomatisation for an altered version of the language which involves an additional generator, making the presentation simpler.
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity
TLDR
A new graphical calculus is presented that is sound and complete for universal quantum computation by demonstrating the reduction of any diagram to an easily describable normal form, which suggests that this calculus will be significantly more convenient for reasoning about the interplay between classical non-linear behaviour and purely quantum operations.
The ZX-calculus is complete for stabilizer quantum mechanics
The ZX-calculus is a graphical calculus for reasoning about quantum systems and processes. It is known to be universal for pure state qubit quantum mechanics (QM), meaning any pure state, unitary
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
TLDR
It is shown that the axiomatisation for Clifford+T is not complete in general but can be completed by adding a single (non linear) axiom, providing a simpler axiom atisation of the ZX-calculus for pure quantum mechanics than the one recently introduced by Ng&Wang.
Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics
Recently, we gave a complete axiomatisation of the ZX-calculus [1] for the overall pure qubit quantum mechanics [4]. In this paper, we first simplify the rule of addition (AD) and show that some
ZX-Rules for 2-Qubit Clifford+T Quantum Circuits
TLDR
These ZX-rules are much simpler than the complete of set Clifford+T circuit equations due to Selinger and Bian, which indicates that Zx-calculus provides a more convenient arena for quantum circuit rewriting than restricting oneself to circuit equations.
SZX-Calculus: Scalable Graphical Quantum Reasoning
TLDR
The Scalable ZX-calculus is introduced, a formal and compact graphical language for the design and verification of quantum computations and two examples of applications are provided, for graph states and error correcting codes.
...
...