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
(1)
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
(2)
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.]
Footnotes
(↵ 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.↵
Nice observation! I had never realized this myself.
There’s a small typo under Eq. (1) an $=0$ is missing in the assumption to be satisfied.
Thanks much. Typo fixed.