The expectation monad in quantum foundations

Bart Jacobs, Jorik Mandemaker, Robert Furber

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

The expectation monad is introduced and related to known monads: it sits between on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. The Eilenberg–Moore algebras of the expectation monad are characterized as convex compact Hausdorff spaces, using a theorem of Świrszcz. These convex compact Hausdorff spaces are dually equivalent to Banach (complete) order unit spaces, via a result of Kadison, which in turn are equivalent to Banach effect modules. In this way we obtain a close ‘triangle’ relationship between predicates and states for the expectation monad. Moreover, the approach leads to a new reformulation of Gleason's theorem, expressing that effects on a Hilbert space are free effect modules on projections, obtained via tensoring with the unit interval.
Original languageEnglish
Pages (from-to)87 - 114
JournalInformation and Computation
Volume250
Early online date2 Mar 2016
DOIs
Publication statusPublished - 1 Oct 2016

Fingerprint

Dive into the research topics of 'The expectation monad in quantum foundations'. Together they form a unique fingerprint.

Cite this