Picturing classical and quantum Bayesian inference
From MaRDI portal
Publication:383002
DOI10.1007/S11229-011-9917-5zbMATH Open1275.60006arXiv1102.2368OpenAlexW2075559629MaRDI QIDQ383002FDOQ383002
Authors: Bob Coecke, Robert W. Spekkens 
Publication date: 25 November 2013
Published in: Synthese (Search for Journal in Brave)
Abstract: We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum Bayesian inference wherein one considers density operators rather than probability distributions as representative of degrees of belief. The diagrammatic framework is stated in the graphical language of symmetric monoidal categories and of compact structures and Frobenius structures therein, in which Bayesian inversion boils down to transposition with respect to an appropriate compact structure. We characterize classical Bayesian inference in terms of a graphical property and demonstrate that our approach eliminates some purely conventional elements that appear in common representations thereof, such as whether degrees of belief are represented by probabilities or entropic quantities. We also introduce a quantum-like calculus wherein the Frobenius structure is noncommutative and show that it can accommodate Leifer's calculus of `conditional density operators'. The notion of conditional independence is also generalized to our graphical setting and we make some preliminary connections to the theory of Bayesian networks. Finally, we demonstrate how to construct a graphical Bayesian calculus within any dagger compact category.
Full work available at URL: https://arxiv.org/abs/1102.2368
Recommendations
Bayesian inferencesymmetric monoidal categoryFrobenius algebraconditional density operatorgraphical calculus
Bayesian inference (62F15) General and philosophical questions in quantum theory (81P05) Axioms; other general questions in probability (60A05) Combinatorial probability (60C99)
Cites Work
- Title not available (Why is that?)
- Probability, Frequency and Reasonable Expectation
- The geometry of tensor calculus. I
- Structure of states which satisfy strong subadditivity of quantum entropy with equality
- Dagger compact closed categories and completely positive maps (extended abstract)
- POVMs and Naimark's theorem without sums
- Categories for the Practising Physicist
- Categorical semantics of linear logic
- Frobenius algebras and ambidextrous adjunctions
- Title not available (Why is that?)
- Quantum invariants of knots and 3-manifolds
- Cartesian bicategories. I
- Title not available (Why is that?)
- Reversing quantum dynamics with near-optimal quantum and classical fidelity
- Relative entropy and the Wigner-Yanase-Dyson-Lieb concavity in an interpolation theory
- Coherence for compact closed categories
- Title not available (Why is that?)
- Teleportation in general probalistic theories
- Classical and quantum structuralism
- Title not available (Why is that?)
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract)
- Quantum quandaries: a category-theoretic perspective
- Higher-dimensional algebra and topological quantum field theory
- Title not available (Why is that?)
- Quantum graphical models and belief propagation
- Graphical reasoning in compact closed categories for quantum computation
- Categorical formulation of finite-dimensional \(C^*\)-algebras
- Title not available (Why is that?)
- A new description of orthogonal bases
- From quantum interference to Bayesian coherence and back round again
- Bases in diagrammatic quantum protocols
- Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
Cited In (23)
- Quantum Bayesian nets
- Models in quantum computing: a systematic review
- Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
- A non-commutative Bayes' theorem
- A quantum Bayes' rule and related inference
- Free gs-monoidal categories and free Markov categories
- QUANTUM-LIKE REPRESENTATION OF NON-BAYESIAN INFERENCE
- Bayesian generalized probability calculus for density matrices
- Non-commutative disintegrations: existence and uniqueness in finite dimensions
- Diagrammatic Representation and Inference
- The Mathematics of Text Structure
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- A predicate/state transformer semantics for Bayesian learning
- The weirdness theorem and the origin of quantum paradoxes
- Quantum theory and determinism
- Conditional distributions for quantum systems
- Multinomial and hypergeometric distributions in Markov categories
- Towards a categorical account of conditional probability
- Compositional quantum logic
- Title not available (Why is that?)
- Fast tests for probing the causal structure of quantum processes
- DisCoPy: monoidal categories in Python
- Disintegration and Bayesian inversion via string diagrams
Uses Software
This page was built for publication: Picturing classical and quantum Bayesian inference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383002)
