By using the quasi-equilibrium Helmholtz energy, which is defined as the thermodynamic work in a quasi-static process, we investigate the thermal properties of both an isothermal process and a transition process between the adiabatic and isothermal states (adiabatic transition). Here, the work is defined by the change in energy from a steady state to another state under a time-dependent perturbation. In particular, the work for a quasi-static change is regarded as thermodynamic work. We employ a system-bath model that involves time-dependent perturbations in both the system and the system-bath interaction. We conduct numerical experiments for a three-stroke heat machine (a Kelvin-Planck cycle). For this purpose, we employ the hierarchical equations of motion (HEOM) approach. These experiments involve an adiabatic transition field that describes the operation of an adiabatic wall between the system and the bath. Thermodynamic-work diagrams for external fields and their conjugate variables, similar to the P-V diagram, are introduced to analyze the work done for the system in the cycle. We find that the thermodynamic efficiency of this machine is zero because the field for the isothermal processes acts as a refrigerator, whereas that for the adiabatic wall acts as a heat engine. This is a numerical manifestation of the Kelvin-Planck statement, which states that it is impossible to derive the mechanical effects from a single heat source. These HEOM simulations serve as a rigorous test of thermodynamic formulations because the second law of thermodynamics is only valid when the work involved in the operation of the adiabatic wall is treated accurately.
By using the quasi-equilibrium Helmholtz energy, which is defined as the thermodynamic work in a quasi-static process, we investigate the thermal properties of both an isothermal process and a transition process between the adiabatic and isothermal states (adiabatic transition). Here, the work is defined by the change in energy from a steady state to another state under a time-dependent perturbation. In particular, the work for a quasi-static change is regarded as thermodynamic work. We employ a system-bath model that involves time-dependent perturbations in both the system and the system-bath interaction. We conduct numerical experiments for a three-stroke heat machine (a Kelvin-Planck cycle). For this purpose, we employ the hierarchical equations of motion (HEOM) approach. These experiments involve an adiabatic transition field that describes the operation of an adiabatic wall between the system and the bath. Thermodynamic-work diagrams for external fields and their conjugate variables, similar to the P-V diagram, are introduced to analyze the work done for the system in the cycle. We find that the thermodynamic efficiency of this machine is zero because the field for the isothermal processes acts as a refrigerator, whereas that for the adiabatic wall acts as a heat engine. This is a numerical manifestation of the Kelvin-Planck statement, which states that it is impossible to derive the mechanical effects from a single heat source. These HEOM simulations serve as a rigorous test of thermodynamic formulations because the second law of thermodynamics is only valid when the work involved in the operation of the adiabatic wall is treated accurately.
We present a scheme to evaluate thermodynamic variables for a system coupled to a heat bath under a time-dependent external force using the quasi-static Helmholtz energy from the numerically "exact" hierarchical equations of motion (HEOM). We computed the entropy produced by a spin system strongly coupled to a non-Markovian heat bath for various temperatures. We showed that when changes to the external perturbation occurred sufficiently slowly, the system always reached thermal equilibrium. Thus, we calculated the Boltzmann entropy and the von Neumann entropy for an isothermal process, as well as various thermodynamic variables, such as changes in internal energies, heat, and work, for a system in quasi-static equilibrium based on the HEOM. We found that although the characteristic features of the system entropies in the Boltzmann and von Neumann cases as a function of the system-bath coupling strength are similar, those for the total entropy production are completely different. The total entropy production in the Boltzmann case is always positive, whereas that in the von Neumann case becomes negative if we chose a thermal equilibrium state of the total system (an unfactorized thermal equilibrium state) as the initial state. This is because the total entropy production in the von Neumann case does not properly take into account the contribution of the entropy from the system-bath interaction. Thus, the Boltzmann entropy must be used to investigate entropy production in the fully quantum regime. Finally, we examined the applicability of the Jarzynski equality.
We investigate the efficiency of a quantum Carnot engine based on open quantum dynamics theory. The model includes time-dependent external fields for the subsystems controlling the isothermal and isentropic processes and for the system-bath (SB) interactions controlling the transition between these processes. Numerical simulations are conducted in a nonperturbative and non-Markovian SB coupling regime by using the hierarchical equations of motion under these fields at different cycle frequencies. The work applied to the total system and the heat exchanged with the baths are rigorously evaluated. In addition, by regarding quasi-static work as free energy, we compute the quantum thermodynamic variables and analyze the simulation results by using thermodynamic work diagrams for the first time. Analysis of these diagrams indicates that, in the strong SB coupling region, the fields for the SB interactions are major sources of work, while in other regions, the field for the subsystem is a source of work. We find that the maximum efficiency is achieved in the quasi-static case and is determined solely by the bath temperatures, regardless of the SB coupling strength, which is a numerical manifestation of Carnot's theorem.
We formulate a thermodynamic theory applicable to both classical and quantum systems. These systems are depicted as thermodynamic system-bath models capable of handling isothermal, isentropic, thermostatic, and entropic processes. Our approach is based on the use of a dimensionless thermodynamic potential expressed as a function of the intensive and extensive thermodynamic variables. Using the principles of dimensionless minimum work and dimensionless maximum entropy derived from quasi-static changes of external perturbations and temperature, we obtain the Massieu-Planck potentials as entropic potentials and the Helmholtz-Gibbs potentials as free energy. These potentials can be interconverted through time-dependent Legendre transformations. Our results are verified numerically for an anharmonic Brownian system described in phase space using the low-temperature quantum Fokker-Planck equations in the quantum case and the Kramers equation in the classical case, both developed for the thermodynamic system-bath model. Thus, we clarify the conditions for thermodynamics to be valid even for small systems described by Hamiltonians and establish a basis for extending thermodynamics to non-equilibrium conditions.
Energy is often partitioned into heat and work by two independent paths corresponding to the change in the eigenenergies or the probability distributions of a quantum system. The discrepancies of the heat and work for various quantum thermodynamic processes have not been well characterized in literature. Here we show how the work in quantum machines is differentially related to the isochoric, isothermal, and adiabatic processes. We prove that the energy exchanges during the quantum isochoric and isothermal processes are simply depending on the change in the eigenenergies or the probability distributions. However, for a time-dependent system in a non-adiabatic quantum evolution, the transitions between the different quantum states representing the quantum coherence can affect the essential thermodynamic properties, and thus the general definitions of the heat and work should be clarified with respect to the microscopic generic time-dependent system. By integrating the coherence effects in the exactly-solvable dynamics of quantum-spin precession, the internal energy is rigorously transferred as the work in the thermodynamic adiabatic process. The present study demonstrates that the quantum adiabatic process is sufficient but not necessary for the thermodynamic adiabatic process.
The manifestations of the three laws of thermodynamics are explored in a model of an irreversible quantum heat engine. The engine is composed of a three-level system simultaneously coupled to hot and cold heat baths, and driven by an oscillating external field. General quantum heat baths are considered, which are weakly coupled to the three-level system. The work reservoir is modeled by a classical electro-magnetic field of arbitrary intensity, which is driving the three-level system. The first law of thermodynamics is related to the rate of change of energy obtained from the quantum master equation in the Heisenberg picture. The fluxes of the thermodynamic heat and work are then directly related to the expectation values of quantum observables. An analysis of the standard quantum master equation for the amplifier, first introduced by Lamb, is shown to be thermodynamically inconsistent when strong driving fields are used. A generalized master equation is rigorously derived, starting from the underlying quantum dynamics, which includes relaxation terms that explicitly depend upon the field. For weak fields the generalized master equation reduces to the standard equation. In very intense fields the amplifier splits into two heat engines. One engine accelerates as the field intensifies, while the other slows down and eventually switches direction to become a heat pump. The relative weight of the slower engine increases with the field intensity, leading to a maximum in power as a function of the field intensity. The amplifier is shown to go through four ‘‘phases’’ as the driving field is intensified, throughout all of which the second law of thermodynamics is generally satisfied. One phase corresponds to a ‘‘refrigeration window’’ which allows for the extraction of heat out of a cold bath of temperatures down to the absolute zero. This window disappears at absolute zero, which is conjectured to be a dynamical manifestation of the third law of thermodynamics.
The second law of thermodynamics for adiabatic operations -- constraints on state transitions in closed systems under external control -- is one of the fundamental principles of thermodynamics. On the other hand, it is recently established that even pure quantum states can represent thermal equilibrium. However, pure quantum states do not satisfy the second law in that they are not passive, i.e., work can be extracted from them if arbitrary unitary operations are allowed. It therefore remains unresolved how quantum mechanics can be reconciled with thermodynamics. Here, based on our key quantum-mechanical notions of thermal equilibrium and adiabatic operations, we address the emergence of the second law for adiabatic operations in the thermodynamics limit. We first introduce infinite-observable macroscopic thermal equilibrium (iMATE); a quantum state, including pure states, is in iMATE if the expectation values of all additive observables agree with their equilibrium values. We also introduce a macroscopic operation as unitary evolution generated by a time-dependent additive Hamiltonian, which is regarded as corresponding to adiabatic operations. Employing these concepts, we show that no extensive work can be extracted from any quantum state in iMATE through any macroscopic operations. Furthermore, we introduce a quantum-mechanical form of entropy density such that it agrees with thermodynamic entropy density for any quantum state in iMATE. We then prove that for any initial state in iMATE, this entropy density cannot be decreased by any macroscopic operations, followed by a time-independent relaxation process. Our theory thus proves two different forms of the second law, by adopting macroscopically reasonable classes of observables, equilibrium states, and operations. We also discuss the time scales of macroscopic operations in these results.