Markov dilations on \(W^ *\)-algebras (Q1081089)

Let A be a \(W^*\)-algebra, let \(\Phi\) be a faithful normal state on A and let T be a completely positive unital linear mapping from A to itself which leaves \(\Phi\) invariant. Then, in this paper (A,\(\Phi\),T) is said to be a dynamical system. When T is a *-automorphism of A then (A,\(\Phi\),T) is said to be reversible. A reversible dynamical system (B,\(\psi\),S) is said to be a dilation of the dynamical system (A,\(\Phi\),T) if A is a \(sub\)-W\({}^*\)-algebra of A and there exists a conditional expectation P from B onto A such that \(P^*\Phi =\psi\) and, for each non-negative integer n, \(PS^ n|_ A=T^ n.\) The author makes a systematic study of the properties of dilations and describes a method using tensor products which allows dilations to be constructed. In particular he studies those dilations which have a property which generalizes the Markov-property of classical stochastic processes to these non-commutative stochastic processes. Let (B,\(\psi\),S) be a dilation of (A,\(\Phi\),T) and for each non-negative integer n, let \(A_{n]}\) be the \(sub\)-W\({}^*\)-algebra of B generated by the family \(\{A,SA,...,S^ nA\}\) of \(sub\)-W\({}^*\)-algebras of B and let \(A_{[n}\) be the \(sub\)-W\({}^*\)-algebra of B generated by \(\{S^ nA,S^{n+1}A,...\}\). There exist conditional expectations \(P_ n\) and \(P_{n]}\) from B onto \(S^ nA\) and \(A_{n]}\) respectively. The dilation is said to have the Markov-property if \(P_ n|_{A[n}=P_{n]}|_{A_{[n}}.\) The paper ends with an illuminating examination of the situation in which A is the \(W^*\)-algebra of \(2\times 2\) complex matrices.