Forward-backward semiclassical initial value series representation of quantum correlation functions

The forward-backward (FB) approximation as applied to semiclassical initial value representations (SCIVR's) has enabled the practical application of the SCIVR methodology to systems with many degrees of freedom. However, to date a systematic representation of the exact quantum dynamics in terms of the FB-SCIVR has proven elusive. In this paper, we provide a new derivation of a forward-backward phase space SCIVR expression (FBPS-SCIVR) derived previously by Thompson and Makri [Phys. Rev. E 59, R4729 (1999)]. This enables us to represent quantum correlation functions exactly in terms of a series whose leading order term is the FBPS-SCIVR expression. Numerical examples for systems with over 50 degrees of freedom are presented for the spin boson problem. Comparison of the FBPS-SCIVR with the numerically exact results of Wang [J. Chem. Phys. 113, 9948 (2000)] obtained using a multiconfigurational time dependent method shows that the leading order FBPS-SCIVR term already provides an excellent approximation.     

Initial value representation for the SU(n) semiclassical propagator

The semiclassical propagator in the representation of SU(n) coherent states is characterized by isolated classical trajectories subjected to boundary conditions in a doubled phase space. In this paper, we recast this expression in terms of an integral over a set of initial-valued trajectories. These trajectories are monitored by a filter that collects only the appropriate contributions to the semiclassical approximation. This framework is suitable for the study of bosonic dynamics in n modes with fixed total number of particles. We exemplify the method for a Bose-Einstein condensate trapped in a triple-well potential, providing a detailed discussion on the accuracy and efficiency of the procedure.     

New coherent state representation for the imaginary time propagator with applications to forward-backward semiclassical initial value representations of correlation functions

There have been quite a few attempts in recent years to provide an initial value coherent state representation for the imaginary time propagator exp(-betaH). The most notable is the recent time evolving Gaussian approximation of Frantsuzov and Mandelshtam [J. Chem. Phys. 121, 9247 (2004)] which may be considered as an expansion of the imaginary time propagator in terms of coherent states whose momentum is zero. In this paper, a similar but different expression is developed in which exp(-betaH) is represented in a series whose terms are weighted phase space averages of coherent states. Such a representation allows for the formulation of a new and simplified forward-backward semiclassical initial value representation expression for thermal correlation functions.     

Continuum limit semiclassical initial value representation for dissipative systems

In this paper, we consider a dissipative system in which the system is coupled linearly to a harmonic bath. In the continuum limit, the bath is defined via a spectral density and the classical system dynamics is given in terms of a generalized Langevin equation. Using the path integral formulation and factorized initial conditions, it is well known that one can integrate out the harmonic bath, leaving only a path integral over the system degrees of freedom. However, the semiclassical initial value representation treatment of dissipative systems has usually been limited to a discretized treatment of the bath in terms of a finite number of bath oscillators. In this paper, the continuum limit of the semiclassical initial value representation is derived for dissipative systems. As in the path integral, the action is modified with an added nonlocal term, which expresses the influence of the bath on the dynamics. The first order correction term to the semiclassical initial value approximation is also derived in the continuum limit.     

A semiclassical initial-value representation for quantum propagator and boltzmann operator

Starting from the position-momentum integral representation, we apply the correction operator method to the derivation of a uniform semiclassical approximation for the quantum propagator and then extend it to approximate the Boltzmann operator. In this approach, the involved classical dynamics is determined by the method itself instead of given beforehand. For the approximate Boltzmann operator, the corresponding classical dynamics is governed by a complex Hamiltonian, which can be described as a pair of real Hamiltonian systems. It is demonstrated that the semiclassical Boltzmann operator is exact for linear systems. A quantum propagator in the complex time is thus proposed and preliminary numerical results show that it is a reasonable approximation for calculating thermal correlation functions of general systems. © 2018 Wiley Periodicals, Inc.     

Chemical reaction rates using the semiclassical Van Vleck initial value representation

A semiclassical initial value representation formulation using the Van Vleck [Proc. Natl. Acad. Sci. U.S.A. 14, 178 (1928)] propagator has been used to calculate the flux correlation function and thereby reaction rate constants. This Van Vleck formulation of the flux-flux correlation function is computationally as simple as the classical Wigner [Trans. Faraday Soc. 34, 29 (1938)] model. However, unlike the latter, it has the ability to capture quantum interference/coherence effects. Classical trajectories are evolved starting from the dividing surface that separates reactants and products, and are evolved negatively in time. This formulation has been tested on model problems ranging from the Eckart barrier, double well to the collinear H+H2.     

A justification for a nonadiabatic surface hopping Herman-Kluk semiclassical initial value representation of the time evolution operator

A justification is given for the validity of a nonadiabatic surface hopping Herman-Kluk (HK) semiclassical initial value representation (SC-IVR) method. The method is based on a propagator that combines the single surface HK SC-IVR method [J. Chem. Phys. 84, 326 (1986)] and Herman's nonadiabatic semiclassical surface hopping theory [J. Chem. Phys. 103, 8081 (1995)], which was originally developed using the primitive semiclassical Van Vleck propagator. We show that the nonadiabatic HK SC-IVR propagator satisfies the time-dependent Schrodinger equation to the first order of variant Planck's over 2pi and the error is O(variant Planck's over 2pi(2)). As a required lemma, we show that the stationary phase approximation, under current assumptions, has an error term variant Planck's over 2pi(1) order higher than the leading term. Our derivation suggests some changes to the previous development, and it is shown that the numerical accuracy in applications to Tully's three model systems in low energies is improved.     

A new time evolving Gaussian series representation of the imaginary time propagator

Frantsuzov and Mandelshtam [J. Chem. Phys. 121, 9247 (2004)] have recently demonstrated that a time evolving Gaussian approximation (TEGA) to the imaginary time propagator exp(-betaH) is useful for numerical computations of anharmonically coupled systems with many degrees of freedom. In this paper we derive a new exact series representation for the imaginary time propagator whose leading order term is the TEGA. One can thus use the TEGA not only as an approximation but also to obtain the exact imaginary time propagator. We also show how the TEGA may be generalized to provide a family of TEGA's. Finally, we find that the equations of motion governing the evolution of the center and width of the Gaussian may be thought of as introducing a quantum friction term to the classical evolution equations.     

Geometric constraints in semiclassical initial value representation calculations in Cartesian coordinates: excited states

The authors show that a recently proposed approach [J. Chem. Phys. 123, 084103 (2005)] for the inclusion of geometric constraints in semiclassical initial value representation calculations can be used to obtain excited states of weakly bound complexes. Sample calculations are performed for free and constrained rare gas clusters. The results show that the proposed approach allows the evaluation of excited states with reasonable accuracy when compared to exact basis set calculations.     

Real time correlation function in a single phase space integral beyond the linearized semiclassical initial value representation

It is shown how quantum mechanical time correlation functions [defined, e.g., in Eq. (1.1)] can be expressed, without approximation, in the same form as the linearized approximation of the semiclassical initial value representation (LSC-IVR), or classical Wigner model, for the correlation function [cf. Eq. (2.1)], i.e., as a phase space average (over initial conditions for trajectories) of the Wigner functions corresponding to the two operators. The difference is that the trajectories involved in the LSC-IVR evolve classically, i.e., according to the classical equations of motion, while in the exact theory they evolve according to generalized equations of motion that are derived here. Approximations to the exact equations of motion are then introduced to achieve practical methods that are applicable to complex (i.e., large) molecular systems. Four such methods are proposed in the paper--the full Wigner dynamics (full WD) and the second order WD based on "Wigner trajectories" [H. W. Lee and M. D. Scully, J. Chem. Phys. 77, 4604 (1982)] and the full Donoso-Martens dynamics (full DMD) and the second order DMD based on "Donoso-Martens trajectories" [A. Donoso and C. C. Martens, Phys. Rev. Lett. 8722, 223202 (2001)]--all of which can be viewed as generalizations of the original LSC-IVR method. Numerical tests of the four versions of this new approach are made for two anharmonic model problems, and for each the momentum autocorrelation function (i.e., operators linear in coordinate or momentum operators) and the force autocorrelation function (nonlinear operators) have been calculated. These four new approximate treatments are indeed seen to be significant improvements to the original LSC-IVR approximation.     

Determination of molecular vibrational state energies using the ab initio semiclassical initial value representation: application to formaldehyde

We have demonstrated the use of ab initio molecular dynamics (AIMD) trajectories to compute the vibrational energy levels of molecular systems in the context of the semiclassical initial value representation (SC-IVR). A relatively low level of electronic structure theory (HF/3-21G) was used in this proof-of-principle study. Formaldehyde was used as a test case for the determination of accurate excited vibrational states. The AIMD-SC-IVR vibrational energies have been compared to those from curvilinear and rectilinear vibrational self-consistent field/vibrational configuration interaction with perturbation selected interactions-second-order perturbation theory (VSCF/VCIPSI-PT2) and correlation-corrected vibrational self-consistent field (cc-VSCF) methods. The survival amplitudes were obtained from selecting different reference wavefunctions using only a single set of molecular dynamics trajectories. We conclude that our approach is a further step in making the SC-IVR method a practical tool for first-principles quantum dynamics simulations.     

Wavepacket propagation using time-sliced semiclassical initial value methods

A new semiclassical initial value representation (SC-IVR) propagator and a SC-IVR propagator originally introduced by Kay [J. Chem. Phys. 100, 4432 (1994)], are investigated for use in the split-operator method for solving the time-dependent Schrodinger equation. It is shown that the SC-IVR propagators can be derived from a procedure involving modified Filinov filtering of the Van Vleck expression for the semiclassical propagator. The two SC-IVR propagators have been selected for investigation because they avoid the need to perform a coherent state basis set expansion that is necessary in other time-slicing propagation schemes. An efficient scheme for solving the propagators is introduced and can be considered to be a semiclassical form of the effective propagators of Makri [Chem. Phys. Lett. 159, 489 (1989)]. Results from applications to a one-dimensional, two-dimensional, and three-dimensional Hamiltonian for a double-well potential are presented.     

Quantum molecular dynamics of hydrogen bonded complexes of rigid molecules using the semiclassical initial value representation in Cartesian coordinates

Semiclassical initial value representation calculations are performed for the constrained water dimer in Cartesian coordinates. The study represents the first application of a previously reported method [Issak and Roy, J. Chem. Phys. 123, 084103 (2005); 126, 024111 (2007)] to a molecular cluster. Bound state energies are calculated for a dimer of rigid water molecules (H2O)2 as well as its deuterated form (D2O)2. The results show that the approach fares well with respect to accuracy in capturing quantum effects in intermolecular interactions.     

Geometric constraints in semiclassical initial value representation calculations in Cartesian coordinates: accurate reduction in zero-point energy

An approach for the inclusion of geometric constraints in semiclassical initial value representation calculations is introduced. An important aspect of the approach is that Cartesian coordinates are used throughout. We devised an algorithm for the constrained sampling of initial conditions through the use of multivariate Gaussian distribution based on a projected Hessian. We also propose an approach for the constrained evaluation of the so-called Herman-Kluk prefactor in its exact log-derivative form. Sample calculations are performed for free and constrained rare-gas trimers. The results show that the proposed approach provides an accurate evaluation of the reduction in zero-point energy. Exact basis set calculations are used to assess the accuracy of the semiclassical results. Since Cartesian coordinates are used, the approach is general and applicable to a variety of molecular and atomic systems.     

Nonadiabatic surface hopping Herman-Kluk semiclassical initial value representation method revisited: applications to Tully's three model systems

The nonadiabatic surface hopping Herman-Kluk (HK) semiclassical initial value representation (SC-IVR) method for nonadiabatic problems is reformulated. The method has the same spirit as Tully's surface hopping technique [J. Chem. Phys. 93, 1061 (1990)] and almost keeps the same structure as the original single-surface HK SC-IVR method except that trajectories can hop to other surfaces according to the hopping probabilities and phases, which can be easily integrated along the paths. The method is based on a rather general nonadiabatic semiclassical surface hopping theory developed by Herman [J. Chem. Phys. 103, 8081 (1995)], which has been shown to be accurate to the first order in h and through all the orders of the nonadiabatic coupling amplitude. Our simulation studies on the three model systems suggested by Tully demonstrate that this method is practical and capable of describing nonadiabatic quantum dynamics for various coupling situations in very good agreement with benchmark calculations.     

Long-time and unitary properties of semiclassical initial value representations

We numerically compare the semiclassical "frozen Gaussian" Herman-Kluk propagator [Chem. Phys. 91, 27 (1984)] and the "thawed Gaussian" propagator put forward recently by Baranger et al. [J. Phys. A 34, 7227 (2001)] by studying the quantum dynamics in some nonlinear one-dimensional potentials. The reasons for the lack of long-time accuracy and norm conservation in the latter method are uncovered. We amend the thawed Gaussian propagator with a global harmonic approximation for the stability of the trajectories and demonstrate that this revised propagator is a true alternative to the Herman-Kluk propagator with similar accuracy.     

Semiclassical initial value series representation in the continuum limit: application to vibrational relaxation

A recently formulated continuum limit semiclassical initial value series representation (SCIVR) of the quantum dynamics of dissipative systems is applied to the study of vibrational relaxation of model harmonic and anharmonic oscillator systems. As is well known, the classical dynamics of dissipative systems may be described in terms of a generalized Langevin equation. The continuum limit SCIVR uses the Langevin trajectories as input, albeit with a quantum noise rather than a classical noise. Combining this development with the forward-backward form of the prefactor-free propagator leads to a tractable scheme for computing quantum thermal correlation functions. Here we present the first implementation of this continuum limit SCIVR series method to study two model problems of vibrational relaxation. Simulations of the dissipative harmonic oscillator system over a wide range of parameters demonstrate that at most only the first two terms in the SCIVR series are needed for convergence of the correlation function. The methodology is then applied to the vibrational relaxation of a dissipative Morse oscillator. Here, too, the SCIVR series converges rapidly as the first two terms are sufficient to provide the quantum mechanical relaxation with an estimated accuracy on the order of a few percent. The results in this case are compared with computations obtained using the classical Wigner approximation for the relaxation dynamics.     

Semiclassical initial value representation study of internal conversion rates

Internal conversion is an inherently quantum mechanical process. To date, "on the fly" computation of internal conversion rates is limited to harmonic approximations, which would seem to be especially unsuitable, given that the typical transition to the ground electronic state occurs at energies which are far from the harmonic limit. It is thus of interest to study the applicability of the semiclassial initial value representation (SCIVR) approach which is in principle amenable to on the fly studies even with "many" degrees of freedom. In this paper we study the applicability of the Herman-Kluk (HK) SCIVR to a model system with two coupled and anharmonic degrees of freedom. We find that (a) the HK SCIVR is a good approximation to the exact quantum dynamics; (b) computation of the first order correction to the HK-SCIVR approximation corroborates the accuracy; (c) by studying a large parameter range, we find that the harmonic approximation is mostly unsatisfactory; and (d) for the specific model used, the coupling between the modes was found to be relatively unimportant. These results imply that the HK-SCIVR methodology is a good candidate for on the fly studies of internal conversion processes of "large" molecules.     

Semiclassical initial value series solution of the spin boson problem

A numerical solution for the quantum dynamics of the spin boson problem is obtained using the semiclassical initial value series representation approach to the quantum dynamics. The zeroth order term of the series is computed using the new forward-backward representation for correlation functions presented in the preceding adjacent paper. This leads to a rapid convergence of the Monte Carlo sampling, as compared to previous attempts. The zeroth order results are already quite accurate. The first order term of the series is small, demonstrating the rapid convergence of the semiclassical initial value representation series. This is the first time that the first order term in the semiclassical initial value representation series has been converged for systems with the order of 50 degrees of freedom.