11
$\begingroup$

Is there a way of rotating non-Hermitian jump operators for a Lindblad master equation (LME) to a basis where they are Hermitian? In other words, I have a (diagonal) LME:

$$ \dot{\rho} = -i [\mathcal{H}, \rho] + \sum_{\alpha} \gamma_{\alpha} \left[ L_{\alpha} \rho L_{\alpha}^{\dagger} - \frac{1}{2}\left\{ L_{\alpha}^{\dagger} L_{\alpha}, \rho \right\} \right] $$

where the jump operators are non-Hermitian. The simplest case is for just a single fermionic site with $\mathcal{H} = \epsilon f^{\dagger} f$ and two jump operators $L_1 = f^{\dagger}, L_2 = f, \gamma_1 = \sqrt{\Gamma_{\mathrm{in}}}, \gamma_2 = \sqrt{\Gamma_{\mathrm{out}}}$. I would like to rewrite the master equation in a non-diagonal form:

$$ \dot{\rho} = -i [\mathcal{H}, \rho] + \sum_{\mu, \nu} \gamma_{\mu \nu} \left[ A_{\mu} \rho A_{\nu}^{\dagger} - \frac{1}{2} \left\{ A_{\nu}^{\dagger} A_{\mu}, \rho \right\} \right] $$

but with the additional property that the operators $A$ are Hermitian, ie $A_{\mu} = A_{\mu}^{\dagger}$. Is it possible to do so? In principle, the $L_{\alpha}$'s and $A_{\mu}$'s are related by unitary transform $U$, which also rotates the coefficient matrix $(\gamma_{\mu \nu})$ to its diagonal form:

$$ U \gamma U^{\dagger} = \mathrm{diag}(\gamma_1, \gamma_2, \cdots) $$ $$ A_{\mu} = \sum_{\alpha} U_{\alpha \mu} L_{\alpha} $$

I have tried to determine the form of $U$ and $(\gamma_{\mu \nu})$, but I encounter inconsistencies (eg $U$ turns out to be non-unitary), so I have a hunch that this is not doable.

The reason why I'm trying to rewrite the jump operators in a Hermitian way is that I want to compare the results obtained with the LME to the more general Redfield master equation (RME):

$$ \dot{\rho} = -i \left[ \mathcal{H}, \rho \right] + \sum_{\mu, \nu} \int_0^{\infty} \mathrm{d} \tau \: \left\{ \Gamma_{\nu \mu}^{\beta}(\tau) \left[ e^{-i \tau \mathcal{H}} A_{\mu} e^{i \tau \mathcal{H}} \rho, A_{\nu} \right] + h.c. \right\} $$

In the standard derivation of the RME the interaction operators $A_{\mu}$ are always assumed to be Hermitian. In principle, from the RME one could obtain the LME by using bath correlation function of the form $\Gamma_{\nu \mu}^{\beta}(\tau) = \Gamma_{\nu \mu} \: \delta(\tau + 0^+)$, such that the time integration disappears, see for instance T. Prosen and B. Zunkovic, New J. Phys. 12, 025016 (2010).

$\endgroup$

1 Answer 1

11
$\begingroup$

Writing the Lindblad equation in non-diagonal form with Hermitian operators is always possible. This follows from the simple observation that an arbitrary operator can be expanded in a Hermitian operator basis $$L_\alpha = \sum_\mu c_{\alpha\mu} A_\mu,$$ where $A_\mu = A_\mu^\dagger$. For example, one can choose the basis \begin{align} s_{mn} &= \frac{1}{2}|m\rangle\langle n| + {\rm h.c.}, \\ a_{mn} & = \frac{{\rm i}}{2}|m\rangle\langle n| + {\rm h.c.}. \end{align} Clearly, an arbitrary operator $B = \sum_{mn} B_{mn}|m\rangle\langle n| = \sum_{mn} B_{mn}(s_{mn} - {\rm i}a_{mn})$ can be expanded in this basis. Plugging in the expansion above, one obtains the non-diagonal form with the coefficient matrix $\gamma_{\mu \nu} = \sum_\alpha c_{\nu \alpha}^* \gamma_\alpha c_{\alpha \mu}$. In your specific example, one could choose the basis $$ \begin{pmatrix} A_1 \\ A_2 \end{pmatrix} = \frac{1}{\sqrt{2}}\begin{pmatrix} 1 & 1 \\ {\rm i} & {\rm -i}\end{pmatrix}\begin{pmatrix} f \\ f^\dagger\end{pmatrix},$$ and here the coefficient matrix is manifestly unitary.

However, it is worth emphasising that the Lindblad operators in the diagonal form cannot be made Hermitian in general. To see this, note that if $L_\alpha = L_\alpha^\dagger$ then the maximally mixed state $\rho(t) = \mathbb{1}/d$ is a solution for all $t$ ($d=$ Hilbert space dimension), i.e. it satisfies $\dot{\rho} = \mathcal{L}\rho = 0$, where $\mathcal{L}$ is the Liouvillian superoperator describing the right-hand side of your master equation. As a result, the master equation generates a unital channel: $${\rm e}^{\mathcal{L}t} \mathbb{1} = \mathbb{1}, $$ where ${\rm e}^{\mathcal{L}t}$ is the time evolution operator, i.e. $\rho(t) = {\rm e}^{\mathcal{L}t} \rho(0)$. Assuming that the master equation has a unique steady state, the unital condition implies that $$\lim_{t\to\infty}{\rm e}^{\mathcal{L}t} \rho(0) = \mathbb{1},$$ for any initial condition $\rho(0)$. Most dissipative evolutions are not unital, e.g. any kind of thermalisation process is obviously non-unital because its stationary long-time state is thermal, not maximally mixed (except at infinite temperature where the thermal state is maximally mixed).

Your specific master equation generates a unital evolution only when $\Gamma_{\rm in}= \Gamma_{\rm out}$, so that the gain and decay rates are balanced. This is what one would expect for a thermal bath at infinite temperature, and it is entirely consistent with a microscopic derivation from the Redfield equation with Hermitian interaction operators $A_\mu$. The assumption of a delta-correlated bath $\Gamma_{\mu\nu}(\tau) \propto \delta(\tau)$ implies that in Fourier space $$\Gamma_{\mu\nu}(\omega) = \int {\rm d}\tau \,{\rm e}^{{\rm i}\omega \tau} \Gamma_{\mu \nu}(\tau) = {\rm const.}$$ This is clearly incompatible with the detailed balance (Kubo-Martin-Schwinger) condition $$ \Gamma_{\mu\nu}(\omega) = {\rm e}^{\beta\omega}\Gamma_{\nu\mu}(-\omega)$$ except in the infinite-temperature limit where $\beta=1/k_BT = 0$.

$\endgroup$
4
  • 1
    $\begingroup$ Thank you so much! Brilliantly explained. How do I see that if the maximally mixed state is a solution of the Liouvillian, then the quantum channel describing the evolution is unital? $\endgroup$
    – PolMol
    Commented Sep 14, 2021 at 11:32
  • $\begingroup$ @PolMol Well, a channel is called unital if it leaves the identity invariant. In this case, the channel is $\rho(0) \to \rho(t) = {\rm e}^{\mathcal{L}t}\rho(0)$ by definition. Plug in $\rho(t) = \mathbb{1}/d$ and you have the desired result after cancelling $d$ from both sides. I have edited the text to hopefully clarify. $\endgroup$ Commented Sep 14, 2021 at 17:53
  • $\begingroup$ Thanks! Does this mean then that I cannot derive a Lindbladian with non-Hermitian jump operators like in the example starting from a Redfield master equation with Hermitian interaction operators A? I thought that any Lindbladian was a special case of the Redfield master equation after the secular approximation is performed... $\endgroup$
    – PolMol
    Commented Sep 20, 2021 at 17:42
  • $\begingroup$ You can certainly get a Lindblad equation with non-Hermitian jump operators by applying the secular approximation to the Redfield equation (indeed this is the usual case). The jump operators that you will get are the Fourier components of the time-evolved system operators $A_\mu(t) = {\rm e}^{ {\rm i} H t}A_\mu {\rm e}^{ {-\rm i} H t} = \sum_\omega {\rm e}^{ {-\rm i} \omega t} A_\mu(\omega)$. The Fourier components $A_\mu(\omega)$ are certainly not Hermitian, indeed I think they cannot be (except at $\omega = 0$). $\endgroup$ Commented Sep 20, 2021 at 18:09

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.