Open Quantum Systems. An Introduction

An operator is the generator of a quantum Markov or divisible process exactly when it can be written in the Gorini-Kossakowski-Susarshan-Lindblad form with nonnegative coefficients.

“Theorem 3.1 (Gorini-Kossakowski-Susarshan-Lindblad). An operator L t is the generator of a quantum Markov (or divisible) process if and only if it can be written in the form dρ(t) dt = L t [ρ(t)] = -i[H (t), ρ(t)] + k γ k (t) V k (t)ρ(t)V † k (t) - 1 2 {V † k (t)V k (t), ρ(t)} , (32 ) where H (t) and V k (t) are time-dependent operators, with H (t) self-adjoint, and γ k (t) 0 for every k and time”

The exact dynamics of an open quantum system is essentially non-Markovian, even though many commonly studied models yield Markovian master equations.

“Despite the fact that the most studied models to describe such a dynamics result in Markovian master equations of the form of equation (32) [25,[39][40][41], it is well-known that the exact dynamics of an open quantum system is essentially non-Markovian [22,24,26,42].”

When the dynamics satisfies a linear differential equation with possibly negative decay rates, the function g(t) can be computed directly from the generator L_t.

“Since for small enough we have [26] E (t+ ,t) = T exp t+ t L s ds exp (L t ) 1 1 + L t , (76 ) the function g(t) can be computed directly from the generator L t :”

Combining the Born-Markov approximation with the secular approximation yields a valid quantum dynamical semigroup, so the resulting dynamics can be called Markovian.

“Secondly, if the 'Born-Markov' approximation is combined with the secular approximation (i.e.neglecting fast oscillating terms in the evolution equation), a valid quantum dynamical semigroup is obtained [24-26, 39, 41], and then the dynamics can be certainly called Markovian.”