Quantum Markov Semigroups

Abstract

In this chapter, we define and explore basic properties of a quantum Markov semigroup { I t , t ≥ 0} of linear maps on the C* -algebra or von Neumann algebra A that characterizes the quantum system. The quantum Markov semigroup (QMS) plays a key role in describing quantum Markov processes that are to be explored in the subsequent chapters. The concept of QMS extends the semigroup of probability transition operators { T t , t ≥ 0} for a classical Markov process to its noncommutative counterpart. Suppose the classical Markov process { X t , t ≥ 0} is defined on the complete filtered classical probability space (Ω, Ƒ, P ; {Ƒ t , t ≥ 0}) and with values in a measurable space (핏, B (X)). Recall that for each t ≥ 0, the probability transition operator T t : L ∞ (X, B (X)) → L ∞ (X, B (X)) by ( T t f )( X s ) = E x [ f ( X s + t ) | Ƒ s ] ∀ s , t ≥ 0. A semigroup of linear maps on the C* -algebra or von Neumann algebra A is said to be a quantum dynamical semigroup (QDS) if (i) I 0 = J (the identity operator on A ); (ii) I t I s = I t + s for all t , s ≥ 0; (iii) I t is completely positive for each t ≥ 0; and (iv) I t is σ weakly continuous on A , i.e., a ↦ tr ( ρI t ( a )) is continuous from A to ℂ for each ρ ∈ S ( A ) (the space of quantum states) and for each t ≥ 0. If in addition I t ( I ) = I , (respectively, I t ( I ) ≤ I ) for all t ≥ 0, then the QDS is said to be a quantum Makrov semigroup (QMS) (respectively, quantum sub-Markov semigroup).