Conditional expectation and Bayes’ rule for quantum random variables and positive operator valued measures

A quantum probability measure ν is a function on a σ-algebra of subsets of a (locally compact and Hausdorff) sample space that satisfies the formal requirements for a measure, but where the values of ν are positive operators acting on a complex Hilbert space, and a quantum random variable is a measurable operator valued function. Although quantum probability measures and random variables are used extensively in quantum mechanics, some of the fundamental probabilistic features of these structures remain to be determined. In this paper, we take a step toward a better mathematical understanding of quantum random variables and quantum probability measures by introducing a quantum analogue for the expected value \documentclass[12pt]{minimal}\begin{document}$\mathbb E_\nu [\psi ]$\end{document}Eν[ψ] of a quantum random variable ψ relative to a quantum probability measure ν. In so doing we are led to theorems for a change of quantum measure and a change of quantum variables. We also introduce a quantum conditional expectation which results in quantum versions of some standard identities for Radon-Nikodým derivatives. This allows us to formulate and prove a quantum analogue of Bayes’ rule.