We present a smorgasbord of results on the stabiliser ZX-calculus for odd prime-
dimensional qudits (ie qupits). We derive a simplified rule set that closely resembles the …

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

We introduce the qudit ZH-calculus and show how to generalise the phase-free qubit rules
to qudits. We prove that for prime dimensions $ d $, the phase-free qudit ZH-calculus is …

Finite-dimensional quantum theory serves as the theoretical foundation for quantum
information and computation based on 2-dimensional qubits, d-dimensional qudits, and their …

Linear optical circuits can be used to manipulate the quantum states of photons as they pass
through components including beam splitters and phase shifters. Those photonic states …

The ZX-calculus is a graphical language for reasoning about quantum computing and
quantum information theory. As a complete graphical language, it incorporates a set of …

We give generators and relations for the hypergraph props of Gaussian relations and
positive affine Lagrangian relations. The former extends Gaussian probabilistic processes …

While the ZX and ZW calculi have been effective as graphical reasoning tools for finite-
dimensional quantum computation, the possibilities for continuous-variable quantum …

Experimental setups based on linear optical circuits and single photon sources offer a
promising platform for near-term quantum machine learning. However, current applications …

Path calculus, or graphical linear algebra, is a string diagram calculus for the category of
matrices over a base ring. It is the usual string diagram calculus for a symmetric monoidal …