5 - Quantum Markov Semigroups

Summary

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_tf)(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₀ = J (the identity operator on A); (ii) I_tI_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).