math.OA
Structure of block quantum dynamical semigroups and their product systems. W. Paschke's version of Stinespring's theorem associates a Hilbert C module along with a generating vector to every completely positive map. Building on this, to every quantum dynamical semigroup (QDS) on a C algebra mathcal A one may associate an inclusion system E (E t) of Hilbert mathcal A mathcal A modules with a generating unit xi ( xi t) . Suppose mathcal B is a von Neumann algebra, consider M 2( mathcal B) , the von Neumann algebra of 2 times 2 matrices with entries from mathcal B . Suppose ( Phi t) t ge 0 with Phi t begin pmatrix phi t 1 psi t psi t phi t 2 end pmatrix , is a QDS on M 2(B) which acts block wise and let (E i t) t ge 0 be the inclusion system associated to the diagonal QDS ( phi i t) t ge 0 with the generating unit ( xi t i) t ge 0 , i 1,2. It is shown that there is a contractive (bilinear) morphism T (T t) t ge0 from (E 2 t) t ge 0 to (E 1 t) t ge 0 such that psi t(a) langle xi 1 t, T t a xi 2 t rangle for all a in mathcal B. We also prove that any contractive morphism between inclusion systems of von Neumann mathcal B mathcal B modules can be lifted as a morphism between the product systems generated by them. We observe that the E 0 dilation of a block quantum Markov semigroup (QMS) on a unital C algebra is again a semigroup of block maps.