Categorical quantum mechanics. II: Classical-quantum interaction

DOI10.1142/S0219749916400207MaRDI QIDQ2830244zbMATH OpenOpenAlexFDO

Authors Bob Coecke, Aleks Kissinger

Publication date 9 November 2016

Published in International Journal of Quantum Information (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1605.08617

zbMATH Keywords

category theoryclassical-quantum interactionprocess theorystring diagrams

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05)

Abstract: This is the second part of a three-part overview, in which we derive the category-theoretic backbone of quantum theory from a process ontology, treating quantum theory as a theory of systems, processes and their interactions. In this part we focus on classical-quantum interaction. Classical and quantum systems are treated as distinct types, of which the respective behavioural properties are specified in terms of processes and their compositions. In particular, classicality is witnessed by 'spiders' which fuse together whenever they connect. We define mixedness and show that pure processes are extremal in the space of all processes, and we define entanglement and show that quantum theory indeed exhibits entanglement. We discuss the classification of tripartite qubit entanglement and show that both the GHZ-state and the W-state come from spider-like families of processes, which differ only in how they behave when they are connected by two or more wires. We define measurements and provide fully-comprehensive descriptions of several quantum protocols involving classical data flow. Finally, we give a notion of 'genuine quantumness', from which special processes called 'phase spiders' arise, and get a first glimpse of quantum non-locality.

Recommendations

• Classical and quantum structuralism
• Mixed quantum states in higher categories
• Operational theories and categorical quantum mechanics
• Categories for Quantum Theory

Cites work

• Categorical quantum mechanics. II: Classical-quantum interaction
• Classical and quantum structuralism
• scientific article; zbMATH DE number 2049998 (Why is no real title available?)
• Interacting Quantum Observables
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Quantum measurements without sums
• Strong complementarity and non-locality in categorical quantum mechanics
• The Compositional Structure of Multipartite Quantum Entanglement

Cited in

(21)

• From observables and states to Hilbert space and back: a 2-categorical adjunction
• Terminality implies no-signalling\dots and much more than that
• A diagrammatic derivation of the Hermitian adjoint
• Complementarity in categorical quantum mechanics
• Classical control and quantum circuits in enriched category theory
• The CBH characterisation theorem beyond algebraic quantum theory
• Categorical quantum mechanics. II: Classical-quantum interaction
• Physical traces: quantum vs. classical information processing
• Categorical quantum mechanics
• Two roads to classicality
• Double dilation double mixing (extended abstract)
• Purity through factorisation
• Category-theoretic analysis of the notion of complementarity for quantum systems
• Interacting Quantum Observables
• Classical and quantum structuralism
• Mixed quantum states in higher categories
• The Mathematics of Text Structure
• Categorical Quantum Mechanics I: Causal Quantum Processes
• Generalised Mermin-type non-locality arguments
• Quantum measurements without sums
• Three-qubit Deutsch-Jozsa in measurement-based quantum computing

This page was built for publication: Categorical quantum mechanics. II: Classical-quantum interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2830244)