Semigroups of completely positive operators are a fundamental tool in the theory of quantum Markov processes. Several results on this class of semigroups-mostly in the uniformly continuous case-are scattered in the literature. In this chapter we give a self-contained exposition of the basic results on uniformly continuous completely positive semigroups.
Semigroups of completely positive operators are a fundamental tool in the theory of quantum Markov processes. Several results on this class of semigroups-mostly in the uniformly continuous case-are scattered in the literature. In this chapter we give a self-contained exposition of the basic results on uniformly continuous completely positive semigroups.
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).
Quantum Markov Semigroups (QMSs) originally arose in the study of the evolutions of irreversible open quantum systems. Mathematically, they are a generalization of classical Markov semigroups where the underlying function space is replaced by a non-commutative operator algebra. In the case when the QMS is uniformly continuous, theorems due to Lindblad \cite{lindblad}, Stinespring \cite{stinespring}, and Kraus \cite{kraus} imply that the generator of the semigroup has the form L(A)=∑n=1∞Vn∗AVn+GA+AG∗ where Vn and G are elements of the underlying operator algebra. In the present paper we investigate the form of the generators of QMSs which are not necessarily uniformly continuous and act on the bounded operators of a Hilbert space. We prove that the generators of such semigroups have forms that reflect the results of Lindblad and Stinespring. We also make some progress towards forms reflecting Kraus' result. Lastly we look at several examples to clarify our findings and verify that some of the unbounded operators we are using have dense domains.
Quantum Markov Semigroups (QMSs) originally arose in the study of the evolutions of irreversible open quantum systems. Mathematically, they are a generalization of classical Markov semigroups where the underlying function space is replaced by a non-commutative operator algebra. In the case when the QMS is uniformly continuous, theorems due to the works of Lindblad [Commun. Math. Phys. 48, 119-130 (1976)], Stinespring [Proc. Am. Math. Soc. 6, 211-216 (1955)], and Kraus [Ann. Phys. 64, 311-335 (1970)] imply that the generator of the semigroup has the form L(A)=∑n=1∞Vn∗AVn+GA+AG∗, where Vn and G are elements of the underlying operator algebra. In the present paper, we investigate the form of the generators of QMSs which are not necessarily uniformly continuous and act on the bounded operators of a Hilbert space. We prove that the generators of such semigroups have forms that reflect the results of Lindblad and Stinespring. We also make some progress towards forms reflecting Kraus’ result. Finally, we look at several examples to clarify our findings and verify that some of the unbounded operators we are using have dense domains.
As mentioned previously, a classical Markov semigroup of transition operators { T t , t ≥ 0} can be generated from a classical Markov process { X t , t ≥ 0}. On the other hand, given a Markov semigroup, a Markov process { X t , t ≥ 0} can be constructed based on the Markov semigroup { T t , t ≥ 0} using the Kolmogorov consistency theorem. In the context of quantum probability space ( A , ρ ), a Markov dilation (i.e., construction of a quantum Markov process from a given quantum Markov semigroup of operators { I t , t ≥ 0}) turns out to be a nontrivial matter. This is partly due to the fact that, although the general concept of conditional expectation of an observable given a sub-von Neumann algebras B ⊂ A can be defined and required properties can be described, an explicit construction of such a conditional expectation is still unavailable in general. The main objective of this chapter is to introduce relevant concepts and to develop some properties of quantum Markov processes in the content of quantum probability explored in previous chapters. There are 2 major components in this chapter: (i) introduction of concepts and derivation of properties of a quantum Markov processes based on some assumed and/or derived properties of conditional expectation E ρ [· | A t ] ] given a filtration of sub-von Neumann algebras { A t ] , t ≥ 0} of A , and (ii) Markov dilation or construction of a weak quantum Markov flow (WQMF) from a given quantum Markov semigroup { I t , t ≥ 0} using the weak conditional expectation E [· | F t ], where { F t , t ≥ 0} is a filtration of orthogonal projection operators defined on the complex Hilbert space ℍ. The main objective of the first component is to introduce the relevant concept and develop some properties of quantum Markov processes in the content of quantum probability explored in previous chapters. Although the theory of (classical) Markov processes is well known in the probability community (see, for example, Dynkin [Dyn62], Ethier and Kurtz [EK85]), we outline some basic concept and results from the classical theory of homogeneous Markov processes below for comparison purpose.
The classical probability theory initiated by Kolmogorov and its quantum counterpart, pioneered by von Neumann, were created at about the same time in the 1930s, but development of the quantum theory has trailed far behind. Although highly appealing, the quantum theory has a steep learning curve, requiring tools from both probability and analysis and a facility for combining the two viewpoints. This book is a systematic, self-contained account of the core of quantum probability and quantum stochastic processes for graduate students and researchers. The only assumed background is knowledge of the basic theory of Hilbert spaces, bounded linear operators, and classical Markov processes. From there, the book introduces additional tools from analysis, and then builds the quantum probability framework needed to support applications to quantum control and quantum information and communication. These include quantum noise, quantum stochastic calculus, stochastic quantum differential equations, quantum Markov semigroups and processes, and large-time asymptotic behavior of quantum Markov semigroups.
We present different characterizations of the notion of irreducibility for Quantum Markov Semigroups (QMSs) and investigate its relationship with other relevant features of the dynamics, such as primitivity, positivity improvement and relaxation; in particular, we show that irreducibility, primitivity and relaxation towards a faithful invariant density are equivalent when the semigroup admits an invariant density. Moreover, in the case of uniformly continuous QMSs, we present several useful ways of checking irreducibility in terms of the operators appearing in the generator in GKLS form. Our exposition is as much self-contained as possible, we present some well known results with elementary proofs (collecting all the relevant literature) and we derive new ones. We study both finite and infinite dimensional evolutions and we remark that many results only require the QMS to be made of Schwarz maps.