Abstract:Categorical Quantum Mechanics, and graphical calculi in particular, has proven to be an intuitive and powerful way to reason about quantum computing. This work continues the exploration of graphical calculi, inside and outside of the quantum computing setting, by investigating the algebraic structures with which we label diagrams. The initial aim for this was Conjecture Synthesis; the algorithmic process of creating theorems. To this process we introduce a generalisation step, which itself requires the ability to infer and then verify parameterised families of theorems. This thesis introduces such inference and verification frameworks, in doing so forging novel links between graphical calculi and fields such as Algebraic Geometry and Galois Theory. These frameworks inspired further research into the design of graphical calculi, and we introduce two important new calculi here. First is the calculus RING, which is initial among ring-based qubit graphical calculi, and in turn inspired the introduction and classification of phase homomorphism pairs also presented here. The second is the calculus ZQ, an edge-decorated calculus which naturally expresses arbitrary qubit rotations, eliminating the need for non-linear rules such as (EU) of ZX. It is expected that these results will be of use to those creating optimisation schemes and intermediate representations for quantum computing, to those creating new graphical calculi, and for those performing conjecture synthesis.

Graphical Calculus for Quantum Vertex Operators, I: The Dynamical Fusion Operator

Graphical calculus for quantum vertex operators, II: q-KZB and coordinate Macdonald-Ruijsenaars equations

A Graphical Calculus for Classical and Quantum Microformal Morphisms

ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity

Graphical Calculi and their Conjecture Synthesis

ZX Graphical Calculus for Continuous-Variable Quantum Processes

A Graphical Calculus for Semi-Groupal Categories

Graphical Calculus for Non-Gaussian Quantum States

Algebraic Geometry of Quantum Graphical Models

Quantum graphs, subfactors and tensor categories I

Graphical Symplectic Algebra

Graphs States and the necessity of Euler Decomposition

Graphical calculus of spin networks

Categorical Quantum Volume Operator

Combinatorial QFT on graphs: first quantization formalism

The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation

Quantum mechanics of bipartite ribbon graphs: Integrality, Lattices and Kronecker coefficients

A diagrammatic calculus for categorical quantum protocols

Fusion categories via string diagrams

Quantum diagrammatics for $F_4$

The ZX-calculus as a Language for Topological Quantum Computation