quantum open systems have been a subject of fundamental interest for many years .
problems in this category include those of understanding how the irreversibility of time appears in system dynamics , why macroscopic systems can be treated with classical mechanics instead of quantum mechanics , how wave functions collapse as a result of measurements done with macroscopic instruments , and why and how quantum systems approach a thermal equilibrium state through interaction with their environments.@xcite theories of quantum open systems have also been used to construct models of practical interest , in particular to account for line shapes in epr , nmr@xcite and laser spectra,@xcite to evaluate chemical reaction rates@xcite and electron and charge transfer rates@xcite in chemical physics , and to explore the lifetimes of quantum entanglement states in quantum information theory.@xcite    the phenomena mentioned above arise from the unavoidable interaction of a system with its environment . in the quantum mechanical case ,
dissipative systems are often modeled as main systems coupled to heat - bath degrees of freedom at finite temperature .
this coupling gives rise to thermal fluctuations and dissipation that drive the systems toward the thermal equilibrium state .
the heat - bath degrees of freedom are then reduced using such methods as the projection operator method and the path integral method .
the projection operator approach is effective if the interaction between the system and the bath is weak .
if one further assumes that the correlation time of the noise arising from the interaction with the bath is very short ( the markovian assumption ) , equations of motion for the density matrix elements can be derived , and these can be solved numerically .
the most commonly used equations of this kind are the quantum master equations@xcite and the redfield equation.@xcite it has been proven , however , that quantum master equations and the redfield equation do not satisfy the necessary positivity condition.@xcite careful analyses addressing this problem have been carried out by several researchers.@xcite as a method to preserve positivity , the rotating wave approximation ( rwa ) , which modifies the interaction between the system and the heat bath , has been applied.@xcite however , this may alter the thermal equilibrium state as well as the dynamics of the original total hamiltonian . then , building on these results , it was shown that the violation of the positivity condition results from the markovian assumption . specifically , it was found that even if the dissipation process is markovian , the fluctuation process may not be , because it must satisfy the fluctuation - dissipation theorem.@xcite    the time convolution - less ( tcl ) master equation has a wider range of applicability than the quantum master equations and redfield equation , because it allows the system - bath interaction to be non - perturbative and fluctuation and dissipation to be non - markovian.@xcite in order for a non - perturbative treatment to be possible , however , the system hamiltonian and the bath interactions of the tcl equation must commute.@xcite thus , the tcl equation can not be used to treat many important problems involving molecules , atoms , and spins driven by a time - dependent laser or magnetic field .
in addition , because of the factorized nature of the system - bath interaction , in the case of a non - commuting excitation , the tcl equation can not be used to calculate nonlinear response functions of the system operator involved in the optical multidimensional spectrum.@xcite    path integral monte carlo simulations do not have the limitations of any of the approaches discussed above , and for this reason , they are capable of incorporating imaginary path integrals and unfactorized initial conditions more easily , but this approach is computationally heavy , because the number of paths to be evaluated grows rapidly with time , while sampling fails due to the phase cancellation of wave functions.@xcite much effort has been made to extend the applicability of this method.@xcite because this approach can easily incorporate the semi - classical approximation in the bath , it may have an advantage in the study of polyatomic systems treated in multi - dimensional coordinates , but applications to this point incorporating full quantum dynamics have been limited to relatively small systems .
many of the above - mentioned limitations can be overcome with the hierarchal equations of motion ( heom ) for the reduced density matrix , which are derived by differentiating the reduced density matrix elements defined by path integrals.@xcite this approach was introduced to investigate the connection between the phenomenological stochastic liouville equation and the dynamical hamiltonian theory , and was originally limited to the case in which the spectral distribution function takes the drude form ( i.e. , the ohmic form with a lorentzian cutoff ) and the bath temperature is high.@xcite however , with the inclusion of low temperature corrections terms , this temperature limitation has been eliminated.@xcite in addition , with the extension of the dimension of the hierarchy , this approach is capable of treating a great variety of spectral distribution functions.@xcite this formalism is valuable because it can treat not only strong system - bath coupling but also quantum coherence between the system and bath , which is essential to calculate nonlinear response functions . the system - bath coherence becomes particularly important if the bath interaction is regarded as non - markovian , as was found from nonlinear optical measurements in the late 1980s , when laser technology reached the femto - second time scale , which is much shorter than the noise correlation time of environmental molecules.@xcite the heom approach has been used to study such problems , which include multi - dimensional spectroscopy.@xcite recently , it was shown that system - bath coherence also plays an important role in calculations of quantum measures involving concurrence@xcite and non - markovianity@xcite under multiple external perturbations.@xcite    because the heom approach is computationally heavy , a variety of methods have been developed to study dissipative dynamics in realistic situations .
@xcite it has been applied to the study of multi - dimensional vibrational spectroscopies,@xcite photosynthetic antenna systems,@xcite fermion systems , @xcite quantum ratchets,@xcite resonant tunneling diodes,@xcite and dissociation of tightly bounded electron - hole pairs.@xcite    while the applicability of the heom approach continues to expand , the basic nature of the hierarchy elements has not been thoroughly explored .
the purpose of this paper is to investigate the role of correlated initial equilibrium states in the heom formalism . until this time
, the heom have been derived by assuming a factorized initial state , @xmath0 \exp[-\beta \hat h_b]$ ] , at inverse temperature @xmath1 , where @xmath2 and @xmath3 are the system and bath hamiltonians , respectively , while the true thermal equilibrium state of the system is given by @xmath4 $ ] , where @xmath5 is the system - bath interaction .
the difference between the factorized and correlated initial states becomes large for strong @xmath5 .
analysis based on an analytic solution of a brownian oscillator system indicates that even if we start from a factorized initial state , the system reaches the true equilibrium state , @xmath6\}$ ] , through transient phenomena arising from the factorized initial state , for example phenomena known as initial sweeping.@xcite with the heom approach , we have run the heom program until all of the hierarchy elements reach the steady state and then used these elements as the initial conditions of the correlated thermal equilibrium state .
the accuracy of this method has been confirmed by analyzing multi - dimensional spectra obtained with it.@xcite nevertheless , it would be interesting to derive the heom starting from a correlated initial thermal state in order to obtain an analytically derived expression for the system - bath coherence in the heom formalism .
moreover , with a simple generalization , we can also derive the heom in imaginary time , which corresponds to the inverse temperature .
we show that the imaginary - time heom is convenient for obtaining correlated thermal equilibrium states and the thermodynamic variables of the reduced system .
the organization of the paper is as follows . in sec . ii we present a model hamiltonian and its influence functional with correlated initial states . in sec .
iii , we derive the heom from the density matrix elements using the influence functional formalism with the correlated initial states given in sec .
ii . in sec . iv , we derive the imaginary - time heom , which is convenient for evaluating correlated thermal equilibrium states and the thermodynamic quantities of the system . in sec .
v , to confirm the validity and numerical efficiency of our approach , we report the results of numerical integrations of the heom carried out over real time and imaginary time for a spin - boson system and compare their results .
thermodynamic variables and expectation values for the spin - boson system are also calculated as a demonstration .
section vi is devoted to concluding remarks .
we consider a situation in which the system interacts with a heat bath that gives rise to dissipation and fluctuation in the system . to illustrate this , let us consider a hamiltonian expressed as @xmath7 where @xmath8 is the hamiltonian of the system , denoted by a , defined by the creation and annihilation operators @xmath9 and @xmath10 .
the bath degrees of freedom are treated as an ensemble of harmonic oscillators , @xmath11 with the momentum , position , mass , and frequency of the @xmath12th bath oscillator given by @xmath13 , @xmath14 , @xmath15 and @xmath16 , respectively .
the system - bath interaction is given by @xmath17 where @xmath18 is the system part of the interaction , and @xmath19 is the coupling constant between the system and the @xmath12th oscillator .
the heat bath can be characterized by the spectral distribution function , defined by @xmath20 and the inverse temperature , @xmath21 , where @xmath22 is the boltzmann constant . note that if @xmath9 and @xmath10 respectively represent the creation and annihilation operators of spin states , the above hamiltonian is the spin - boson hamiltonian ,  @xcite which has been studied with various approaches.@xcite    now , let us introduce the fermion coherent state @xmath23 , which satisfies @xmath24 and @xmath25 , where @xmath26 and @xmath27 are grassmann numbers ( g - numbers ) .
@xcite note that here we consider a two - level system , but extension to a multi - level system is also straightforward.@xcite in practice , we can treat a g - number system in the same manner as a c - number system , as long as we maintain the time order of the operators in the integral . in the path integral representation ,
the time propagator of the wave function ( the feynman propagator ) for the total system is expressed as @xmath28 } \int_{{\bold x}(0)={\bold x}_0}^{{\bold x}(t)={\bold x } }   d[{\bold x}(\tau ) ] \nonumber \\ & & \times { \rm e}^{\frac{\rm i}{\hbar } s_a[\phi ^{\dag},\,\phi ; \,t ] + \frac{i}{\hbar }   \int_0^t d\tau \left [ \frac12{m \dot { \bold x}^2(\tau)}- \frac12 m \omega^2 { \bold x}^2(\tau ) +   v ( \tau){\bold x } ( \tau ) \right ] } ,    \label{gtot}\end{aligned}\ ] ] where @xmath29 is the normalization constant , @xmath30 $ ] represents a functional integral over a set of grassmann variables , and @xmath31\equiv \pi_j \int d[x_j(\tau)]$ ] denotes path integrals over the bath oscillator coordinates , with @xmath32 , @xmath33 , and @xmath34 . here ,
the action for the system s hamiltonian , @xmath35 , is denoted by @xmath36=\int^t_{0 } d\tau l_a({\phi}^{\dag},{\phi})$ ] , with the lagrangian @xmath37 the thermal equilibrium state can also be expressed in the path integral representation by making the replacement @xmath38 in eq .. we thereby obtain @xmath39 } \int_{\bar { \bold x}(0)={\bold x}'_0}^{\bar { \bold x}(\beta\hbar)={\bold x}_0 }   d[\bar { \bold x}(\tau ' ) ] \nonumber \\ & & \times { \rm e}^{-\frac{\rm 1}{\hbar } \bar s_a[\bar \phi ^{\dag},\,\bar \phi ; \,\beta \hbar ] -\frac{1}{\hbar }   \int_0^{\beta \hbar } d\tau ' \left [ \frac12{m \dot { \bar { \bold x}}^2(\tau')}+ \frac12 m \omega^2 \bar { \bold x}^2(\tau ' ) -   { \bar v } ( \tau ' ) \bar { \bold x } ( \tau ' ) \right ] } ,    \label{geqtot}\end{aligned}\ ] ] where @xmath40 is the normalization constant , the g - numbers @xmath41 form the coherent representations of the operators @xmath42 for the equilibrium distribution , @xmath43 $ ] is the euclid action of the system obtained from @xmath36 $ ] through the replacement @xmath44 , and @xmath45 .
the total density matrix elements is then given by @xmath46 the heat - bath degrees of freedom can be eliminated by integrating over the bath coordinates as @xmath47 .
the reduced density operator is then expressed in the coherent representation of the g - numbers as@xcite @xmath48 where @xmath49 } \int_{\bar \phi ( 0)=\phi'_0}^{\bar \phi ( \beta \hbar)=\phi_0 }   d[{\bar \phi}^{\dag}(\tau ' ) \bar \phi ( \tau ' ) ]    \int_{\phi'(0)=\phi_0'}^{\phi'(t)=\phi ' }    { d[{\phi ' } ^{\dag } ( \tau ) \phi ' ( \tau ) ]     }   \nonumber \\     & & \times \bar \rho_0^{eq}[\bar \phi ^\dag   , \bar \phi ; \beta \hbar ] { \rm e}^{\frac{\rm i}{\hbar } s_a[\phi ^{\dag},\,\phi ; \,t ] }    f[\bold v ; t , \beta\hbar ] { \rm e}^ { - \frac{\rm i } { \hbar } s_a^{\dag}[{\phi ' } ^{\dag},\,\phi ' ; \,t]}. \label{rhotot1}\end{aligned}\ ] ] here , @xmath50 $ ] is the thermal equilibrium distribution of the system @xmath51 itself , defined by the euclid action , @xmath52 $ ] , and @xmath53 $ ] with @xmath54 is the influence functional for correlated initial states.@xcite employing the counter path illustrated in fig . 1 , we can express the influence functional in the path integral representation as ( see appendix a )    @xmath55 = \int d\bold x   \int_{{\bold x}'(t)={\bold x}}^{{\bold x}(t)={\bold x } }   d[\tilde { \bold x}(s ) ] e^{-\frac{i}{\hbar } \int_c ds\left [ \frac12{m \dot { \tilde { \bold x}}^2(s)}- \frac12 m \omega^2\tilde { \bold x}^2(s ) + \tilde v_c(s)\tilde { \bold x } ( s ) \right ] } ,    \label{eq : f_x}\end{aligned}\ ] ]    where @xmath56\equiv \pi_j \int d[x_j(\tau ) ] \int d[\bar x_j(\tau ' ) ] \int d[x_j'(\tau)]$ ] , with the contour path defined by @xmath57 and @xmath58 with @xmath59 , @xmath60 and @xmath61 , respectively .
the path integral used here to derive the heom is expressed in terms of an influence functional .
the calculation of the influence functional for a heat bath consisting of harmonic oscillators is analogous to that of the generating functional for a brownian oscillator system if we regard the system operator in the system - bath interaction @xmath62 as an external force acting on the bath .
@xcite then , the influence functional can be calculated analytically and is found to be @xmath63=\exp\left\{{\tilde \phi}[\tilde v_c ; t , \beta\hbar]\right\}$ ] , where the influence phase is expressed as ( see appendix a ) @xmath64 =   \frac1{\hbar^2 }   \int_c ds '' \int_{c ' } ds ' \tilde v_c(s '' ) \tilde v_{c'}(s ' ) l ( s '' - s ' ) .
\label{eq : phita}\end{aligned}\ ] ] here , @xmath65 represents the counter path for @xmath66 that follows @xmath67 along @xmath68 under the condition @xmath69 and @xmath70 .
\label{eq : ltitau}\end{aligned}\ ] ] after dividing the contour of the integral in eq . into @xmath71 , @xmath72 and @xmath73 , we have ( see appendix b ) @xmath74 & = & - \frac1{\hbar^2 } \int_0^t dt '' \int_0^{t '' } dt '   v^\times(t '' ) \left[-i l_1   ( t''-t ' ) v^\circ(t ' ) + l_2(t''-t ' ) v^\times(t ' ) \right ] \nonumber \\ & & + \frac{i}{\hbar^2 }   \int_0^t dt '' \int_0^{\beta \hbar } d \tau ' v^\times(t '' )   l ( t ''
+ i \tau ' ) \bar v ( \tau ' )   \nonumber \\ & & + \frac1{\hbar^2 } \int_0^{\beta \hbar }   d \tau '' \int_0^{\tau '' }   d \tau ' \bar v ( \tau '' )   \bar v ( \tau ' )   \bar l(\tau '' -   \tau ' ) , \label{eq : phitb}\end{aligned}\ ] ] where we define @xmath75 , @xmath76 and @xmath77 the functionals @xmath78 and @xmath79 represent the commutator and anticommutator of @xmath62 .
this form of the influence functional has been used to analytically study quantum brownian systems.@xcite    the first term in eq .
represents a commonly used influence functional derived from the factorized initial conditions .
@xcite the collective bath oscillator coordinate , @xmath80 , is regarded as a driving force for the system through the interaction @xmath81 .
the time - dependent kernels are then represented by @xmath82\rangle$ ] and @xmath83 , respectively , where @xmath84 is the heisenberg representation of the operator @xmath85 .
@xcite the function @xmath86 is analogous to the classical correlation function of the bath induced noise @xmath87 and corresponds to the fluctuations .
the dissipation corresponding to @xmath88 is related to @xmath89 through the quantum version of the fluctuation - dissipation theorem , @xmath90 = \hbar \omega \coth(\beta \hbar \omega/2 ) \bar c [ \omega]/2 $ ] , which insures that the system evolves toward the thermal equilibrium state for finite temperatures.@xcite the second term in eq .
consists of the cross - terms between the real - time and imaginary - time integrals that describe the correlation between the initial equilibrium state and the dynamical state at time @xmath91 .
this term represents the contribution of the correlated initial conditions and can be regarded as the non - markovian effects with respect to both real and imaginary times .
the last term describes the influence of the heat bath on the thermal equilibrium state of the system . in the following sections , in order to derive the imaginary - time hoem , we consider the full equilibrium state of the system , @xmath92 $ ] , by including the last term in @xmath50 $ ] .    for @xmath93 , we have@xcite @xmath94 @xmath95 where @xmath96 are the matsubara frequencies .
we thus have @xmath97 \cos(\omega t ) \nonumber \\
+ i   \frac{2}{\beta\hbar } \int_{0}^{\infty }   d\omega j(\omega )     \sum_{k=1}^{\infty } \frac{2\nu_k}{\nu_k^2+\omega^2 }   \sin ( \nu_k \tau )   \sin(\omega t ) , \label{eq : lfourier}\end{aligned}\ ] ] and @xmath98 .
\label{eq : lbardef } \end{aligned}\ ] ]    for the case @xmath99 , we use the definition given in eq . to obtain @xmath100 @xmath101 \cos(\omega t).\end{aligned}\ ] ]
we assume that the spectral density @xmath102 has an ohmic form with a lorentzian cutoff and write@xcite @xmath103 where the constant @xmath104 represents the width of the spectral distribution of the collective bath modes and is the reciprocal of the correlation time of the noise induced by the bath .
the parameter @xmath105 is the system - bath coupling strength , which represents the magnitude of damping .    with eq .
for @xmath93 , we obtain @xmath106 } \right\ } e^{-\gamma t } \nonumber \\ & &   +   \sum_{k=1}^{\infty }   \textcolor{red } { c_k ' \left[\cos ( \nu_k \tau ) -i \sin ( \nu_k \tau ) \right ] }   e^{-\nu_k t } ,   \label{eq : ltitau2}\end{aligned}\ ] ] where @xmath107 @xmath108 and @xmath109 . at @xmath110 ,
the above equation reduces to @xmath111 where @xmath112 , @xmath113 , and @xmath114 for @xmath115 , while at @xmath99 , we have @xmath116 and @xmath117 with @xmath118 . here
, we choose @xmath119 so as to satisfy @xmath120 , where @xmath121 represents the characteristic frequency of the system . under this condition
we can apply the approximation @xmath122 with negligible error at the desired temperature , @xmath123 .
we define the equilibrium distribution function of the system under the influence of the heat bath through the replacement of the last term of @xmath124 $ ] ( as expressed in eq . ) appearing @xmath53 $ ] with @xmath50 $ ] .
we then obtain @xmath125=\frac{1}{z_b }   { \rm exp}&&\left[- \frac1{\hbar } \bar { s_a}[\bar \phi ^   { \dag } , \bar \phi ; \beta \hbar ]   \right.\nonumber \\ & & \left .
+ \sum_{k=0}^{\infty } \frac{\bar c_k}{\hbar^2 }    \int_{0}^ { \beta \hbar } d \tau ''   \int_{0}^{\tau '' } d   \tau '   \bar v(\tau '' ) \bar v ( \tau ' )   \cos \left ( \nu_k ( \tau''- \tau')\right ) \right ] .
\label{eq : pci}\end{aligned}\ ] ] the influence functional @xmath126 $ ] is redefined through this replacement as @xmath127 & & =   \exp \left [   \left ( -\frac{i}{\hbar }   \right)^2 \int_{0}^t dt '' \operatorname{e } ^ { - \gamma t '' }    % \left\ {   v^{\times}(t '' ) \left ( \int_{0}^{t '' } dt '      \operatorname{e } ^ {   \gamma   t ' } \theta ( t ' )   % +   -i \bar \theta   ( \beta \hbar )   \right )   % + \xi(t '' ) % \right\ }   \right ] \nonumber \\ & & \times \exp \left [ \left ( -\frac{i}{\hbar }   \right)^2 \int_{0}^t dt''\sum\limits_{k= 1}^{k } \operatorname{e } ^ { - \nu_k t '' }    v^{\times}(t '' ) \left ( \int_{0}^{t '' } dt '     \operatorname{e } ^ {   \nu_k   t ' } \psi_k ( t ' )    % +   -i \bar \psi_k    ( \beta \hbar ) \right )     \right ]   \nonumber \\ & & \times \exp \left [ -   \int_{0}^t dt '' \xi(t '' ) \right ] , \label{eq : influencefcoh}\end{aligned}\ ] ] where @xmath128 @xmath129 } \right\ } , \label{eq : thetabar}\end{aligned}\ ] ] and for @xmath130 , @xmath131 , \label{eq : psi_k}\end{aligned}\ ] ] @xmath132 , } \label{eq : psi_kbar}\end{aligned}\ ] ] and @xmath133 note that in the high temperature limit , @xmath134 , the noise correlation function reduces to @xmath135 .
this indicates that the heat bath oscillators interact with the system in the form of gaussian markovian noise.@xcite    the equations of motion for the reduced density operator can be derived by evaluating the time derivative of the wavefunctions on the left - hand and right - hand sides and the influence functional.@xcite if we consider the auxiliary matrix defined by @xmath136 } \int_{\bar \phi ( 0)=\phi'_0}^{\bar \phi ( \beta \hbar)=\phi_0 }   d[{\bar \phi}^{\dag}(\tau ' ) \bar \phi ( \tau ' ) ]    \int_{\phi'(0)=\phi_0'}^{\phi'(t)=\phi ' }    { d[{\phi ' } ^{\dag}(\tau ) \phi ' ( \tau ) ]     } \nonumber \\     & & \times \bar \rho^{eq } [ \bar \phi ^\dag   , \bar \phi ; \beta \hbar ] { \rm e}^{\frac{\rm i}{\hbar } s_a[\phi ^{\dag},\,\phi ; \,t ] }   f_{j_1 , \cdots , j_k}^{(n ) } [ \bold v ; t , \beta\hbar ] { \rm e}^ { - \frac{\rm i } { \hbar } s_a^{\dag}[{\phi ' } ^{\dag},\,\phi ' ; \,t ] } \label{eq : rhon_jk}\end{aligned}\ ] ] where @xmath137 & & =    \left\ { \textcolor{red } { -\frac{i}{\hbar } } % color \int_{0}^{t } dt '     \operatorname{e } ^ { -\gamma ( t - t ' ) } \theta ( t ' )    % +   -i \operatorname{e } ^ { -\gamma t } \bar \theta ( \beta \hbar ) \right\ } ^{n } \nonumber \\ & & \times \prod_{k=1}^k   \left\ { \textcolor{red } { -\frac{i}{\hbar } } % color \int_{0}^{t } dt '     \operatorname{e } ^ { -\nu_k   ( t - t')}\psi_k ( t ' )    % +   -i \operatorname{e } ^ { -\nu_k t } \bar \psi_k   ( \beta \hbar)\right\ } ^{j_k }   \nonumber \\&&\times   f_{ci}[\bold v ; t , \beta\hbar ] \label{auxfv}\end{aligned}\ ] ] for nonnegative integers @xmath138 . among the @xmath139
, only @xmath140 has a physical meaning , and the others are introduced for computational purposes .
differentiating @xmath141 with respect to @xmath91 , we obtain the following hierarchy of equations in operator form : @xmath142      \hat{\rho}_{j_1 , \dots , j_k}^{(n)}(t ) \notag\\       & & -\frac{i}{\hbar}\hat v^{\times }      \hat{\rho}_{j_1 , \dots , j_k}^{(n+1)}(t ) - \frac{i}{\hbar } \sum_{k=1}^k \hat v^{\times }       \hat{\rho}_{j_1 , \dots , j_k+1,\dots , j_k}^{(n)}(t )     \notag\\          & & -   \frac{i n}{\hbar } \hat{\theta }      \hat{\rho}_{j_1,\dots , j_k}^{(n-1 ) } ( t )   - \sum_{k=1}^k   \frac{i j_k}{\hbar }   \hat{\psi}_k      \hat{\rho}_{j_1,\dots , j_k-1,\dots , j_k}^{(n)}(t ) , \label{eq : heom}\end{aligned}\ ] ] where @xmath143 is the liouvillian of @xmath2 , and the relaxation operators @xmath144 and @xmath145 are obtained through the replacement @xmath146 and @xmath147 in eqs . and , where @xmath148 and @xmath149 for any operand operator @xmath150 and @xmath151 , and @xmath152     + \sum_{k=1}^k   \frac { c_k'}{\nu_k }   \right\ }       \hat{v}^\times\hat{v}^\times .
\label{heomt3}\end{aligned}\ ] ] the above expression is identical to the heom with a factorized initial state and can be truncated in the same manner as in the factorized case for large @xmath153 , where @xmath121 is the characteristic frequency of the system.@xcite if we add the counter term to the hamiltonian , we have an additional term in eq .. @xcite    while the terms from the correlated initial state @xmath154 and @xmath155 do not appear in eq .
, they define the hierarchy elements for the correlated initial equilibrium state .
to demonstrate this point , we consider the initial states of the density operators , obtained by setting @xmath110 in eqs . and : @xmath156       \left(-i \bar \theta   ( \beta \hbar ) \right)^{n }    \prod_{k=1}^k   \left (   -i   \bar \psi_k   ( \beta \hbar ) \right)^{j_k }    \bar \rho [ \bar \phi ^\dag   , \bar \phi ; \beta \hbar ] .
\nonumber \\ \label{eq : correlatedheom}\end{aligned}\ ] ] here , @xmath157 and @xmath158 & & =   { \rm exp}\left [ - \frac1{\hbar } \bar { s_a}[\bar \phi ^   { \dag } , \bar \phi ; \tau ] \right ]    % { \rm exp}\left [ c_0''\int_{0}^{\tau } d \tau ''   \int_{0}^{\tau '' } d   \tau '   \bar v(\tau '' ) \bar v ( \tau ' )   \right ]     \nonumber \\ & & \times   { \rm exp}\left [    \sum_{k=0}^{\infty } \frac{\bar c_k}{\hbar^2 }    \int_{0}^{\tau } d \tau ''   \int_{0}^{\tau '' } d   \tau '   \bar v(\tau '' ) \bar v ( \tau ' )   \cos ( \nu_k \tau'')\cos ( \nu_k \tau ' )   \right ] \nonumber \\ & & \times   { \rm exp}\left [    \sum_{k=1}^{\infty }   \frac{\bar c_k}{\hbar^2 }    \int_{0}^{\tau } d \tau ''   \int_{0}^{\tau '' } d   \tau '   \bar v(\tau '' ) \bar v ( \tau ' )   \sin ( \nu_k \tau'')\sin ( \nu_k \tau ' )   \right],\end{aligned}\ ] ] and we have @xmath92= z_{b } \bar \rho [ \bar \phi ^\dag   , \bar \phi ; \beta \hbar]$ ] .
this defines the correlated equilibrium initial conditions of eq .. in the next section , we derive the equations of motion to evaluate these hierarchy elements .
the thermal equilibrium state @xmath159 $ ] at time @xmath110 and inverse temperature @xmath160 can be obtained by considering the imaginary - time derivative of the reduced density matrix elements given in eq.([eq : pci ] ) .
this is expressed as @xmath161 } ( \tau ) & & = - \hat h_a \hat { \bar \rho}_{k^1,\dots , k^{m}}^{\,[m : l ] }   ( \tau )     +   \frac{1}{\hbar } \sum\limits_{k^{m+1 } = 0}^{k } \bar c_{k^{m+1 } } \cos(\nu_{k^{m+1 } } \tau )     \hat v \hat { \bar \rho}_{k^1,\dots , k^{m+1}}^{\,[m+1:l ] }   ( \tau )   \nonumber   \\ & &   +    \frac{1}{\hbar } \sum\limits_{k^{m+1 } = 0}^{k } \bar c_{k^{m+1 } } \sin(\nu_{k^{m+1 } } \tau )     \hat v \hat
{ \bar \rho}_{k^1,\dots , k^{m+1}}^{\,[m+1:l+1 ] }   ( \tau ) \nonumber   \\ & &   +   \frac{1}{\hbar}\sum\limits_{h = 1}^{m - l}\cos(\nu_{k^h } \tau )   \hat v \hat { \bar \rho}_{k^1,\dots , k^{h-1},k^{h+1},\dots , k^{m}}^{\,[m-1:l ] }   ( \tau )   \nonumber   \\ & & +   \frac{1}{\hbar}\sum\limits_{h = m - l+1}^{{\color{red}{m}}}\sin(\nu_{k^h } \tau ) \hat v \hat { \bar \rho}_{k^1,\dots , k^{h-1},k^{h+1},\dots , k^{m}}^{\,[m-1:l-1 ] }   ( \tau ) , \label{eq : imheom}\end{aligned}\ ] ] where @xmath162}(\tau)$ ] is the density operator defined in path integral form as @xmath163 } ( \phi _ 0^\dag   , \phi ' _ 0 ; \tau ) & & = \int_{\bar \phi ( 0)=\phi'_0}^{\bar \phi ( \tau)=\phi_0 }   d[\bar \phi ^{\dag}(\tau ) \bar \phi ( \tau ) ]    \prod_{g=1}^{m - l } \left ( \int_0^{\tau }   d\tau_g   \cos(\nu_{k^g}\tau_g )    \bar v(\tau_g ) \right ) \nonumber \\ & & \times\prod_{g'=m - l+1}^{m } \left ( \int_0^{\tau }   d\tau_{g ' }   \sin(\nu_{k^{g'}}\tau_{g ' } )   \bar v(\tau_{g ' } ) \right ) \bar \rho[\bar \phi ^\dag   , \bar \phi ; \tau ] .
\label{eq : imheomelm}\end{aligned}\ ] ] note that the first product in eq .
contains @xmath164 factors , and the second contains @xmath165 factors .
thus , the expression there is @xmath164th order in @xmath166 and @xmath165th order in @xmath167 .
also , @xmath168 }   ( \tau)$ ] and @xmath169 }   ( \tau)$ ] in eq .
denote the hierarchy elements defined by eq . without the index @xmath170 for @xmath171 .
note that any exchange of suffixes @xmath172 and @xmath173 in eq .
that merely results in the permutation of two cosine factors or two sine factors leaves the total integral unchanged , while one that results in the arguments of a sine and cosine being exchanged will generally cause the total integral to change . to truncate the hierarchy equations , we choose some large value of @xmath174 and set the elements at @xmath175th order to 0 .
we thus obtain a closed set of equations up to @xmath176th order .    to illustrate the structure of the hierarchy given in eq .
, here we write out the equations up to second order .
the hierarchy starts from the zeroth - order equation , which is that for the thermal equilibrium state density matrix : @xmath177 } ( \tau ) & & = - \hat h_a \hat { \bar \rho}^{\,[0:0 ] }   ( \tau )    \nonumber   \\ & & +   \frac{1}{\hbar } \sum\limits_{k^{1 } = 0}^{k ' } \bar c_{k^{1 } } \cos(\nu_{k^{1 } } \tau )     \hat v \hat { \bar \rho}_{k^{1}}^{\,[1:0 ] }   ( \tau )   +   \frac{1}{\hbar } \sum\limits_{k^{1 } = 0}^{k ' } \bar c_{k^{1 } } \sin(\nu_{k^{1 } } \tau )     \hat v \hat { \bar \rho}_{k^1}^{\,[1:1 ] }   ( \tau).\end{aligned}\ ] ] then , the first order consists of two equations , @xmath178 } ( \tau ) & & = - \hat h_a \hat { \bar \rho}_{k^1}^{\,[1:0 ] }   ( \tau )   +   \frac{1}{\hbar}\cos(\nu_{k^1 } \tau ) \hat v \hat { \bar \rho}^{\,[0:0 ] }   ( \tau ) \nonumber   \\ & & +   \frac{1}{\hbar } \sum\limits_{k^{2 } = 0}^{k ' } \bar c_{k^{2 } } \cos(\nu_{k^{2 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^{2}}^{\,[2:0 ] }   ( \tau ) +   \frac{1}{\hbar } \sum\limits_{k^{2 } = 0}^{k ' } \bar c_{k^{2 } } \sin(\nu_{k^{2 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^{2}}^{\,[2:1 ] }   ( \tau),\end{aligned}\ ] ] @xmath179 } ( \tau ) & & = - \hat h_a \hat { \bar \rho}_{k^1}^{\,[1:1 ] }   ( \tau )   +   \frac{1}{\hbar}\sin(\nu_{k^1 } \tau ) \hat v \hat { \bar \rho}^{\,[0:0 ] }   ( \tau ) \nonumber   \\ & & +   \frac{1}{\hbar } \sum\limits_{k^{2 } = 0}^{k ' } \bar c_{k^{2 } } \cos(\nu_{k^{2 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^{2}}^{\,[2:1 ] }   ( \tau)+ \frac{1}{\hbar } \sum\limits_{k^{2 } = 0}^{k ' } \bar c_{k^{2 } } \sin(\nu_{k^{2 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^{2}}^{\,[2:2 ] }   ( \tau),\end{aligned}\ ] ] and the second order consists of three equations , @xmath180 } ( \tau ) & & = - \hat h_a \hat { \bar \rho}_{k^1,k^{2}}^{\,[2:0 ] }   ( \tau )    +   \frac{1}{\hbar } \cos(\nu_{k^1 } \tau ) \hat v \hat { \bar \rho}_{k^{2}}^{\,[1:0 ] }   ( \tau)+ \frac{1}{\hbar } \cos(\nu_{k^2 } \tau ) \hat v \hat { \bar \rho}_{k^{1}}^{\,[1:0 ] }   ( \tau )   \nonumber \\   & & + \frac{1}{\hbar } \sum\limits_{k^{3 } = 0}^{k ' } \bar c_{k^{3 } } \cos(\nu_{k^{3 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^2,k^3}^{\,[3:0 ] }   ( \tau )   +   \frac{1}{\hbar } \sum\limits_{k^{3 } = 0}^{k ' } \bar c_{k^3 } \sin(\nu_{k^{3 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^2,k^{3}}^{\,[3:1 ] }   ( \tau),\end{aligned}\ ] ] @xmath181 } ( \tau ) & & = - \hat h_a \hat { \bar \rho}_{k^1,k^{2}}^{\,[2:1 ] }   ( \tau )    +   \frac{1}{\hbar } \cos(\nu_{k^1 } \tau ) \hat v \hat { \bar \rho}_{k^{2}}^{\,[1:1 ] }   ( \tau ) + \frac{1}{\hbar } \sin(\nu_{k^2 } \tau ) \hat v \hat { \bar \rho}_{k^1}^{\,[1:0 ] }   ( \tau )   \nonumber \\   & & +   \frac{1}{\hbar } \sum\limits_{k^{3 } = 0}^{k ' } \bar c_{k^{3 } } \cos(\nu_{k^{3 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^2,k^3}^{\,[3:1 ] }   ( \tau )   +   \frac{1}{\hbar}\sum\limits_{k^{3 } = 0}^{k ' } \bar c_{k^3 } \sin(\nu_{k^{3 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^2,k^{3}}^{\,[3:2 ] }   ( \tau),\end{aligned}\ ] ] @xmath182 } ( \tau ) & & = - \hat h_a \hat { \bar \rho}_{k^1,k^{2}}^{\,[2:2 ] }   ( \tau )    +   \frac{1}{\hbar } \sin(\nu_{k^1 } \tau ) \hat v \hat { \bar \rho}_{k^{2}}^{\,[1:1 ] }   ( \tau)+ \frac{1}{\hbar } \sin(\nu_{k^2 } \tau )   \hat v \hat { \bar \rho}_{k^{1}}^{\,[1:1 ] }   ( \tau )   \nonumber \\   & & +   \frac{1}{\hbar } \sum\limits_{k^{3 } = 0}^{k ' } \bar c_{k^{3 } } \cos(\nu_{k^{3 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^2,k^3}^{\,[3:2 ] }   ( \tau )   +   \frac{1}{\hbar } \sum\limits_{k^{3 } = 0}^{k ' } \bar c_{k^3 } \sin(\nu_{k^{3 } } \tau )     \hat v \hat { \bar \rho}_{k^1,k^2,k^{3}}^{\,[3:3]}(\tau).\end{aligned}\ ] ]    from the definition , the initial conditions are set as @xmath183}(0)= \bf i$ ] , where @xmath184 is the unit operator , with all other hierarchy elements set to zero . the calculated elements @xmath162}(\beta \hbar)$ ]
must be normalized after the integration over imaginary time is carried out by dividing by @xmath185}(\beta \hbar)\}$ ] . a significant difference between the real - time heom , given in eq .
, and the above imaginary - time heom is that the former contain damping terms proportional to @xmath104 and @xmath186 , whereas the latter contain sinusoidal terms .
the imaginary - time heom readily yield the desired quantities , as they are solved by integrating over the pre - determined interval from @xmath99 to @xmath187 , in contrast to the situation for the real - time heom , in which the integration must be carried out until convergence to the steady state is realized .
any equilibrium expectation value of the system can be easily evaluated from @xmath183}(\beta \hbar)$ ] .
moreover , we can evaluate the imaginary - time correlation functions@xcite from eq . in the same manner that the real - time correlation functions are evaluated from the real - time heom.@xcite    the correlated initial states for the real - time heom can be constructed from the hierarchy elements of the imaginary - time heom .
the relations between the real - time and imaginary - time heom elements are similar to the relations between the expectation value of the collective bath oscillator coordinate and the real - time heom elements.@xcite here , we present the relations between the two sets of elements up to second order in the system - bath interaction : @xmath188 }   ( \beta\hbar ) ,   \label{eq : rho000}\end{aligned}\ ] ] @xmath189 }   ( \beta\hbar ) + \sum_{k=1}^{k ' }    \left(\textcolor{red}{c_k''}\hat { \bar \rho}_{k}^{\,[1:0 ] }   ( \beta\hbar ) \textcolor{red}{+i c_k ' } \hat { \bar \rho}_{k}^{\,[1:1 ] }   ( \beta\hbar )   \right ) \right ] , \label{eq : rho100}\end{aligned}\ ] ] @xmath190 }   ( \beta\hbar )   \textcolor{red}{-i c_k ' } \hat { \bar \rho}_{k}^{\,[1:1 ] }   ( \beta\hbar )   \right ) , \label{eq : rho0k0}\end{aligned}\ ] ] @xmath191 }   ( \beta\hbar ) + c_0''\sum_{k=1}^{k ' }     \left(\textcolor{red}{c_k '' } \hat { \bar \rho}_{0k}^{\,[2:0 ] }   ( \beta\hbar )   \textcolor{red}{+i c_k'}\hat { \bar \rho}_{0k}^{\,[2:1 ] }   ( \beta\hbar )   \right ) \right .
\nonumber \\ \left .
+ \sum_{k=1}^{k ' }   \sum_{k'=1}^{k ' }    \left(\textcolor{red}{c_k''c_{k ' } '' } \hat { \bar \rho}_{kk'}^{\,[2:0 ] }   ( \beta\hbar ) \textcolor{red}{+2i c_k''c_{k'}'}\hat { \bar \rho}_{kk'}^{\,[2:1]}(\beta\hbar ) \textcolor{red}{- c_{k } ' c_{k'}'}\hat { \bar \rho}_{kk'}^{\,[2:2]}(\beta\hbar ) \right )     \right],\end{aligned}\ ] ] @xmath192 }   ( \beta\hbar )
\textcolor{red}{-2 i c_k ' c_{k ' } ' } \hat { \bar \rho}_{k , k'}^{\,[2:1 ] }   ( \beta\hbar ) \right .
\nonumber \\ & & \left .
\textcolor{red}{- c_k ' c_{k'}'}\hat { \bar \rho}_{k , k'}^{\,[2:2 ] }   ( \beta\hbar )    \right )   .
\label{rho011}\end{aligned}\ ] ] the elements @xmath193 are obtained by setting @xmath194 in eq .. in practice , in order to evaluate the heom elements in the case of correlated initial conditions from the imaginary - time heom , the cutoff , @xmath195 , must be comparable to the cutoff of used for the real - time heom given in eq . , @xmath119 .
if we only need the equilibrium distribution , eq .
, however , we may choose @xmath195 even slightly smaller than @xmath196 .
the equilibrium reduced density matrix has been evaluated from various approaches.@xcite equation allows us to calculate the same matrix elements using the reduced equation of motion approach . moreover
, this approach allows us to evaluate the correlated initial conditions of the real - time heom .
in this section , we report the results of numerical simulations that demonstrate the applicability and validity of the imaginary - time heom , given in eq .
, for the system hamiltonian @xmath197 we chose the system parameters as @xmath198 and @xmath199 or @xmath200 , and the bath parameters as @xmath201 , @xmath202 , and @xmath203 for the system - bath interaction @xmath204 .
we truncated the hierarchy by setting @xmath205 } ( \tau)=0 $ ] for @xmath206 in the imaginary - time heom , while we truncated by setting @xmath207 for @xmath208 with @xmath209 in the real - time heom .
the 4th - order runge - kutta method was used for both the imaginary - time and real - time integrations with time steps of @xmath210 and @xmath211 , respectively .
the real - time heom were integrated from the factorized initial conditions @xmath212 and @xmath213 at @xmath110 , and steady states were realized between @xmath214 and @xmath215 .
first , we verified the accuracy of the imaginary - time heom by comparing the equilibrium state obtained from them with the steady state distributions obtained from the real - time heom for the temperatures @xmath216 , and @xmath217 with @xmath218 and @xmath219 .
we found that the steady - state calculated from the real - time heom , @xmath220 , deviates from the equilibrium state calculated from the imaginary - time heom , @xmath221 } ( \beta\hbar)/ z_{a}$ ] by less than @xmath222 of difference at @xmath223 .
the difference between the two results become larger for larger @xmath1 and for deeper hierarchy elements , because we solved the two kinds of heom using different truncation schemes .
other than this difference , however , the imaginary - time heom results are consistent with the real - time heom results .
this also indicates that the steady - state elements obtained from eq .
indeed represent the correlated thermal equilibrium state defined by eq ..
note that we must chose @xmath224 in order to accurately calculate the real - time heom elements for the correlated initial conditions from the imaginary - time heom .
then , in order to obtain a better accuracy for deeper hierarchy elements in the imaginary - time heom , we used a small time step in the numerical integrations .
for this reason , the computational costs for the real - time and imaginary - time heom were comparable .
however , if we merely needed the equilibrium distribution @xmath221 } ( \beta \hbar)$ ] to one percent accuracy , we could use a smaller cuttoff @xmath225 and/or a larger time step for the imaginary - time heom and thereby reduce the computational costs to less than @xmath226 of that for the results reported here .
.hierarchy elements calculated from the imaginary - time heom and real - time heom for several values of the inverse temperature , @xmath1 .
[ cols="^,^,^,^,^,^,^,^",options="header " , ]      although with the real - time heom , we can calculate only the probability distribution , with the imaginary - time heom we are able to calculate thermodynamic variables via the partition function of the reduced system , @xmath185}(\beta \hbar)\}$ ] .
note that the total partition function can be expressed as @xmath227 , where the partition function of the bath is given by @xmath228 because we consider an infinite number of oscillators , however , the partition function of the bath can not be determined .
for this reason , we consider the system part , @xmath229 , only .
we calculated the helmholtz free energy , @xmath230 , the entropy , @xmath231 , the internal energy , @xmath232 , the heat capacity , @xmath233 , and the susceptibility , @xmath234 , from @xmath229 for several values of @xmath1 . to obtain these quantities , we numerically integrated the imaginary - time heom for fixed @xmath218 and @xmath199 to obtain @xmath229 for @xmath1 satisfying @xmath235 at steps of @xmath236 .
for the susceptibility , we also calculated the free energy for @xmath237 in order to evaluate the derivative with respect to @xmath238 at @xmath239 .
the quantities mentioned above obtained using the imaginary - time heom are compared in fig .
1 with the corresponding quantities for a system characterized by the canonical distribution , @xmath240\}$ ] , with the same hamiltonian @xmath2 ( with @xmath199 ) and inverse temperature @xmath1 .
this corresponds to the partition function of the system in the case that the total partition function takes the factorized form @xmath241\ } tr_b\ { \exp[-\beta \hat h_b]\}$ ] .
the thermodynamic quantities are then given by @xmath242 , @xmath243 , @xmath244 , @xmath245 - @xmath246 $ ] , and @xmath247 . also , note that the susceptibility for finite @xmath238 is expressed as @xmath248/2 $ ] .
the superscript `` 0 '' on these quantities indicates that these are calculated using the conventional statistical physics approach , which is equivalent to assuming a factorized thermal equilibrium state .    as seen in fig .
2 , in both cases of the spin - boson and factorized spin system , the entropy and internal energy decrease with the inverse temperature , while the heat capacities of both systems exhibit maxima at inverse temperatures near @xmath249 , where the thermal excitation energy becomes comparable to the excitation energy .
the entropy in the spin - boson case is larger than that in the factorized case at lower temperatures because the spin - boson system involves more degrees of freedom , due to the presence of the system - bath interaction .
it is also seen that the internal energy is systematically lower in the spin - boson case than in the factorized case .
this indicates that the bath absorbs some of the system energy through the interaction .
the degree to which the system energy is absorbed by the bath increases as @xmath1 approaches the thermal excitation energy of the system and , as a result , the heat capacity of the spin - boson system becomes smaller than that of the factorized spin system near the peak position at @xmath249 .
compared with the other thermodynamic variables , the difference between the susceptibilities in the two cases is small .
this is because the system - bath interaction has the same form as the magnetic excitation , and the effects of @xmath238 are suppressed by the strong system - bath interaction .
it is important to note here that those states regarded as the thermal equilibrium states in the two cases compared above are different . in the conventional treatment
, the thermal equilibrium state of the system corresponds to the case of a factorized partition function , while in the present treatment of the spin - boson system , we consider the thermal equilibrium state of the total system . although the difference between the equilibrium thermodynamic quantities for the spin - boson system and the factorized spin system are rather minor in the static case considered in fig .
2 , the difference becomes significant when we study the dynamics of the system , because in this case , the positivity condition is often violated in the conventional treatment .
this may indicate that treatments based on the canonical distribution are inherently incompatible with dynamical states .      by utilizing the hierarchy elements
, we can calculate expectation values of the system and bath .
for example , the expectation value of the system energy , @xmath250 , is obtained from eq . as @xmath251 using the first element of the hierarchy , the expectation value of the system - bath interaction , @xmath252\}$ ] , is evaluated as @xmath253 where @xmath254 and @xmath255 are obtained from eqs . and , respectively .    in fig .
2 , we present the expectation values @xmath250 and @xmath256 and the internal energy of the system , @xmath257 , as obtained by numerically integrating eq . for various coupling strengths , @xmath105 , at @xmath258 and @xmath259 , with a step size of @xmath260 .
at those temperatures , the system part of the energy increases linearly , while the interaction part decreases linearly as a function of the coupling strength , @xmath105 , but the rates of decrease and increase are smaller for lower temperatures , because the thermal activity of the bath is lower in this regime .
we should mention that the internal energy , @xmath257 , contains the system part of the interaction energy but not the bath part .
the system part and bath part of the interaction energies are calculated as @xmath261 and @xmath262 , respectively .
the internal energy decreases as a function of @xmath105 because the system part of the interaction energy also decreases as a function of @xmath105 . both the bath and system parts of the interaction energy decrease as function of @xmath105 , but the bath part of the contribution is much larger than the system part , because the bath contains many degrees of freedom .
in this paper , we derived the real - time and imaginary - time heom starting from the influence functional formalism with a correlated thermal initial state .
it was shown that the thermal equilibrium state calculated from the imaginary - time heom is equivalent to the steady state solution of the real - time heom . because the imaginary - time heom is defined in terms of integrals carried out over the definite time interval from @xmath263 to @xmath264 and because the elements of the imaginary - time heom are real
, we were able to calculate the hierarchy elements more easily in this case than in the case of the real - time heom .
moreover , using the imaginary - time heom , we were able to calculate the partition function , and from this , we could directly obtain several thermodynamic quantities , namely , the free energy , entropy , internal energy , heat capacity , and susceptibility of the system in the dissipative environment .
the expectation values of not only the system energy but also the system - bath interaction energy were also evaluated from the hierarchy elements obtained from the real- and imaginary - time heom .
we found that for the purpose of studying equilibrium properties , rather than dynamical behavior , the imaginary - time heom is more usueful than the real - time heom .    in this paper , we derived the heom for a system in the energy eigenstate representation , but extension to a system in the coordinate space representation ( or the wigner representation ) is straightforward.@xcite this extension will be helpful for identifying the pure quantum effects , because we can compare the quantum results with the classical results obtained from the classical limit of the imaginary - time heom.@xcite    the author is grateful to professor hermann grabert , professor gerhard stock , professor heinz - peter breuer , and dr .
lothar mchenber and their group members at the freiburg institute for advanced studies for their hospitality .
financial support from the humboldt foundation , the university of freiburg , and a grant - in - aid for scientific research ( a26248005 ) from the japan society for the promotion of science are acknowledged .
because the extension to a many oscillator system is straightforward , we start from a single oscillator bath , described by the hamiltonian @xmath265 we then consider the density matrix elements with the three source terms @xmath266 , @xmath267 , and @xmath268 defined by@xcite @xmath269 e^ { \frac{i}{\hbar}\int_0^{t } d\tau \left[\frac12{m \dot { x}^2}- \frac12 m \omega^2 x^2 + v(\tau ) x \right ] } \nonumber \\ & & \times \int _ { \bar x(0)=x_0'}^{\bar x(\beta \hbar)=x_0 } d[\bar x(\tau ' ) ]   e^{-\frac1{\hbar } \int_0^{\beta \hbar } d\tau ' \left[\frac12{m \dot { \bar x}^2}+   \frac12 m \omega^2 \bar x^2 -   { \bar v}(\tau ' ) \bar x \right ] } \nonumber \\ & & \times \int_{x'(0)=x_0'}^{x'(t)=x ' } d[x'(\tau ) ]   e^{- \frac{i}{\hbar}\int_0^{t } d\tau \left[\frac12{m { \dot x}'^2}- \frac12 m \omega^2 x'^2 + v'(\tau)x ' \right ] } .
\label{eq : gv}\end{aligned}\ ] ] in order to evaluate @xmath270 , we start from the feynman propagator for eq . , expressed as @xmath271 e^ { \frac{i}{\hbar}\int_0^{t } d\tau \left[\frac12{m \dot { x}^2}- \frac12 m \omega^2 x^2 + v(\tau ) x \right ] }   \nonumber \\ & & = \sqrt { \frac{m \omega}{2 \pi i   \hbar \sin ( \omega t ) } } e^{\frac{i}{\hbar}s(x , x_0;t;v ) } , \label{eq : green}\end{aligned}\ ] ] where @xmath272 .
\label{eq : s_harm}\end{aligned}\ ] ] the equilibrium distribution , @xmath273 , is obtained from eq . by replacing @xmath274 with @xmath275 .
this yields @xmath276   e^{-\frac1{\hbar } \int_0^{\beta \hbar } d\tau ' \left[\frac12{m \dot { \bar x}^2}+   \frac12 m \omega^2 \bar x^2 -   { \bar v}(\tau ' ) \bar x \right ] } \nonumber \\ & & = \frac1{2\sinh\left(\frac{\beta \hbar \omega}2 \right ) } \sqrt{\frac1{2 \pi \langle x^2\rangle } }   \exp \left [ - \frac1{2 \langle x^2 \rangle } \left ( \frac{x+x'}{2 } - \bar r[{\bar v } ; \beta \hbar ] \right)^2 \right .
\nonumber \\ & & - \left .
\frac1{2\hbar^2 } \langle p^2 \rangle ( x - x')^2 + \frac{i}{\hbar }   \bar p[{\bar v } ; \beta \hbar ] ( x - x ' ) + { \bar \phi}[{\bar v } ; \beta \hbar ]   \right ] ,   \label{eq : rhoqqt}\end{aligned}\ ] ] where @xmath277 @xmath278 @xmath279   =   \frac{1}{\hbar } \int_{0}^{\beta\hbar } d \tau '   { \bar v } ( \tau ' ) \bar l ( \tau ' ) , \label{eq:<barr>}\end{aligned}\ ] ] @xmath280   =   \frac{i m } {   \hbar } \int_{0}^{\beta\hbar } d \tau ' { \bar v } ( \tau ' ) \dot { \bar l } ( \tau ' ) , % \left[\coth \left(\frac{\beta \hbar\omega}2 \right ) \sinh \omega \tau + \cosh \omega \tau \right ]   \label{eq:<barp>}\end{aligned}\ ] ] and @xmath281 =   \frac1{\hbar^2 }   \int_{0}^{\beta\hbar } d \tau '' \int_{0}^{\tau '' } d \tau '   { \bar v } ( \tau '' ) { \bar v } ( \tau ' ) \bar l ( \tau '' - \tau ' ) .
\label{eq : phita2}\end{aligned}\ ] ] here , we have @xmath282 .
% & & =   \frac{\hbar}{2m\omega } \frac{\cosh\left ( \frac{\beta \hbar\omega}2 - \omega \tau ' \right ) } { \sinh\left ( \frac{\beta \hbar\omega}2 \right)}. \label{eq : p1}\end{aligned}\ ] ] note that the partition function for the oscillator itself , @xmath283 , can be obtained from eq . as @xmath284    using the counter path
, we can express the total density matrix , eq .
, as@xcite @xmath285 e^{-\frac{i}{\hbar } \int_c ds \left [ \frac12{m \dot { \tilde x}^2(s)}- \frac12 m \omega^2\tilde x^2(s ) + \tilde v_c(s)\tilde x(s ) \right ] } , \label{eq : gj33}\end{aligned}\ ] ] where @xmath286\equiv \int d[x(\tau ) ] \int d[\bar x(\tau ' ) ] \int d[x'(\tau)]$ ] and the contour paths are defined by eqs . and . we can obtain the full density matrix elements by simply replacing the integral @xmath287 in eqs.- with the contour integral @xmath288 . in the wigner representation , we have the distribution @xmath289 after the normalization , this can be expressed as@xcite @xmath290 \right)^2 - \frac1{2   \langle p^2\rangle } ( p-\tilde p[\tilde v_c ; t , \beta\hbar])^2 + { \tilde \phi}[\tilde v_c ; t , \beta\hbar ] \right ] ,   \label{eq : wignerh}\end{aligned}\ ] ] where @xmath291   = -\frac{i}{\hbar } \int_{c } ds ' \tilde v_c(s ' ) l(s'),\end{aligned}\ ] ] @xmath292 =   \frac{i m}{\hbar } \int_{c } ds ' \tilde v_c(s ' ) { \dot l}(s'),\end{aligned}\ ] ] @xmath293 & = & - \frac1{\hbar^2 } % \frac1{2 m \hbar \omega }   \int_{c } ds '' \int_{c ' } ds ' \tilde v_c ( s '' ) \tilde v_{c ' } ( s ' ) l(s''- s ' ) .
% \nonumber \\ & \times &   % \left [ \coth\left ( \frac{\beta \hbar\omega}2 \right ) %
\cos\left(\omega(s - s')\right ) % + i \sin \left(\omega ( s - s')\right ) \right ] .
\label{eq : p2}\end{aligned}\ ] ] here , @xmath294 is the analytically continued matsubara green function obtained from eq . through the replacement @xmath295 , given by @xmath296 and @xmath65 represents the counter path for @xmath66 that follows @xmath67 along @xmath68 under the condition @xmath69 . for the bath hamiltonian appearing in eq . with the interaction @xmath297 , eq .
is expressed as eq .. by tracing out @xmath298 and @xmath299 , we obtain the influence functional for correlated initial conditions , @xmath63=\exp\left\{{\tilde \phi}[\tilde v_c ; t , \beta\hbar]\right\}$ ] .
20 a. o. caldeira and a. j. leggett , physica * 121a * , 587 ( 1983 ) .
a. j. leggett , s. chakravarty , a. t. dorsey , m. p. a. fisher , a. garg , and z. zwerger , rev .
phys . * 59 * , 1 ( 1987 ) .
u. weiss , _ quantum dissipative systems _ ( world scientific , singapore , 2008 ) 3rd ed .
r. kubo , m. toda and n. hashitsume , _ statistical physics _
( springer - verlag , 1985 ) vol . * 2*. a. g. redfield , adv .
. reson . * 1 * , 1 ( 1965 ) .
r. kubo , adv .
15 * , 101 ( 1969 ) .
s. mukamel , _ principles of nonlinear optical spectroscopy _ ( oxford university press , new york , 1995 ) .
p. hanggi , p. talkner and m. borkovec , rev .
phys . * 62 * , 252 ( 1990 ) .
r. a. marcus , rev .
phys . * 65 * , 599 ( 1993 ) .
v. may and o. khn , _ charge and energy transfer dynamics in molecular systems _
( wiley - vch , berlin , 2003 ) .
h. p. breuer and f. petruccione , _ the theory of open quantum systems _
( oxford university press , new york , 2002 ) .    e.  b. davies , _ quantum theory of open systems _ ( academic press , 1976 ) . v. gorini , a. frigerio , m. verri , a. kossakowski , and e. c. g. sudarshan , rep . math . phys . * 13 * , 149 ( 1978 ) .
h. spohn , rev .
phys . * 52 * , 569 ( 1980 ) .
p. pechukas , phys .
lett . * 73 * , 1060 ( 1994 ) .
k. f. f. romero , p. talkner and p. hanggi , phys . rev . * 69 * , 052109 ( 2004 ) .
a. frigerio , j. t. lewis and j. v. pul , adv .
appl . math .
* 2 * , 456 ( 1981 ) .
a. frigerio , j. t. lewis and j. v. pul , j. approx . theor . * 45 * , 310 ( 1985 ) .
y. tanimura , j. phys .
jpn . * 75 * , 082001 ( 2006 ) .
r. egger and c. h. mak , phys .
rev . b*50 * , 15210 ( 1994 ) .
n. makri , j. math . phys . * 36 * , 2430 ( 1995 ) . j. cao , l. w. ungar and g.a .
voth , j. chem .
phys * 104 * , 4189 ( 1996 ) .
n. makri and d. e. makarov , j. chem .
* 102 * , 4600 ( 1995 ) ; * 102 * , 4611 ( 1995 ) . m. thorwart , p. reimann and p. hnggi , phys .
e * 62 * , 5808 ( 2000 ) .
e. bukhman and n. makri , j. phys .
a * 111 * , 11320 ( 2007 ) . v. jadhao and n. makri , j. chem
. phys . * 129 * , 161102(2008 ) .
y. tanimura , phys .
* a41 * , 6676 ( 1990 ) .
a. ishizaki and y. tanimura , j. phys .
. jpn . * 74 * , 3131 ( 2005 ) .
r.  x. xu , p.  cui , x.  q. li , y.  mo , and y.  j. yan , j. chem .
phys . * 122 * , 041103 ( 2005 ) .
p. han , r. x. xu , b. li , j. xu , p. cui , y. mo and y. j. yan , j. phys . chem .
b * 110 * , 11438 ( 2006 ) .    y. tanimura and s. mukamel , j. phys .
soc . jpn . *
63 * , 66 ( 1994 ) .
m. tanaka and y.tanimura , j. phys .
. jpn . * 78 * , 073802 ( 2009 ) . m. tanaka and y.tanimura , j. chem . phys . * 132 * , 214502 ( 2010 ) .
y. tanimura , j. chem .
phys . * 137 * , 22a550 ( 2012 ) . c. kreisbeck and t. kramer , j. phys .
lett . * 3 * , 2828 ( 2012 ) . j. ma , z. sun , x. wang , and f. nori , phys . rev .
a * 85 * , 062323 ( 2012 ) .
ding , r .- x .
xu , y .- j .
yang , j. chem .
phys . * 136 * , 224103 ( 2012 ) .
h. liu , l. zhu , s. bai , and q. shi , j. chem .
phys . * 140 * , 134106 ( 2014 ) .
y. tanimura and r. kubo , j. phys .
. jpn . * 58 * , 1199 ( 1989 ) .
y. tanimura , t. suzuki and r. kubo , j. phys .
* 58 * , 1850 ( 1989 ) .
y. tanimura and y. maruyama , j. chem .
phys . * 107 * , 1779 ( 1997 ) .
t. kato and y. tanimura , j. chem .
phys . * 120 * , 260 ( 2004 ) .
a. ishizaki and y. tanimura , j. chem . phys .
* 125 * , 084501 ( 2006 ) .
a. ishizaki and y. tanimura , j. phys .
a * 111 * , 9269 ( 2007 ) .
a. sakurai and y. tanimura , j. phys .
a * 115 * , 4009 ( 2011 ) .
a. g. dijkstra and y. tanimura , new j. phys .
* 12 * , 055005 ( 2010 ) .
l. chen , r. zheng , q. shi and y .- j .
yan , j. chem . phys . * 132 * , 024505 ( 2010 ) .
l. chen , r. zheng , y. jing , q. shi , j. chem .
phys . * 134 * , 194508 ( 2011 ) .
b. hein , c. kreisbeck , t. kramer , and m. rodriguez , new j. phys .
* 14 * , 023018 ( 2012 ) . c. kreisbeck , t. kramer and a. aspuru - guzik , j. phys .
b , * 117 * , 9380 ( 2013 ) .    h .-
breuer , e .-
laine , and j. piilo , phys . rev
. lett . * 103 * , 210401 ( 2009 ) .
a. g. dijkstra and y. tanimura , phys .
lett . * 104 * , 250401 ( 2010 ) .
a. g. dijkstra and y. tanimura , phil .
a * 370 * , 3658 ( 2012 ) .
a. g. dijkstra and y. tanimura , j. phys .
* 81 * , 063301 ( 2012 ) .
q. shi , l. p. chen , g. j. nan , r .- x .
yan , j. phys .
chem . * 130 * , 084105 ( 2009 ) .
j. hu , r .- x .
yan , j. chem .
133 * , 101106 ( 2010 ) .
b. l. tian , j. j. ding , r .- x .
yan , j. chem
. phys . * 133 * , 114112 ( 2010 ) .
j. zhu , s. kais , p. rebentros , a. aspuru - guzik , j. phys .
b * 115 * , 1531 ( 2011 ) . c. kreisbeck , t. kramer , m. rodriguez , b. hein , j. chem .
theor . comp .
* 7 * , 2166 ( 2011 ) .
j. strmpfer , k. schulten , j. chem .
theor . comp .
* 8 * , 2808 ( 2012 ) .
j. m. moix and j. cao , j. chem .
phys . * 139 * , 134106 ( 2013 ) .
l. zhu , h. liu , and q. shi , n. j. phys . *
15 * , 095020 ( 2013 ) .
a. ishizaki and g. r. fleming , proc .
106 * , 17255 ( 2009 ) .
j. strmpfer , k. schulten , j. chem . phys .
* 131 * , 225101 ( 2009 ) .
j. strmpfer and k. schulten , j. chem .
134 * , 095102 ( 2011 ) .
a. g. dijkstra and y. tanimura , new j. phys .
* 14 * , 073027 ( 2012 ) .
j. s. jin , s. welack , j. luo , x - q li , p. cui , r .- x .
xu and y.j .
yan , j. chem . phys . * 126 * , 134113 ( 2007 ) .
j. s. jin , x. zheng , and y. j. yan , j. chem .
* 128 * , 234703 ( 2008 ) .
x. zheng , j. jin , s. welack , m. luo , and y- .
j. chem . phys . * 130 * , 164708 ( 2009 ) .
a. kato and y. tanimura , j. phys .
b , * 117*,13132 ( 2013 ) . a. sakurai and y. tanimura , j. phys .
jpn , * 82 * , 033707 ( 2013 ) .
a. sakurai and y. tanimura , new j. phys .
* 16 * , 015002 ( 2014 ) .
y. yao , w. yang , y. zhao , j. chem .
140 * , 104113 ( 2014 ) .
y. tanimura and s. mukamel , phys .
e * 47 * , 118 ( 1993 ) . k. okumura and y. tanimura , phys .
e * 53 * , 214 ( 1996).y .
tanimura and k. okumura , j. chem .
phys . * 106 * , 2078 ( 1997).y .
suzuki and y. tanimura , phys .
e * 59 * , 1475 ( 1999 ) .
j. cao and g. a. voth , j. chem .
phys . * 100 * , 5093 ( 1994 ) l. zhu , h. liu , w. xie and q. shi , j. chem .
phys . * 137 * , 194106 ( 2012 ) .
j. m. moix , y. zhao , and j. cao , phys .
b*85 * , 115412 ( 2012 ) . c. k. lee , j. moix , and j. cao , j. chem
phys . * 136 * , 204120 ( 2012 ) . y. tanimura and p. g. wolynes ,
rev . a*43 * , 4131 ( 1991 ) . y. tanimura and p. g. wolynes , j. chem .
phys . * 96 * , 8485 ( 1992 ) .
t. steffen and y. tanimura , j. phys .
69 * , 3115 ( 2000 ) .
y. tanimura and t. steffen , j. phys .
* 69 * , 4095 ( 2000 ) .