We have developed a computer code for the thermodynamic hierarchical equations of motion derived from a spin subsystem coupled to multiple Drude baths at different temperatures, which are connected to or disconnected from the subsystem as a function of time. The code can simulate the reduced dynamics of the subsystem under isothermal, isentropic, thermostatic, and entropic conditions. The extensive and intensive thermodynamic variables are calculated as physical observables, and Gibbs and Helmholtz energies are evaluated as intensive and extensive work. The energy contribution of the system--bath interaction is evaluated separately from the subsystem using the hierarchical elements of the HEOM. The accuracy of the calculated results for the equilibrium distribution and the two-body correlation functions are assessed by contrasting the results with those obtained from the time-convolution-less Redfield equation. It is shown that the Lindblad master equation is inappropriate for thermodynamic description of a spin--boson system. Non-Markovian effects in thermostatic processes are investigated by sequentially turning on and off the baths at different temperatures with different switching times and system--bath coupling. In addition, the Carnot cycle is simulated under quasi-static conditions. To analyze the work done for the subsystem in the cycle, thermodynamic work diagrams are plotted as functions of intensive and extensive variables. The C++ source codes are provided as supplementary material.
We have developed a computer code for the thermodynamic hierarchical equations of motion derived from a spin subsystem coupled to multiple Drude baths at different temperatures, which are connected to or disconnected from the subsystem as a function of time. The code can simulate the reduced dynamics of the subsystem under isothermal, isentropic, thermostatic, and entropic conditions. The extensive and intensive thermodynamic variables are calculated as physical observables, and Gibbs and Helmholtz energies are evaluated as intensive and extensive work. The energy contribution of the system--bath interaction is evaluated separately from the subsystem using the hierarchical elements of the HEOM. The accuracy of the calculated results for the equilibrium distribution and the two-body correlation functions are assessed by contrasting the results with those obtained from the time-convolution-less Redfield equation. It is shown that the Lindblad master equation is inappropriate for thermodynamic description of a spin--boson system. Non-Markovian effects in thermostatic processes are investigated by sequentially turning on and off the baths at different temperatures with different switching times and system--bath coupling. In addition, the Carnot cycle is simulated under quasi-static conditions. To analyze the work done for the subsystem in the cycle, thermodynamic work diagrams are plotted as functions of intensive and extensive variables. The C++ source codes are provided as supplementary material.
We have developed a computer code for the thermodynamic hierarchical equations of motion derived from a spin subsystem coupled to multiple Drude baths at different temperatures, which are connected to or disconnected from the subsystem as a function of time. The code can simulate the reduced dynamics of the subsystem under isothermal, isentropic, thermostatic, and entropic conditions. The extensive and intensive thermodynamic variables are calculated as physical observables, and Gibbs and Helmholtz energies are evaluated as intensive and extensive work. The energy contribution of the system-bath interaction is evaluated separately from the subsystem using the hierarchical elements of the hierarchical equations of motion. The accuracy of the calculated results for the equilibrium distribution and the two-body correlation functions is assessed by contrasting the results with those obtained from the time-convolution-less Redfield equation. It is shown that the Lindblad master equation is inappropriate for the thermodynamic description of a spin-boson system. Non-Markovian effects in thermostatic processes are investigated by sequentially turning on and off the baths at different temperatures with different switching times and system-bath coupling. In addition, the Carnot cycle is simulated under quasi-static conditions. To analyze the work performed for the subsystem in the cycle, thermodynamic work diagrams are plotted as functions of intensive and extensive variables. The C++ source codes are provided as supplementary material.
We developed a computer code for the thermodynamic quantum Fokker-Planck equations (T-QFPE), derived from a thermodynamic system-bath model. This model consists of an anharmonic subsystem coupled to multiple Ohmic baths at different temperatures, which are connected to or disconnected from the subsystem as a function of time. The code numerically integrates the T-QFPE and their classical expression to simulate isothermal, isentropic, thermostatic, and entropic processes in both quantum and classical cases. The accuracy of the results was verified by comparing the analytical solutions of the Brownian oscillator. In addition, we illustrated a breakdown of the Markovian Lindblad-master equation in the pure quantum regime. As a demonstration, we simulated a thermostatic Stirling engine employed to develop non-equilibrium thermodynamics [S. Koyanagi and Y. Tanimura, J. Chem. Phys. 161, 114113 (2024)] under quasi-static conditions. The quasi-static thermodynamic potentials, described as intensive and extensive variables, were depicted as work diagrams. In the classical case, the work done by the external field is independent of the system-bath coupling strength. In contrast, in the quantum case, the work decreases as the coupling strength increases due to quantum entanglement between the subsystem and bath. The codes were developed for multicore processors using Open Multi-Processing (OpenMP) and for graphics processing units using the Compute Unified Device Architecture. These codes are provided in the supplementary material.
For a system strongly coupled to a heat bath, the quantum coherence of the system and the heat bath plays an important role in the system dynamics. This is particularly true in the case of non-Markovian noise. We rigorously investigate the influence of system-bath coherence by deriving the reduced hierarchal equations of motion (HEOM), not only in real time, but also in imaginary time, which represents an inverse temperature. It is shown that the HEOM in real time obtained when we include the system-bath coherence of the initial thermal equilibrium state possess the same form as those obtained from a factorized initial state. We find that the difference in behavior of systems treated in these two manners results from the difference in initial conditions of the HEOM elements, which are defined in path integral form. We also derive HEOM along the imaginary time path to obtain the thermal equilibrium state of a system strongly coupled to a non-Markovian bath. Then, we show that the steady state hierarchy elements calculated from the real-time HEOM can be expressed in terms of the hierarchy elements calculated from the imaginary-time HEOM. Moreover, we find that the imaginary-time HEOM allow us to evaluate a number of thermodynamic variables, including the free energy, entropy, internal energy, heat capacity, and susceptibility. The expectation values of the system energy and system-bath interaction energy in the thermal equilibrium state are also evaluated.
We developed a computer code for the thermodynamic quantum Fokker-Planck equations (T-QFPE), derived from a thermodynamic system-bath model. This model consists of an anharmonic subsystem coupled to multiple Ohmic baths at different temperatures, which are connected to or disconnected from the subsystem as a function of time. The code numerically integrates the T-QFPE and their classical expression to simulate isothermal, isentropic, thermostatic, and entropic processes in both quantum and classical cases. The accuracy of the results was verified by comparing the analytical solutions of the Brownian oscillator. Additionally, we illustrated a breakdown of the Markovian Lindblad-master equation in the pure quantum regime. As a demonstration, we simulated a thermostatic Stirling engine employed to develop non-equilibrium thermodynamics [S. Koyanagi and Y. Tanimura, J. Chem. Phys 161, 114113 (2024)] under quasi-static conditions. The quasi-static thermodynamic potentials, described as intensive and extensive variables, were depicted as work diagrams. In the classical case, the work done by the external field is independent of the system-bath coupling strength. In contrast, in the quantum case, the work decreases as the coupling strength increases due to quantum entanglement between the subsystem and bath. The codes were developed for multicore processors using Open multiprocessing (OpenMP) and for graphics processing units (GPU) using the Compute United Device Architecture (CUDA). These codes are provided as supplementary materials.
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.
An open quantum system refers to a system that is further coupled to a bath system consisting of surrounding radiation fields, atoms, molecules, or proteins. The bath system is typically modeled by an infinite number of harmonic oscillators. This system-bath model can describe the time-irreversible dynamics through which the system evolves toward a thermal equilibrium state at finite temperature. In nuclear magnetic resonance and atomic spectroscopy, dynamics can be studied easily by using simple quantum master equations under the assumption that the system-bath interaction is weak (perturbative approximation) and the bath fluctuations are very fast (Markovian approximation). However, such approximations cannot be applied in chemical physics and biochemical physics problems, where environmental materials are complex and strongly coupled with environments. The hierarchical equations of motion (HEOM) can describe the numerically "exact" dynamics of a reduced system under nonperturbative and non-Markovian system-bath interactions, which has been verified on the basis of exact analytical solutions (non-Markovian tests) with any desired numerical accuracy. The HEOM theory has been used to treat systems of practical interest, in particular, to account for various linear and nonlinear spectra in molecular and solid state materials, to evaluate charge and exciton transfer rates in biological systems, to simulate resonant tunneling and quantum ratchet processes in nanodevices, and to explore quantum entanglement states in quantum information theories. This article presents an overview of the HEOM theory, focusing on its theoretical background and applications, to help further the development of the study of open quantum dynamics.