The second law of thermodynamics states that a system in contact with a heat bath can undergo a transformation if and only if its free energy decreases. However, the "if" part of this statement is only true when the effective heat bath is infinite. In this article we remove this idealization and derive corrections to the second law in the case where the bath has a finite size, or equivalently finite heat capacity. This can also be translated to processes lasting a finite time, and we show that thermodynamical reversibility is lost in this regime. We do so in full generality, that is without assuming any particular model for the bath, the only parameters defining the bath are its temperature and heat capacity. We find connections with second order Shannon information theory, in particular in the case of Landauer erasure. We also consider the case of non-fluctuating work, and derive finite-bath corrections to the min and max free energies employed in single-shot thermodynamics.
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.
The thermodynamics of small quantum many-body systems strongly coupled to a heat bath at low temperatures with non-Markovian behavior are new challenges for quantum thermodynamics, as traditional thermodynamics is built on large systems vanishingly weakly coupled to a non-dynamical reservoir. Important also are the quantum attributes, as in quantum coherence, correlations, entanglement and fluctuations. All told, one needs to reexamine the meaning of the thermodynamic functions, the viability of the thermodynamic relations and the validity of the thermodynamic laws anew. In one popular approac…
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…
Thermodynamics has recently been extended to small scales with resource theories that model heat exchanges. Real physical systems exchange diverse quantities: heat, particles, angular momentum, etc. We generalize thermodynamic resource theories to exchanges of observables other than heat, to baths other than heat baths, and to free energies other than the Helmholtz free energy. These generalizations are illustrated with "grand-potential" theories that model movements of heat and particles. Free operations include unitaries that conserve energy and particle number. From this conservation law an…
Small systems (of interest in the areas of nanophysics, quantum information, etc.) are particularly vulnerable to environmental effects. Thus, we determine various thermodynamic functions for an oscillator in an arbitrary heat bath at arbitrary temperatures. Explicit results are presented for the most commonly discussed heat bath models: Ohmic, single relaxation time and blackbody radiation.
We undertake a thorough analysis of the thermodynamics of the trajectories followed by a quantum harmonic oscillator coupled to $N$ dissipative baths by using a new approach to large-deviation theory inspired by phase-space quantum optics. As an illustrative example, we study the archetypal case of a harmonic oscillator coupled to two thermal baths, allowing for a comparison with the analogous classical result. In the low-temperature limit, we find a significant quantum suppression in the rate of work exchanged between the system and each bath. We further show how the presented method is capab…
The rate of temperature decrease of a cooled quantum bath is studied as its temperature is reduced to the absolute zero. The III-law of thermodynamics is then quantified dynamically by evaluating the characteristic exponent ζ of the cooling process dT(t)/dt \sim -T^ζ when approaching the absolute zero, T \rightarrow 0. A continuous model of a quantum refrigerator is employed consisting of a working medium composed either by two coupled harmonic oscillators or two coupled 2-level systems. The refrigerator is a nonlinear device merging three currents from three heat baths: a cold bath to be cool…
We investigate heat engines whose working substance is made of two coupled qubits performing a generalised Otto cycle by varying their applied magnetic field or their interaction strength during the compression and expansion strokes. During the heating and cooling strokes, the two qubits are coupled to local and common environments that are not necessarily at equilibrium. We find instances of quantum engines coupled to non equilibrium common environments exhibiting non-trivial connections to quantum correlations as witnessed by a monotonic dependence of the work produced on quantum discord and…
Generation of steady quantumness in the presence of an environment is of utmost importance if we are to build practical quantum devices. We propose a scheme of generating steady coherence and magic in a qubit system attached to a heat bath at a certain temperature through its interaction with another qubit system attached to a spin bath. Coherence generation in the reduced qubit is always possible in this model. The steady coherence in the reduced qubit attached to the heat bath may be used to enhance the subsequent transient performance of a quantum absorption refrigerator. For the case of ge…
Thermodynamics, which describes vast systems, has been reconciled with small scales, relevant to single-molecule experiments, in resource theories. Resource theories have been used to model exchanges of energy and information. Recently, particle exchanges were modeled; and an umbrella family of thermodynamic resource theories was proposed to model diverse baths, interactions, and free energies. This paper motivates and details the family's structure and prospective applications. How to model electrochemical, gravitational, magnetic, and other thermodynamic systems is explained. Szilard's engin…
A model for the thermodynamics of a quantum heat bath is introduced. Under the assumption that the bath molecules have finitely many degrees of freedom and are weakly interacting, we present a general derivation of the equation of state of the bath in the thermodynamic limit. The relation between the temperature and the specific energy of the bath depends on (i) the spectral properties of the molecules, and (ii) the choice of probability measure on the state space of a representative molecule. The results obtained illustrate how the microscopic features of the molecular constituents determine …
The thermodynamic properties of Davydov-Scott monomer contacting with thermal bath is investigated using Lindblad open quantum system formalism. The Lindblad equation is investigated through path integral method. It is found that the environmental effects contribute destructively to the specific heat, and large interaction between amide-I and amide-site is not preferred for a stable Davydov-Scott monomer.
The free energy of a quantum oscillator in an arbitrary heat bath at a temperature T is given by a "remarkable formula" which involves only a single integral. This leads to a corresponding simple result for the entropy. The low temperature limit is examined in detail and we obtain explicit results both for the case of an Ohmic heat bath and a radiation heat bath. More general heat bath models are also examined. This enables us to determine the entropy at zero temperature in order to check the third law of thermodynamics in the quantum regime
We consider locally thermal states (for two qubits) with certain amount of quantum entanglement present between them. Unlike previous protocols we show how work can be extracted by performing local unitary operations on this state by allowing those two qubits to interact with thermal baths of different temperatures, thereby gradually removing the entanglement between them till they reach a direct product state. Also we demonstrate that, further work can be extracted from this direct product state by performing global unitary operation, thereby establishing that work can be extracted from a sys…
The thermodynamics of a quantum system interacting with an environment that can be assimilated to a harmonic oscillator bath has been extensively investigated theoretically. In recent experiments, the system under study however does not interact directly with the bath, but though a cavity or a transmission line. The influence on the system from the bath is therefore seen through an intermediate system, which modifies the characteristics of this influence. Here we first show that this problem is elegantly solved by a transform, which we call the Vernon transform, mapping influence action kernel…
We construct a finite bath with variable temperature for quantum thermodynamic simulations in which heat flows between a system $\mathcal{S}$ and the bath environment $\mathcal{E}$ in time evolution of an initial $\mathcal{SE}$ pure state. The bath consists of harmonic oscillators that are not necessarily identical. Baths of various numbers of oscillators are considered; a bath with five oscillators is used in the simulations. The bath has a temperature-like level distribution. This leads to definition of a system-environment microcanonical temperature $T_\mathcal{SE}(t)$ which varies with tim…
We discuss a qubit weakly coupled to a finite-size heat bath (calorimeter) from the point of view of quantum thermodynamics. The energy deposited to this environment together with the state of the qubit provides a basis to analyze the heat and work statistics of this closed combined system. We present results on two representative models, where the bath is composed of two-level systems or harmonic oscillators, respectively. Finally, we derive results for an open quantum system composed of the above qubit plus finite-size bath, but now the latter is coupled to a practically infinite bath of the…
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…
Interactions of quantum systems with their environment play a crucial role in resource-theoretic approaches to thermodynamics in the microscopic regime. Here, we analyze the possible state transitions in the presence of "small" heat baths of bounded dimension and energy. We show that for operations on quantum systems with fully degenerate Hamiltonian (noisy operations), all possible state transitions can be realized exactly with a bath that is of the same size as the system or smaller, which proves a quantum version of Horn's lemma as conjectured by Bengtsson and Zyczkowski. On the other hand,…
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…
Thermodynamic Roles of Quantum Environments: From Heat Baths to Work Reservoirs
Institute of Physics, University of Freiburg（弗赖堡大学物理研究所）；Dipartimento di Fisica “Aldo Pontremoli”, Università degli Studi di Milano（米兰大学阿尔多·蓬特莫利物理系）；EUCOR Centre for Quantum Science and Quantum Computing, University of Freiburg（弗赖堡大学EUCOR量子科学与工程中心）
We consider a single harmonic oscillator coupled to a bath at zero temperature. As is well known, the oscillator then has a higher average energy than that given by its ground state. Here we show analytically that for a damping model with arbitrarily discrete distribution of bath modes and damping models with continuous distributions of bath modes with cut-off frequencies, this excess energy is less than the work needed to couple the system to the bath, therefore, the quantum second law is not violated. On the other hand, the second law may be violated for bath modes without cut-off frequencie…
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…
The first in a long series of papers by John T. Lewis, G. W. Ford and the present author, considered the problem of the most general coupling of a quantum particle to a linear passive heat bath, in the course of which they derived an exact formula for the free energy of an oscillator coupled to a heat bath in thermal equilibrium at temperature T. This formula, and its later extension to three dimensions to incorporate a magnetic field, has proved to be invaluable in analyzing problems in quantum thermodynamics. Here, we address the question raised in our title viz. Nernst's third law of thermo…
The performance characteristics of a heat rectifier and a heat pump are studied in a non Markovian framework. The device is constructed from a molecule connected to a hot and cold reservoir. The heat baths are modelled using the stochastic surrogate Hamiltonian method. The molecule is modelled by an asymmetric double-well potential. Each well is semi-locally connected to a heat bath composed of spins. The dynamics is driven by a combined system-bath Hamiltonian. The temperature of the baths is regulated by a secondary spin bath composed of identical spins in thermal equilibrium. A random swap …
We investigate the thermodynamic consistency of the master equation description of heat transport through an optomechanical system attached to two heat baths, one optical and one mechanical. We employ three different master equations to describe this scenario: (i) The standard master equation used in optomechanics, where each bath acts only on the resonator that it is physically connected to; (ii) the so-called dressed-state master equation, where the mechanical bath acts on the global system; and (iii) what we call the global master equation, where both baths are treated non-locally and affec…
In this work, we study different quantum thermodynamic functions (QTFs) of a cold atom subjected to an artificial non-Abelian uniform magnetic field and linearly coupled to a quantum heat bath through either usual coordinate-coordinate coupling or through momentum variables. The bath is modelled as a collection of independent quantum harmonic oscillators. In each of the coupling scheme, the effect of the non-Abelian magnetic field on different QTFs are explicitly demonstrated for a U(2) gauge transformation. In each case, we show that the free energy has a different expression than that for th…
Sadi Carnot's theorem regarding the maximum efficiency of heat engines is considered to be of fundamental importance in thermodynamics. This theorem famously states that the maximum efficiency depends only on the temperature of the heat baths used by the engine, but not on the specific structure of baths. Here, we show that when the heat baths are finite in size, and when the engine operates in the quantum nanoregime, a revision to this statement is required. We show that one may still achieve the Carnot efficiency, when certain conditions on the bath structure are satisfied; however if that i…
We analyse the thermodynamics of a quantum system in a trajectory of constant velocity that interacts with a static thermal bath. The latter is modeled by a massless scalar field in a thermal state. We consider two different couplings of the moving system to the heat bath, a coupling of the Unruh-DeWitt type and a coupling that involves the time derivative of the field. We derive the master equation for the reduced dynamics of the moving quantum system. It has the same form with the quantum optical master equation, but with different coefficients that depend on velocity. This master equation h…
The nonequilibrium thermodynamics of an open (classical or quantum) system in strong contact with a single heat bath can be conveniently described in terms of the Hamiltonian of mean force. However, the conventional formulation is limited by the necessity to measure differences in equilibrium properties of the system-bath composite. We make use of the freedom involved in defining thermodynamic quantities, which leaves the thermodynamics unchanged, to show that the Hamiltonian of mean force can be inferred from measurements on the system alone, up to that irrelevant freedom. In doing so, we ref…
Interesting effects arise in cyclic machines where both heat and ergotropy transfer take place between the energising bath and the system (the working fluid). Such effects correspond to unconventional decompositions of energy exchange between the bath and the system into heat and work, respectively, resulting in efficiency bounds that may surpass the Carnot efficiency. However, these effects are not directly linked with quantumness, but rather with heat and ergotropy, the likes of which can be realised without resorting to quantum mechanics.
The zeroth law of thermodynamics involves a transitivity relation (pairwise between three objects) expressed either in terms of `equal temperature' (ET), or `in equilibrium' (EQ) conditions. In conventional thermodynamics conditional on vanishingly weak system-bath coupling these two conditions are commonly regarded as equivalent. In this work we show that for thermodynamics at strong coupling they are inequivalent: namely, two systems can be in equilibrium and yet have different effective temperatures. A recent result \cite{NEqFE} for Gaussian quantum systems shows that an effective temperatu…
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…
We consider a time-dependent quantum linear oscillator coupled to a bath at an arbitrary strength. We then introduce a generalized Jarzynski equality (GJE) which includes the terms reflecting the system-bath coupling. This enables us to study systematically the coupling effect on the linear oscillator in a non-equilibrium process. This is also associated with the second law of thermodynamics beyond the weak-coupling limit. We next take into consideration the GJE in the classical limit. By this generalization we show that the Jarzynski equality in its original form can be associated with the se…
A model computational quantum thermodynamic network is constructed with two variable temperature baths coupled by a linker system, with an asymmetry in the coupling of the linker to the two baths. It is found in computational simulations that the baths come to "thermal equilibrium" at different bath energies and temperatures. In a sense, heat is observed to flow from cold to hot. A description is given in which a recently defined quantum entropy $S^Q_{univ}$ for a pure state "universe" continues to increase after passing through the classical equilibrium point of equal temperatures, reaching a…
The optimal efficiency of quantum (or classical) heat engines whose heat baths are $n$-particle systems is given by the information geometry and the strong large deviation. We give the optimal work extraction process as a concrete energy-preserving unitary time evolution among the heat baths and the work storage. We show that our optimal work extraction turns the disordered energy of the heat baths to the ordered energy of the work storage, by evaluating the ratio of the entropy difference to the energy difference in the heat baths and the work storage, respectively. By comparing the statistic…
We consider a surface code suffering decoherence due to coupling to a bath of bosonic modes at finite temperature and study the time available before the unavoidable breakdown of error correction occurs as a function of coupling and bath parameters. We derive an exact expression for the error rate on each individual qubit of the code, taking spatial and temporal correlations between the errors into account. We investigate numerically how different kinds of spatial correlations between errors in the surface code affect its threshold error rate. This allows us to derive the maximal duration of e…
Irreversible entropy production (IEP) plays an important role in quantum thermodynamic processes. Here we investigate the geometrical bounds of IEP in nonequilibrium thermodynamics by exemplifying a system coupled to a squeezed thermal bath subject to dissipation and dephasing, respectively. We find that the geometrical bounds of the IEP always shift in contrary way under dissipation and dephasing, where the lower and upper bounds turning to be tighter occurs in the situation of dephasing and dissipation, respectively. However, either under dissipation or under dephasing, we may reduce both th…
We investigate the quantum thermodynamic cycle of a quantum heat engine carrying out an Otto thermodynamic cycle. We use the thermal properties of a moving heat bath with relativistic velocity with respect to the cold bath. As a working medium, we use a two-level system and a harmonic oscillator that interact with a moving heat bath and a static cold bath. In the current work, the quantum heat engine is studied in the high and low temperatures regime. Using quantum thermodynamics and the theory of open quantum system we obtain the total produced work, the efficiency and the efficiency at maxim…
A possible definition of the specific heat of open quantum systems is based on the reduced partition function of the system. For a free damped quantum particle, it has been found that under certain conditions, this specific heat can become negative at low temperatures. In contrast to the conventional approaches focusing on the system degree of freedom, here we concentrate on the changes induced in the environment when the system is coupled to it. Our analysis is carried out for an Ohmic environment consisting of harmonic oscillators and allows to identify the mechanism by which the specific he…
The introduction of the quantum analogue of a Carnot engine based on a bath comprising of particles with a small amount of coherence initiated an active line of research on the harnessing of different quantum resources for the enhancement of thermal machines beyond the standard reversible limit, with an emphasis on non-thermal baths containing quantum coherence. In our work, we investigate the impact of coherence on the thermodynamic tasks of a collision model which is composed of a system interacting, in the continuous time limit, with a series of coherent ancillas of two baths at different t…
Rich quantum effects emerge when several quantum systems are indistinguishable from the point of view of the bath they interact with. In particular, delocalised excitations corresponding to coherent superposition of excited states appear and change drastically the dynamics and steady state of the systems. Such phenomena, which are central mechanisms of superradiance, present interesting properties for thermodynamics and potentially other quantum technologies. Indeed, a recent paper [Phys. Rev. A 99, 052105 (2019)] studies these properties in a pair of indistinguishable two-level systems and po…
An exact reduced dynamical map along with its operator sum representation is derived for a central spin interacting with a thermal spin environment. The dynamics of the central spin shows high sustainability of quantum traits such as coherence and entanglement in the low-temperature regime. However, for sufficiently high temperature and when the number of bath particles approaches the thermodynamic limit, this feature vanishes and the dynamics closely mimics Markovian evolution. The properties of the long-time-averaged state and the trapped information of the initial state for the central qubi…
The efficiency of cyclic heat engines is limited by the Carnot bound. This bound follows from the second law of thermodynamics and is attained by engines that operate between two thermal baths under the reversibility condition whereby the total entropy does not increase. By contrast, the efficiency of engines powered by quantum non-thermal baths has been claimed to surpass the thermodynamic Carnot bound. The key to understanding the performance of such engines is a proper division of the energy supplied by the bath to the system into heat and work, depending on the associated change in the sys…
We explore the effects of frequent, impulsive quantum nondemolition measurements of the energy of two-level systems (TLS), alias qubits, in contact with a thermal bath. The resulting entropy and temperature of both the system and the bath are found to be completely determined by the measurement rate, and unrelated to what is expected by standard thermodynamical rules that hold for Markovian baths. These anomalies allow for very fast control of heating, cooling and state-purification (entropy reduction) of qubits, much sooner than their thermal equilibration time.
We provide an explicit method for solving general markovian master equations for quadratic bosonic Hamiltonians with linear bath operators. As an example we consider a one-dimensional quantum harmonic oscillator chain coupled to thermal reservoirs at both ends of the chain. We derive an analytic solution of the Redfield master equation for homogeneous harmonic chain and recover classical results, namely, vanishing temperature gradient and constant heat current in the thermodynamic limit. In the case of the disordered gapped chains we observe universal heat current scaling independent of the ba…
In the classical limit no work is needed to couple a system to a bath with sufficiently weak coupling strength (or with arbitrarily finite coupling strength for a linear system) at the same temperature. In the quantum domain this may be expected to change due to system-bath entanglement. Here we show analytically that the work needed to couple a single linear oscillator with finite strength to a bath cannot be less than the work obtainable from the oscillator when it decouples from the bath. Therefore, the quantum second law holds for an arbitrary temperature. This is a generalization of the p…
We present a theoretical framework to investigate quantum thermodynamic processes under non-Markovian system-bath interactions on the basis of the hierarchical equations of motion (HEOM) approach, which is convenient to carry out numerically "exact" calculations. This formalism is valuable because it can be used to treat not only strong system-bath coupling but also system-bath correlation or entanglement, which will be essential to characterize the heat transport between the system and quantum heat baths. Using this formalism, we demonstrated an importance of the thermodynamic effect from the…
Heat flow between a large ``bath'' and a smaller system brings them progressively closer to thermal equilibrium while increasing their entropy. Deviations from this trend are fluctuations involving a small fraction of a statistical ensemble of systems interacting with the bath: in this respect, quantum and classical thermodynamics are in agreement. Can there be drastic differences between them? Here we address a distinctly quantum mechanical setting that displays such differences: disturbances of thermal equilibrium between two-level systems (TLS) and a bath by frequent and brief quantum (non-…
