Entropy 2014, 16(1), 200-220; doi:10.3390/e16010200

Correlation Functions in Open Quantum-Classical Systems
Chang-Yu Hsieh and Raymond Kapral *
Chemical Physics Theory Group, Department of Chemistry, University of Toronto, Toronto, ON M5S 3H6, Canada; E-Mail: kim.hsieh@utoronto.ca
Author to whom correspondence should be addressed; E-Mail: rkapral@chem.utoronto.ca; Tel.: +1-416-978-6106; Fax: +1-416-978-5325.
Received: 25 September 2013; in revised form: 21 October 2013 / Accepted: 22 October 2013 /
Published: 27 December 2013


: Quantum time correlation functions are often the principal objects of interest in experimental investigations of the dynamics of quantum systems. For instance, transport properties, such as diffusion and reaction rate coefficients, can be obtained by integrating these functions. The evaluation of such correlation functions entails sampling from quantum equilibrium density operators and quantum time evolution of operators. For condensed phase and complex systems, where quantum dynamics is difficult to carry out, approximations must often be made to compute these functions. We present a general scheme for the computation of correlation functions, which preserves the full quantum equilibrium structure of the system and approximates the time evolution with quantum-classical Liouville dynamics. Several aspects of the scheme are discussed, including a practical and general approach to sample the quantum equilibrium density, the properties of the quantum-classical Liouville equation in the context of correlation function computations, simulation schemes for the approximate dynamics and their interpretation and connections to other approximate quantum dynamical methods.
quantum correlation functions; quantum-classical systems; nonadiabatic dynamics

1. Introduction

The dynamical properties of condensed-phase or complex systems are often investigated experimentally by applying external fields to weakly perturb a system and observe its relaxation back to the thermal equilibrium state. In such experiments, measurable quantities can be related to equilibrium time correlation functions via linear response theory [1,2]:

C AB ( t ) = 1 Z Q Tr [ e β H ^ A ^ ( 0 ) B ^ ( t ) ] = 1 Z Q Tr [ e β H ^ A ^ e i H ^ t B ^ e i H ^ t ]
where  and are operators corresponding to some specific dynamical variables under investigation, Ĥ is the unperturbed Hamiltonian and ZQ is the quantum canonical partition function associated with Ĥ. Many experiments employing spectroscopic methods directly probe such time correlation functions.

Exact numerical evaluation of Equation (1) for real condensed phase quantum systems is prohibitive, since the computational cost scales exponentially with respect to the number of degrees of freedom (DOF). Various approaches have been developed to address this challenging problem. A common approach shared by many methods is to partition the entire system into a subsystem (whose dynamical properties are of interest) and an environment (or bath) in which the subsystem resides. Other recently developed schemes for computing quantum correlation functions do not rely on such a partition and instead utilize approximations to treat the quantum evolution of the entire system in conjunction with quantum equilibrium sampling [35]. In this paper, we focus on schemes based on the system-bath partition, and using this partition, the Hamiltonian reads: Ĥ= Ĥb+ĥs+c(); where H ^ b = P ^ 2 2 M + V ^ b ( R ^ ) and ĥs represent the pure bath and subsystem Hamiltonians, respectively. The last term in Ĥ is a coupling potential that depends on the spatial coordinates of the bath wave functions. We shall always take the bath part of the Hamiltonian in the coordinate representation; however, we can represent h ^ s = p ^ 2 2 m + V ^ s ( r ^ ) in some quantum basis: h ^ s = i j | i i | h ^ s | j | j .

Several methods based on various master equations [610] and path integral influence functional methods [11,12] provide approximate schemes, often in the weak coupling limit, to systematically project out the environmental DOF and yield a subsystem dynamics that incorporates dissipation and decoherence, due to coupling to the environment. However, for many applications, such as proton and electron transfer in condensed phases, it is desirable to explicitly simulate, even approximately, the bath dynamics, since specific local bath DOF may be crucial for a description of the dynamics of the quantum subsystem. For this purpose, several semiclassical [1315] and mixed quantum-classical [16,17] (MQC) methods, which either treat the entire dynamics semiclassically or simulate the dynamics of the bath and subsystem with different levels of rigor (e.g., classical versus quantum mechanical), have been formulated. Many semiclassical and mixed quantum-classical approaches, adopting powerful classical simulation techniques, evaluate Equation (1) by combined Monte Carlo-molecular dynamics (MC-MD) techniques.

In this paper, we formulate MC-MD schemes to evaluate Equation (1) within the framework of the quantum-classical Liouville equation (QCLE) [18]. The QCLE employs a partial Wigner representation of the environmental (bath) DOF and may be derived from full quantum dynamics by truncating the quantum evolution operator to the first order in a small parameter related to the ratio of the characteristic masses of quantum and bath DOF [18]. In particular, we suppose that the quantum subsystem has a finite-dimension Hilbert space. Under this assumption, Equation (1) is cast in the following form [19,20]:

C AB ( t ) = 1 Z Q n 1 , n 2 d X [ ( e β H ^ A ) W n 1 n 2 ( X ) B W n 2 n 1 ( X , t ) ]
where the nj indices label the basis states (in some chosen quantum basis), X = (R, P) represents the Wigner-transformed phase space point for the bath, NB is the number of bath DOF and the subscript, W, on an operator indicates a partial Wigner transform on the bath DOF; e.g., an operator is partially Wigner transformed as B ^ W ( X ) = d Z R Z 2 | B ^ | R + Z 2 e i P Z.

Two main tasks are involved in evaluating Equation (2) with an MC-MD algorithm. First, one needs to sample initial conditions (for an ensemble of trajectories) from the partially Wigner-transformed quantum density, ( ρ ^ e q A ^ ) W ( X ) with ρeq = e−βĤ/ZQ. There exist numerical algorithms to accomplish such a task [21,22]. Second, one needs to propagate the initial points in the phase space. These time-evolved trajectories may then be used to construct the matrix elements, B W n m ( X , t ), needed to compute the correlation function. Various simulation methods, whose structure depends on the basis chosen to represent the quantum degrees of freedom in the QCLE, have been devised to simulate the mixed quantum-classical dynamics [2331]. Simulation methods that utilize an adiabatic basis can be cast into the form of surface-hopping dynamics, but in a way that includes coherent evolution segments that account for creation and destruction of coherence in a proper manner. More recently, as in some semiclassical approaches [32], the mapping basis [33] was used to describe the quantum degrees of freedom in the QCLE in a continuous classical-like manner, leading to a trajectory description in the full system phase space [30,31,3436].

The goals and outline of the paper are as follows: We first consider how the two ingredients, quantum equilibrium sampling and evolution of quantum operators, which are needed to compute quantum correlation functions, may be carried out. In Section 2, we describe a path-integral scheme to perform MC sampling from the partially Wigner transformed quantum density. In the Appendix, we also discuss a simplified, but approximate sampling scheme that is useful in the high-temperature limit. Another aim of this paper is to demonstrate how a recently-developed simulation method for the QCLE, the forward-backward trajectory solution (FBTS), can be used to efficiently obtain quantum correlation functions. To place these results in proper context, in Section 3, we sketch the important features and properties of the QCLE and discuss both the adiabatic Trotter-based surface-hopping (TBSH) algorithm and the FBTS, which is formulated in the mapping basis. In this section, we also present the explicit form of the N-level generalization of the TBSH algorithm. Comparisons of the trajectories that underlie these algorithms allow us to investigate how completely different ensembles of trajectories can be used to simulate the same observable correlation function. The implementation and utility of the simulation algorithms are illustrated on the dynamics in a two-level system coupled to a quartic oscillator embedded in a bath of independent harmonic oscillators, described in Section 4. Finally, in Section 5, we comment on the advantages, challenges and potential problems in adopting an approximate mixed quantum-classical dynamics for the computation of quantum time-correlation functions.

2. Sampling from the Partially Wigner-Transformed Density

In general, analytical expressions for the Wigner transform of the density matrix cannot be determined easily. In this section, we present a path-integral-based scheme to perform MC sampling from the Wigner-transformed density, ( ρ ^ eq A ^ ) W n 1 n 2 ( X ), in Equation (2).

First, we recall the definition of partial Wigner transform:

( ρ ^ eq A ^ ) W n 1 n 2 ( X ) = 1 Z Q d Z n 1 , R Z 2 | e β H ^ A ^ | n 2 , R + Z 2 e i P Z
where R represents the vector of bath coordinates, n denotes a basis state for the subsystem and H ^ = P ^ 2 2 M + V ^ b ( R ^ ) + h ^ ( R ^ ) with ĥ() ≡ ĥs + c(). One way to compute the integral on the right side of Equation (3) is to first factorize e β H ^ = e β L H ^ into L − 1 pieces with βL = β/(L − 1). Following the standard procedures for path integral calculations, we then insert resolutions of the identity, = d R i m i | m i , R i m i , R i |, between every pair of factorized operators and apply the approximation, e β L H ^ e β L P 2 2 M e β L ( V ^ b ( R ^ ) + h ^ ( R ^ ) ). The integrand on the right side of Equation (3) can then be written as follows:
n 1 , R Z 2 | e β H ^ A ^ | n 2 , R + Z 2 = i = 1 L 1 d R i { m i } n 1 , R Z 2 | e β L H ^ | m 1 , R 1 m 1 , R 1 | e β L H ^ | m 2 , R 2 × m L 1 , R L 1 | A ^ | n 2 , R + Z 2 , = ( M 2 π β L 2 ) N B ( L 1 ) 2 i = 1 L 1 d R i { m i } { i = 1 L 2 i , i + 1 ( R i ) e β L V b ( R i ) e M 2 β L 2 ( R i R i + 1 ) 2 } × n 1 , R Z 2 | e β L H ^ | m 1 , R 1 m L 1 , R L 1 | A ^ ) | n 2 , R + Z 2
i , j = m i | e β L h ^ ( R i ) | m j = { e β L h ij ( R i ) , i = j β L h ij ( R i ) e β L h ij ( R ) , i j
which is correct to order 𝒪 ( β L 2 ). Substituting Equation (4) into Equation (3), the new integrand of the Wigner transform becomes 𝒜 ^ = ( e β L H ^ | m 1 , R 1 m L 1 , R L 1 | A ^ ), as shown in the last line of Equation (4). An analytical approximation for the Wigner transform of 𝒜̂ can be obtained easily in most cases when  is a pure observable subsystem or if it depends on just one of the conjugate variables: R or P. Since βL ≪ 1, it is possible to replace the term, e−βLĤ, inside 𝒜̂ with its high-temperature approximation (discussed in the Appendix). Letting 𝒜̂W (X) be the partial Wigner transform of 𝒜̂, Equation (3) reads:
( ρ ^ eq A ^ ) W n 1 n 2 ( X ) = 𝒢 N B ( L 1 ) / 2 Z Q i = 1 L 1 d R i { m i } { i = 1 L 2 i , i + 1 ( R i ) e β L V b ( R i ) e π 𝒢 ( R i R i + 1 ) 2 } 𝒜 W n 1 n 2 ( X )
where 𝒢 = ( M 2 π β L 2 ). Substituting Equation (6) into Equation (2), the time correlation function becomes:
C AB ( t ) = 𝒢 N B ( L 1 ) / 2 Z Q n 1 , n 2 { m i } i = 1 L 1 d R i { i = 1 L 2 i , i + 1 ( R i ) e β L V b ( R i ) e π 𝒢 ( R i R i + 1 ) 2 } × d X ( 𝒜 ^ ) W n 1 n 2 ( X ) B W n 2 n 1 ( X , t )
Following [37], we remark that the initial phase space coordinate X = (R, P) and auxiliary variables, {Ri}, can be sampled from probability densities constructed from 𝒜̂W(X) and |i,i+1(Ri)|e−βLVb(Ri)e−π𝒢(RiRi+1)2, respectively.

3. Quantum-Classical Liouville Equation

In this section, we discuss how one can simulate the time-evolved matrix elements, B W n 2 n 1 ( X , t ), in Equation (2) using the QCLE:

B ^ W ( X , t ) t = i [ H ^ W , B ^ W ] 1 2 ( { H ^ W , B ^ W } { B ^ W , H ^ W } ) = i ^ B ^ W ( X , t ) = i ( Λ B ^ W B ^ W Λ )
where Λ = P R R P. The arrow on top of a differential operator indicates the direction in which it acts. In the first line, the square bracket and the curly brackets denote the quantum commutator and classical Poisson brackets, respectively. The two kinds of Lie bracket act together as the generator of the mixed quantum-classical dynamics. Due to the fact that ĤW(X) and W(X, t) are quantum operators with respect to the subsystem DOF, two differently ordered Poisson brackets are needed to properly account for the mixed dynamics. However, in general, the dynamics described by the QCLE does not have a Lie algebraic structure, a feature that is common to mixed quantum-classical approaches [38]. In the second line, we introduce the abstract, quantum-classical Liouville (QCL) superoperator, ℒ̂. Finally, the third equality is another equivalent representation of QCLE in terms of the forward and backward mixed quantum-classical Hamiltonians:
Λ = H ^ W ( 1 + Λ 2 i ) , Λ = ( 1 + Λ 2 i ) H ^ W

The QCLE has many desirable features, such as the conservation of energy, momentum and phase space volumes. Furthermore, the QCLE is equivalent to full quantum dynamics for arbitrary quantum subsystems, which are bilinearly coupled to a harmonic bath. For instance, commonly used spin boson models are of this type. In this circumstance, the combination of quantum and classical brackets in the QCLE does have a Lie algebraic structure. For the more general bath and coupling potentials, the QCLE provides an approximate description of the quantum dynamics. In this case, comparisons of simulations of QCL dynamics with exact quantum results have indicated that it is quantitatively accurate for a wide range of systems [36,3948]

The QCLE equation can be simulated using ensembles of trajectories, which, in combination with the quantum initial condition sampling discussed above, provides a way to compute quantum correlation functions. As we shall see, the nature of the trajectories that enter in the simulations depends on the algorithm and should not be ascribed physical significance. It is only the observable, in this case, the correlation function, that has physical meaning and is independent of the manner in which it is simulated, provided the simulation algorithm is capable of exactly solving the QCLE, which is not always the case. One of the goals of this paper is to illustrate how a recently-developed FBTS [31] can be used to easily compute quantum correlation functions. For this purpose, it is interesting to contrast the solution using this scheme, and the trajectory description that underlies it, with the previously-developed and frequently-used TBSH algorithm [26]. Taking the adiabatic representation of the QCL superoperator is the key step in implementing the TBSH algorithm. The last representation of QCLE in Equation (8) resembles the quantum Liouville equation and forms the starting point of the FBTS.

3.1. Adiabatic Trotter-Based Surface Hopping

In order to discuss the nature of the trajectory description involved in the TBSH algorithm, we briefly describe how it is implemented and, in particular, present the explicit generalization to an N-level quantum subsystem, which was only outlined in [26]. We first consider the adiabatic representation of the QCLE, since the TBSH algorithm is cast in this basis. The adiabatic basis is defined by ĥW(R) | α; R〉 = Eα(R) | α; R〉, where ĥW(R) = ĤW(R) − P2/2M is taken to be the adiabatic Hamiltonian for a static configuration of R in this section. In the adiabatic basis, the QCLE reads:

B W α α t = i α α , β β B W β β ( X , t )
where the matrix elements of the QCL superoperator are given by:
i α α , β β = ( i ω α α + i L α α ) δ α β δ α β 𝒥 α α , β β = i α α 0 δ α β δ α β 𝒥 α α , β β
with ωαα′ = (EαEα′)/ℏ. (The Einstein summation convention will be used throughout the following sections, although sometimes, sums will be explicitly written if there is the possibility of confusion.) The Liouville operator, iℒ, may be separated into two contributions: The classical propagator is defined as:
i L α α = P M P + 1 2 ( F α + F α ) R
where F α = α ; R | h ^ W ( R ) R | α ; R is the Hellmann-Feynman force. The superoperator, 𝒥αα′,ββ′ is responsible for nonadiabatic transitions and associated momentum changes in the bath. For an N-level system, there exist N(N − 1)/2 unique transitions. In the following, we define 𝒥 as a sum of Jλλ′, which introduces transitions only between the specific pair of λ and λ′ adiabatic states:
𝒥 α α , β β = λ > λ ( 𝒥 λ λ ) α α , β β = λ > λ { d λ λ P M ( ( δ λ α δ λ β δ λ α δ λ β ) δ α β + ( ( δ λ α δ λ β δ λ α δ λ β ) δ α β ) 1 2 ω λ λ d λ λ P ( ( δ λ α δ λ β δ λ α δ λ β ) δ α β + ( ( δ λ α δ λ β δ λ α δ λ β ) δ α β ) } = P M d α β ( 1 + 1 2 S α β P ) δ α β + P M d β α ( 1 1 2 S β α P ) δ α β
where dαβ = 〈α; R| ∂/∂R | β; R〉 and S α β = ω α β d α β ( P M d α β ) 1. The second equality gives the adiabatic representation of 𝒥λλ′. We remark that it is difficult to exactly simulate the term, 𝒥, involving bath momentum derivatives within the context of a trajectory-based algorithm. Using the identity that 1 2 S α β P = ω α β M / ( d ^ α β P ) 2, where M is a diagonal matrix of the masses of the bath particles and αβ is the unit vector along dαβ, allows us to employ the momentum-jump approximation:
( 1 + c 2 S α β P ) f ( P ) e c 2 S α β P f ( P ) = e c ω α β M / ( d ^ α β P ) 2 f ( P ) = f ( P + Δ P c )
where c = 1, 2 corresponding to single and double hops, respectively, and Δ P c = d ^ α β sgn ( d ^ P ) ( d ^ α β P ) 2 + c ω α β M d ^ ( d ^ P ). We have a translation operator with respect to the variable, (αβ· P)2, in the above equation. Decomposing P = P + P = P + d ^ α β sgn ( d ^ α β P ) ( d ^ α β P ) 2, it becomes obvious that the translation operator updates P components by ΔPc, as presented in Equation (14). This momentum update conserves the energy of surface-hopping trajectories. Apart from technical issues associated with sampling when the algorithm is implemented, this is the only approximation made to QCL evolution. In fact, it is this approximation that gives this algorithm a surface-hopping structure that has some features in common with Tully’s surface-hopping method; however, coherence and decoherence are automatically incorporated in the evolution. The QCLE does not have such sudden momentum changes, and its evolution is described by continuous momentum changes in the course of the evolution. Comparisons of results using this algorithm with exact quantum solutions indicate that the momentum-jump is rarely the source of problems.

Equation (10) admits a formal solution:

B ^ W α α ( X , t ) = ( e i t ) α α β β B W β β ( X )
Thus, our following discussion focuses on evaluating:
( e i ^ t ) α α , α K α K = ( α 1 α 1 ) ( α K α K ) j = 1 K ( e i ^ Δ t j ) α j 1 α j 1 , α j α j
In the above equation, we simply factorize the propagator into K pieces with Δtj = tj − tj−1 = Δt. In each small time slice, we perform the symmetric Trotter decomposition:
( e i ^ Δ t j ) α α , β β 𝒲 β β ( t j 1 , t j 1 + Δ t 2 ) e i L β β Δ t / 2 𝒬 β β , α α 𝒲 α α ( t j 1 + Δ t 2 , t j ) e i L α α Δ t / 2
where: 𝒲αα′ (t1, t2) = eαα(t2−t1), and:
𝒬 α α , β β = ( e 𝒥 Δ t ) α α , β β = ( e λ > λ 𝒥 λ λ Δ t ) α α , β β ( λ > λ e 𝒥 λ λ Δ t ) α α , β β
We observe that it is possible to express e𝒥λλ′Δt in the following block-diagonal matrix form:
e 𝒥 λ λ Δ t = λ λ 𝒦 ξ 1 λ λ 𝒦 ξ N 2 λ λ 𝒩 λ λ
where ξi is one of the N − 2 adiabatic states other than λ and λ′. In the above equation, is a four by four matrix, defined with respect to the basis, {(λ, λ), (λ, λ′), (λ′, λ), (λ′,λ′)}:
λ λ = ( cos 2 ( a ) cos ( a ) sin ( a ) j ^ λ λ cos ( a ) sin ( a ) j ^ λ λ sin 2 ( a ) j ^ λ λ cos ( a ) sin ( a ) j ^ λ λ cos 2 ( a ) sin 2 ( a ) sin ( a ) cos ( a ) j ^ λ λ cos ( a ) sin ( a ) j ^ λ λ sin 2 ( a ) cos 2 ( a ) sin ( a ) cos ( a ) j ^ λ λ sin 2 ( a ) j ^ λ λ cos ( a ) sin ( a ) j ^ λ λ cos ( a ) sin ( a ) j ^ λ λ cos 2 ( a ) )
with a = (P/M) · dλλ′ Δt, and ĵ λλ and ĵ λλ are the momentum-jump operators, e 1 2 S λ λ P and e S λ λ P, defined in Equation (14) with c = 1, 2, respectively. In Equation (19), there exists another set of four by four matrices, 𝒦 ξ i λ λ , with i = 1, …, N − 2. Each of these matrices is defined with respect to a basis of the form, {(λ, ξi), (λ′, ξi)} ⊕ {(ξi, λ), (ξi, λ′)}:
𝒦 ξ λ λ = ( cos ( a ) sin ( a ) j ^ λ λ sin ( a ) j ^ λ λ cos ( a ) ) ( cos ( a ) sin ( a ) j ^ λ λ sin ( a ) j ^ λ λ cos ( a ) )
Finally, there is a null matrix, 𝒩λλ′, of a size of (N − 2)2, and the associated null space is spanned by basis vectors, (ξ1, ξ2), where ξiλ(′). We remark that one has to permute the basis vectors in order to construct these block-diagonal matrices [26].

At this point, we have specified all the necessary details in order to simulate the QCL dynamics in the adiabatic basis:

B W α α ( X , t ) = ( α 1 α 1 ) , , ( α K α K ) [ j = 1 K 𝒲 α j 1 α j 1 e i L α j 1 α j 1 Δ t Q α j 1 α j 1 . α j α j 𝒲 α j α j e i L α j α j Δ t ] B W α K α K ( X )
where α 0 ( ' ) = α ( ' ). The explicit summation over all quantum indices, ( α 1 α 1 ) ⋯ ( α K α K ), can also be evaluated stochastically. For instance, given a pair of indices, (αjαj−1), one can determine the next pair at the time slice, j + 1, by drawing an MC sample from the transition probability:
P ( α j + 1 , α j + 1 | α j , α j ) = | 𝒬 α j α j , α j + 1 , α j + 1 | β j + 1 , β j + 1 | 𝒬 α j α j , β j + 1 , β j + 1 |
If the sampled new pair of indices differs from the starting pair, then the sampled 𝒬 matrix element must contain the proper momentum-jump operators to update the energy of the trajectory after the jump. In any actual implementation of this algorithm, it is desirable to restrict to nonadiabatic transitions between one pair of states in every time slice. Under this assumption, one can then approximate:
𝒬 α α , β β { δ α β δ α β if no hop happens , ( e 𝒥 μ γ ) α α , β β if  ( α , α ) ( β , β ) involves transition between ( μ , γ ) states , 0 if ( α , α ) ( β , β ) involves transition between two or more pair of states .

In this algorithm, we see that the trajectories in the ensemble that are used to simulate the time evolution are non-Newtonian in character, consisting of Newtonian segments where the system evolves on adiabatic surfaces, or the mean of two adiabatic surfaces, interspersed with quantum transitions and momentum changes.

3.2. Forward-Backward Trajectory Solution

This scheme is motivated by another way of writing the formally exact solution [38] of the QCLE using the last line of Equation (8):

B ^ W ( X , t ) = 𝒮 ( e i Λ t / B ^ W ( X ) e i Λ t / )
The 𝒮 operator [31,38] specifies the order in which the forward and backward evolution operators act on W (X). The ordering of evolution operators is critical because of the lack of an underlying Lie algebraic structure [38] of the QCLE.

One approach to solve Equation (25) is to apply the mapping transformation in which N discrete quantum states of the subsystem are represented by the continuous position and momenta of N fictitious harmonic oscillators. The properties of the original subsystem are then obtained via an ensemble average involving trajectories in the phase space of the fictitious oscillators. More precisely, in the mapping representation, a subsystem state, 〉, is replaced by |mλ〉 = |01, …, 1λ, … 0N〉, a product state specifying the occupation numbers (limited to zero or one) of N fictitious harmonic oscillators [33,49]. Creation and annihilation operators, a ^ λ and âλ, satisfy the commutation relation [ a ^ λ , a ^ λ ] = δ λ λ for harmonic oscillators. The actions of these operators on the single-excitation mapping states are a ^ λ | 0 = | m λ and âλ|mλ〉 = |0〉, where |0〉 = ||01 . . . 0N 〉 is the ground state of the mapping basis.

Next, we define the mapping version of operators, B ^ m ( X ) = B W λ λ ( X ) a ^ λ a ^ λ , such that matrix elements of W in the subsystem basis are equal to the matrix elements of the corresponding mapping operator: B W λ λ ( X ) = λ | B ^ W ( X ) | λ = m λ | B ^ m ( X ) | m λ . In particular, the mapping Hamiltonian is:

H ^ m = H b ( X ) + h λ λ ( R ) a ^ λ a ^ λ H b ( X ) + h ^ m
where we applied the mapping transformation only on the part of the Hamiltonian that involves the subsystem DOF in Equation (26). The mapping Hamiltonian,ĥm, is always a quadratic Hamiltonian with respect to the quantum DOF. The pure bath term,Ĥb(X), acts as an identity operator in the subsystem basis and is mapped onto the identity operator of the mapping space directly. The mapped formal solution of QCLE now reads:
B ^ W ( X , t ) = 𝒮 ( e i Λ m t / B ^ W ( X ) e i Λ m t / )
where Λ m is given by Λ m = H ^ m ( 1 + Λ / 2 i ), with an analogous definition for Λ m .

We now introduce the coherent states, |z〉, in the mapping space, âλ|z〉 = zλ|z〉 and z | a ^ λ = z λ * z |, where |z〉 = |z1, . . . , zN 〉, and the eigenvalue is z λ = ( q λ + i p λ ) / . The variables q = (q1, . . . , qN) and p = (p1, . . . , pN) are mean coordinates and momenta of the harmonic oscillators encoded in the coherent state, |z〉, respectively. The coherent states form an overcomplete basis with the inner product between any two such states, 〈z| z′〉 = e−(|z−z′|2)−i(z·z′*−z* ·z′). Finally, we remark that the coherent states provide the resolution of identity:

= d 2 z π N | z z |
where d2z = d(ℜ(z))d(𝒯(z)) = dqdp/(2)N.

Similar to the path integral approach for solving the quantum dynamics, we decompose the forward and backward evolution operators in Equation (27) into a concatenation of M short-time evolutions with Δti = τ and = t. In each short-time interval, Δti, we introduce two sets of coherent states, |zi〉 and | z i ' , via Equation (28) to expand the forward and backward time evolution operators, respectively. The time evolution (generated by a quadratic Hamiltonian) of coherent states can be represented by trajectory evolution in the phase space of (q, p). After some algebra, the matrix elements of Equation (27) can be approximated by:

B W λ λ ( X , t ) = μ μ d x d x ϕ ( x ) ϕ ( x ) 1 ( q λ + i p λ ) ( q λ + i p λ ) B W μ μ ( X t ) × 1 ( q μ ( t ) + i p μ ( t ) ) ( q μ ( t ) + i p μ ( t ) )
where x = (q, p) gives the real and imaginary parts of z, dx = dqdp and ϕ ( x ) = ( ) N e ν ( q ν 2 + p ν 2 ) / is the normalized Gaussian distribution function. In deriving Equation (29), we have invoked an orthogonality approximation on the inner product between subsequent coherent state variables, z i | e i h ^ t | z i + 1 = z i ( t ) | z i + 1 π N δ ( z i + 1 z i ( t i ) ), with i being the time step index. This approximation is necessary to construct a continuous trajectory of z(t). In the extended phase space of (X(t), z(t), z′(t)), the trajectories follow Hamiltonian dynamics:
d χ μ d t = H e ( χ , π ) π μ , d π μ d t = H e ( χ , π ) χ μ
where H e ( χ , π ) = P 2 / 2 M + V 0 ( R ) + 1 2 h λ λ ( R ) ( q λ q λ + p λ p λ + q λ q λ + p λ p λ ) with V0(R) = Vb(R) − T rĥ(R), χ = (R, q, q′) and π = (P, p, p′). We remark that the FBTS trajectories manifestly conserve energy. Furthermore, simulating the dynamics with a standard velocity Verlet type of symplectic integrator has a stationary solution proportional to Hpseudo = He(χ, π) + Δt2δH, as discussed in [35].

The main approximation introduced in the derivation of the FBTS, Equation (29), is the orthogonality approximation. The simplest improvement to the algorithm is to refrain from applying this approximation at every time step. In [36], we outlined a practical approach to evaluate the set of selected integrals of zi and z i ' (which could be evaluated analytically if the orthogonality approximation were applied). We termed this extension of FBTS as the jump FBTS (JFBTS). Since the computational cost grows quickly with respect to the number of jumps inserted, one needs to make a trade-off between numerical efficiency and accuracy.

In the simplest approach, one selects every (M/K) time step from a total of M steps to fully evaluate the coherent state integrals:

B W λ λ ( X , t ) = μ μ s 0 s 0 s K 1 s K 1 v = 0 K d x d x ϕ ( x v ) ϕ ( x v ) × 1 ( q 0 λ + i p 0 λ ) ( q 0 λ + i p 0 λ ) B W μ μ ( X t ) × 1 { v = 1 K ( q ( v 1 ) s v 1 ( τ v ) i p ( v 1 ) s v 1 ( τ v ) ) ( q v s v + i p v s v ) } × 1 { v = 1 K ( q ( v 1 ) s v 1 ( τ v ) + i p ( v 1 ) s v 1 ( τ v ) ) ( q v s v + i p v s v ) } × 1 ( q K μ ( τ K + 1 ) i p K μ ( τ K + 1 ) ) ( q K μ ( τ K + 1 ) i p K μ ( τ K + 1 ) )
where the subscripts, v and s, refer to the v-th time step and the s-th component of the q and p vectors, respectively, and τv = tivtiv−1 with ti0 = 0 and tiK+1 = t. According to this prescription, the continuous FB trajectories experience K discontinuous jumps in the (x, x′) phase space. Between subsequent jumps, the evolution of the FB trajectory is governed by Equation (30). Simulations show that with a sufficient number of jumps, numerically exact solutions of the QCLE can be obtained [36].

3.3. Comparisons between Algorithms

The differences between the two QCLE simulation algorithms can be traced to the quantum basis that is used and the way that feedback between quantum and classical systems is treated. In the case of the TBSH algorithm, the trajectories are propagated through a Hellmann-Feynman force, or the mean of two Hellmann-Feynman forces [Equation (12)], with intermittent surface hops that switch the adiabatic surfaces on which the trajectories propagate. In the case of FBTS, one not only propagates the bath dynamical variables as trajectories, but also the quantum dynamical variables, which are associated with fictitious harmonic oscillators. In this extended phase space, we have exact Hamiltonian dynamics. In particular, the force acting on the bath particles simultaneously involves all N adiabatic surfaces, which is similar to, but different from, the Ehrenfest mean-field approach. The very different characteristics of the trajectories in two algorithms manifest the artificial character of the trajectory dynamics. Thus, one should not attach physical significance to single trajectories in the computation. All physical properties of the system can only be extracted from a proper ensemble average of a large set of trajectories, as implied in Equation (2). Nevertheless, insight into the trajectory dynamics of each algorithm will help to judge the simulation efficiency for various classes of models.

For certain problems, such as proton transfer reactions, where the time scales of the bath and subsystem are well-separated, even during nonadiabatic transitions, the TBSH algorithm can yield quantitatively accurate results with a few hops. There are also dynamical problems in which distinct bath motions can be explicitly correlated with the subsystem’s quantum states. For instance, in the simple Tully I model [35,50], trajectories populated on the excited state will cross the avoided crossing point, while the ground state trajectories will eventually be reflected and retrace their paths in the opposite direction. This kind of behavior is, however, completely missed when one propagates trajectories in a single effective mean field. Again, the inherent multi-configuration nature of surface-hopping-like algorithms is a more appropriate choice for this case. However, a recent study [51] has indicated that the “jump” version of mean-field-like algorithms can improve the simulation results in cases of this type.

Alternatively, there are also many examples where one would expect FBTS to be the preferred simulation method. In general, the TBSH algorithm has convergence issues, as the MC weights associated with nonadiabatic hops grows rapidly. Even for the simple spin boson model, one can identify parameter regimes where this numerical instability is clearly observed. In these cases, the FBTS and JFBTS are certainly the alternatives that one should adopt for efficient simulations.

4. An Example: Quartic Oscillator in a Harmonic Bath

As a specific example to illustrate the formalism outlined above, we consider a two-level system coupled to a quartic bistable oscillator with a single pair of phase space coordinates X0 = (R0, P0). The quartic oscillator is, in turn, coupled to an Ohmic heat bath of Nb independent harmonic oscillators with phase space coordinates Xi = (Ri, Pi) and i = 1 . . . Nb. The partially Wigner transformed Hamiltonian, expressed in the diabatic basis, {|R〉, |L}, reads:

H ^ W = ( γ 0 R 0 Ω Ω γ 0 R 0 ) + ( P 0 2 2 M 0 + V n ( R 0 ) + j = 1 N b P j 2 2 M j + M j ω j 2 2 ( R j γ b c j M j ω j 2 R 0 ) 2 ) I
where V n ( R 0 ) = M 0 ω 0 2 R 0 2 / 2 + A R 0 4 / 4 and I is an identity matrix. We take Nb = 40 harmonic oscillators for the discretization of the Ohmic heat bath. Following the discretization scheme introduced in [52], we set ωj = ωc ln (1−jωc/δω) and cj = (ξℏωMj)1/2ωj with δω = (1−exp(ωmaxc))/Nb. The parameters, ωc and ωmax, are the characteristic and cut-off frequencies for the Ohmic bath, respectively. The Kondo parameter is ξ.

The adiabatic states for the subsystem are:

| + ; R 0 = 1 𝒩 ( R 0 ) [ ( 1 G ) | R ( 1 + G ) | L ] | ; R 0 = 1 𝒩 ( R 0 ) [ ( 1 + G ) | R + ( 1 G ) | L ]
where 𝒩 ( R 0 ) = 2 ( 1 + G 2 ( R 0 ) ) and G ( R 0 ) = ( γ 0 R 0 ) 1 [ Ω + Ω 2 + γ 0 2 R 0 2 ]. The adiabatic energies are given by E ± = V n ( R 0 ) ± Ω 2 + γ 0 2 R 0 2 = V n ( R 0 ) ± ± ( R 0 ).

We shall study the autocorrelation functions, CLL, with  = = |L〉 〈L|. The entire system is assumed to be in thermal equilibrium initially. Using the high-temperature approximation presented in the Appendix, the correlation function of interest can be given in a compact form:

C L L ( t ) = d X 0 d X b 𝒲 ( R 0 ) 𝒢 ( P 0 ; M 0 β ) j = 1 N b 𝒢 ( P j ; M j β ) 𝒢 ( R j γ b c j M j ω j 2 R 0 ; 1 β M j ω j 2 ) × n = L , R α , α F α α ( X 0 ) n | α ; R 0 α ; R 0 | L B W Ln ( X t )
where 𝒢(x; σ2) = (2πσ2)−1/2 ex2/2σ2, and:
𝒲 ( R 0 ) = e β ( A 4 R 0 4 1 2 M 0 ω 0 2 R 0 2 ) ( e β + ( R 0 ) + e β ( R 0 ) ) d R 0 e β ( A 4 R 0 4 1 2 M 0 ω 0 2 R 0 2 ) ( e β + ( R 0 ) + e β ( R 0 ) )
An MC evaluation of the integrals can be done by sampling P0, Rb, Pb from the Gaussian distributions and sampling R0 from 𝒲(R0), respectively. The time-evolved matrix element, B W n m ( X t ), will be computed using both the TBSH and the FBTS algorithms. Finally, we note that the path-integral-based sampling scheme introduced in Section 2 should be adopted to sample phase-space points from (ρ̂eq)W(X) for more generalized situations, including cases of low-temperature, arbitrary subsystem-bath divisions of a composite system, strong subsystem-bath couplings and an arbitrary potential energy profile.

In this study, we report numerical results in the energy unit, ℏωc, and distance unit, / M j ω c, for each environmental DOF. We consider two sets of parameters. In the first case, we use the following parameter values, a = 1.0, ω0 = 1.2, γ0 = 0.05 γb = 1.0, Ω = 0.3, ξ = 0.1, ωmax = 3 and β = 0.2, in the dimensionless units. Figure 1a presents the potential surface profiles [53], Wα(R0). The two diabatic surfaces, WL,R(R0), remain close to each other, and the two adiabatic surfaces, W±(R0), share essentially the same characteristics. In this case, a mean-field-based algorithm, like FBTS, should be accurate and efficient. This problem can also be handled easily in the adiabatic basis, since the surface-hopping trajectories will be initialized in both the adiabatic ground and excited states, because the system is in a thermal equilibrium state at t = 0. Furthermore, the coupling parameter, γb, was purposely chosen to be small in order to minimize the number of nonadiabatic transitions (or hops) encountered in the TBSH algorithm. In panel (b), CLL(t) is computed using both algorithms. The agreement between these results is good.

Next, we consider the following parameter set, a = 0.8, ω0 = 0.6, γ0 = 0.3 γb = 1.0, Ω = 0.1, ξ = 0.1, ωmax = 3, and β = 0.2 in the dimensionless units. Figure 2a shows the potential surface profiles, Wα(R0), obtained from this set of parameters. In this case, the adiabatic, W±(R0), and diabatic surfaces, WL,R(R0), only differ markedly near the region of the barrier top, where an avoided crossing point indicates significant mixing of the two diabatic states. Nonadiabatic effects should be most prominent near this barrier top. A stronger coupling, γ0, is also chosen in this case. Figure 2b presents the autocorrelation functions. In the main figure of panel (b), the blue curves (CLL(t) computed by the FBTS) start with the full correlation at one, then gradually reduce to 1/2, which implies that the subsystem is in an equal admixture of the two diabatic states in the asymptotic limit. The TBSH simulation results are only valid for very short times (as shown in the inset of the Figure 2b), due to instability arising from the accumulation of weights, even with filtering [54]. The thermal equilibrium distribution, 𝒲(R0), has a bimodal distribution profile, as illustrated in Figure 2a; however, for the (inverse) temperature, β = 0.2, the double-peaked structure is very broad. The 𝒲(R0) distribution profile (blue curve in Figure 2a) suggests that the thermal equilibrium state has a non-trivial contribution from the excited surface. Sampling from 𝒲(R0) yields many R0 values near the barrier top, where several hops immediately take place for this strong-coupling case, and the instability sets in early in the simulation. Lowering β will produce a more pronounced double-peak structure for 𝒲(R0), but the quartic oscillator’s momentum, P0, will fluctuate with a larger variance in the presence of the heat bath in this case. Since nonadiabatic transitions depend non-trivially on a = P0· d12(R0t in the TBSH algorithm, large momentum fluctuations will eventually affect the long-time result. This case shows some of the practical limitations of the TBSH algorithm for the computation of this correlation function.

5. Conclusions

The scheme for computing the quantum correlation function in Equation (2) combines a numerically exact quantum initial sampling method with dynamics described by the QCLE; thus, the approximations in the simulation method reside in the dynamics. It is easier to compute the equilibrium properties of a quantum system, for instance, by using the imaginary-time Feynman path integral method, than to obtain dynamical properties by using similar real-time Feynman path integrals without adopting further approximations. Since we approximate the quantum dynamics of the entire system, quantum subsystem plus bath, by QCL dynamics, it is appropriate to comment on some of its features.

It is known that the quantum-classical bracket, defined in terms of the commutator and Poisson brackets in Equation (8), does not possess a Lie algebraic structure, since it fails to satisfy the Jacobi identity [2,38]. This lack of a proper algebraic structure is shared by all known MQC methods and simply reflects the inconsistency in mixing classical and quantum mechanical dynamics. One consequence of this inconsistency is that the partial Wigner transform, ρ̂We(R, P), of the full canonical equilibrium density function, ρ̂eq = e−βĤ/ZQ, is not stationary under the QCLE; however, ρ̂We(R, P) can be written as an expansion in the mass ratio (or ℏ), and it has been shown that the full quantum equilibrium density is conserved under the QCL dynamics up to 𝒪(ℏ). Therefore, the detailed balance relation is also satisfied to this order. The violation of a detailed balance is a common problem that affects all major MQC methods, including the two most popular approaches, Ehrenfest mean-field [55] and Tully’s fewest switching surface hopping [56] (FSSH), to various degrees. Of course, as noted earlier, for the class of models where an arbitrary quantum system is bilinearly coupled to a harmonic bath, the dynamics is exact, and a detailed balance is exactly satisfied.

The dynamics described by the QCLE can be related to that prescribed by other methods. In [57], it was shown that one could derive both Ehrenfest mean-field dynamics and a version of surface-hopping dynamics starting from the QCLE. In the former case, one simply drops all the “correlations” (including entanglement) between the subsystem and bath densities in the QCLE [58]. In the later case, one projects out all the off-diagonal matrix elements of the density in the QCLE to obtain a generalized master equation for the subsystem alone. Then, one considers decoherence to suppress the coherences in order to recover a simple “surface hopping” dynamics [59] similar to that prescribed in the FSSH algorithm. Furthermore, it had been proven [60] that the QCLE and the partially linearized path integral (PLPI) method [6164] share the same starting mathematical foundation. In particular, the most recent PLPI algorithm, called PLDM (Partially Linearized Density Matrix) method [64], is very similar to the FBTS presented in this paper [31]. One can also draw comparisons between methods based on the QCLE and semiclassical initial value representations. For instance, numerical schemes based on the Poisson bracket mapping equation (PBME) [30], an approximate equation derived from the mapping-transformed QCLE, and the linearized semiclassical initial value representations [65] share the same set of equations of motion for the trajectories.

Mixed quantum-classical methods are often the only feasible approach to explore the dynamics of large complex systems, such as condensed phase or biochemical systems, where only a few light-mass DOF need be treated quantum mechanically. In many rate processes of interest, such as electron transfer or proton transfer, the local polar solvent motions are responsible for important features of the reaction mechanism. As a result, it is essential that the dynamics of these environmental degrees of freedom be treated in detail. Open quantum system methods that trace out all bath details cannot capture important aspects of such dynamics.

Some recent work [48,66] has suggested interesting ways to combine the QCLE and the generalized master equation [6769] approach. Simulation tests on spin boson models [48] and a two-level system coupled to an anharmonic bath [68] indicate that accurate, long-time dynamical properties of such systems can be efficiently calculated with an improved memory kernel (which takes the short-time QCLE computation of some bath correlation functions as the input) for the general master equation. This type of hybrid approach may eventually prove to be useful for studies of more complex systems.

Finally, we provide comments that may help in choosing between the two algorithms for simulations. The TBSH algorithm, without filtering, provides a very accurate QCL dynamics before the onset of the sign problem associated with its heavy reliance on Monte Carlo sampling. While filtering can be used to extend simulations to much longer times, the problems related to Monte Carlo sampling limits its usefulness in performing long-time simulations, as vividly illustrated in Section 4. However, the TBSH is found to be the preferred simulation method (in comparison to the FBTS) when one investigates bath dynamical properties of systems in the vicinity of conical intersections and avoided crossings. For instance, the TBSH results accurately capture the intricate geometric phases [46] and the bimodal structure in the momentum distribution [35] in the Tully 1 model (a single avoided crossing model), while the FBTS fails to reproduce these delicate features, even though it provides fairly accurate population dynamics, as reported in [36]. Since the FBTS trajectory dynamics is based on a mean-field description, one finds that the results are usually very accurate (even in the long-time limit) when the energy gap between diabatic energy surfaces is small in comparison to the typical subsystem-bath coupling strength. Another advantage of the FBTS is the availability of the JFBTS [36] algorithm, which implements systematic correction of FBTS results towards the exact QCL dynamics and provides a simple method to gauge the sufficiency of the FBTS results.

Research was supported in part by a grant from the Natural Sciences and Engineering Research Council of Canada.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix High Temperature Limit

Many realistic chemical and biological processes take place at room temperature, in which case, it is often justified to apply a classical approximation to the bath. In this Appendix, we make two assumptions: As in most condensed phase models, we consider a pure subsystem observable, Â, such that ( ρ ^ eq A ^ ) W = ( ρ ^ eq ) W A ^. We also assume that the environment is further partitioned into an immediate part that can couple nonlinearly to the quantum subsystem and shield the subsystem from the larger set of environmental DOF, often modeled as a heat bath of independent harmonic oscillators. Furthermore, we write X = {Xb, Xn}, where n refers to the few DOF that couple directly to the quantum subsystem and b refers to the remainder of the large number of coordinates that only couple to the n-labeled coordinates. Similarly, we re-label different parts of the Hamiltonian as follows: Ĥ =Ĥs n + V̂sn b + V̂bn with Ĥi = i+ V̂i and i = s, b, n. The quantities, i and i, are the total kinetic energy and isolated potential, respectively, of the i-th system. Potential energy terms with a subscript of two letters imply a coupling potential between two components of the composite system. In addition, we introduce ĥW (Rn) = Ĥs + V̂sn(Rn) + Vn(Rn),Ĥbn(Rn) = Ĥb + V̂bn(Rn) and Ĥsn =ĥW (Rn) + K̂n. In the following, we express the distance in units of λ j = / M j ω c and energy in units of ℏωc, where ωc is the cut-off frequency of the heat bath.

Under these assumptions, one needs to evaluate the partial Wigner transform of e−βĤ alone. In the high temperature limit, we factorize the un-normalized equilibrium density matrix operator, ρ̂ = e−βĤsne−βĤbn. The partial Wigner transform of this approximate density operator reads:

ρ ^ W ( X ) = d Z e i P n Z R n + Z 2 | e β H ^ s n | R n Z 2 ρ b ( X b ; R n )
where ρ b ( X b ; R n ) = d Z b e i P b Z b R b + Z b 2 | e β H ^ b n ( R n ) | R b Z b 2 is the Wigner transform of the un-normalized equilibrium density matrix for the heat bath.

We next apply a symmetric Trotter decomposition to the matrix element of Equation (36):

R n + Z 2 | e β H ^ s n | R n Z 2 R n + Z 2 | e β 2 Δ H ^ W ( R n + Z 2 ) e β H ^ h o e β 2 Δ H ^ W ( R n Z 2 ) | R n Z 2 = ( ω 2 π sinh ( ω β ) ) N n / 2 exp ( coth ( ω β 2 ) ω Z 2 4 ) exp ( tanh ( ω β 2 ) ω R n 2 ) × e β 2 Δ H ^ W ( R n + Z 2 ) e β 2 Δ H ^ W ( R Z 2 )

In this equation, the symmetric Trotter decomposition separates the subsystem potential in ĥW (Rn) into harmonic, V ^ h o = 1 2 ω 2 R n 2, and anharmonic, ΔĤ(Rn) =ĥW (Rn) − Vho(Rn), contributions; furthermore, we define Ĥho = n + V̂ho.

The anharmonic term in Equation (37) can be approximated as follows:

e β Δ h ^ W ( R n + Z 2 ) e β Δ h ^ W ( R n Z 2 ) = α , α e β E ˜ α ( R n ) [ δ α α + Z 2 O α α ( R n ) d α α ( R n ) ] | α ; R n α ; R n |
where |n〉 is the subsystem basis and ; Rn〉 is the real-valued adiabatic state with adiabatic energy Eα (Rn) with respect to the Hamiltonian, ĥW(Rn). The adjusted energy is α(Rn) = Eα(Rn)−Vho(Rn). The O function in Equation (38) reads:
O α α ' ( R n ) = [ 1 e β 2 ( E ˜ α ( R n ) E ˜ α ( R n ) ) ] 2
and dαα′ = 〈α; Rn|Rn | α′; Rn〉. Details of a similar derivation for Equations (37) and (38) may be found in [70].

Substituting Equation (37) into Equation (36) and integrating out the Z variable, Equation (36) simplifies to:

ρ ^ W ( X ) = ( 1 2 π cosh ( ω β 2 ) ) N n ρ b ( X b ; R n ) e P n 2 ω tanh ( ω β 2 ) λ e β E λ ( R n ) α , α | α ; R n α ; R n | F α α ( X n )
F α α ( X n ) = e β E α ( R n ) λ e β E λ ( R n ) [ δ α α i P n ω tanh ( ω β / 2 ) O α α ( R n ) d α α ( R n ) ]
Now, the canonical partition function is determined by:
Z Q = α d X n d X b ρ W α α ( X ) = ( 1 cosh ( ω β 2 ) ) N n ( j = 1 N b π sinh ( ω j β / 2 ) ) π ω tanh ( ω β / 2 ) d R n λ e β E λ ( R n ) = ( 1 cosh ( ω β 2 ) ) N n Z b Z s n
where Zb is defined by the expression in the second bracket on the second line and Zsn is defined by the expression behind the second bracket on the second line. Zb and Zsn are the bath and subsystem (with its immediate environment) canonical partition functions, respectively. In summary, the time correlation function takes the following simple form:
C AB ( t ) = 1 Z Q n 1 , n 2 , n 3 d X n 1 | ρ ^ W ( X ) | n 3 n 3 | A ^ | n 2 n 2 | B ^ W ( X , t ) | n 1
where ρ̂W(X) and ZQ are given by Equations (40) and (42), respectively.


  1. Zwanzig, R. Time-correlation functions and transport coefficients in statistical mechanics. Annu. Rev. Phys. Chem 1965, 16, 67–102, doi:10.1146/annurev.pc.16.100165.000435.
  2. Kapral, R.; Ciccotti, G. A Statistical Mechanical Theory of Quantum Dynamics in Classical Environments. In Bridging Time Scales: Molecular Simulations for the Next Decade; Nielaba, P., Mareschal, M., Ciccotti, G., Eds.; Springer: Berlin, Germany, 2002; pp. 445–472.
  3. Bonella, S.; Monteferrante, M.; Pierleoni, C.; Ciccotti, G. Path integral based calculations of symmetrized time correlation functions. I. J. Chem. Phys 2010, 133, 164104, doi:10.1063/1.3493448.
  4. Bonella, S.; Monteferrante, M.; Pierleoni, C.; Ciccotti, G. Path integral based calculations of symmetrized time correlation functions. II. J. Chem. Phys 2010, 133, 164105, doi:10.1063/1.3493449.
  5. Monteferrante, M.; Bonella, S.; Ciccotti, G. Linearized symmetrized quantum time correlation functions calculation via phase pre-averaging. Mol. Phys 2011, 109, 3015–3027, doi:10.1080/00268976.2011.619506.
  6. Redfield, A. The Theory of Relaxation Processes. In Advances in Magnetic Resonance; Waugh, J., Ed.; Academic Press: New York, NY, USA, 1965; Volume 1.
  7. Lindblad, G. On the generators of quantum dynamical semigroups. Commun. Math. Phys 1976, 48, 119–130, doi:10.1007/BF01608499.
  8. Weiss, U. Quantum Dissipative Systems; World Scientific: Singapore, Singapore, 1999.
  9. Blum, K. Density Matrix Theory and Applications; Plenum: New York, NY, USA, 1981.
  10. Breuer, H.P.; Petruccione, F. The Theory of Open Quantum Systems; Oxford University Press: Oxford, UK, 2007.
  11. Feynman, R.P.; Vernon, J.F.L.. The theory of a general quantum mechanical system interacting with a linear dissipative system. Ann. Phys 1963, 24, 118–173, doi:10.1016/0003-4916(63)90068-X.
  12. Feynman, R.P.; Hibbs, A.R.. Quantum Mechanics and Path Integrals; McGraw-Hill: New York, NY, USA, 1965.
  13. Herman, M.F. Dynamics by semiclassical methods. Annu. Rev. Phys. Chem 1994, 45, 83–111, doi:10.1146/annurev.pc.45.100194.000503.
  14. Thoss, M.; Wang, H.B.. Semiclassical description of molecular dynamics based on initial-value representation methods. Annu. Rev. Phys. Chem 2004, 55, 299–332, doi:10.1146/annurev.physchem.55.091602.094429.
  15. Kay, K.G. Semiclassical initial value treatments of atoms and molecules. Annu. Rev. Phys. Chem 2005, 56, 255–280, doi:10.1146/annurev.physchem.56.092503.141257.
  16. Tully, J.C. Nonadiabatic Dynamics. In Modern Methods for Multidimensional Dynamics Computations in Chemistry; Thompson, D.L., Ed.; World Scientific: New York, NY, USA, 1998; p. 34.
  17. Kapral, R. Progress in the theory of mixed quantum-classical dynamics. Ann. Rev. Phys. Chem 2006, 57, 129–157, doi:10.1146/annurev.physchem.57.032905.104702.
  18. Kapral, R.; Ciccotti, G. Mixed quantum-classical dynamics. J. Chem. Phys 1999, 110, 8919–8929, doi:10.1063/1.478811.
  19. Sergi, A.; Kapral, R. Quantum-classical limit of quantum correlation functions. J. Chem. Phys 2004, 121, 7565–7576, doi:10.1063/1.1797191.
  20. Nassimi, A.; Kapral, R. Mapping approach for quantum-classical time correlation functions 1. Can. J. Chem 2009, 87, 880–890, doi:10.1139/V09-041.
  21. Filinov, V.; Bonella, S.; Lozovik, Y.; Filinov, A.; Zacharov, I. Quantum Molecular Dynamics Using Wigner Representation. In Classical Dynamics in Condensed Phase Simulations; Berne, B.J., Ciccotti, G., Coker, D.C., Eds.; World Scientic: Singapore, Singapore, 1998.
  22. Basire, M.; Borgis, D.; Vuilleumier, R. Computing Wigner distributions and time correlation functions using the quantum thermal bath method: Application to proton transfer spectroscopy. Phys. Chem. Chem. Phys 2013, 15, 12591–12601, doi:10.1039/c3cp50493j.
  23. Martens, C.C.; Fang, J.Y.. Semiclassical-limit molecular dynamics on multiple electronic surfaces. J. Chem. Phys 1996, 106, 4918–4930.
  24. Donoso, A.; Martens, C.C.. Simulation of coherent nonadiabatic dynamics using classical trajectories. J. Phys. Chem. A 1998, 102, 4291–4300, doi:10.1021/jp980219o.
  25. MacKernan, D.; Kapral, R.; Ciccotti, G. Sequential short-time propagation of quantum-classical dynamics. J. Phys. Condens. Matter 2002, 14, 9069–9076, doi:10.1088/0953-8984/14/40/301.
  26. MacKernan, D.; Ciccotti, G.; Kapral, R. Trotter-based simulation of quantum-classical dynamics. J. Phys. Chem. B 2008, 112, 424–432, doi:10.1021/jp0761416.
  27. Horenko, I.; Salzmann, C.; Schmidt, B.; Schutte, C. Quantum-classical Liouville approach to molecular dynamics: Surface hopping Gaussian phase-space packets. J. Chem. Phys 2002, 117, 11075–11088, doi:10.1063/1.1522712.
  28. Wan, C.; Schofield, J. Mixed quantum-classical molecular dynamics: Aspects of the multithreads algorithm. J. Chem. Phys 2000, 113, 7047–7054, doi:10.1063/1.1313525.
  29. Wan, C.; Schofield, J. Solutions of mixed quantum-classical dynamics in multiple dimensions using classical trajectories. J. Chem. Phys 2002, 116, 494–506, doi:10.1063/1.1425835.
  30. Kim, H.; Nassimi, A.; Kapral, R. Quantum-classical Liouville dynamics in the mapping basis. J. Chem. Phys 2008, 129, 084102, doi:10.1063/1.2971041.
  31. Hsieh, C.Y.; Kapral, R. Nonadiabatic dynamics in open quantum-classical systems: Forward-backward trajectory solution. J. Chem. Phys 2012, 137, 22A507.
  32. Stock, G.; Thoss, M. Classical description of nonadiabatic quantum dynamics. Adv. Chem. Phys 2005, 131, 243–375.
  33. Schwinger, J. On Angular Momentum. In Quantum Theory of Angular Momentum; Biedenharn, L.C., Dam, H.V., Eds.; Academic Press: New York, NY, USA, 1965; p. 229.
  34. Nassimi, A.; Bonella, S.; Kapral, R. Analysis of the quantum-classical Liouville equation in the mapping basis. J. Chem. Phys 2010, 133, 134115, doi:10.1063/1.3480018.
  35. Kelly, A.; van Zon, R.; Schofield, J.; Kapral, R. Mapping quantum-classical Liouville equation: Projectors and trajectories. J. Chem. Phys 2012, 136, 084101, doi:10.1063/1.3685420.
  36. Hsieh, C.Y.; Kapral, R. Analysis of the forward-backward trajectory solution for the mixed quantum-classical Liouville equation. J. Chem. Phys 2013, 138, 134110, doi:10.1063/1.4798221.
  37. Ananth, N.; Miller, T.F.. Exact quantum statistics for electronically nonadiabatic systems using continuous path variables. J. Chem. Phys 2010, 133, 234103, doi:10.1063/1.3511700.
  38. Nielsen, S.; Kapral, R.; Ciccotti, G. Statistical mechanics of quantum-classical systems. J. Chem. Phys 2001, 115, 5805–5815, doi:10.1063/1.1400129.
  39. Kim, H.; Hanna, G.; Kapral, R. Analysis of kinetic isotope effects for nonadiabatic reactions. J. Chem. Phys 2006, 125, 084509, doi:10.1063/1.2336778.
  40. Hanna, G.; Kapral, R. Quantum-classical Liouville dynamics of nonadiabatic proton transfer. J. Chem. Phys 2005, 122, 244505, doi:10.1063/1.1940051.
  41. Kim, H.; Kapral, R. Solvation and proton transfer in polar molecule nanoclusters. J. Chem. Phys 2005, 125, 234309.
  42. Kim, H.; Kapral, R. Proton and deuteron transfer reactions in molecular nanoclusters. ChemPhysChem 2008, 9, 470–474, doi:10.1002/cphc.200700709.
  43. Hanna, G.; Geva, E. Vibrational energy relaxation of a hydrogen-bonded complex dissolved in a polar liquid via the mixed quantum-classical lionville method. J. Phys. Chem. B 2008, 112, 4048–4058, doi:10.1021/jp076155b.
  44. Horenko, I.; Schmidt, B.; Schutte, C. A theoretical model for molecules interacting with intense laser pulses: The floquet-based quantum-classical Liouville equation. J. Chem. Phys 2001, 115, 5733–5743, doi:10.1063/1.1398577.
  45. Morales, C.M.; Thompson, W.H.. Mixed quantum-classical molecular dynamics analysis of the molecular-level mechanisms of vibrational frequency shifts. J. Phys. Chem. A 2007, 111, 5422–5433, doi:10.1021/jp071656i.
  46. Kelly, A.; Kapral, R. Quantum-classical description of environmental effects on electronic dynamics at conical intersections. J. Chem. Phys 2010, 133, 084502, doi:10.1063/1.3475773.
  47. Kim, H.W.; Kelly, A.; Park, J.W.; Rhee, Y.M.. All-atom semiclassical dynamics study of quantum coherence in photosynthetic fennamatthewsolson complex. J. Am. Chem. Soc 2012, 134, 11640–11651, doi:10.1021/ja303025q.
  48. Kelly, A.; Markland, T.E.. Efficient and accurate surface hopping for long time nonadiabatic quantum dynamics. J. Chem. Phys 2013, 139, 014104, doi:10.1063/1.4812355.
  49. Stock, G.; Thoss, M. Semiclassical description of nonadiabatic quantum dynamics. Phys. Rev. Lett 1997, 78, 578–581, doi:10.1103/PhysRevLett.78.578.
  50. Ananth, N.; Venkataraman, C.; Miller, W.H.. Semiclassical description of electronically nonadiabatic dynamics via the initial value representation. J. Chem. Phys 2007, 127, 084114, doi:10.1063/1.2759932.
  51. Huo, P.; Coker, D.F.. Consistent schemes for non-adiabatic dynamics derived from partial linearized density matrix propagation. J. Chem. Phys 2012, 137, 22A535.
  52. Makri, N.; Thompson, K. Semiclassical influence functionals for quantum systems in anharmonic environments. Chem. Phys. Lett 1998, 291, 101–109, doi:10.1016/S0009-2614(98)00590-9.
  53. Sergi, A.; Kapral, R. Quantum-classical dynamics of nonadiabatic chemical reactions. J. Chem. Phys 2003, 118, 8566–8575, doi:10.1063/1.1566731.
  54. Bonella, S.; Coker, D.F.; Kernan, D.M.; Kapral, R.; Ciccotti, G. Trajectory Based Simulations of Quantum-Classical Systems. In Energy Transfer Dynamics in Biomaterial Systems; Burghardt, I., May, V., Micha, D.A., Bittner, E.R., Eds.; Springer: Berlin/Heidelberg, Germany, 2009; Volume 93.
  55. Parandekar, P.V.; Tully, J.C.. Mixed quantum-classical equilibrium. J. Chem. Phys 2005, 122, 094102, doi:10.1063/1.1856460.
  56. Schmidt, J.R.; Parandekar, P.V.; Tully, J.C.. Mixed quantum-classical equilibrium: Surface hopping. J. Chem. Phys 2008, 129, 044104, doi:10.1063/1.2955564.
  57. Grunwald, R.; Kelly, A.; Kapral, R. Quantum Dynamics in Almost Classical Environments. In Energy Transfer Dynamics in Biomaterial Systems; Springer: Berlin/Heidelberg, Germany, 2009; pp. 383–413.
  58. Gerasimenko, V.I. Dynamical equations of quantum-classical systems. Theor. Math. Phys 1982, 50, 49–55, doi:10.1007/BF01027604.
  59. Grunwald, R.; Kapral, R. Decoherence and quantum-classical master equation dynamics. J. Chem. Phys 2007, 126, 114109, doi:10.1063/1.2567164.
  60. Bonella, S.; Ciccotti, G.; Kapral, R. Linearization approximation and Liouville Quantum-classical dynamics. Chem. Phys. Lett 2010, 484, 399–404, doi:10.1016/j.cplett.2009.11.056.
  61. Bonella, S.; Coker, D.F.. Semiclassical implementation of the mapping Hamiltonian approach for nonadiabatic dynamics using focused initial distribution sampling. J. Chem. Phys 2003, 118, 4370–4385, doi:10.1063/1.1542883.
  62. Bonella, S.; Coker, D.F.. LAND-map, a linearized approach to nonadiabatic dynamics using the mapping formalism. J. Chem. Phys 2005, 122, 194102, doi:10.1063/1.1896948.
  63. Dunkel, E.; Bonella, S.; Coker, D.F.. Iterative linearized approach to nonadiabatic dynamics. J. Chem. Phys 2008, 129, 114106, doi:10.1063/1.2976441.
  64. Huo, P.; Coker, D.F.. Partial linearized density matrix dynamics for dissipative, non-adiabatic quantum evolution. J. Chem. Phys 2011, 135, 201101, doi:10.1063/1.3664763.
  65. Liu, J.; Miller, W.H.. Real time correlation function in a single phase space integral beyond the linearized semiclassical initial value representation. J. Chem. Phys 2007, 126, 234110, doi:10.1063/1.2743023.
  66. Shi, Q.; Geva, E. A derivation of the mixed quantum-classical Liouville equation from the influence functional formalism. J. Chem. Phys 2004, 121, 3393–3404, doi:10.1063/1.1771641.
  67. Shi, Q.; Geva, E. A new approach to calculating the memory kernel of the generalized quantum master equation for an arbitrary systembath coupling. J. Chem. Phys 2003, 119, 12063–12076, doi:10.1063/1.1624830.
  68. Shi, Q.; Geva, E. A semiclassical generalized quantum master equation for an arbitrary system-bath coupling. J. Chem. Phys 2004, 120, 10647–10658, doi:10.1063/1.1738109.
  69. Zhang, M.L.; Ka, B.J.; Geva, E. Nonequilibrium quantum dynamics in the condensed phase via the generalized quantum master equation. J. Chem. Phys 2006, 125, 044106, doi:10.1063/1.2218342.
  70. Kim, H.; Kapral, R. Nonadiabatic quantum-classical reaction rates with quantum equilibrium structure. J. Chem. Phys 2005, 123, 194108, doi:10.1063/1.2110140.
Entropy 16 00200f1 200
Figure 1. (a) Potential surface profiles, Wα(R0), for the ground adiabatic state (black, dotted), excited adiabatic state (black, dotted) and for the diabatic states, L (green) and R (red). (b) CLL(t) correlation function. These results are associated with the first set of parameters.

Click here to enlarge figure

Figure 1. (a) Potential surface profiles, Wα(R0), for the ground adiabatic state (black, dotted), excited adiabatic state (black, dotted) and for the diabatic states, L (green) and R (red). (b) CLL(t) correlation function. These results are associated with the first set of parameters.
Entropy 16 00200f1 1024
Entropy 16 00200f2 200
Figure 2. (a) Potential surface profiles, Wα(R0), for the ground adiabatic state (black, dotted), excited adiabatic state (black, dotted) and for the diabatic states, L (green) and R (red). The blue curve is a plot of the un-normalized distribution function, 𝒲(R0), Equation (35). (b) CLL(t) correlation functions. (Inset) Short-time CLL(t) computed by the FBTS (blue) and TBSH (red) algorithms. These results are associated with the second set of parameters.

Click here to enlarge figure

Figure 2. (a) Potential surface profiles, Wα(R0), for the ground adiabatic state (black, dotted), excited adiabatic state (black, dotted) and for the diabatic states, L (green) and R (red). The blue curve is a plot of the un-normalized distribution function, 𝒲(R0), Equation (35). (b) CLL(t) correlation functions. (Inset) Short-time CLL(t) computed by the FBTS (blue) and TBSH (red) algorithms. These results are associated with the second set of parameters.
Entropy 16 00200f2 1024
Entropy EISSN 1099-4300 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert