Concepts of conditional expectations in quantum theory

A concept of conditional expectations in quantum theory is established with interrelations to previously introduced concepts of the Cycon–Hellwig conditional expectations and a posteriori states, which are analogous to the existing interrelations in the classical probability theory among conditional expectations related to random variables, those related to σ subalgebras and conditional probability distributions. These three concepts are shown to have satisfactory statistical interpretation in the quantum measuring processes. For the above purpose, we introduce an integration with respect to functions with values in the states of operator algebras and positive operator valued measures such that the resulting indefinite integrals are completely positive map valued measures. Eventually, it is proved that in the von Neumann algebraic formulation, the Cycon–Hellwig conditional expectations always exist as completely positive map valued measures.