Synthese

, Volume 186, Issue 3, pp 651–696

Picturing classical and quantum Bayesian inference

Article

DOI: 10.1007/s11229-011-9917-5

Cite this article as:
Coecke, B. & Spekkens, R.W. Synthese (2012) 186: 651. doi:10.1007/s11229-011-9917-5

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.

Keywords

Bayesian inference Graphical calculus Conditional density operator Symmetric monoidal category Frobenius algebra 

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Oxford University Computing LaboratoryOxfordUK
  2. 2.Perimeter Institute for Theoretical PhysicsWaterlooCanada

Personalised recommendations