The expectation monad in quantum foundations

DOI10.1016/J.IC.2016.02.009zbMATH Open1350.68178arXiv1112.3805OpenAlexW2116463962MaRDI QIDQ320204FDOQ320204

Authors: Bart Jacobs, Jorik Mandemaker, Robert Furber 

Publication date: 6 October 2016

Published in: Information and Computation (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1112.3805

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

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• Formal certification of code-based cryptographic proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coreflections in algebraic quantum logic
• Title not available (Why is that?)
• From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
• Categorical quantum mechanics
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Measurable spaces and their effect logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A representation theory for commutative topological algebra
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Morphisms, tensor products and \(\sigma\)-effect algebras
• Labelled Markov processes.
• Title not available (Why is that?)
• Semantics of probabilistic programs
• From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
• Dijkstra Monads in Monadic Computation
• Convexity, duality and effects
• New directions in categorical logic, for classical, probabilistic and quantum logic
• An elementary proof of Gleason's theorem
• Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
• Title not available (Why is that?)
• Stochastic lambda calculus and monads of probability distributions
• Title not available (Why is that?)
• Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
• Quantum weakest preconditions
• Probabilities, distribution monads, and convex categories
• Title not available (Why is that?)
• Proofs of randomized algorithms in Coq

Cited In (12)

• Ambiguity and Incomplete Information in Categorical Models of Language
• Title not available (Why is that?)
• Three characterisations of the sequential product
• A note on distances between probabilistic and quantum distributions
• A computer scientist’s reconstruction of quantum theory*
• The expectation monad in quantum foundations
• Coreflections in algebraic quantum logic
• Hypernormalisation in an abstract setting
• Affine Monads and Side-Effect-Freeness
• Dichotomy between deterministic and probabilistic models in countably additive effectus theory
• From probability monads to commutative effectuses
• 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)