Categorical Probabilistic Theories
arXiv:1701.08075 · doi:10.4204/EPTCS.266.23
Abstract
We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and in formalism, but they remain separated by a number of subtle yet important differences. We attempt to bridge this gap, by adopting a minimal number of operationally motivated axioms which provide clean categorical foundations, in the style of CQM, for the treatment of the problems that OPTs are concerned with.
In Proceedings QPL 2017, arXiv:1802.09737
References in corpus (13)
- Reference frames, superselection rules, and quantum information
- A derivation of quantum theory from physical requirements
- A generalized no-broadcasting theorem
- Introduction to the book "Quantum Theory: Informational Foundations and Foils"
- Theory-independent limits on correlations from generalised Bayesian networks
- Logical Bell Inequalities
- Quantum Theory, namely the pure and reversible theory of information
- Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
- Dilation of states and processes in operational-probabilistic theories
- Entanglement as an axiomatic foundation for statistical mechanics
- Fantastic Quantum Theories and Where to Find Them
- On computation with 'probabilities' modulo k
- Generalised Mermin-type non-locality arguments
Cited by in corpus (26)
- Quantum Relativity of Subsystems
- Entanglement is necessary for emergent classicality in all physical theories
- Reconstructing quantum theory from diagrammatic postulates
- A structure theorem for generalized-noncontextual ontological models
- Classicality without local discriminability: decoupling entanglement and complementarity
- Post-quantum steering is a stronger-than-quantum resource for information processing
- Agents, subsystems, and the conservation of information
- Necessary and Sufficient Conditions on Measurements of Quantum Channels
- Dagger and Dilation in the Category of Von Neumann algebras
- Correlations constrained by composite measurements
- The Sheaf-Theoretic Structure of Definite Causality
- Compositional resource theories of coherence
- Coend Optics for Quantum Combs
- Process tomography in general physical theories
- A computer scientist's reconstruction of quantum theory
- A no-go theorem for theories that decohere to quantum mechanics
- Every non-signalling channel is common-cause realizable
- Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
- Density Hypercubes, Higher Order Interference and Hyper-Decoherence: a Categorical Approach
- Higher-order CPM Constructions
- Hyper-decoherence in Density Hypercubes
- Complete extension: the non-signaling analog of quantum purification
- Giving Operational Meaning to the Superposition of Causal Orders
- Discrimination of symmetric states in operational probabilistic theory
- A decompositional framework for process theories in spacetime
- S-matrix interpretation in categorical quantum mechanics