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 …

We provide conceptual and mathematical foundations for near-term quantum natural
language processing (QNLP), and do so in quantum computer scientist friendly terms. We …

Categorical quantum mechanics places finite-dimensional quantum theory in the context of
compact closed categories, with an emphasis on diagrammatic reasoning. In this framework …

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 …

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 is graphical language for quantum computing which usually focuses on qubits.
In this paper, we generalise qubit ZX-calculus to qudit ZX-calculus in any finite dimension by …

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 …

We identify a novel qudit gate which we refer to as the gate. This is an alternate
generalization of the qutrit T gate to any odd prime dimension d, in the dth level of the …

Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have
recently appeared in several areas in computer science: concurrent programming, control …

In this paper, we show that a qutrit version of ZX-calculus, with rules significantly different
from that of the qubit version, is complete for pure qutrit stabilizer quantum mechanics …