151 citations · 431 across the 17 of their papers we have counts for
5 papers · 1 filter
Commutativity in Jordan Operator Algebras
John van de Wetering
While Jordan algebras are commutative, their non-associativity makes it so that the Jordan product operators do not necessarily commute. When the product operators of two elements…
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,…
PyZX: Large Scale Automated Diagrammatic Reasoning
Aleks Kissinger, John van de Wetering
The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits. Using the ZX-calculus, w…
Reducing T-count with the ZX-calculus
Aleks Kissinger, John van de Wetering
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 regi…