Categorical Quantum Mechanics II: Classical-Quantum Interaction

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.

[1]  K. Życzkowski,et al.  ON MUTUALLY UNBIASED BASES , 2010, 1004.3348.

[2]  Charles H. Bennett,et al.  Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states. , 1992, Physical review letters.

[3]  Aleks Kissinger,et al.  Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning , 2017 .

[4]  Aleks Kissinger,et al.  Categories of quantum and classical channels , 2016, Quantum Inf. Process..

[5]  J. Cirac,et al.  Three qubits can be entangled in two inequivalent ways , 2000, quant-ph/0005115.

[6]  Schumacher,et al.  Noncommuting mixed states cannot be broadcast. , 1995, Physical review letters.

[7]  Aleks Kissinger,et al.  Strong Complementarity and Non-locality in Categorical Quantum Mechanics , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

[8]  Bob Coecke,et al.  POVMs and Naimark's Theorem Without Sums , 2006, QPL.

[9]  Samson Abramsky,et al.  Categorical quantum mechanics , 2008, 0808.1023.

[10]  A. Carboni,et al.  Cartesian bicategories I , 1987 .

[11]  B. Coecke,et al.  Classical and quantum structuralism , 2009, 0904.1997.

[12]  Aleks Kissinger,et al.  Generalised compositional theories and diagrammatic reasoning , 2015, 1506.03632.

[13]  J. Neumann.  Mathematische grundlagen der Quantenmechanik , 1935 .

[14]  Aleks Kissinger,et al.  Categorical Quantum Mechanics I: Causal Quantum Processes , 2015, 1510.05468.

[15]  E. Stachow.  An Operational Approach to Quantum Probability , 1978 .

[16]  J. Schwinger.  UNITARY OPERATOR BASES. , 1960, Proceedings of the National Academy of Sciences of the United States of America.

[17]  Dusko Pavlovic,et al.  A new description of orthogonal bases , 2008, Mathematical Structures in Computer Science.

[18]  W. Wootters,et al.  A single quantum cannot be cloned , 1982, Nature.

[19]  Aleks Kissinger,et al.  Finite matrices are complete for (dagger-)hypergraph categories , 2014, 1406.5942.

[20]  R Brauer,et al.  On the Regular Representations of Algebras. , 1937, Proceedings of the National Academy of Sciences of the United States of America.

[21]  L. Lamata,et al.  Inductive entanglement classification of four qubits under stochastic local operations and classical communication , 2007 .

[22]  B. Moor,et al.  Four qubits can be entangled in nine different ways , 2001, quant-ph/0109033.

[23]  D. Dieks.  Communication by EPR devices , 1982 .

[24]  M. Nielsen.  Conditions for a Class of Entanglement Transformations , 1998, quant-ph/9811053.

[25]  Ekert,et al.  "Event-ready-detectors" Bell experiment via entanglement swapping. , 1993, Physical review letters.

[26]  Joachim Kock,et al.  Frobenius Algebras and 2-D Topological Quantum Field Theories , 2004 .

[27]  Bob Coecke,et al.  Interacting quantum observables: categorical algebra and diagrammatics , 2009, ArXiv.

[28]  Aleks Kissinger,et al.  The Compositional Structure of Multipartite Quantum Entanglement , 2010, ICALP.

[29]  Bob Coecke,et al.  Interacting Quantum Observables , 2008, ICALP.

[30]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.

[31]  Dusko Pavlovic,et al.  Quantum measurements without sums , 2007 .