The Master equation in Lindblad form (aka the Lindblad equation) is the most general possible evolution of an open quantum system that is *Markovian* and *time-homogeneous*. Markovian means that the way in which the density matrix evolves is determined completely by the current density matrix. This is the assumption that there are no memory effects, i.e. that the environment does not store information about earlier state of the system that can influence the system in the future.^{a } Time-homogeneous just means that the rule for stochastically evolving the system from one time to the next is the same for all times.

Given an arbitrary orthonormal basis of the space of operators on the -dimensional Hilbert space of the system (according to the Hilbert-Schmidt inner product ), the Lindblad equation takes the following form:

(1)

with . Here, generates the unitary component of the evolution and the positive matrix describes the non-unitary component (which is still completely positive and trace-preserving).

It turns out that the Lindblad equation is just the differential version of the most general smooth, 1-parameter family of completely positive (CP) maps on the space of density matrices. It is known that complete positivity is essentially a requirement derived from the assumption that the system is not initially correlated with the environment (i.e. that the environment has no memory at the beginning of the discrete step of evolution described by the CP map) and that quantum systems may evolve without complete positivity otherwise^{b }. One can derive the Lindblad equation, then, by constructing a smooth family of CP map indexed by time, and then taking the time parameter to be infinitesimal. A satisfyingly detailed description of this process can be found in some notes by Caves.^{c } The full Markovian and time-homogeneous evolution is obtained by exponentiating this map or, equivalently, by integrating the Lindblad equation.

Of course, the requirement that the family of CP maps be smooth around is essential. There are “indivisible” CP maps that cannot be decomposed into a non-trivial composition of two or more CP maps^{d }, and therefore have no differential structure. The simplest example is the transpose-operation combined with a partial dephasing operation. (The dephasing is essential to ensure that the total map is CP, as the transpose operation on its own is not.) This prompts the question of whether there is a cool way to think about all this in terms of Lie semigroups and their connected components. It appears that the answer is “yes”, and a bunch of interesting looking references are available in a work by Dirr et al.^{e }

Now, the Lindblad equation can be rewritten by diagonalizing the matrix as

(2)

with the unitary matrix , so that

(3)

with new operators . What I had not appreciated before^{f } reading Caves, and Alicki^{g }, is that the non-unitary terms on the right hand side can be understood in terms of a (non-trace-preserving) CP map

(4)

and a positive operator

(5)

Using these objects, we can write^{h }

(6)

The CP map is naturally called the “quantum transition map”, and it describes the non-unitary stochastic transitions. It is balanced by the term which essentially grabs the part of the density matrix that is transitioning due to and deletes it; this ensures that the overall evolution is trace-preserving (i.e. that . The difference between the unitary transitions induced by and the non-unitary ones induced by are still a bit subtle to me, and have to do with whether the Kraus operators of the one-parameter family of CP maps being differentiated have time dependence that goes like or like . (See Caves.) My intuition is that the transitions induced by could not be prevented with the quantum Zeno effect (i.e. by inserting repeated orthogonal measurements), unlike those for which can be.

(For a related derivation using the global wavefunction rather than reduced states, see Sec 1.1 of Onodera’s thesis.)

*[Updated: 2020-2-19]*

### Footnotes

(↵ returns to text)

- Here’s an example of a memory effect: An atom immersed in an electromagnetic field can be in one of two states, excited or ground. If it is in an excited state then, during a time interval, it has a certain probability of decaying to the ground state by emitting a photon. If it is in the ground state then it also has a chance of becoming excited by the ambient field. The situation where the atom is in a space of essentially infinite size would be Markovian, because the emitted photon (which embodies a record of the atom’s previous state of excitement) would travel away from the atom never to interact with it again. It might still become excited because of the ambient field, but its chance of doing so isn’t influenced by its previous state. But if the atom is in a container with reflecting walls, then the photon might be reflected back towards the atom, changing the probability that it becomes excited during a later period.↵
- Philip Pechukas, “Reduced Dynamics Need Not Be Completely Positive“, Phys. Rev. Lett. 73, 1060 (1994).↵
- C. Caves, “Completely positive maps, positive maps, and the Lindblad form [PDF]“.↵
- Michael M. Wolf and J. Ignacio Cirac, “Dividing Quantum Channels,” Communications in Mathematical Physics, 279, 147-168 (2008).↵
- G. Dirr , U. Helmke, I. Kurniawan, and T. Schulte-Herbrüggen, “Lie-semigroup structures for reachability and control of open quantum systems: kossakowski-lindblad generators form lie wedge to markovian channels,” Reports on Mathematical Physics, 64, 93-121 (2009)↵
- Of course, the following elegant form was well known to Lindblad when he originally derived the equation that bears his name. The uglier form of the equation seems to be yet another case where significant beauty is lost in the transition from the original literature to review articles because people appropriate results without understanding them.↵
- Robert Alicki, “Invitation to quantum dynamical semigroups”, [arXiv:quant-ph/0205188].↵
- Note that is the commutator and is the anti-commutator.↵

Your email address will not be published. Required fields are marked with a *.