Quantum Picturalism
arXiv:0908.1787 · doi:10.1080/00107510903257624
Abstract
The quantum mechanical formalism doesn't support our intuition, nor does it elucidate the key concepts that govern the behaviour of the entities that are subject to the laws of quantum physics. The arrays of complex numbers are kin to the arrays of 0s and 1s of the early days of computer programming practice. In this review we present steps towards a diagrammatic `high-level' alternative for the Hilbert space formalism, one which appeals to our intuition. It allows for intuitive reasoning about interacting quantum systems, and trivialises many otherwise involved and tedious computations. It clearly exposes limitations such as the no-cloning theorem, and phenomena such as quantum teleportation. As a logic, it supports `automation'. It allows for a wider variety of underlying theories, and can be easily modified, having the potential to provide the required step-stone towards a deeper conceptual understanding of quantum theory, as well as its unification with other physical theories. Specific applications discussed here are purely diagrammatic proofs of several quantum computational schemes, as well as an analysis of the structural origin of quantum non-locality. The underlying mathematical foundation of this high-level diagrammatic formalism relies on so-called monoidal categories, a product of a fairly recent development in mathematics. These monoidal categories do not only provide a natural foundation for physical theories, but also for proof theory, logic, programming languages, biology, cooking, ... The challenge is to discover the necessary additional pieces of structure that allow us to predict genuine quantum phenomena.
Commissioned paper for Contemporary Physics, 31 pages, 84 pictures, some color
References in corpus (4)
Cited by in corpus (70)
- Informational derivation of Quantum Theory
- A mathematical theory of resources
- Quantum causal modelling
- Beyond Bell's Theorem: Correlation Scenarios
- Quantum common causes and quantum causal models
- Witnessing causal nonseparability
- Quantum from principles
- The completeness of quantum theory for predicting measurement outcomes
- Introduction to the book "Quantum Theory: Informational Foundations and Foils"
- Quasi-quantization: classical statistical theories with an epistemic restriction
- Random matrix techniques in quantum information theory
- Quantum Machine Learning: from physics to software engineering
- Beyond Bell's Theorem II: Scenarios with arbitrary causal structure
- A free energy principle for generic quantum systems
- Causal categories: relativistically interacting processes
- The Operator Tensor Formulation of Quantum Theory
- Generalised phase kick-back: the structure of computational algorithms from physical principles
- Operational quantum theory without predefined time
- A compositional approach to quantum functions
- Operational formulation of time reversal in quantum theory
- Picturing classical and quantum Bayesian inference
- Entanglement and thermodynamics in general probabilistic theories
- Quantum Theory, namely the pure and reversible theory of information
- Discrete Lorentz covariance for Quantum Walks and Quantum Cellular Automata
- How device-independent approaches change the meaning of physical theory
- The Morita theory of quantum graph isomorphisms
- Reconstructing quantum theory from diagrammatic postulates
- Dilation of states and processes in operational-probabilistic theories
- Quantum picturalism for topological cluster-state computing
- Ruling out higher-order interference from purity principles
- Categorical Probabilistic Theories
- Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
- Microcanonical thermodynamics in general physical theories
- Operational axioms for diagonalizing states
- Categorical Semantics of Cyber-Physical Systems Theory
- Classical theories with entanglement
- Narratives of Quantum Theory in the Age of Quantum Technologies
- Understanding quantum mechanics: a review and synthesis in precise language
- Oracles and query lower bounds in generalised probabilistic theories
- Effective Compression of Quantum Braided Circuits Aided by ZX-Calculus
- The GHZ/W-calculus contains rational arithmetic
- RTNI - A symbolic integrator for Haar-random tensor networks
- Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices
- Some Consequences of the Thermodynamic Cost of System Identification
- Quantum Picturalism: Learning Quantum Theory in High School
- Agents, subsystems, and the conservation of information
- Recoupling coefficients and quantum entropies
- Towards Quantum Field Theory in Categorical Quantum Mechanics
- Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus
- A Matter of Principle: The Principles of Quantum Theory, Dirac's Equation, and Quantum Information
- The solution of the Sixth Hilbert Problem: the Ultimate Galilean Revolution
- Exploring postselection-induced quantum phenomena with time-bidirectional state formalism
- Quantum Supermaps are Characterized by Locality
- On Urn Models, Non-commutativity and Operator Normal Forms
- Conservation of information and the foundations of quantum mechanics
- Coend Optics for Quantum Combs
- A Diagrammatic Approach to Information Transmission in Generalised Switches
- Process tomography in general physical theories
- Three qubit entanglement within graphical Z/X-calculus
- Spinor geometry
- Equational reasoning with context-free families of string diagrams
- A Complete Language for Faceted Dataflow Programs
- !-Graphs with Trivial Overlap are Context-Free
- Choi-Defined Resource Theories
- Causality in Higher Order Process Theories
- The Quantum Monadology
- Transition probability spaces in loop quantum gravity
- Encoding !-tensors as !-graphs with neighbourhood orders
- Graph approach to quantum teleportation dynamics
- Information-theoretic derivation of energy, speed bounds, and quantum theory