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

Semiclassical dynamics in Wigner phase space I: Adiabatic hybrid Wigner dynamics

The Wigner phase space formulation of quantum mechanics is a complete framework for quantum dynamic calculations that elegantly highlights connections with classical dynamics. In this series of two articles, building upon previous efforts, we derive the full hierarchy of approximate semiclassical (SC) dynamic methods for adiabatic and non-adiabatic problems in Wigner phase space. In Paper I, focusing on adiabatic single surface processes, we derive the well-known double Herman-Kluk (DHK) approximation for real-time correlation functions in Wigner phase space and connect it to the linearized SC (LSC) approximation through a stationary phase approximation. We exploit this relationship to introduce a new hybrid SC method, termed Adiabatic Hybrid Wigner Dynamics (AHWD) that allows for a few important "system" degrees of freedom (dofs) to be treated at the DHK level, while treating the rest of the dofs (the "bath") at the LSC level. AHWD is shown to accurately capture quantum interference effects in models of coupled oscillators and the decoherence of vibrational probability density of a model I2 Morse oscillator coupled to an Ohmic thermal bath. We show that AHWD significantly mitigates the sign problem and employs reduced dimensional prefactors bringing calculations of complex system-bath problems within the reach of SC methods. Paper II focuses on extending this hybrid SC dynamics to nonadiabatic processes.

Quantum correlation functions through tensor network path integral

Tensor networks have historically proven to be of great utility in providing compressed representations of wave functions that can be used for the calculation of eigenstates. Recently, it has been shown that a variety of these networks can be leveraged to make real time non-equilibrium simulations of dynamics involving the Feynman-Vernon influence functional more efficient. In this work, a tensor network is developed for non-perturbatively calculating the equilibrium correlation function for open quantum systems using the path integral methodology. These correlation functions are of fundamental importance in calculations of rates of reactions, simulations of response functions and susceptibilities, spectra of systems, etc. The influence of the solvent on the quantum system is incorporated through an influence functional, whose unconventional structure motivates the design of a new optimal matrix product-like operator that can be applied to the so-called path amplitude matrix product state. This complex-time tensor network path integral approach provides an exceptionally efficient representation of the path integral, enabling simulations for larger systems strongly interacting with baths and at lower temperatures out to longer time. The derivation, design, and implementation of this method are discussed along with a wide range of illustrations ranging from rate theory and symmetrized spin correlation functions to simulation of response of the Fenna-Matthews-Olson complex to light.

Matsubara dynamics approximation for generalized multi-time correlation functions

We introduce a semi-classical approximation for calculating generalized multi-time correlation functions based on Matsubara dynamics, a classical dynamics approach that conserves the quantum Boltzmann distribution. This method is exact for the zero time and harmonic limits and reduces to classical dynamics when only one Matsubara mode is considered (i.e., the centroid). Generalized multi-time correlation functions can be expressed as canonical phase-space integrals, involving classically evolved observables coupled through Poisson brackets in a smooth Matsubara space. Numerical tests on a simple potential show that the Matsubara approximation exhibits better agreement with exact results than classical dynamics, providing a bridge between the purely quantum and classical descriptions of multi-time correlation functions. Despite the phase problem that prevents practical applications of Matsubara dynamics, the reported work provides a benchmark theory for the future development of quantum-Boltzmann-preserving semi-classical approximations for studies of chemical dynamics in condensed phase systems.

Calculating Multidimensional Optical Spectra from Classical Trajectories

Multidimensional optical spectra are measured from the response of a material system to a sequence of laser pulses and have the capacity to elucidate specific molecular interactions and dynamics whose influences are absent or obscured in a conventional linear absorption spectrum. Interpretation of complex spectra is supported by theoretical modeling of the spectroscopic observable, requiring implementation of quantum dynamics for coupled electrons and nuclei. Performing numerically correct quantum dynamics in this context may pose computational challenges, particularly in the condensed phase. Semiclassical methods based on calculating classical trajectories offer a practical alternative. Here I review the recent application of some semiclassical, trajectory-based methods to nonlinear molecular vibrational and electronic spectra.

Expected final online publication date for the Annual Review of Physical Chemistry, Volume 73 is April 2022. Please see http://www.annualreviews.org/page/journal/pubdates for revised estimates.

Machine learning phase space quantum dynamics approaches

Derived from phase space expressions of the quantum Liouville theorem, equilibrium continuity dynamics is a category of trajectory-based phase space dynamics methods, which satisfies the two critical fundamental criteria: conservation of the quantum Boltzmann distribution for the thermal equilibrium system and being exact for any thermal correlation functions (even of nonlinear operators) in the classical and harmonic limits. The effective force and effective mass matrix are important elements in the equations of motion of equilibrium continuity dynamics, where only the zeroth term of an exact series expansion of the phase space propagator is involved. We introduce a machine learning approach for fitting these elements in quantum phase space, leading to a much more efficient integration of the equations of motion. Proof-of-concept applications to realistic molecules demonstrate that machine learning phase space dynamics approaches are possible as well as competent in producing reasonably accurate results with a modest computation effort.

An open-chain imaginary-time path-integral sampling approach to the calculation of approximate symmetrized quantum time correlation functions

We introduce a scheme for approximating quantum time correlation functions numerically within the Feynman path integral formulation. Starting with the symmetrized version of the correlation function expressed as a discretized path integral, we introduce a change of integration variables often used in the derivation of trajectory-based semiclassical methods. In particular, we transform to sum and difference variables between forward and backward complex-time propagation paths. Once the transformation is performed, the potential energy is expanded in powers of the difference variables, which allows us to perform the integrals over these variables analytically. The manner in which this procedure is carried out results in an open-chain path integral (in the remaining sum variables) with a modified potential that is evaluated using imaginary-time path-integral sampling rather than requiring the generation of a large ensemble of trajectories. Consequently, any number of path integral sampling schemes can be employed to compute the remaining path integral, including Monte Carlo, path-integral molecular dynamics, or enhanced path-integral molecular dynamics. We believe that this approach constitutes a different perspective in semiclassical-type approximations to quantum time correlation functions. Importantly, we argue that our approximation can be systematically improved within a cumulant expansion formalism. We test this approximation on a set of one-dimensional problems that are commonly used to benchmark approximate quantum dynamical schemes. We show that the method is at least as accurate as the popular ring-polymer molecular dynamics technique and linearized semiclassical initial value representation for correlation functions of linear operators in most of these examples and improves the accuracy of correlation functions of nonlinear operators.

Fractional dynamics using an ensemble of classical trajectories

A trajectory-based formulation for fractional dynamics is presented and the trajectories are generated deterministically. In this theoretical framework, we derive a new class of estimators in terms of confluent hypergeometric function (_{1}F_{1}) to represent the Riesz fractional derivative. Using this method, the simulation of free and confined Lévy flight are in excellent agreement with the exact numerical and analytical results. In addition, the barrier crossing in a bistable potential driven by Lévy noise of index α is investigated. In phase space, the behavior of trajectories reveal the feature of Lévy flight in a better perspective.

Semiclassical "Divide-and-Conquer" Method for Spectroscopic Calculations of High Dimensional Molecular Systems

A new semiclassical "divide-and-conquer" method is presented with the aim of demonstrating that quantum dynamics simulations of high dimensional molecular systems are doable. The method is first tested by calculating the quantum vibrational power spectra of water, methane, and benzene-three molecules of increasing dimensionality for which benchmark quantum results are available-and then applied to C_{60}, a system characterized by 174 vibrational degrees of freedom. Results show that the approach can accurately account for quantum anharmonicities, purely quantum features like overtones, and the removal of degeneracy when the molecular symmetry is broken.

On-the-Fly ab Initio Semiclassical Calculation of Glycine Vibrational Spectrum

We present an on-the-fly ab initio semiclassical study of vibrational energy levels of glycine, calculated by Fourier transform of the wavepacket correlation function. It is based on a multiple coherent states approach integrated with monodromy matrix regularization for chaotic dynamics. All four lowest-energy glycine conformers are investigated by means of single-trajectory semiclassical spectra obtained upon classical evolution of on-the-fly trajectories with harmonic zero-point energy. For the most stable conformer I, direct dynamics trajectories are also run for each vibrational mode with energy equal to the first harmonic excitation. An analysis of trajectories evolved up to 50 000 atomic time units demonstrates that, in this time span, conformers II and III can be considered as isolated species, while conformers I and IV show a pretty facile interconversion. Therefore, previous perturbative studies based on the assumption of isolated conformers are often reliable but might be not completely appropriate in the case of conformer IV and conformer I for which interconversion occurs promptly.

The importance of the pre-exponential factor in semiclassical molecular dynamics

This paper deals with the critical issue of approximating the pre-exponential factor in semiclassical molecular dynamics. The pre-exponential factor is important because it accounts for the quantum contribution to the semiclassical propagator of the classical Feynman path fluctuations. Pre-exponential factor approximations are necessary when chaotic or complex systems are simulated. We introduced pre-exponential factor approximations based either on analytical considerations or numerical regularization. The approximations are tested for power spectrum calculations of more and more chaotic model systems and on several molecules, for which exact quantum mechanical values are available. The results show that the pre-exponential factor approximations introduced are accurate enough to be safely employed for semiclassical simulations of complex systems.

Path integral Liouville dynamics for thermal equilibrium systems

We show a new imaginary time path integral based method--path integral Liouville dynamics (PILD), which can be derived from the equilibrium Liouville dynamics [J. Liu and W. H. Miller, J. Chem. Phys. 134, 104101 (2011)] in the Wigner phase space. Numerical tests of PILD with the simple (white noise) Langevin thermostat have been made for two strongly anharmonic model problems. Since implementation of PILD does not request any specific form of the potential energy surface, the results suggest that PILD offers a potentially useful approach for general condensed phase molecular systems to have the two important properties: conserves the quantum canonical distribution and recovers exact thermal correlation functions (of even nonlinear operators, i.e., nonlinear functions of position or momentum operators) in the classical, high temperature, and harmonic limits.

The Nosé-Hoover looped chain thermostat for low temperature thawed Gaussian wave-packet dynamics

We have used a generalised coherent state resolution of the identity to map the quantum canonical statistical average for a general system onto a phase-space average over the centre and width parameters of a thawed Gaussian wave packet. We also propose an artificial phase-space density that has the same behaviour as the canonical phase-space density in the low-temperature limit, and have constructed a novel Nosé-Hoover looped chain thermostat that generates this density in conjunction with variational thawed Gaussian wave-packet dynamics. This forms a new platform for evaluating statistical properties of quantum condensed-phase systems that has an explicit connection to the time-dependent Schrödinger equation, whilst retaining many of the appealing features of path-integral molecular dynamics.

An optimized semiclassical approximation for vibrational response functions

The observables of multidimensional infrared spectroscopy may be calculated from nonlinear vibrational response functions. Fully quantum dynamical calculations of vibrational response functions are generally impractical, while completely classical calculations are qualitatively incorrect at long times. These challenges motivate the development of semiclassical approximations to quantum mechanics, which use classical mechanical information to reconstruct quantum effects. The mean-trajectory (MT) approximation is a semiclassical approach to quantum vibrational response functions employing classical trajectories linked by deterministic transitions representing the effects of the radiation-matter interaction. Previous application of the MT approximation to the third-order response function R(3)(t3, t2, t1) demonstrated that the method quantitatively describes the coherence dynamics of the t3 and t1 evolution times, but is qualitatively incorrect for the waiting-time t2 period. Here we develop an optimized version of the MT approximation by elucidating the connection between this semiclassical approach and the double-sided Feynman diagrams (2FD) that represent the quantum response. Establishing the direct connection between 2FD and semiclassical paths motivates a systematic derivation of an optimized MT approximation (OMT). The OMT uses classical mechanical inputs to accurately reproduce quantum dynamics associated with all three propagation times of the third-order vibrational response function.

Insights in quantum dynamical effects in the infrared spectroscopy of liquid water from a semiclassical study with an ab initio-based flexible and polarizable force field

The dynamical properties of liquid water play an important role in many processes in nature. In this paper, we focus on the infrared (IR) absorption spectrum of liquid water based on the linearized semiclassical initial value representation (LSC-IVR) with the local Gaussian approximation (LGA) [J. Liu and W. H. Miller, J. Chem. Phys. 131, 074113 (2009)] and an ab initio based, flexible, polarizable Thole-type model (TTM3-F) [G. S. Fanourgakis and S. S. Xantheas, J. Chem. Phys. 128, 074506 (2008)]. Although the LSC-IVR (LGA) gives the exact result for the isolated three-dimensional shifted harmonic stretching model, it yields a blueshifted peak position for the more realistic anharmonic stretching potential. By using the short-time information of the LSC-IVR correlation function; however, it is shown how one can obtain more accurate results for the position of the stretching peak. Due to the physical decay in the condensed phase system, the LSC-IVR (LGA) is a good and practical approximate quantum approach for the IR spectrum of liquid water. The present results offer valuable insight into future attempts to improve the accuracy of the TTM3-F potential or other ab initio-based models in reproducing the IR spectrum of liquid water.

The classical Wigner method with an effective quantum force: application to the collinear H + H2 reaction

To improve the classical Wigner (CW) model, we recently proposed the classical Wigner model with an effective quantum force (CWEQF). The results of the CWEQF model are more accurate than those of the CW model. Still the simplicity of the CW model is retained. The quantum force was obtained by defining a characteristic distance η(0) between two Feynman paths that enter the expression for the flux-flux correlation function. η(0) was considered independent of the position along the reaction path. The CWEQF leads to a lowering of the effective potential barrier. Here we develop the method to use position dependent η(0) values. The method is also generalized to two dimensions. Applications are carried out on one-dimensional model problems and the two-dimensional H + H(2) collinear reaction.

Semiclassical quantization in Liouville space for vibrational dynamics

Semiclassical approximations to quantum mechanics can include quantum coherence effects in dynamical calculations based on classical mechanics. The Herman-Kluk (HK) semiclassical propagator has been demonstrated to reproduce quantum effects in nonlinear vibrational response functions of anharmonic oscillators but does not provide a practical numerical route to calculations for multiple degrees of freedom. In an HK calculation of a response function, quantum coherence effects enter through interference between pairs of classical trajectories. We have previously elucidated the mechanism by which the HK approximation reproduces quantum effects in response functions in the regime of quasiperiodic dynamics. We have applied this understanding to significantly simplify the semiclassical calculation of response functions in this dynamical regime. The phase space difference between trajectories is treated perturbatively in anharmonicity, allowing integration over these differences to be performed analytically and leaving integration over mean trajectories to be performed numerically. This mean-trajectory (MT) approximation has been applied to linear and nonlinear vibrational response functions for isolated and coupled anharmonic motions. Here, we derive an MT approximation for the Liouville space time evolution operator or superoperator that propagates the density operator. This analysis provides a form of the MT approximation that is readily applicable to other dynamical quantities besides response functions and clarifies the connection between semiclassical quantization of propagators for the wave function and for the density operator.

Semiclassical nonlinear response functions for coupled anharmonic vibrations

Observables in linear and nonlinear infrared spectroscopy may be computed from vibrational response functions describing nuclear dynamics on a single electronic surface. We demonstrate that the Herman-Kluk (HK) semiclassical approximation to the quantum propagator yields an accurate representation of quantum coherence effects in linear and nonlinear response functions for coupled anharmonic oscillators. A considerable numerical price is paid for this accuracy; the calculation requires a multidimensional integral over a highly oscillatory integrand that also grows without bound as a function of evolution times. The interference among classical trajectories in the HK approximation produces quantization of good action variables. By treating this interference analytically, we develop a mean-trajectory (MT) approximation that requires only the propagation of classical trajectories linked by transitions in action. The MT approximation accurately reproduces coherence effects in response functions of coupled anharmonic oscillators in a regime in which the observables are strongly influenced by these interactions among vibrations.

The properties of water: insights from quantum simulations

The properties of water play a central role in many phenomena of relevance to different areas of science, including physics, chemistry, biology, geology, and climate research. Although well studied for decades, the behavior of water under different conditions and in different environments still remains mysterious and often surprising. In this article, various efforts aimed at providing a comprehensive representation of the water properties at a molecular level through computer modeling and simulation will be described. In particular, the unique role played by the hydrogen-bond network will be examined, first in liquid water, then in the solvation of model biological compounds, and finally in ice, especially highlighting the important effects related to the quantization of the nuclear motion.

Closure of quantum hydrodynamic moment equations

The hydrodynamic formulation of mixed quantum states involves a hierarchy of coupled equations of motion for the momentum moments of the Wigner function. In this work a closure scheme for the hierarchy is developed. The closure scheme uses information contained in the lower known moments to expand the Wigner phase-space distribution function in a Gauss-Hermite orthonormal basis. The higher moment required to terminate the hierarchy is then easily obtained from the reconstructed approximate Wigner function by a straightforward integration over the momentum space. Application of the moment closure scheme is demonstrated for the dissipative and nondissipative dynamics of two different systems: (i) double-well potential, (ii) periodic potential.