Artificial intelligence (AI) is currently based largely on black-box machine learning models
which lack interpretability. The field of eXplainable AI (XAI) strives to address this major …

The development and optimization of photonic devices and various other nanostructure
electromagnetic devices present a computationally intensive task. Much optimization relies …

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 …

In this paper, we develop a graphical calculus to rewrite photonic circuits involving light-
matter interactions and non-linear optical effects. We introduce the infinite ZW calculus, a …

This document is an elementary introduction to string diagrams. It takes a computer science
perspective: rather than using category theory as a starting point, we build on intuitions from …

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

Automated reasoning techniques have been proven of immense importance in classical
applications like formal verification, circuit design and probabilistic inference. The domain of …

Recent advances in classical simulation of Clifford+ T circuits make use of the ZX calculus to
iteratively decompose and simplify magic states into stabiliser terms. We improve on this …

Dirac notation is widely used in quantum physics and quantum programming languages to
define, compute and reason about quantum states. This paper considers Dirac notation from …

Quantum computers promise to solve several categories of problems faster than classical
computers ever could. Current research mostly focuses on qubits, ie, systems where the unit …