Kindergarten Quantum Mechanics
arXiv:quant-ph/0510032
Abstract
These lecture notes survey some joint work with Samson Abramsky as it was presented by me at several conferences in the summer of 2005. It concerns `doing quantum mechanics using only pictures of lines, squares, triangles and diamonds'. This picture calculus can be seen as a very substantial extension of Dirac's notation, and has a purely algebraic counterpart in terms of so-called Strongly Compact Closed Categories (introduced by Abramsky and I in quant-ph/0402130 and [4]) which subsumes my Logic of Entanglement quant-ph/0402014. For a survey on the `what', the `why' and the `hows' I refer to a previous set of lecture notes quant-ph/0506132. In a last section we provide some pointers to the body of technical literature on the subject.
Lecture notes of invited talks at Quantum Information, Computation & Logic (Perimeter Institute), QTRF-III (Vaxjo), & Google (Silicon Valley) & Kestrel Institute (Silicon Valley). Contains 68 pictures in collor (but ok to be printed in black and white), 18 pages. To appear in the Proceedings of QTRF-III (AIP proceedings)
References in corpus (5)
Cited by in corpus (25)
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Mathematical Foundations for a Compositional Distributional Model of Meaning
- Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
- Introducing categories to the practicing physicist
- Biunitary constructions in quantum information
- Categories for the practising physicist
- DisCoPy: Monoidal Categories in Python
- AQFT from n-functorial QFT
- Narratives of Quantum Theory in the Age of Quantum Technologies
- Foundations for Near-Term Quantum Natural Language Processing
- POVMs and Naimark's theorem without sums
- A brief introduction to multipartite entanglement
- An Introduction to Quantum Bayesian Networks for Mixed States
- Generalised Proof-Nets for Compact Categories with Biproducts
- Tensor Universality, Quantum Information Flow, Coecke's Theorem, and Generalizations
- Compositionality and String Diagrams for Game Theory
- Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
- Covariance and Frames of Reference
- Bases in diagrammatic quantum protocols
- Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
- Towards Normal Forms for GHZ/W Calculus
- Process-theoretic characterisation of the Hermitian adjoint
- From quantum foundations via natural language meaning to a theory of everything
- Deficient Mathematical Models of Quantum Theory
- Graphical Reasoning in Compact Closed Categories for Quantum Computation