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 …

Phase gadgets have proved to be an indispensable tool for reasoning about ZX-diagrams,
being used in optimisation and simulation of quantum circuits and the theory of …

As an application of these results we find a construction for emulating arbitrary qubit
diagonal unitaries, and specifically find an ancilla-free emulation for the qubit CCZ gate that …