23

I read the wikipedia article on the Lindblad operator, but I still don't understand what this operator is supposed to describe. I therefore considered setting up an example in order to get the idea.

So let $H$ be the Hamiltonian of the first $n$ states of the hydrogen atom and $V(t)$ an interaction due to an external electric field. Now, I consider the evolution of density matrices in this finite-dimensional space by $$i\rho'(t) = [H-V(t), \rho(t)]+ L(\rho(t)).$$ My question is then: What exactly is the physical meaning behind this additional term $L$?

I mean the equation: $i\rho'(t) = [H-V(t), \rho(t)]$ would define the propagation of an initial distribution of states in this $n$-dimensional space of my reduced hydrogen atom under the influence of the electric field. But what am I exactly modeling if I additionally have this $L$ term there ?

David Z
  • 77,804
user167575
  • 373
  • 1
  • 3
  • 7

3 Answers3

18

General form, properties

A Lindblad form $$\dot \rho = -i[\eta, \rho] + A \rho A^\dagger - \frac 12 A^\dagger A \rho - \frac 12 \rho A^\dagger A$$ has three important properties:

  1. It is still linear dynamics, in terms of $\rho$.
  2. It is trace-free regardless of the trace of $\rho$. This means that the total sum of the eigenvalues, which starts out as 1, does not change.
  3. It leaves $\dot\rho$ Hermitian, which is important because only Hermitian operators have all-real eigenvalues.
  4. There are usually some simple criteria on $\hat A$ that I don't really remember any more, which ensure the positivity of the Lindbladian, so it doesn't ever take the positive eigenvalues to negative ones.

Its general physical meaning is therefore "nonunitary dynamics which can nonetheless be modeled without slaughtering our state matrix."

One interpretation you can always reach for

If you are not pleased with that definition, the most common nonunitary process in quantum mechanics is measurement, so let me show you how you can interpret any Lindblad form as a continuous quantum measurement. This is a common[1] [2] way to consider taking some $\rho$ with otherwise unitary dynamics and coupling it with a continuous measurement of the system.

A simple measurement looks like this: we bring some qubit with energy Hamiltonian $\epsilon ~c^\dagger c$ to the system, put it in its ground state $|0\rangle\langle 0|$, which we can write as $c c^\dagger$ for short. We'll assume that whatever the qubit is made out of commutes with all of the operators etc. which properly act on the "system" $\rho$. The qubit then couples to the system with some interaction term $\hat v^\dagger c^\dagger + \hat v c$, extremely generic.

During a time $dt/2$ the system will then evolve like $$\rho ~cc^\dagger \mapsto \rho ~ c c^\dagger - i~\frac{dt}2\left([\eta, \rho] ~ c c^\dagger + \hat v^\dagger \rho ~ c^\dagger - ~\rho ~\hat v~ c\right) $$ The only problem here is that these latter terms are still a little "in the past"; so let's evolve each of those terms $\rho c$ and $\rho c^\dagger$ forward another $dt/2$ to find a second-order effect:$$\begin{align} \rho ~c^\dagger \mapsto& \rho ~ c^\dagger - i~{dt\over 2}\left([\eta, \rho] ~ c^\dagger + \hat v \rho ~ c c^\dagger - ~\rho ~\hat v~ c^\dagger c\right)\\ \rho ~c \mapsto& \rho ~ c - i~{dt\over 2}\left([\eta, \rho] ~ c + \hat v^\dagger \rho ~ c^\dagger c - \rho ~\hat v^\dagger~ c c^\dagger\right) \end{align}$$ We then measure it in the qubit's $|0\rangle, |1\rangle$ basis and discard the measurement. This collapses the qubit to either $|0\rangle$ or $|1\rangle$ and therefore the $|0\rangle\langle 1| = c$ and $|1\rangle\langle 0| = c^\dagger$ terms of the density matrix, so let's look only at the $c c^\dagger$ and $c^\dagger c$ terms: $$ \rho ~cc^\dagger \mapsto \rho ~ c c^\dagger - i~ dt [\eta, \rho] ~ c c^\dagger -\frac{dt^2}4 \left( \hat v^\dagger (\hat v \rho ~ c c^\dagger - ~\rho ~\hat v~ c^\dagger c) - ~(\hat v^\dagger \rho ~ c^\dagger c - \rho ~\hat v^\dagger~ c c^\dagger)~\hat v\right) $$We see that the $\hat v^\dagger \rho \hat v$ terms correspond to $c^\dagger c$ and apparently collapse the overall system somewhat infinitesimally, something like $|\psi\rangle \mapsto |\psi\rangle + \sqrt{dt} v^\dagger |\psi\rangle.$ Usually textbooks/papers say by fiat that "we're measuring $\sqrt{dt} \hat v^\dagger $" or so; this is the real interpretation: asymptotically strong coupling that does not grow as rapidly as the measurement interval that we're applying it over, so that we get state-lengthening due to the Quantum Zeno effect.

By "tracing over" the qubit, which is what you do when you want to get the effective density matrix of the system for all Hermitian system-operators generating expectation values, and defining $A = \sqrt{dt/2} ~ \hat v^\dagger$, this physical process corresponds to the first equation I wrote. It is therefore the limit of a system which is coupled to a qubit which you measure every time frame $dt$, which is coupled to the system by an interaction Hamiltonian $(A c^\dagger + A^\dagger c)/\sqrt{dt/2}.$

Other resources

You can often derive very similar expressions when, say, you weakly couple your system to an infinite bath of bosons, since those can also cause constant decoherence in a similar fashion. If you want some examples, Wiseman's textbook Quantum Measurement and Control may be up your alley. (I think it for example had a lasing cavity which naturally tended towards that expression where $A$ was just the annihilator of the bosons in the cavity, which explains that they come to a coherent state.) If you don't have it in your library, this arXiv paper, also linked above, covers much of the same ground. The buzzword is "quantum trajectories", which also covers simulations of quantum systems when you add measurements.

CR Drost
  • 39,588
9

Let's suppose you don't have this operator, but you only have the self-adjoint Hamiltonian part. This means you have the usual Schrödinger equation (or Liouville equation since it's for the density matrix)

$$ i \dot{\rho}=[H,\rho] $$

and the solution will be $\rho(t)=e^{iHt}\rho(0)e^{-iHt}$, hence the solution will evolve according to the (strongly continuous) unitary group associated to your Hamiltonian. In other words, at any time your density matrix is just a unitary conjugation of the density matrix you started out with. In particular, its spectrum will never change. This means (for example) that if you start with a pure state (rank-one projection), you'll always stay in a pure state.

The behaviour we have just described is that of a closed system. Now, suppose we don't have a closed system, but we have an environment somewhere that is interacting with our system. In particular, you might want to consider a bath and see effects such as thermalisation (which implies that the spectrum of $\rho$ needs to change!). You can of course try to model bath + system with Hamiltonians and then solve the whole system, but you can also trace out the bath directly and have a look at the evolution equation for the remaining system you are interested in.

Under quite general assumptions (time-homogeneity, Markovianity), the equation you'll get is the Lindblad equation. The Hamiltonian part is the Hamiltonian part of your system and the additional terms (which is the Lindblad operator in many cases) describe the effects of the environment. In other words, if you can empirically guess the right form of the Lindblad-superoperator, you don't need to worry that you cannot model the whole closed system (or forget part of it). This is essentially what is known as the paradigm of "open quantum systems".

In short: The Lindblad operator describes the interaction of your system with an environment and it models the effects of the environment on the model. This could be anything. For example, it could be that you are interested in describing the double slit experiment with electrons. The Hamiltonian part would be the electrons and the slit, but you really don't know all the other particles around, you don't have a quantum description of the photon source (or it's complicated) and you don't have a quantum description of your measurement procedure, etc. But all these things interact with your measurement, so you might want to take them into consideration (e.g. if you want to see decoherence). The upshot of the above is that their influence on your system is precisely given by the Lindblad operator.

How to find the Lindbladian in a particular situation? This is a completely different story of which I don't know very much about...

Martin
  • 15,837
6

One detail

First thing I would like to note is that the operator you are talking about is called the Lindblad superoperator. A superoperator is like an operator that acts on other linear operators (in this case, the density matrix).

Lindblad Equation

What you have written is known as the Lindblad Equation. The Lindblad Equation is one example of the many equations used to described the dynamics of open quantum systems. The Lindblad Equation has the general form of $$\dot \rho = -i[H, \rho] + [ \sum \gamma (A \rho A^\dagger - \frac 12 A^\dagger A \rho - \frac 12 \rho A^\dagger A)]$$ where the part in brackets is known as the Lindblad superoperator. Therefore, this equation can be rewritten as: $$\dot \rho= -i[H, \rho] + L(\rho)$$

More details

The Lindblad superoperator models the environmental conditions that make up the open quantum system such as dephasing and relaxation. The operator $A$ is known as the collapse operator and it is important for deciding what the Lindblad superoperator describes. This operator is through which the environment couples to the system. Different collapse operators describe different aspects of the environment.

$\gamma$ is an important constant that usually describes dephasing rate, rephasing rate, relaxation rate, etc. It is basically a corresponding rate for the coulping of the environment to the system. It also is important to the master equation. Note that whenever this constant is equal to zero, then we get the quantum Liovillian equation for a closed system without any environmental effects.

One last thing I would like to add is that you can add as many Lindblad superoperators to the commutator to describe for different environmental conditions. One can describe for rephasing, another for dephasing, etc. It all depends on the environment of the quantum system.

In summary, the Lindblad superoperator models an environmental coupling to the system. Without it, you get a model for a closed system with no environmental effects. That's why the L term is important.

More resources

If you want to learn more, you should look into open quantum systems. Here is a link to start with. This link was also helpful to me when I was studying open quantum systems. And here is the original article by Lindblad about the Lindblad Equation

TanMath
  • 1,785