Categorical characterizations of operator-valued measures

Frank Roumen
(Inst. for Mathematics, Astrophysics and Particle Physics (IMAPP), Radboud University Nijmegen)

The most general type of measurement in quantum physics is modeled by a positive operator-valued measure (POVM). Mathematically, a POVM is a generalization of a measure, whose values are not real numbers, but positive operators on a Hilbert space. POVMs can equivalently be viewed as maps between effect algebras or as maps between algebras for the Giry monad. We will show that this equivalence is an instance of a duality between two categories. In the special case of continuous POVMs, we obtain two equivalent representations in terms of morphisms between von Neumann algebras.

In Bob Coecke and Matty Hoban: Proceedings of the 10th International Workshop on Quantum Physics and Logic (QPL 2013), Castelldefels (Barcelona), Spain, 17th to 19th July 2013, Electronic Proceedings in Theoretical Computer Science 171, pp. 132–144.
Published: 27th December 2014.

ArXived at: https://dx.doi.org/10.4204/EPTCS.171.12 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org