29 citations · 47 across the 4 of their papers we have counts for
8 papers · 1 filter
Quantum Theory from Principles, Quantum Software from Diagrams
John van de Wetering
This thesis consists of two parts. The first part is about how quantum theory can be recovered from first principles, while the second part is about the application of diagrammatic…
ZX-calculus for the working quantum computer scientist
John van de Wetering
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…
The three types of normal sequential effect algebras
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product operation modeled after the Lüders product on C*-algebras…
There and back again: A circuit extraction tale
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice +2
Translations between the quantum circuit model and the measurement-based one-way model are useful for verification and optimisation of quantum computations. They make crucial use o…
Graphical Fourier Theory and the Cost of Quantum Addition
Stach Kuijpers, John van de Wetering, Aleks Kissinger
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 expression…
Completeness of the Phase-free ZH-calculus
John van de Wetering, Sal Wolffs
The ZH-calculus is a graphical calculus for linear maps between qubits that allows a natural representation of the Toffoli+Hadamard gate set. The original version of the calculus,…