We study entropy production in nanoscale devices, which are coupled to finite heat baths. This situation is of growing experimental relevance, but most theoretical approaches rely on a formulation of the second law valid only for infinite baths. We fix this problem by pointing out that already Clausius' paper from 1865 contains an adequate formulation of the second law for finite heat baths, which can be also rigorously derived from a microscopic quantum description. This Clausius' inequality shows that nonequilibrium processes are less irreversible than previously thought. We use it to correctly extend Landauer's principle to finite baths and we demonstrate that any heat engine in contact with finite baths has a higher efficiency than previously thought. Importantly, our results are easy to study, requiring only the knowledge of the average bath energy.
We show that the nonequilibrium entropy production for a driven quantum system is larger than the Bures length, the geometric distance between its actual state and the corresponding equilibrium state. This universal lower bound generalizes the Clausius inequality to arbitrary nonequilibrium processes beyond linear response. We further derive a fundamental upper bound for the quantum entropy production rate and discuss its connection to the Bremermann-Bekenstein bound.
We consider a quantum linear oscillator coupled at an arbitrary strength to a bath at an arbitrary temperature. We find an exact closed expression for the oscillator density operator. This state is non-canonical but can be shown to be equivalent to that of an uncoupled linear oscillator at an effective temperature T_{eff} with an effective mass and an effective spring constant. We derive an effective Clausius inequality delta Q_{eff} =< T_{eff} dS, where delta Q_{eff} is the heat exchanged between the effective (weakly coupled) oscillator and the bath, and S represents a thermal entropy of the…
The correct laws of thermodynamics, either classical or quantum without probabilities of statistical quantum mechanics are valid for all systems, large or small, including systems of one spin or one particle only. So no violations can occur in nanoscale electric circuits.
In this study, we model a harmonic oscillator that enters an interferometer partially coupled to a thermal bath of oscillatory fields by employing a Brownian-type Lindblad master equation. More specifically, we investigate the dynamics and the variations of the thermodynamic quantities of the system at different temperatures. We recognize that although the system can remain coherent during its interaction with the thermal bath in the low-temperature limit, the system's entropy production violates the Clausius inequality. Furthermore, we argue that the system's coherence is the source of this v…
The main thread that links classical thermodynamics and the thermodynamics of small quantum systems is the celebrated Clausius inequality form of the second law. However, its application to small quantum systems suffers from two cardinal problems: (i) The Clausius inequality does not hold when the system and environment are initially correlated - a commonly encountered scenario in microscopic setups. (ii) In some other cases, the Clausius inequality does not provide any useful information (e.g. in dephasing scenarios). We address these deficiencies by developing the notion of global passivity …
We consider a situation where an $N$-level system (NLS) is coupled to a heat bath without being necessarily thermalized. For this situation we derive general Jarzinski-type equations and conclude that heat and entropy is flowing from the hot bath to the cold NLS and, vice versa, from the hot NLS to the cold bath. The Clausius relation between increase of entropy and transfer of heat divided by a suitable temperature assumes the form of two inequalities which have already been considered in the literature. Our approach is illustrated by an analytical example.
We revisit quantum Maxwell demon in thermodynamic feedback cycle in the steady-state regime. We derive a generalized version of the Clausius inequality for a finite-time steady feedback cycle with a single heat bath. It is shown to be tighter than previously known ones, and allows us to clarify that feedback control is necessary to violate the standard Clausius inequality.
We report two results complementing the second law of thermodynamics for Markovian open quantum systems coupled to multiple reservoirs with different temperatures and chemical potentials. First, we derive a nonequilibrium free energy inequality providing an upper bound for a maximum power output, which for systems with inhomogeneous temperature is not equivalent to the Clausius inequality. Secondly, we derive local Clausius and free energy inequalities for subsystems of a composite system. These inequalities differ from the total system one by the presence of an information-related contributio…
A multilevel four-stroke engine where the thermalization stokes are generated by unitary collisions with bath particles is analyzed. Our model is solvable even when the engine operates far from thermal equilibrium and in the strong system-bath coupling. Necessary operation conditions for the heat machine to perform as an engine or a refrigerator are derived. We relate the work and efficiency of the device to local and non-local statistical properties of the baths (purity, mutual coincidence etc.). In particular, we relate the Clausius inequality to the symmetrized relative entropy of the baths…
In a PRL [1], the authors claim to show that "the Clausius inequality can be violated, and that it is even possible to extract work from a thermal bath by cyclic variations of a parameter ("perpetuum mobile"), and that the physical cause for this behavior is traced back to quantum coherence in the presence of the nonequilibrium bath (sic)".
We consider a situation where an $N$-level system (NLS) is coupled successively to two heat baths with different temperatures without being necessarily thermalized and approaches a steady state. For this situation we apply a general Jarzinski-type equation and conclude that heat and entropy is flowing from the hot bath to the cold one. The Clausius relation between increase of entropy and transfer of heat divided by a suitable temperature assumes the form of two inequalities. Our approach is illustrated by an analytical example. For the linear regime, i.~e., for small temperature differences b…
The Brownian motion of a quantum particle in a harmonic confining potential and coupled to a harmonic quantum thermal bath is exactly solvable. It is shown that at low enough temperatures the stationary state is non-Gibbsian due to an entanglement with the bath. In physical terms, this happens when the cloud of bath modes around the particle starts to play a non-trivial role. Indeed, equilibrium thermodynamics of the total system, particle plus bath, does not imply standard equilibrium thermodynamics for the particle itself at low $T$. Various formulations of the second law are found to be inv…
Describing open quantum systems far from equilibrium is challenging, in particular when the environment is mesoscopic, when it develops nonequilibrium features during the evolution, or when the memory effects cannot be disregarded. Here, we derive a master equation that explicitly accounts for system-bath correlations and includes, at a coarse-grained level, a dynamically evolving bath. Such a master equation applies to a wide variety of physical systems including those described by Random Matrix Theory or the Eigenstate Thermalization Hypothesis. We obtain a local detailed balance condition w…
Small quantum systems non-weakly coupled to a bath become in the quantum regime surrounded by a cloud of photons or phonons, which modifies their thermodynamic behavior. Exactly solvable examples are the Brownian motion of a quantum particle in a harmonic confining potential and coupled to a harmonic quantum thermal bath, e.g. an ion in a Penning trap, and a spin immersed in a bosonic bath, as occurs in NMR physics. It appears that the Clausius inequality $\dbarrm Q\le T\d S$ can be violated. For non-adiabatic changes of system parameters the rate of energy dissipation can be negative, and, ou…
We initially prepare a quantum linear oscillator weakly coupled to a bath in equilibrium at an arbitrary temperature. We disturb this system by varying a Hamiltonian parameter of the coupled oscillator, namely, either its spring constant or mass according to an arbitrary but pre-determined protocol in order to perform external work on it. We then derive a closed expression for the reduced density operator of the coupled oscillator along this non-equilibrium process as well as the exact expression pertaining to the corresponding quasi-static process. This immediately allows us to analytically d…
We study an analytically solvable model for decoherence of a two spin system embedded in a large spin environment. As a measure of entanglement, we evaluate the concurrence for the Bell states (Einstein-Podolsky-Rosen pairs). We find that while for two separate spin baths all four Bell states lose their coherence with the same time dependence, for a common spin bath, two of the states decay faster than the others. We explain this difference by the relative orientation of the individual spins in the pair. We also examine how the Bell inequality is violated in the coherent regime. Both for one b…
We propose a new form of the Second Law inequality that defines a tight bound for extractable work from the non-equilibrium quantum state. In classical thermodynamics, the optimal work is given by the difference of free energy, what according to the result of Skrzypczyk \emph{et al.} can be generalized for individual quantum systems. The saturation of this bound, however, requires an infinite bath and an ideal energy storage that is able to extract work from coherences. The new inequality, defined in terms of the ergotropy (rather than free energy), incorporates both of those important microsc…
The Clausius inequality (CI) form of the second law of thermodynamics relates information changes (entropy) to changes in the first moment of the energy (heat and indirectly also work). Are there similar relations between other moments of the energy distribution, and other information measures, or is the Clausius inequality a one of a kind instance of the energy-information paradigm? If there are additional relations, can they be used to make predictions on measurable quantities? Changes in the energy distribution beyond the first moment (average heat or work) are especially important in small…
The mixing time of Markovian dissipative evolutions of open quantum many-body systems can be bounded using optimal constants of certain quantum functional inequalities, such as the modified logarithmic Sobolev constant. For classical spin systems, the positivity of such constants follows from a mixing condition for the Gibbs measure, via quasi-factorization results for the entropy. Inspired by the classical case, we present a strategy to derive the positivity of the modified logarithmic Sobolev constant associated to the dynamics of certain quantum systems from some clustering conditions on th…
In this paper we investigate the relationship between the efficiency of a cyclic quantum heat engine with the Hilbert space dimension of the thermal baths. By means of a general inequality, we show that the Carnot efficiency can be obtained only when both the hot and cold baths are infinitely large. By further introducing a specific model where the baths are constituted of ensembles of finite-dimensional particles, we further demonstrate the relationship between the engine's power and efficiency, with the dimension of the working substance and the bath particles.
We present a Gedankenexperiment that leads to a violation of detailed balance if quantum mechanical transition probabilities are treated in the usual way by applying Fermi's "golden rule". This Gedankenexperiment introduces a collection of two-level systems that absorb and emit radiation randomly through non-reciprocal coupling to a waveguide, as realized in specific chiral quantum optical systems. The non-reciprocal coupling is modeled by a hermitean Hamiltonian and is compatible with the time-reversal invariance of unitary quantum dynamics. Surprisingly, the combination of non-reciprocity wi…
According to the second law, the efficiency of cyclic heat engines is limited by the Carnot bound that is attained by engines that operate between two thermal baths under the reversibility condition whereby the total entropy does not increase. Quantum engines operating between a thermal and a squeezed-thermal bath have been shown to surpass this bound. Yet, their maximum efficiency cannot be determined by the reversibility condition, which may yield an unachievable efficiency bound above unity. Here we identify the fraction of the exchanged energy between a quantum system and a bath that neces…
Clausius inequality has deep implications for reversibility and the arrow of time. Quantum theory is able to extend this result for closed systems by inspecting the trajectory of the density matrix on its manifold. Here we show that this approach can provide an upper and lower bound to the irreversible entropy production for open quantum systems as well. These provide insights on the thermodynamics of the information erasure. Limits of the applicability of our bounds are discussed, and demonstrated in a quantum photonic simulator.
Modified logarithmic Sobolev inequality for 1D non-commuting Hamiltonians
University of Cambridge（剑桥大学）；Universität Tübingen（蒂宾根大学）；Universidad Complutense de Madrid（马德里康普顿斯大学）；Instituto de Ciencias Matemáticas (ICMAT)（数学科学研究所）；Instituto de Física Teórica UAM/CSIC（UAM/CSIC理论物理研究所）
A new thermodynamic inequality is derived which leads to the maximum work that can be extracted from multi-heat baths with the assistance of discrete quantum feedback control. The maximum work is determined by the free-energy difference and a generalized mutual information content between the thermodynamic system and the feedback controller. This maximum work can exceed that in conventional thermodynamics and, in the case of a heat cycle with two heat baths, the heat efficiency can be greater than that of the Carnot cycle. The consistency of our results with the second law of thermodynamics is…
According to Clausius formulation of the second law of thermodynamics, for any thermal machine withdrawing heats $Q_{1,2}$ from two heat reservoirs at temperatures $T_{1,2}$, it holds $Q_1/T_1+Q_2/T_2 \leq 0$. Combined with the observation that the quantity $Q_1+Q_2$ is the work $W$ done by the system, that inequality tells that only 4 possible operation modes are possible for the thermal machine, namely heat engine [E], refrigerator [R], thermal accelerator [A] and heater [H]. We illustrate their emergence in the finite time operation of a quantum Otto engine realised with a single qubit. We …
A long standing open problem whether a heat engine with finite power achieves the Carnot efficiency is investigated. We rigorously prove a general trade-off inequality on thermodynamic efficiency and time interval of a cyclic process with quantum heat engines. In a first step, employing the Lieb-Robinson bound we establish an inequality on the change in a local observable caused by an operation far from support of the local observable. This inequality provides a rigorous characterization of the following intuitive picture that most of the energy released from the engine to the cold bath remain…
We provide a general and consistent formulation for linear subsystem quantum dynamical maps, developed from a minimal set of postulates, primary among which is a relaxation of the usual, restrictive assumption of uncorrelated initial system-bath states. We describe the space of possibilities admitted by this formulation, namely that, far from being limited to only completely positive (CP) maps, essentially any $\mathbb{C}$-linear, Hermiticity-preserving, trace-preserving subsystem map can arise as a legitimate subsystem dynamical map from a joint unitary evolution of a system coupled to a bath…
The Clausius inequality (CI) is one of the most versatile forms of the second law. Although it was originally conceived for macroscopic steam engines, it is also applicable to quantum single particle machines. Moreover, the CI is the main connecting thread between classical microscopic thermodynamics and nanoscopic quantum thermodynamics. In this chapter, we study three different approaches for obtaining the CI. Each approach shows different aspects of the CI. The goals of this chapter are: (i) To show the exact assumptions made in various derivations of the CI. (ii) To elucidate the structure…
The second law of thermodynamics tells us which state transformations are so statistically unlikely that they are effectively forbidden. Its original formulation, due to Clausius, states that "Heat can never pass from a colder to a warmer body without some other change, connected therewith, occurring at the same time". The second law applies to systems composed of many particles interacting; however, we are seeing that one can make sense of thermodynamics in the regime where we only have a small number of particles interacting with a heat bath. Is there a second law of thermodynamics in this r…
