I am not very well-versed when in comes to open quantum systems which is why I need some help. In a paper, I encountered the following situation:

Let $\mathcal{L}$ be a Lindbladian so the time evolution of a system is described by the master equation $$\frac{d\rho(t)}{dt}=\mathcal{L}\rho(t)$$

Now, the paper argues that while $$e^{\tau \mathcal{L}}$$ is a proper channel meaning CPTP map, its first order approximation $$ I + \tau \mathcal{L}$$

is not necessarily CPTP. In particular, they argue that $\tau$ has to be chosen sufficiently small in order for $I + \tau \mathcal{L}$ to also be CP. That's the part I want to understand.

So, let $\mathcal{L}$ be a Lindbladian and denote by $\lambda_{\mathrm{max}}(\mathcal{L})$ the maximum magnitude eigenvalue of the Choi state corresponding to $\mathcal{L}$, i.e.

$$J(\mathcal{L}) = (\mathcal{L} \otimes I)(|\Omega\rangle\langle\Omega|)\\ \lambda_{\mathrm{max}}(\mathcal{L})=\mathrm{max}_{\lambda\in\mathrm{spec}(J(\mathcal{L}))}|\lambda|$$

(Here, I am confused already: Because they talk about magnitudes, it seems that $J(\mathcal{L})$ need not be positive semi-definite, i.e. it can have negative eigenvalues. But I should be Hermitian, shouldnt it? In general, what properties does $\mathcal{L}$ have?)

Then, I want to convince myself of the following statement: The map $$\Phi:=I+\tau\mathcal{L}$$ is also completely positive, whenever $\tau\leq 1/\lambda_{\mathrm{max}}(\Phi)$.

My approach: The Choi state corresponding to the map $\Phi'$ is $$J(\Phi') = |\Omega\rangle\langle\Omega| + \tau J(\mathcal{L})$$

Now, the spectrum of $\tau J(\mathcal{L})$ has magnitude $\leq 1$ by construction but how can I argue about the eigenvalues of the sum?

Also, why is $I+\tau\mathcal{L}$ trace preserving? Again, I guess this comes down to my lack of knowledge about the properties of $\mathcal{L}$...


1 Answer 1


The relation you are asking about is true in general for any Hermitian operator. This is just because the eigenvalues of $I + \tau L$ are $1 + \tau\lambda_i$, where $\lambda_i$ are the eigenvalues of $L$.

So if $1 - \tau|\lambda_{min}|$ is positive then all the eigenvalues of $I + \tau L$ are positive.

(This is a weaker condition than $\tau < 1/|\lambda|_{max}$, since by definition $1/|\lambda|_{max} \le 1/|\lambda_{min}|$ )

  • $\begingroup$ Right... So, is the Lindbladian $\mathcal{L}$ always Hermitian? (I really dont know anything about master equations yet...) $\endgroup$
    – Marsl
    Feb 1, 2022 at 21:44
  • $\begingroup$ The density operator is Hermitian, so your first equation implies that $\mathcal L$ is Hermitian as well $\endgroup$
    – user341440
    Feb 1, 2022 at 22:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.