Starting from a microscopic system-baths description, we derive the general conditions for a time-local quantum master equation (QME) to satisfy the first and second laws of thermodynamics at the fluctuating level. Using counting statistics, we show that the fluctuating second law can be rephrased as a generalized quantum detailed balance condition (GQDB), i.e., a symmetry of the time-local generators which ensures the validity of the fluctuation theorem. When requiring in addition a strict system-bath energy conservation, the GQDB reduces to the usual notion of detailed balance which characterizes QMEs with Gibbsian steady states. However, if energy conservation is only required on average, QMEs with non-Gibbsian steady states can still maintain a certain level of thermodynamic consistency. Applying our theory to commonly used QMEs, we show that the Redfield equation breaks the GQDB, and that some recently derived approximation schemes based on the Redfield equation (which hold beyond the secular approximation and allow one to derive a QME of Lindblad form) satisfy the GQDB and the average first law. We find that performing the secular approximation is the only way to ensure the first and second laws at the fluctuating level.
Starting from a microscopic system-baths description, we derive the general conditions for a time-local quantum master equation (QME) to satisfy the first and second laws of thermodynamics at the fluctuating level. Using counting statistics, we show that the fluctuating second law can be rephrased as a generalized quantum detailed balance condition (GQDB), i.e., a symmetry of the time-local generators which ensures the validity of the fluctuation theorem. When requiring in addition a strict system-bath energy conservation, the GQDB reduces to the usual notion of detailed balance which characterizes QMEs with Gibbsian steady states. However, if energy conservation is only required on average, QMEs with non-Gibbsian steady states can still maintain a certain level of thermodynamic consistency. Applying our theory to commonly used QMEs, we show that the Redfield equation breaks the GQDB, and that some recently derived approximation schemes based on the Redfield equation (which hold beyond the secular approximation and allow one to derive a QME of Lindblad form) satisfy the GQDB and the average first law. We find that performing the secular approximation is the only way to ensure the first and second laws at the fluctuating level.
We derive a thermodynamically consistent quantum master equation that satisfies locality for quadratic systems coupled to independent and identical baths at each site. We show that the quasi-local Redfield equation coincides exactly with the Davies equation, which satisfies the detailed-balance condition, due to cancellation of quantum coherence generated by each bath. This derivation does not rely on the secular approximation, which fails in systems with vanishing energy-level spacings. We discuss generalizations of our result to slowly driven quadratic systems and generic quantum many-body systems. Our result paves the way to a thermodynamically consistent description of quantum many-body systems.
Recently, a "unified" quantum master equation was derived and shown to be of the Gorini-Kossakowski-Lindblad-Sudarshan form. This equation describes the dynamics of open quantum systems in a manner that forgoes the full secular approximation and retains the impact of coherences between eigenstates close in energy. We implement full counting statistics with the unified quantum master equation to investigate the statistics of energy currents through open quantum systems with nearly degenerate levels. We show that, in general, this equation gives rise to dynamics that satisfy fluctuation symmetry, a sufficient condition for the Second Law of Thermodynamics at the level of average fluxes. For systems with nearly degenerate energy levels, such that coherences build up, the unified equation is simultaneously thermodynamically consistent and more accurate than the fully secular master equation. We exemplify our results for a "V" system facilitating energy transport between two thermal baths at different temperatures. We compare the statistics of steady-state heat currents through this system as predicted by the unified equation to those given by the Redfield equation, which is less approximate but, in general, not thermodynamically consistent. We also compare results to the secular equation, where coherences are entirely abandoned. We find that maintaining coherences between nearly degenerate levels is essential to properly capture the current and its cumulants. On the other hand, the relative fluctuations of the heat current, which embody the thermodynamic uncertainty relation, display inconsequential dependence on quantum coherences.
We present a systematic thermodynamic analysis of nonsecular GKLS master equations. When some energy transitions in the system are comparable with the dissipative rate, the secular approximation is not valid, and the positivity of the dynamics must be ensured via other approximations. The dynamics then presents features reminiscent from strong coupling to the environment: e.g. the equilibrium state with an environment at thermal equilibrium is not a Gibbs state of the local system Hamiltonian and the dynamics couples energy coherences and populations. Nonetheless, we build a unified, consistent thermodynamic framework for those dynamics. We focus on two approximations beyond the full secular approximation (the local and the more accurate geometric-arithmetic approximations), and then employ systematic perturbation theory on microscopic expressions for the first and second law of thermodynamics which relate irreversibility to the increase of system-environment correlations. We show that, in spite of the weak system-bath coupling, the system-bath interaction energy participates to the energy balance, and is directly linked to the Lamb-shift Hamiltonian. We compare this microscopic entropy production with the definition based on the contractivity of the reduced system dynamics (Spohn inequality). We show that, unlike for secular master equations, the two entropy production rates differ because of the presence of non-vanishing stationary coherences in the energy eigenbasis. However, in the case of a single thermal bath, the difference is purely transient, and no work can be cyclically extracted from the steady-state despite its non-Gibbs form. Finally, we illustrate our results with simple examples, clarifying and completing the thermodynamic picture of Markovian dynamics in the quantum regime.
The Lindblad form guarantees complete positivity of a Markovian quantum master equation (QME). However, its microscopic derivation for a quantum system weakly interacting with a thermal bath requires several approximations, which may result in inaccuracies in the QME. Recently, various Lindbladian QMEs were derived without resorting to the secular approximation from the Redfield equation which does not guarantee the complete positivity. Here we explicitly calculate, in a perturbative manner, the equilibrium steady states of these Lindbladian QMEs. We compare the results with the steady state of the Redfield equation obtained from an analytic continuation method, which coincides with the so-called mean force Gibbs (MFG) state. The MFG state is obtained by integrating out the bath degrees of freedom for the Gibbs state of the total Hamiltonian. We explicitly show that the steady states of the Lindbladian QMEs are different from the MFG state. Our results indicate that manipulations of the Redfield equation needed to enforce complete positivity of a QME drives its steady state away from the MFG state. We also find that, in the high-temperature regime, both the steady states of the Lindbladian QMEs and MFG state reduce to the same Gibbs state of a system Hamiltonian under certain conditions.
We develop a Lindblad framework for quantum stochastic thermodynamics to study the nonequilibrium thermodynamics of open quantum systems. Our approach adopts the local quantum detailed balance condition, ensuring thermodynamic consistency and leading to a joint fluctuation theorem of quantum work and heat. Instead of solving the full evolution of the density matrix, we employ an effective parametrization to derive the full counting statistics of work and heat and determine the optimal protocols. As an application, we refine the quantum Brownian motion master equation to ensure the quantum detailed balance condition, derive the optimal protocols at different temperatures, and study the work statistics. Our framework provides fundamental insights and practical strategies for optimizing thermodynamic processes in open quantum systems.
We investigate the possibility of a Markovian quantum master equation (QME) that consistently describes a finite-dimensional system, a part of which is weakly coupled to a thermal bath. To preserve complete positivity and trace, such a QME must be of Lindblad form. For physical consistency, it should additionally preserve local conservation laws and be able to show thermalization. We search for Lindblad equations satisfying these additional criteria. First, we show that the microscopically derived Bloch-Redfield equation violates complete positivity unless in extremely special cases. We then prove that imposing complete positivity and demanding preservation of local conservation laws enforces the Lindblad operators and the lamb-shift Hamiltonian to be local, i.e., to be supported only on the part of the system directly coupled to the bath. We then cast the problem of finding local Lindblad QMEs which can show thermalization into a semidefinite program. We call this the thermalization optimization problem (TOP). For given system parameters and temperature, the solution of the TOP conclusively shows whether the desired type of QME is possible up to a given precision. Whenever possible, it also outputs a form for such a QME. For an XXZ chain of a few qubits, fixing a reasonably high precision, we find that such a QME is impossible over a considerably wide parameter regime when only the first qubit is coupled to the bath. Remarkably, we find that when the first two qubits are attached to the bath, such a QME becomes possible over much of the same parameter regime, including a wide range of temperatures.