Abstract
Quantum Brownian motion, described by the Caldeira–Leggett model, brings insights to the understanding of phenomena and essence of quantum thermodynamics, especially the quantum work and heat associated with their classical counterparts. By employing the phase-space formulation approach, we study the heat distribution of a relaxation process in the quantum Brownian motion model. The analytical result of the characteristic function of heat is obtained at any relaxation time with an arbitrary friction coefficient. By taking the classical limit, such a result approaches the heat distribution of the classical Brownian motion described by the Langevin equation, indicating the quantum–classical correspondence principle for heat distribution. We also demonstrate that the fluctuating heat at any relaxation time satisfies the exchange fluctuation theorem of heat and its long-time limit reflects the complete thermalization of the system. Our research study justifies the definition of the quantum fluctuating heat via two-point measurements.
    1. Introduction
In the past few decades, the discovery of fluctuation theorems [,,,] and the establishment of the framework of stochastic thermodynamics [,,] deepened our understanding of the fluctuating nature of thermodynamic quantities (such as work, heat and entropy production) in microscopic systems [,,,,,]. Among various fluctuation theorems, the non-equilibrium work relation [] sharpens our understanding of the second law of thermodynamics by presenting an elegant and precise equality associating the free energy change with the fluctuating work. Such a relation was later extended to the quantum realm based on the two-point measurement definition of the quantum fluctuating work [,], soon after its discovery in the classical regime. The work statistics has been widely studied in various microscopic classical and quantum systems [,,,,,,,,,,]. Historically, the quantum–classical correspondence principle played an essential role in the development of the theory of quantum mechanics and the interpretation of the transition from quantum to classical world [,]. In Refs. [,,], it is demonstrated that the existence of the quantum–classical correspondence principle for work distribution brings justification for the definition of quantum fluctuating work via two-point measurements.
Compared to work statistics, heat statistics relevant to thermal transport associated with a nonequilibrium stationary state has been extensively studied [,,,,,,,,,], but the heat statistics in a finite-time quantum thermodynamic process [,,] and its quantum–classical correspondence have been less explored. A challenge is that the precise description of the bath dynamics requires handling a huge number of degrees of freedom of the heat bath. Different approaches have been proposed to calculate the quantum fluctuating heat and its statistics, such as the non-equilibrium Green’s function approach to quantum thermal transport [,,,,,] and the path-integral approach to quantum thermodynamics [,,,,]. However, very few analytical results about the heat statistics have been obtained for the relaxation processes in open quantum systems. These analytical results are limited to either the relaxation dynamics described by the Lindblad master equation [,] or the long-time limit independent of the relaxation dynamics []. On the other hand, some results about the heat statistics in the classical Brownian motion model have been reported [,,,,,,,,]. How the quantum and the classical heat statistics (especially associated with the relaxation dynamics in finite time) are related to each other has not been explored so far, probably due to the difficulty in studying the heat statistics in open quantum systems [,,].
In this article, we study the heat statistics of a quantum Brownian motion model described by the Caldeira–Leggett Hamiltonian [,,,,,,], where the heat bath is modeled as a collection of harmonic oscillators. Although it is well known that the dynamics of such an open quantum system can approach that of the classical Brownian motion in the classical limit  [], less is known about the heat statistics of this model during the finite-time relaxation process. Here, we focus on the relaxation process without external driving (the Hamiltonian of the system is time-independent); thus, the quantum fluctuating heat can be defined as the difference of the system energy between the initial and the final measurements [].Under the Ohmic spectral density, the dynamics of the composite system is exactly solvable in the continuum limit of the bath oscillators []. By employing the phase-space formulation approach [,,], we obtain analytical results of the characteristic function of heat for the Caldeira–Leggett model at any relaxation time  with an arbitrary friction coefficient . Previously, such an approach was employed to study the quantum corrections to work [,,] and entropy [,]. Analytical results of the heat statistics bring important insights to understand the fluctuating property of heat. By taking the classical limit , the heat statistics of the Caldeira–Leggett model approaches that of the classical Brownian motion model. Thus, our results verify the quantum–classical correspondence principle for heat distribution, and provide justification for the definition of the quantum fluctuating heat via two-point measurements. We also verify, from the analytical results, that the heat statistics satisfies the exchange fluctuation theorem of heat [].
The rest of this article is organized as follows. In Section 2, we introduce the Caldeira–Leggett model and define the quantum fluctuating heat. In Section 3, the analytical results of the characteristic function of heat are obtained by employing the phase-space formulation approach. We show the quantum–classical correspondence of the heat distribution and discuss the heat distribution in the long-time limit or with the extremely weak or strong coupling strength. The conclusion is given in Section 4.
2. The Caldeira–Leggett Model and the Heat Statistics
2.1. The Caldeira–Leggett Model
The quantum Brownian motion is generally described by the Caldeira–Leggett model [,], where the system is modeled as a single particle moving in a specific potential and the heat bath is a collection of harmonic oscillators. For simplicity, we choose the harmonic potential for the system [,,,], where the dynamics of such an open quantum system can be solved analytically. The system relaxes to the equilibrium state at the temperature of the heat bath. We study the heat distribution of such a quantum relaxation process and analytically obtain the characteristic function of heat and its classical correspondence based on the phase-space formulation of quantum mechanics.
The total Hamiltonian of the composite system is  with each term being
        
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
        where , ,  and  (, ,  and  with ) are the mass, frequency, position and momentum of the system (the n-th bath harmonic oscillator) and  is the coupling strength between the system and the n-th bath harmonic oscillator. The counter-term  is included in the interaction Hamiltonian  to cancel the frequency shift of the system.
The spectral density is defined as . We adopt an Ohmic spectral density with the Lorentz–Drude cutoff []
        
      
        
      
      
      
      
    
        where  is the friction coefficient. A sufficiently large cutoff frequency  () is applied to ensure a finite counter-term and the dynamics with the timescale exceeding  is Markovian. Under such a spectral density, the dissipation dynamics of the Caldeira–Leggett model with a weak coupling strength  reproduces that of the classical underdamped Brownian motion when taking the classical limit  [].
We assume the initial state to be a product state of the system and the heat bath
        
      
        
      
      
      
      
    
        which makes it possible to define the quantum fluctuating heat via two-point measurements. Here,  is the initial state of the system and  is the Gibbs distribution of the heat bath with the inverse temperature  and the partition function .
2.2. The Quantum Fluctuating Heat in the Relaxation Process
We study the heat distribution of the relaxation process based on the two-point measurement definition of the quantum fluctuating heat. When no external driving is applied to the system, the Hamiltonian of the system is time-independent. Since no work is performed during the relaxation process, the quantum fluctuating heat can be defined as
        
      
        
      
      
      
      
    
        where  () is the eigenenergy of the system corresponding to the outcome l () at the initial (final) time  (). The two-point measurements over the heat bath can be hardly realized due to a huge number of degrees of freedom of the heat bath [], while the measurements over the small quantum system are much easier in principle. The positive sign corresponds to the energy flowing from the heat bath to the system.
For the system prepared in an equilibrium state, no coherence exists in the initial state and the initial density matrix of the system commutes with the Hamiltonian of the system, . The probability of observing the transition from l and  is
        
      
        
      
      
      
      
    
        with the conditional transition probability  and the initial probability . Here,  is the projection operator corresponding to the outcome l. The heat distribution is defined as
        
      
        
      
      
      
      
    
The characteristic function of heat  is defined as the Fourier transform of the heat distribution , which can be rewritten explicitly as
        
      
        
      
      
      
      
    
        where  is the unitary time-evolution operator of the composite system.
Our goal is to analytically calculate the characteristic function . Previously, the quantum–classical correspondence principle for heat statistics has been analyzed with the path-integral approach to quantum thermodynamics [], yet the explicit result of the characteristic function (or generating function) of heat has not been obtained so far. We employ the phase-space formulation approach to solve this problem and rewrite the characteristic function Equation (9) into
        
      
        
      
      
      
      
    
        where the system Hamiltonian in the Heisenberg picture is
        
      
        
      
      
      
      
    
        and the density matrix-like operator  is
        
      
        
      
      
      
      
    
We express Equation (10) with the phase-space formulation of quantum mechanics [,,,,,]:
      
        
      
      
      
      
    
        where  represents a point  in the phase space of the composite system and the integral is performed over the whole phase space. The subscript “w” indicates the Weyl symbol of the corresponding operator and  is the Weyl symbol of the operator , which is explicitly defined as []
        
      
        
      
      
      
      
    
In the following, we calculate the heat statistics Equation (13) by employing the phase-space formulation approach.
3. Results of the Characteristic Function of Heat
We show a sketch of the derivation of the heat statistics  with the details left in Appendix A. We specifically consider the system is initially prepared at an equilibrium state  with the inverse temperature  and the partition function . The heat bath is at the inverse temperature , which is different from . In Equation (13), the two Weyl symbols  and  are obtained as
      
      
        
      
      
      
      
    
      and
      
      
        
      
      
      
      
    
      where the explicit expressions of the matrices  and  are given in Equations (A10) and (A36), respectively.
Substituting Equations (15) and (16) into Equation (13), the characteristic function of heat at any relaxation time  with an arbitrary friction coefficient  is finally obtained as
      
      
        
      
      
      
      
    
      where the quantities  and  are
      
      
        
      
      
      
      
    
      
        
      
      
      
      
    
Induced by the friction, the frequency of the system harmonic oscillator is shifted to .
From the analytical results of the heat statistics Equation (17), the average heat  is immediately obtained as
      
      
        
      
      
      
      
    
      and the variance  is
      
      
        
      
      
      
      
    
      with
      
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
Similarly, one can calculate the higher cumulants from the analytical results of the heat statistics. In the following, we examine the properties of the heat statistics of the quantum Brownian motion.
3.1. Quantum–Classical Correspondence Principle for Heat Statics and the Exchange Fluctuation Theorem of Heat
We further take the classical limit  or, more rigorously, . The two quantities approach  and  and the characteristic function of heat (Equation (17)) becomes
        
      
        
      
      
      
      
    
        which is consistent with the results obtained from the classical Brownian motion described by the Kramers equation (see Ref. [] or Appendix B). The average heat is
        
      
        
      
      
      
      
    
        and the variance  is
        
      
        
      
      
      
      
    
        with
        
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
From Equation (17) (or the classical counterpart Equation (25)), one can see the characteristic function of heat exhibits the following symmetry:
      
        
      
      
      
      
    
        which shows that the heat distribution satisfies the exchange fluctuation theorem of heat in the differential form  []. By setting , we obtain the relation , which is exactly the exchange fluctuation theorem of heat in the integral form .
3.2. Long-Time Limit
Such results, independent of the relaxation dynamics, are in the form
        
      
        
      
      
      
      
    
        reflecting complete thermalization of the system []. For example, the relaxation of a harmonic oscillator governed by the quantum–optical master equation gives the identical characteristic function of heat in the long-time limit []. In Appendix C, we demonstrate that the characteristic function of heat for any relaxation process with complete thermalization is always in the form of Equation (34). With the simple expressions (32) and (33) of the characteristic functions, the heat distributions are obtained from the inverse Fourier transform as
        
      
        
      
      
      
      
    
        and
        
      
        
      
      
      
      
    
        which are exactly the same as the long-time results obtained in Ref. [].
3.3. Weak/Strong Coupling Limit in Finite Time
In the weak coupling limit , the characteristic function of heat Equation (17) becomes
        
      
        
      
      
      
      
    
There is only one relaxation timescale associated to . Such situation corresponds to the highly underdamped regime of the classical Brownian motion and a systematic method has been proposed to study the heat distribution [], as well as the work distribution, under an external driving [,].
In the strong coupling limit , the characteristic function of heat Equation (17) becomes
        
      
        
      
      
      
      
    
The relaxation timescales of the momentum (the first factor) and the coordinate (the second factor) are separated. The long-time limits of both Equations (37) and (38) are equal to Equation (32). In classical thermodynamics, the usual overdamped approximation neglects the motion of the momentum; hence, the heat statistics derived under such an approximation is incomplete []. Actually, the momentum degree of freedom also contributes to the heat statistics.
3.4. Numerical Results
In Figure 1, we show the cumulative heat distribution function  with different friction coefficients  and 100, at the rescaled relaxation time  and 10. We set the mass  and the frequency  for the system harmonic oscillator, the inverse temperatures  and  for the initial equilibrium states of the heat bath and the system, respectively. The Planck constant is set to be . With the decrease in ℏ, the quantum result Equation (17) approaches the classical result Equation (25). Thus, the quantum–classical correspondence of the heat distribution is demonstrated for generic values of the friction coefficient .
      
    
    Figure 1.
      The cumulative heat distribution function . The choices of the parameters are given in the main text. We compare the results of the Caldeira–Leggett model (blue solid, orange dotted and green dot-dashed curves) in Equation (17) and those of the classical Brownian motion (black dashed curve) in Equation (25). The rescaled relaxation time is  in the upper subfigures and  in the lower subfigures. The left, middle and right subfigures illustrate the results for the weak (), intermediate () and strong coupling strength ().
  
For  and 1, complete thermalization is achieved at . The left-lower and middle-lower subfigures show the identical distribution characterized by Equations (35) and (36). For , the momentum degree of freedom is thermalized  in Equation (38), while the coordinate degree of freedom remains frozen  in Equation (38). Thus, the distribution in the right-lower subfigure is different from the middle-lower subfigure.
In Figure 2, we illustrate the results of the mean value  and the variance  with different friction coefficients  and 100. The parameters are the same as those in Figure 1. The quantum results approach the classical results with the decrease in ℏ. For  and 1 (left and middle subfigures), complete thermalization is reached when . The mean value and the variance approach  and (gray horizontal lines). For  (right subfigures), only the momentum degree of freedom is thermalized at this timescale. Thus, the mean value and the variance take half value of their long-time limits. When the coordinate degree of freedom is also thermalized in the long-time limit (), the mean value and the variance are expected to approach the same values as those in the middle subfigures.
      
    
    Figure 2.
      The evolution of the mean value  (upper subfigures) and the variance  (lower subfigures) of the heat statistics as functions of the rescaled time .
  
4. Conclusions
Previously, the heat statistics of the relaxation processes has been studied analytically in open quantum systems described by the Lindblad master equation [,,]. However, due to the rotating wave approximation and other approximations, such quantum systems do not possess a well-defined classical counterpart. Hence, the quantum–classical correspondence principle for heat distribution has not been well established.
In this paper, we study the heat statistics of the quantum Brownian motion model described by the Caldeira–Leggett Hamiltonian, in which the bath dynamics is explicitly considered. By employing the phase-space formulation approach, we obtain the analytical expressions of the characteristic function of heat at any relaxation time  with an arbitrary friction coefficient . The analytical results of heat statistics bring important insights to the studies of quantum thermodynamics. For example, in the classical limit, our results approach the heat statistics of the classical Brownian motion. Thus, the quantum–classical correspondence principle for heat statistics is verified in this model. Our analytical results provide justification for the definition of quantum fluctuating heat via two-point measurements.
We also discuss the characteristic function of heat in the long-time limit or with the extremely weak/strong coupling strength. In the long-time limit, the form of the characteristic function of heat reflects complete thermalization of the system. In addition, from the analytical expressions of the heat statistics, we can immediately verify the exchange fluctuation theorem of heat. The phase-space formulation can be further utilized to study the joint statistics of work and heat in a driven open quantum system, which would be beneficial in exploring the fluctuations of power and efficiency in finite-time quantum heat engines.  
Author Contributions
Conceptualization, J.-F.C. and H.-T.Q.; Formal analysis, J.-F.C.; Funding acquisition, H.-T.Q.; Investigation, J.-F.C.; Methodology, J.-F.C.; Supervision, H.-T.Q.; Validation, T.Q. and H.-T.Q.; Visualization, J.-F.C.; Writing—original draft, J.-F.C.; Writing—review & editing, T.Q. and H.-T.Q. All authors have read and agreed to the published version of the manuscript.
Funding
H. T. Quan acknowledges support from the National Natural Science Foundation of China under Grants No. 11775001, No. 11534002 and No. 11825001.
Data Availability Statement
Not applicable.
Acknowledgments
This paper is dedicated to Wojciech Zurek on the occasion of his 70th birthday for his mentorship as well as his kind and generous supports to one of the authors (H. T. Quan), and for his many insightful contributions to our understanding about the quantum-to-classical transition.
Conflicts of Interest
The authors declare no conflict of interest.
Appendix A. Derivation to the Characteristic Function of Heat (17)
We show the detailed derivation to the characteristic function of heat . First, we calculate the two Wigner functions  and . Then, the final result Equation (17) is obtained from Equation (13).
Appendix A.1.
With the quadratic Hamiltonian , the Wigner function  is [,]
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
          where  gives the trajectory in the phase space determined by the initial point  and  is a rank-2 diagonal matrix
          
      
        
      
      
      
      
    
          with an  zero matrix . The unlisted elements are zeros. The trajectory  satisfies the classical equation of motion (also the equation of motion in the Heisenberg picture).
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
          with  The above differential equations can be rewritten into a compact form . The trajectory  in the phase space characterizes the evolution of the composite system with the positions  and the momenta  and is related to the initial point by the dynamical map  The  matrix  is explicitly
          
      
        
      
      
      
      
    
          and the matrix exponential is formally written as
          
      
        
      
      
      
      
    
We rewrite the quadratic form into  with
          
      
        
      
      
      
      
    
We next carry out every element in Equation (A9) through the Laplace transforms of Equations (A4)–(A7):
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
Representing  and  with  and the initial conditions, we obtain
          
      
        
      
      
      
      
    
Under the Ohmic spectral density Equation (4), the above equation is simplified to
          
      
        
      
      
      
      
    
          where the summation on the left-hand side of Equation (A15) can be approximately expressed as
          
      
        
      
      
      
      
    
          with a large cutoff frequency . The inverse Laplace transform gives the differential equation of  as
          
      
        
      
      
      
      
    
On the right-hand side, the second term presents the stochastic force induced by the heat bath; the first term indicates an abrupt velocity change  of the system particle at the initial time  [,,]. The sudden change in velocity occurs for the system harmonic oscillator when the coupling between the system and the heat bath is switched on. Such an initial slippage is caused by the assumption of the initial product state. To avoid such an initial discontinuous problem, we drop the first term by considering the particle motion as starting at  []. Under such a modification, the Caldeira–Leggett model can reproduce the complete Langevin equation with an arbitrary friction coefficient  for both the underdamped and the overdamped regimes and the heat distribution of the Caldeira–Leggett model approaches that of the classical Brownian motion described by the Kramers equation []. In Appendix A, for the classical counterpart of the Caldeira–Leggett model, we show that the initial slippage can be naturally eliminated by choosing another initial state.
After dropping the first term, Equation (A16) becomes
          
      
        
      
      
      
      
    
The solutions to  and  follow immediately as
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
With the inverse Laplace transform, the elements in the matrix  Equation (A9) are determined by
          
      
        
      
      
      
      
    
          where the elements in the matrix of the right-hand side are explicitly solved as []
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
The functions  and  are, explicitly,
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
          where  denotes the inverse Laplace transform with .
Appendix A.2.
 is the Wigner function of the state  for the composite system [,]:
      
        
      
      
      
      
    
          where  is a  diagonal matrix
          
      
        
      
      
      
      
    
          with the elements
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
Appendix A.3. Calculation of the Integral
With the explicit expressions of  and , we perform the integral in Equation (13) and obtain the result of the characteristic function of heat
          
      
        
      
      
      
      
    
We use the following integral formula:
      
        
      
      
      
      
    
          where all the eigenvalues of  have positive real parts.
By introducing a diagonal matrix , we rewrite Equation (A41) as
          
      
        
      
      
      
      
    
Since  is a rank-2 matrix, we rewrite it as
          
      
        
      
      
      
      
    
          with the vectors
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
          where the evolution time t in the terms  and  is set to . We rewrite the matrix in the determinant (see Equation (A43)) as
          
      
        
      
      
      
      
    
          with the matrix
          
      
        
      
      
      
      
    
The determinant in Equation (A43) can be simplified to
          
      
        
      
      
      
      
    
          where the right-hand side is the determinant of a  matrix and  is the  identity matrix. Notice that the initial values of the two vectors are
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
The explicit result of  is obtained as
          
      
        
      
      
      
      
    
          where the elements are functions of the final time  and the functions ,  and  are
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
          with
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
The summations are replaced by the integral with the Ohmic spectral density and every element in Equation (A52) is carried out as
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
Appendix B. Classical Caldeira–Leggett Model
We consider the classical Caldeira–Leggett model, where coordinates and momenta commute with each other. To eliminate the initial slippage, the initial state is amended as a coupled state,
        
      
        
      
      
      
      
    
        which represents the probability density in the phase space of the composite system. The classical partition function is obtained by performing the integral in the phase space
        
      
        
      
      
      
      
    
      
        
      
      
      
      
    
        which is independent of the interaction (notice that the partition function of the quantum model relies on the interaction strength [,]).
We also define the classical fluctuating heat as the energy difference of the initial and the final system energy. For classical dynamics, the initial and the final states are directly represented by the points in the phase space and the measurements over the system can be applied without disturbing the composite system. Therefore, the characteristic function of heat is
        
      
        
      
      
      
      
    
        where the energy of the system  is determined by  and  associated with the initial point . We choose a new set of initial variables , ,  and  in the following calculation.
We rewrite the evolution of the coordinate  of the system Equation (A16) as
        
      
        
      
      
      
      
    
For the Ohmic spectral density, the summation in the second term is
        
      
        
      
      
      
      
    
Thus, Equation (A68) naturally leads to Equation (A19) by substituting  into . The initial slippage is rationally eliminated by choosing a coupled initial state Equation (A64). In reality, the interaction between the system and the heat bath always exists and one cannot prepare the initial state of the composite system without the influence of the interaction. The initial state of the composite system is more likely in the coupled form Equation (A64). The heat bath encodes partial information of the system due to the interaction.
Similar to Equation (A10), the system energy at time t can be represented by the dynamical map as
        
      
        
      
      
      
      
    
      
        
      
      
      
      
    
        with the following matrices []
        
      
        
      
      
      
      
    
        and
        
      
        
      
      
      
      
    
The initial vector is now amended to
        
      
        
      
      
      
      
    
The initial Hamiltonians  and  are
        
      
        
      
      
      
      
    
      
        
      
      
      
      
    
        with the matrix
        
      
        
      
      
      
      
    
Appendix C. The Characteristic Function of Heat for the Classical Brownian Motion
We derive the characteristic function of heat for the classical Brownian motion. For an underdamped Brownian particle moving in a potential , the stochastic dynamics is described by the complete Langevin equation
        
      
        
      
      
      
      
    
The fluctuating force  is a Gaussian white noise satisfying the fluctuation–dissipation relation
        
      
        
      
      
      
      
    
The evolution of the system state is characterized by the probability density function  in the phase space. The stochastic dynamics is then described by the Kramers equation []
        
      
        
      
      
      
      
    
        with the Liouville operator
        
      
        
      
      
      
      
    
Similarly, in the phase space, we calculate the characteristic function of heat for the classical Brownian motion
        
      
        
      
      
      
      
    
        where a probability-density-like function  also satisfies the dynamic Equation (A85) with the initial condition
        
      
        
      
      
      
      
    
We consider the system potential as a harmonic potential  and the initial system state as an equilibrium state
        
      
        
      
      
      
      
    
        with the inverse temperature  and the classical partition function . Under such conditions, the probability-density-like function  is always in a quadratic form, assumed as
        
      
        
      
      
      
      
    
The Kramers Equation (A85) for  leads to the following ordinary differential equations:
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
        with the initial conditions ,  and . According to the conservation of the probability , the coefficient  is obtained as
        
      
        
      
      
      
      
    
Substituting Equation (A90) into Equation (A87), we obtain the characteristic function for the classical Brownian motion as
        
      
        
      
      
      
      
    
To solve the nonlinear differential Equations (A92)–(A94), we introduce a new set of variables,
        
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
        and obtain the linear differential equations
        
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
        with the initial conditions  and . The characteristic function Equation (A96) becomes
        
      
        
      
      
      
      
    
The solutions to Equations (A100)–(A102) are
        
      
        
      
      
      
      
    
      
        
      
      
      
      
    
      
        
      
      
      
      
    
        with . Plugging the solutions into Equation (A103), we immediately obtain Equation (25). We remark that the heat distribution of the classical Brownian motion was obtained by the path-integral method in Ref. [], but they only consider the initial temperature of the system to be the same as that of the bath.
Appendix C.1. The Long-Time Limit
Appendix C.2. The Underdamped Limit
Appendix C.3. The Overdamped Limit
Notice that, in the overdamped limit, the relaxation timescales of the momentum and the coordinate are separated. We can substitute  in Equation (A113) and obtain
          
      
        
      
      
      
      
    
With the initial condition  and , the solutions are
          
      
        
      
      
      
      
    
      
        
      
      
      
      
    
Appendix D. The Characteristic Function of Heat for Complete Thermalization
We derive the characteristic function of heat for a complete thermalization process, Equation (34), in the main content. For a complete thermalization process (typically with infinite relaxation time), the information of the initial state is completely forgotten and the final state is always an equilibrium state at the inverse temperature  of the heat bath,
        
      
        
      
      
      
      
    
        regardless of the initial state l. Therefore, the characteristic function of heat for complete thermalization is . We immediately obtain Equation (34) by plugging into the initial distribution  and the final distribution , where  is the partition function of the system at the inverse temperature .
References and Notes
References
- Gallavotti, G.; Cohen, E.G.D. Dynamical Ensembles in Nonequilibrium Statistical Mechanics. Phys. Rev. Lett. 1995, 74, 2694–2697. [Google Scholar] [CrossRef] [PubMed]
 - Jarzynski, C. Nonequilibrium Equality for Free Energy Differences. Phys. Rev. Lett. 1997, 78, 2690–2693. [Google Scholar] [CrossRef]
 - Crooks, G.E. Entropy production fluctuation theorem and the nonequilibrium work relation for free energy differences. Phys. Rev. E 1999, 60, 2721–2726. [Google Scholar] [CrossRef] [PubMed]
 - Jarzynski, C.; Wójcik, D.K. Classical and Quantum Fluctuation Theorems for Heat Exchange. Phys. Rev. Lett. 2004, 92, 230602. [Google Scholar] [CrossRef]
 - Jarzynski, C. Equalities and Inequalities: Irreversibility and the Second Law of Thermodynamics at the Nanoscale. Annu. Rev. Condens. Matter Phys. 2011, 2, 329–351. [Google Scholar] [CrossRef]
 - Sekimoto, K. Stochastic Energetics; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar] [CrossRef]
 - Seifert, U. Stochastic thermodynamics, fluctuation theorems and molecular machines. Rep. Prog. Phys. 2012, 75, 126001. [Google Scholar] [CrossRef] [PubMed]
 - Seifert, U. Entropy Production along a Stochastic Trajectory and an Integral Fluctuation Theorem. Phys. Rev. Lett. 2005, 95, 040602. [Google Scholar] [CrossRef] [PubMed]
 - Esposito, M.; Harbola, U.; Mukamel, S. Nonequilibrium fluctuations, fluctuation theorems, and counting statistics in quantum systems. Rev. Mod. Phys. 2009, 81, 1665–1702. [Google Scholar] [CrossRef]
 - Campisi, M.; Hänggi, P.; Talkner, P. Colloquium: Quantum fluctuation relations: Foundations and applications. Rev. Mod. Phys. 2011, 83, 771–791. [Google Scholar] [CrossRef]
 - Klages, R. Nonequilibrium Statistical Physics of Small Systems: Fluctuation Relations and Beyond; Wiley-VCH: Weinheim, Germany, 2013. [Google Scholar]
 - Horodecki, M.; Oppenheim, J. Fundamental limitations for quantum and nanoscale thermodynamics. Nat Commun 2013, 4, 2059. [Google Scholar] [CrossRef]
 - Ciliberto, S. Experiments in Stochastic Thermodynamics: Short History and Perspectives. Phys. Rev. X 2017, 7, 021051. [Google Scholar] [CrossRef]
 - Tasaki, H. Jarzynski Relations for Quantum Systems and Some Applications. arXiv 2000, arXiv:cond-mat.stat-mech/cond-mat/0009244. [Google Scholar]
 - Kurchan, J. A Quantum Fluctuation Theorem. arXiv 2000, arXiv:cond-mat.stat-mech/cond-mat/0007360. [Google Scholar]
 - Talkner, P.; Lutz, E.; Hänggi, P. Fluctuation theorems: Work is not an observable. Phys. Rev. E 2007, 75, 050102. [Google Scholar] [CrossRef] [PubMed]
 - Deffner, S.; Lutz, E. Nonequilibrium work distribution of a quantum harmonic oscillator. Phys. Rev. E 2008, 77, 021128. [Google Scholar] [CrossRef] [PubMed]
 - Liu, F. Calculating work in adiabatic two-level quantum Markovian master equations: A characteristic function method. Phys. Rev. E 2014, 90, 032121. [Google Scholar] [CrossRef] [PubMed]
 - Zhu, L.; Gong, Z.; Wu, B.; Quan, H.T. Quantum-classical correspondence principle for work distributions in a chaotic system. Phys. Rev. E 2016, 93, 062108. [Google Scholar] [CrossRef]
 - Funo, K.; Quan, H. Path Integral Approach to Quantum Thermodynamics. Phys. Rev. Lett. 2018, 121, 040602. [Google Scholar] [CrossRef]
 - Salazar, D.S.P.; Lira, S.A. Stochastic thermodynamics of nonharmonic oscillators in high vacuum. Phys. Rev. E 2019, 99, 062119. [Google Scholar] [CrossRef]
 - Jarzynski, C.; Quan, H.; Rahav, S. Quantum-Classical Correspondence Principle for Work Distributions. Phys. Rev. X 2015, 5, 031038. [Google Scholar] [CrossRef]
 - Deffner, S.; Paz, J.P.; Zurek, W.H. Quantum work and the thermodynamic cost of quantum measurements. Phys. Rev. E 2016, 94, 010103(R). [Google Scholar] [CrossRef]
 - García-Mata, I.; Roncaglia, A.J.; Wisniacki, D.A. Quantum-to-classical transition in the work distribution for chaotic systems. Phys. Rev. E 2017, 95, 050102. [Google Scholar] [CrossRef]
 - Fei, Z.; Quan, H. Nonequilibrium Green’s Function’s Approach to the Calculation of Work Statistics. Phys. Rev. Lett. 2020, 124, 240603. [Google Scholar] [CrossRef] [PubMed]
 - Qiu, T.; Fei, Z.; Pan, R.; Quan, H.T. Path-integral approach to the calculation of the characteristic function of work. Phys. Rev. E 2020, 101, 032111. [Google Scholar] [CrossRef] [PubMed]
 - Zurek, W.H. Decoherence and the Transition from Quantum to Classical. Phys. Today 1991, 44, 36–44. [Google Scholar] [CrossRef]
 - Zurek, W.H. Decoherence, einselection, and the quantum origins of the classical. Rev. Mod. Phys. 2003, 75, 715–775. [Google Scholar] [CrossRef]
 - Saito, K.; Dhar, A. Fluctuation Theorem in Quantum Heat Conduction. Phys. Rev. Lett. 2007, 99, 180601. [Google Scholar] [CrossRef] [PubMed]
 - Dubi, Y.; Ventra, M.D. Colloquium: Heat flow and thermoelectricity in atomic and molecular junctions. Rev. Mod. Phys. 2011, 83, 131–155. [Google Scholar] [CrossRef]
 - Thingna, J.; García-Palacios, J.L.; Wang, J.S. Steady-state thermal transport in anharmonic systems: Application to molecular junctions. Phys. Rev. B 2012, 85, 195452. [Google Scholar] [CrossRef]
 - Wang, J.S.; Agarwalla, B.K.; Li, H.; Thingna, J. Nonequilibrium Green’s function method for quantum thermal transport. Front. Phys. 2014, 9, 673–697. [Google Scholar] [CrossRef]
 - Thingna, J.; Manzano, D.; Cao, J. Dynamical signatures of molecular symmetries in nonequilibrium quantum transport. Sci. Rep. 2016, 6, 28027. [Google Scholar] [CrossRef]
 - He, D.; Thingna, J.; Wang, J.S.; Li, B. Quantum thermal transport through anharmonic systems: A self-consistent approach. Phys. Rev. B 2016, 94, 155411. [Google Scholar] [CrossRef]
 - Segal, D.; Agarwalla, B.K. Vibrational Heat Transport in Molecular Junctions. Ann. Phys. Chem. 2016, 67, 185–209. [Google Scholar] [CrossRef]
 - Kilgour, M.; Agarwalla, B.K.; Segal, D. Path-integral methodology and simulations of quantum thermal transport: Full counting statistics approach. J. Chem. Phys. 2019, 150, 084111. [Google Scholar] [CrossRef]
 - Wang, C.; Ren, J.; Cao, J. Unifying quantum heat transfer in a nonequilibrium spin-boson model with full counting statistics. Phys. Rev. A 2017, 95, 023610. [Google Scholar] [CrossRef]
 - Aurell, E.; Donvil, B.; Mallick, K. Large deviations and fluctuation theorem for the quantum heat current in the spin-boson model. Phys. Rev. E 2020, 101, 052116. [Google Scholar] [CrossRef] [PubMed]
 - Denzler, T.; Lutz, E. Heat distribution of a quantum harmonic oscillator. Phys. Rev. E 2018, 98, 052106. [Google Scholar] [CrossRef]
 - Salazar, D.S.P.; Macêdo, A.M.S.; Vasconcelos, G.L. Quantum heat distribution in thermal relaxation processes. Phys. Rev. E 2019, 99, 022133. [Google Scholar] [CrossRef]
 - Popovic, M.; Mitchison, M.T.; Strathearn, A.; Lovett, B.W.; Goold, J.; Eastham, P.R. Quantum Heat Statistics with Time-Evolving Matrix Product Operators. PRX Quantum 2021, 2, 020338. [Google Scholar] [CrossRef]
 - Karsten Balzer, M.B. Nonequilibrium Green’s Functions Approach to Inhomogeneous Systems; Springer: Berlin/Heidelberg, Germany, 2012. [Google Scholar]
 - Esposito, M.; Ochoa, M.A.; Galperin, M. Quantum Thermodynamics: A Nonequilibrium Green’s Function Approach. Phys. Rev. Lett. 2015, 114, 080602. [Google Scholar] [CrossRef] [PubMed]
 - Polanco, C.A. Nonequilibrium Green’s functions (NEGF) in vibrational energy transport: A topical review. Nanoscale Microscale Thermophys. Eng. 2021, 25, 1–24. [Google Scholar] [CrossRef]
 - Aron, C.; Biroli, G.; Cugliandolo, L.F. Symmetries of generating functionals of Langevin processes with colored multiplicative noise. J. Stat. Mech. 2010, 2010, P11018. [Google Scholar] [CrossRef]
 - Mallick, K.; Moshe, M.; Orland, H. A field-theoretic approach to non-equilibrium work identities. J. Phys. A 2011, 44, 095002. [Google Scholar] [CrossRef]
 - Carrega, M.; Solinas, P.; Braggio, A.; Sassetti, M.; Weiss, U. Functional integral approach to time-dependent heat exchange in open quantum systems: General method and applications. New J. Phys. 2015, 17, 045030. [Google Scholar] [CrossRef]
 - Funo, K.; Quan, H.T. Path integral approach to heat in quantum thermodynamics. Phys. Rev. E 2018, 98, 012113. [Google Scholar] [CrossRef] [PubMed]
 - Yeo, J. Symmetry and its breaking in a path-integral approach to quantum Brownian motion. Phys. Rev. E 2019, 100, 062107. [Google Scholar] [CrossRef]
 - Fogedby, H.C. Heat fluctuations in equilibrium. J. Stat. Mech. Theory Exp. 2020, 2020, 083208. [Google Scholar] [CrossRef]
 - Van Zon, R.; Cohen, E.G.D. Extended heat-fluctuation theorems for a system with deterministic and stochastic forces. Phys. Rev. E 2004, 69, 056121. [Google Scholar] [CrossRef]
 - Imparato, A.; Peliti, L.; Pesce, G.; Rusciano, G.; Sasso, A. Work and heat probability distribution of an optically driven Brownian particle: Theory and experiments. Phys. Rev. E 2007, 76, 050101. [Google Scholar] [CrossRef]
 - Fogedby, H.C.; Imparato, A. Heat distribution function for motion in a general potential at low temperature. J. Phys. A Math. Theor. 2009, 42, 475004. [Google Scholar] [CrossRef]
 - Chatterjee, D.; Cherayil, B.J. Exact path-integral evaluation of the heat distribution function of a trapped Brownian oscillator. Phys. Rev. E 2010, 82, 051104. [Google Scholar] [CrossRef]
 - Gomez-Solano, J.R.; Petrosyan, A.; Ciliberto, S. Heat Fluctuations in a Nonequilibrium Bath. Phys. Rev. Lett. 2011, 106, 200602. [Google Scholar] [CrossRef]
 - Salazar, D.S.P.; Lira, S.A. Exactly solvable nonequilibrium Langevin relaxation of a trapped nanoparticle. J. Phys. A Math. Theor. 2016, 49, 465001. [Google Scholar] [CrossRef][Green Version]
 - Pagare, A.; Cherayil, B.J. Stochastic thermodynamics of a harmonically trapped colloid in linear mixed flow. Phys. Rev. E 2019, 100, 052124. [Google Scholar] [CrossRef] [PubMed]
 - Paraguassú, P.V.; Aquino, R.; Morgado, W.A.M. The Heat Distribution of the Underdamped Langevin Equation. arXiv 2021, arXiv:ond-mat.stat-mech/2102.09115. [Google Scholar]
 - Gupta, D.; Sivak, D.A. Heat fluctuations in a harmonic chain of active particles. Phys. Rev. E 2021, 104, 024605. [Google Scholar] [CrossRef]
 - Esposito, M.; Ochoa, M.A.; Galperin, M. Nature of heat in strongly coupled open quantum systems. Phys. Rev. B 2015, 92, 235440. [Google Scholar] [CrossRef]
 - Talkner, P.; Hänggi, P. Open system trajectories specify fluctuating work but not heat. Phys. Rev. E 2016, 94, 022143. [Google Scholar] [CrossRef] [PubMed]
 - Talkner, P.; Hänggi, P. Colloquium: Statistical mechanics and thermodynamics at strong coupling: Quantum and classical. Rev. Mod. Phys. 2020, 92, 041002. [Google Scholar] [CrossRef]
 - Bez, W. Microscopic preparation and macroscopic motion of a Brownian particle. Z. Phys. B 1980, 39, 319–325. [Google Scholar] [CrossRef]
 - Caldeira, A.; Leggett, A. Path integral approach to quantum Brownian motion. Phys. A 1983, 121, 587–616. [Google Scholar] [CrossRef]
 - Caldeira, A.; Leggett, A. Quantum tunnelling in a dissipative system. Ann. Phys. 1983, 149, 374–456. [Google Scholar] [CrossRef]
 - Unruh, W.G.; Zurek, W.H. Reduction of a wave packet in quantum Brownian motion. Phys. Rev. D 1989, 40, 1071–1094. [Google Scholar] [CrossRef] [PubMed]
 - Breuer, H.P.; Petruccione, F. The Theory of Open Quantum Systems; Oxford University Press: Oxford, UK, 2007. [Google Scholar] [CrossRef]
 - Weiss, U. Quantum Dissipative Systems; World Scientific Publishing Company: Singapore, 2008. [Google Scholar]
 - Usually the quantum fluctuating heat is defined via two-point measurements over the heat bath. When the Hamiltonian of the system is time-independent, the internal energy change of the system is completely caused by the heat exchange. The quantum fluctuating heat can thus be alternatively defined via two-point measurements over the system, whose number of degrees of freedom is much smaller than that of the heat bath. Hence, the calculation of the heat statistics can be significantly simplified under this definition
 - Yu, L.H.; Sun, C.P. Evolution of the wave function in a dissipative system. Phys. Rev. A 1994, 49, 592–595. [Google Scholar] [CrossRef]
 - Wigner, E. On the Quantum Correction For Thermodynamic Equilibrium. Phys. Rev. 1932, 40, 749–759. [Google Scholar] [CrossRef]
 - Hillery, M.; O’Connell, R.; Scully, M.; Wigner, E. Distribution functions in physics: Fundamentals. Phys. Rep. 1984, 106, 121–167. [Google Scholar] [CrossRef]
 - Polkovnikov, A. Phase space representation of quantum dynamics. Ann. Phys. 2010, 325, 1790–1852. [Google Scholar] [CrossRef]
 - Fei, Z.; Quan, H.T.; Liu, F. Quantum corrections of work statistics in closed quantum systems. Phys. Rev. E 2018, 98, 012132. [Google Scholar] [CrossRef]
 - Qian, Y.; Liu, F. Computing characteristic functions of quantum work in phase space. Phys. Rev. E 2019, 100, 062119. [Google Scholar] [CrossRef]
 - Brodier, O.; Mallick, K.; de Almeida, A.M.O. Semiclassical work and quantum work identities in Weyl representation. J. Phys. A Math. Theor. 2020, 53, 325001. [Google Scholar] [CrossRef]
 - Qiu, T.; Fei, Z.; Pan, R.; Quan, H.T. Quantum corrections to the entropy and its application in the study of quantum Carnot engines. Phys. Rev. E 2020, 101, 032113. [Google Scholar] [CrossRef]
 - Qiu, T.; Quan, H.T. Quantum corrections to the entropy in a driven quantum Brownian motion model. Commun. Theor. Phys. 2021, 73, 095602. [Google Scholar] [CrossRef]
 - Hu, B.L.; Paz, J.P.; Zhang, Y. Quantum Brownian motion in a general environment: Exact master equation with nonlocal dissipation and colored noise. Phys. Rev. D 1992, 45, 2843–2861. [Google Scholar] [CrossRef]
 - Karrlein, R.; Grabert, H. Exact time evolution and master equations for the damped harmonic oscillator. Phys. Rev. E 1997, 55, 153–164. [Google Scholar] [CrossRef]
 - Ford, G.W.; O’Connell, R.F. Exact solution of the Hu-Paz-Zhang master equation. Phys. Rev. D 2001, 64, 105020. [Google Scholar] [CrossRef]
 - Salazar, D.S.P. Work distribution in thermal processes. Phys. Rev. E 2020, 101, 030101. [Google Scholar] [CrossRef] [PubMed]
 - Chen, Y.H.; Chen, J.F.; Fei, Z.; Quan, H.T. A microscopic theory of Curzon-Ahlborn heat engine. arXiv 2021, arXiv:cond-mat.statmech/ 2108.04128. [Google Scholar]
 - Cañizares, J.S.; Sols, F. Translational symmetry and microscopic preparation in oscillator models of quantum dissipation. Phys. A 1994, 212, 181–193. [Google Scholar] [CrossRef]
 - Ju, K.K.; Guo, C.X.; Pan, X.Y. Initial-Slip Term Effects on the Dissipation-Induced Transition of a Simple Harmonic Oscillator. Chin. Phys. Lett. 2017, 34, 010301. [Google Scholar] [CrossRef]
 - Kramers, H.A. Brownian motion in a field of force and the diffusion model of chemical reactions. Physica 1940, 7, 284–304. [Google Scholar] [CrossRef]
 - Grabert, H.; Weiss, U.; Talkner, P. Quantum theory of the damped harmonic oscillator. Z. Phys. B 1984, 55, 87–94. [Google Scholar] [CrossRef]
 - Strictly, the substitution requires to amend γn, Λnm, ξn, Δnm accordingly, but we only require q0(t) and p0(t) to calculate the characteristic function of heat, so we skip the further amendment.
 
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.  | 
© 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).