In many derivations of the Lindblad equation, the authors say something like “There is a gauge freedoma in our choice of Lindblad (“jump”) operators that we can use to make those operators traceless for convenience”. However, the nature of this freedom and convenience is often obscure to non-experts.
While reading Hayden & Sorce’s nice recent paper [arXiv:2108.08316] motivating the choice of traceless Lindblad operators, I noticed for the first time that the trace-ful parts of Lindblad operators are just the contributions to Hamiltonian part of the reduced dynamics that arise at first order in the system-environment interaction. In contrast, the so-called “Lamb shift” Hamiltonian is second order.
Consider a system-environment decomposition of Hilbert space with a global Hamiltonian , where , , and are the system’s self Hamiltonian, the environment’s self-Hamiltonian, and the interaction, respectively. Here, we have (without loss of generality) decomposed the interaction Hamiltonian into a tensor product of Hilbert-Schmidt-orthogonal sets of operators and , with a real parameter that control the strength of the interaction.
This Hamiltonian decomposition is not unique in the sense that we can alwaysb send and , where is any Hermitian operator acting only on the system. When reading popular derivations of the Lindblad equation
like in the textbook by Breuer & Petruccione, one could be forgivenc for thinking that this freedom is eliminated by the necessity of satisfying the assumption that , which is crucially deployed in the “microscopic” derivation of the Lindblad equation operators and from the global dynamics generated by . (Here, is the interaction-picture version of the interaction Hamiltonian and is the global initial state.) However, a careful reading will show that this is in fact only necessary if you want to satisfy the stronger condition that (without the commutator comma), i.e., that for all . Several authors, including Breuer & Petruccione, suggest that we might as well do so since we can always choose to satisfy this stronger condition by making the above transformation with the choice .
However, this choice can have the consequence of introducing (or eliminating or modifying) the trace of the Lindblad operators. Obviously, at the end you will get the same reduced dynamics, but you need to be mindful that this is happening since the Hamiltonian part of the dynamics you might want to understand can be “hiding” inside the Lindblad operators. This choice can also have a big impact on the feasibility of analytically deriving the Lindblad operators since it generically changes the energy eigenbasis of , which plays a very important role in the derivation.
So how do we interpret the trace-ful part of the Lindblad operators? One can check that they merely make a Hamiltonian contribution to the dynamics. Let’s uniquely expand the Lindblad operators as , where is the traceless part of and is a complex number proportional to the trace. Then using the traditional definition of the Hamiltonian superoperator and the dissipator superoperator , we see
withd the new contribution to the Hamiltonian part of the reduced dynamics. Note that all the terms above that are quadratic in have canceled.
Importantly, this Hamiltonian contribution from the trace-ful part of the Lindblad operators is first order in the coupling constant (hence the “” superscript) and therefore is distinct from the strictly second-order Hamiltonian contribution , also arising during this microscopic derivation, that is commonly known as the (generalized) Lamb shift. To see this, one merely notes in the derivation that and , where the are operators on constructed linearly during the derivation from the operators in the interaction Hamiltonian . We end up with a Lindblad equation, (1), but now with the replacements and .
Hayden & Sorce, generalizinge the work of Gorini, Kossakowski, & Sudarshanf , show that subtracting off the Lindblad-operator traces in this way minimizes a certain norm of the dissipative superoperator associated with the Lindblad operators, and so in this sense this choice is preferred.
[I thank Dan Ranard for discussion and for bringing Hayden & Sorce to my attention.]
(↵ returns to text)
- A gauge freedom of the Lindblad equation means a transformation we can to both the Lindblad operators and (possibly) the system’s self-Hamiltonian, without changing the reduced dynamics.↵
- There is also a similar freedom with the environment in the sense that we can send and .↵
- Specifically, I have forgiven myself for doing this…↵
- just means the skew-Hermitian part of the matrix , which reduces to the imaginary part of a scalar when the matrix is .↵
- Gorini, Kossakowski, & Sudarshan proved this for Markovian dynamics while Hayden & Sorce generalize to the non-Markovian case.↵
- V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, Completely positive dynamical semigroups of n-level systems, Journal of Mathematical Physics 17 (1976), no. 5 821–825.↵