Abstract: The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. This expectation monad is used in two probabilistic analogues of fundamental results of Manes and Gelfand for the ultrafilter monad: algebras of the expectation monad are convex compact Hausdorff spaces, and are dually equivalent to so-called Banach effect algebras. These structures capture states and effects in quantum foundations, and also the duality between them. Moreover, the approach leads to a new re-formulation of Gleason's theorem, expressing that effects on a Hilbert space are free effect modules on projections, obtained via tensoring with the unit interval.
Recommendations
- The expectation monad in quantum foundations
- From probability monads to commutative effectuses
- Probability, valuations, hyperspace: three monads on Top and the support as a morphism
- Probabilities, distribution monads, and convex categories
- From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
Cites work
- scientific article; zbMATH DE number 1688754 (Why is no real title available?)
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3128586 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 47995 (Why is no real title available?)
- scientific article; zbMATH DE number 3434546 (Why is no real title available?)
- scientific article; zbMATH DE number 2165536 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3428045 (Why is no real title available?)
- scientific article; zbMATH DE number 3296290 (Why is no real title available?)
- scientific article; zbMATH DE number 3333596 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A representation theory for commutative topological algebra
- Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
- An elementary proof of Gleason's theorem
- Categorical quantum mechanics
- Convexity, duality and effects
- Coreflections in algebraic quantum logic
- Dijkstra Monads in Monadic Computation
- Formal certification of code-based cryptographic proofs
- From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
- From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
- Labelled Markov processes.
- Measurable spaces and their effect logic
- Morphisms, tensor products and \(\sigma\)-effect algebras
- New directions in categorical logic, for classical, probabilistic and quantum logic
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Probabilities, distribution monads, and convex categories
- Proofs of randomized algorithms in Coq
- Quantum weakest preconditions
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
- Semantics of probabilistic programs
- Stochastic lambda calculus and monads of probability distributions
- The lambda calculus. Its syntax and semantics. Rev. ed.
Cited in
(12)- The expectation monad in quantum foundations
- A computer scientist’s reconstruction of quantum theory*
- Dichotomy between deterministic and probabilistic models in countably additive effectus theory
- Hypernormalisation in an abstract setting
- scientific article; zbMATH DE number 7199585 (Why is no real title available?)
- From probability monads to commutative effectuses
- Three characterisations of the sequential product
- A note on distances between probabilistic and quantum distributions
- Ambiguity and incomplete information in categorical models of language
- Affine Monads and Side-Effect-Freeness
- Coreflections in algebraic quantum logic
- Duality for convex monoids
This page was built for publication: The expectation monad in quantum foundations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q320204)
