The algebra of entanglement and the geometry of composition

Abstract

String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this fact, the dual nature of polygraphs as presentations of higher algebraic theories, and as combinatorial descriptions of "directed spaces". Operations of polygraphs modelled on operations of topological spaces are used as the foundation of a compositional universal algebra, where sliding moves arise from tensor products of polygraphs. We reconstruct several higher algebraic theories in this framework. In this regard, the standard formalism of polygraphs has some technical problems. We propose a notion of regular polygraph, barring cell boundaries that are not homeomorphic to a disk of the appropriate dimension. We define a category of non-degenerate shapes, and show how to calculate their tensor products. Then, we introduce a notion of weak unit to recover weakly degenerate boundaries in low dimensions, and prove that the existence of weak units is equivalent to a representability property. We then turn to applications of diagrammatic algebra to quantum theory. We re-evaluate the category of Hilbert spaces from the perspective of categorical universal algebra, which leads to a bicategorical refinement. Then, we focus on the axiomatics of fragments of quantum theory, and present the ZW calculus, the first complete diagrammatic axiomatisation of the theory of qubits. The ZW calculus has several advantages over ZX calculi, including a computationally meaningful normal form, and a fragment whose diagrams can be read as setups of fermionic oscillators. Moreover, its generators reflect an operational classification of entangled states of 3 qubits. We conclude with generalisations of the ZW calculus to higher-dimensional systems, including the definition of a universal set of generators in each dimension.

v2: changes to end of Chapter 3. v1: 214 pages, many figures; University of Oxford doctoral thesis

References in corpus (12)

• Inductive Entanglement Classification of Four Qubits under SLOCC
• Abstract Physical Traces
• Inductive classification of multipartite entanglement under SLOCC
• The ZX-calculus is incomplete for quantum mechanics
• Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
• A universal completion of the ZX-calculus
• The ZX-calculus is complete for the single-qubit Clifford+T group
• Towards 3-Dimensional Rewriting Theory
• The GHZ/W-calculus contains rational arithmetic
• The compositional structure of multipartite quantum entanglement
• A direct proof that the category of 3-computads is not cartesian closed
• Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

Cited by in corpus (7)

• ZX-calculus for the working quantum computer scientist
• ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
• The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
• A non-anyonic qudit ZW-calculus
• On a recipe for quantum graphical languages
• Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
• Diagrammatic sets and rewriting in weak higher categories