In the weak-coupling limit approach to open quantum systems, the presence of the bath is eliminated and accounted for by a master equation that introduces dissipative contributions to the system reduced dynamics: within this framework, there are no bath entropy contributions to the entropy balance. We show that, as a consequence, the entropy production fails to be positive for a class of physically legitimate, that is completely positive and trace preserving, non-Markovian dynamical maps. Moreover, in absence of the semigroup property, if the reduced dynamics has a thermal asymptotic state, this need not be stationary. Then even the integrated entropy production becomes negative. These observations imply that, when the conditions leading to reduced dynamics of semigroup type are relaxed, a consistent formulation of the second law of thermodynamics requires that the environment contribution to the entropy balance be explicitly taken into account.
In the weak-coupling limit approach to open quantum systems, the presence of the bath is eliminated and accounted for by a master equation that introduces dissipative contributions to the system reduced dynamics: within this framework, there are no bath entropy contributions to the entropy balance. We show that, as a consequence, the entropy production fails to be positive for a class of physically legitimate, that is completely positive and trace preserving, non-Markovian dynamical maps. Moreover, in absence of the semigroup property, if the reduced dynamics has a thermal asymptotic state, this need not be stationary. Then even the integrated entropy production becomes negative. These observations imply that, when the conditions leading to reduced dynamics of semigroup type are relaxed, a consistent formulation of the second law of thermodynamics requires that the environment contribution to the entropy balance be explicitly taken into account.
Entropy production plays a fundamental role in nonequilibrium thermodynamics to quantify the irreversibility of open systems. Its positivity can be ensured for a wide class of setups, but the entropy production rate can become negative sometimes. This is often taken as an indicator of non-Markovianity. We make this link precise by showing under which conditions a negative entropy production rate implies non-Markovianity and when it does not. For a system coupled to a single heat bath, this can be established within a unified language for two setups: (i) the dynamics resulting from a coarse-grained description of a Markovian master equation and (ii) the classical Hamiltonian dynamics of a system coupled to a bath. The quantum version of the latter result is shown not to hold despite the fact that the integrated thermodynamic description is formally equivalent to the classical case. The instantaneous fixed point of a non-Markovian dynamics plays an important role in our study. Our key contribution is to provide a consistent theoretical framework to study the finite-time thermodynamics of a large class of dynamics with a precise link to its non-Markovianity.
We discuss fundamental features of the local expression for the entropy production rate of the nonequilibrium quantum dynamics of open systems and its relations to memory effects and the spectrum of the generator of the dynamics. Defining the entropy production rate as negative rate of change of the relative entropy with respect to an instantaneous fixed point, it is shown that positivity of the entropy production rate for all possible initial states implies that the real parts of the eigenvalues of the time-local generator for the quantum master equation are always negative. It is further demonstrated that Markovian dynamics, identified as P-divisibility of the quantum dynamical map, implies positivity of entropy production rate, thus providing a kind of generalized second law in the nonequilibrium regime. We also prove by means of the counterexample of a phase covariant quantum master equation that the converse of this statement is not true, i.e., there are non-Markovian dynamics for which the entropy production rate is always positive. Thus, we conclude that the emergence of negative entropy production rates is a sufficient but not necessary condition for non-Markovianity of the quantum dynamics. Finally, we also consider a recently introduced map-based notion of entropy production and show the equivalence between its positivity and Markovianity for general finite-dimensional systems.
A consistent theory of non-equilibrium thermodynamics for Markovian open quantum systems has been developed in the late seventies in analogy with Classical Irreversible Thermodynamics. The time-evolution of these open systems is usually described by means of effective master equations in Lindblad form, that turn out to be reliable when there is a separation of time-scales between system and environment, such that memory effects are negligible and the so-called Markovian approximation is justified. In this framework, the variations of energy and entropy in the system are consistently described, distinguishing between heat and work contributions and providing a statement of the second law of thermodynamics as positivity of the entropy production.\nHowever, there is empirical evidence that many physical systems like photosynthetic complexes,\nopto-mechanical resonators and superconducting qubits, just to mention a few, experience more general non-Markovian dynamics. The formulation of the laws of thermodynamics in a non-Markovian setting is matter of current research and represents the main topic of the present work. As a first step, we show that the entropy production defined as in the Markovian case can be negative for a class of non-Markovian dynamics. We argue that this outcome should not be interpreted as a violation of the second law of thermodynamics because the environment must be explicitly taken into account in the balance of entropy in the non-Markovian setting. In order to justify this claim we adopt a more general point of view, studying a closed bipartite quantum system, such that each of the two subsystems plays the role of a finite environment out of equilibrium for the other one. We concentrate on the balance of energy first and construct an effective Hamiltonian for each subsystem using physically reasonable requirements; then we define heat and work as in the standard Markovian treatment, with the effective Hamiltonian replacing the free Hamiltonian. It turns out that, in our framework, the work power is perfectly balanced between subsystems, while the correlations can store a part of energy locally inaccessible and exchange it with both subsystems in the form of heat.\nConcerning the balance of entropy, a quite general formulation of the second law of thermodynamics can be given as follows: under the assumption of a factorized initial state for the compound system, the sum of the total variations of the entropies in the two subsystems is always nonnegative. We show with an explicit example that this general formulation does not correspond to the statement presented in the framework of Markovian master equations, which should not be considered a priori the second law of thermodynamics.\nIn the last part of the thesis we concentrate of the so-called fluctuation relations, that are results extending the thermodynamic formalism beyond the behavior of average quantities. After reviewing the main theoretical outcomes, such as the Jarzynski equality and the Crooks fluctuation theorem, we describe a proposal to access experimentally the work performed on an ensemble of diatomic molecules by a time-dependent electric field coupled with their vibrational degree of freedom. This procedure could then be used to test the quantum Jarzynski equality. With respect to the results so far appeared in the literature, in which the left-hand side of the equality is inferred from an experiment and the right-hand side is computed according to a model, in our proposed setting we should be able to estimate from the experiment both the left-hand side and the right-hand side of the equality, independently.
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.
Markovian master equations (formally known as quantum dynamical semigroups) can be used to describe the evolution of a quantum state $\ensuremath{\rho}$ when in contact with a memoryless thermal bath. This approach has had much success in describing the dynamics of real-life open quantum systems in the laboratory. Such dynamics increase the entropy of the state $\ensuremath{\rho}$ and the bath until both systems reach thermal equilibrium, at which point entropy production stops. Our main result is to show that the entropy production at time t is bounded by the relative entropy between the original state and the state at time 2t. The bound puts strong constraints on how quickly a state can thermalize, and we prove that the factor of 2 is tight. The proof makes use of a key physically relevant property of these dynamical semigroups, detailed balance, showing that this property is intimately connected with the field of recovery maps from quantum information theory. We envisage that the connections made here between the two fields will have further applications. We also use this connection to show that a similar relation can be derived when the fixed point is not thermal.
Understanding the entropy production of systems strongly coupled to thermal baths is a core problem of both quantum thermodynamics and mesoscopic physics. While many techniques exist to accurately study entropy production in such systems, they typically require a microscopic description of the baths, which can become numerically intractable to study for large systems. Alternatively an open-systems approach can be employed with all the nuances associated with various levels of approximation. Recently, the mesoscopic leads approach has emerged as a powerful method for studying such quantum systems strongly coupled to multiple thermal baths. In this method, a set of discretized lead modes, each locally damped, provide a Markovian embedding. Here we show that this method proves extremely useful to describe entropy production of a strongly coupled open quantum system. We show numerically, for both noninteracting and interacting setups, that a system coupled to a single bath exhibits a thermal fixed point at the level of the embedding. This allows us to use various results from the thermodynamics of quantum dynamical semigroups to infer the nonequilibrium thermodynamics of the strongly coupled, non-Markovian central systems. In particular, we show that the entropy production in the transient regime recovers the well-established microscopic definitions of entropy production with a correction that can be computed explicitly for both the single- and multiple-lead cases.