Quantum Diffusion in Liquid Para-hydrogen: An Application of the Feynman−Kleinert Linearized Path Integral Approximation

Benchmarking various nonadiabatic semiclassical mapping dynamics methods with tensor-train thermo-field dynamics

Accurate quantum dynamics simulations of nonadiabatic processes are important for studies of electron transfer, energy transfer, and photochemical reactions in complex systems. In this comparative study, we benchmark various approximate nonadiabatic dynamics methods with mapping variables against numerically exact calculations based on the tensor-train (TT) representation of high-dimensional arrays, including TT-KSL for zero-temperature dynamics and TT-thermofield dynamics for finite-temperature dynamics. The approximate nonadiabatic dynamics methods investigated include mixed quantum-classical Ehrenfest mean-field and fewest-switches surface hopping, linearized semiclassical mapping dynamics, symmetrized quasiclassical dynamics, the spin-mapping method, and extended classical mapping models. Different model systems were evaluated, including the spin-boson model for nonadiabatic dynamics in the condensed phase, the linear vibronic coupling model for electronic transition through conical intersections, the photoisomerization model of retinal, and Tully's one-dimensional scattering models. Our calculations show that the optimal choice of approximate dynamical method is system-specific, and the accuracy is sensitively dependent on the zero-point-energy parameter and the initial sampling strategy for the mapping variables.

A Semiclassical Framework for Mixed Quantum Classical Dynamics

Semiclassical (SC) approximations for quantum dynamic simulations in complex chemical systems range from rigorously accurate methods that are computationally expensive to methods that exhibit near-classical scaling with system size but are limited in their ability to describe quantum effects. In practical studies of high-dimensional reactions, neither extreme is the best choice: frequently a high-level quantum mechanical description is only required for a handful of modes, while the majority of environment modes that do not play a key role in the reactive event of interest are well served with a lower level of theory. In this feature, we introduce modified Filinov filtration as a powerful tool to construct mixed quantum-classical SC theories where different subsystems can be quantized to different extents without introducing ad hoc intersubsystem interaction terms. We demonstrate that these Filinov-based SC methods can systematically tune between quantum and classical limit SC behavior, offering a practical way forward to accurate and computationally efficient simulations of high-dimensional quantum processes.

Imaginary-Time Open-Chain Path-Integral Approach for Two-State Time Correlation Functions and Applications in Charge Transfer

Quantum time correlation functions (TCFs) involving two states are important for describing nonadiabatic dynamical processes such as charge transfer. Based on a previous single-state method, we propose an imaginary-time open-chain path-integral (OCPI) approach for evaluating the two-state symmetrized TCFs. Expressing the forward and backward propagation on different electronic potential energy surfaces as a complex-time path integral, we then transform the path variables to average and difference variables such that the integration over the difference variables up to the second order can be performed analytically. The resulting expression for the symmetrized TCF is equivalent to sampling the open-chain configurations in an effective potential that corresponds to the average surface. Using importance sampling over the extended OCPI space via open path integral molecular dynamics, we tested the resulting path-integral approximation by calculating the Fermi's golden rule charge transfer rate constant within a widely-used spin-boson model. Comparing with the real-time linearized semiclassical method and analytical result, we show that the imaginary-time OCPI provides an accurate two-state symmetrized TCF and rate constant in the typical turnover region. It is shown that the first bead of the open chain corresponds to physical zero-time, and the endpoint bead corresponds to final time t; oscillations of the end-to-end distance perfectly match the nuclear mode frequency. The two-state OCPI scheme is seen to capture the tested model's electronic quantum coherence and nuclear quantum effects accurately.

A Divergence-Free Wigner Transform of the Boltzmann Operator Based on an Effective Frequency Theory

The centroid effective frequency representation of path integrals as developed by Feynman and Kleinert was originally aimed at calculating partition functions and related quantities in the canonical ensemble. In its path integral formulation, only closed paths were relevant. This formulation has been used by the present authors in order to calculate the many-body Wigner function of the Boltzmann operator, which includes also open paths. This usage of the theory outside of the original intention can lead to mathematical divergence issues for potentials with barriers, particularly at low temperature. In the present paper, we modify the effective frequency theory of Feynman and Kleinert by also including open paths in its variational equations. In this way, a divergence-free approximation to the Boltzmann operator matrix elements is derived. This generalized version of Feynman and Kleinert’s formulation is thus more robust and can be applied to all types of barriers at all temperatures. This new version is used to calculate the Wigner functions of the Boltzmann operator for a quartic oscillator and for a double well potential and both static and dynamic properties are studied at several temperatures. The new theory is found to be essentially as precise as the original one. Its advantage is that it will always deliver a well-defined, even if approximate, Wigner function, which can, for instance, be used for sampling initial conditions for molecular dynamics simulations. As will be discussed, the theory can be systematically improved by including higher-order Fourier modes into the nonquadratic part of the trial action.

Decelerated Liquid Dynamics Induced by Component-Dependent Supercooling in Hydrogen and Deuterium Quantum Mixtures

Isotopic mixtures of p-H₂ and o-D₂ molecules have been an attractive binary system because they include two kinds of purely isotopic molecules which possess the same electronic potential but the twice different mass inducing differently pronounced nuclear quantum effects (NQEs). Accessing details of structures and dynamics in such quantum mixtures combining complex molecular dynamics with NQEs of different strengths remains a challenging problem. Taking advantage of the nonempirical molecular dynamics method which describes p-H₂ and o-D₂ molecules, we found that the liquid dynamics slows down at a specific mixing ratio, which can be connected to the observed anomalous slowdown of crystallization in the quantum mixtures. We attributed the decelerated dynamics to the component-dependent supercooling of p-H₂ taking place in the mixtures, demonstrating that there is an optimal mixing ratio to hinder crystallization. The obtained physical insights will help in experimentally controlling and achieving unknown quantum mixtures including superfluid.

Isotopic Effects on Intermolecular and Intramolecular Structure and Dynamics in Hydrogen, Deuterium, and Tritium Liquids: Normal Liquid and Weakly and Strongly Cooled Liquids

Differences in properties such as phase-transition temperature and transport coefficients among liquids of different isotopic compositions, hydrogen, deuterium, and tritium, should originate from their differently pronounced nuclear quantum effects (NQEs) rather than from any subtle difference in the electronic interaction potentials. Accurate and efficient determination of structural and dynamical isotopic effects in the quantum liquids still remains as one of the challenging problems in condensed-phase physics. With a recently developed nonempirical real-time molecular dynamics method which describes nonspherical molecules with the NQEs, we computationally realized and investigated dynamical and quantum isotopic effects of not only traditionally studied isotopes, hydrogen, and deuterium but also a lesser known radioisotope, tritium, in broad thermodynamic conditions from normal liquid to weakly and strongly cooled liquids, which have been hindered by rapid crystallization in spite of numerous experimental attempts at supercooling. Reproducing the previously reported experimental isotope dependence on the bond length and vibrational frequencies of hydrogen, deuterium, and tritium liquids, we further demonstrate that distinctive isotope effects appear in their intermolecular and intramolecular structure and dynamics not only at lower temperature but also at higher temperature, which none has so far been able to obtain quantitative results for realistic systems. Rationalization of their physical origins and the obtained physical insights will help future experimental searching and monitoring intermolecular and intramolecular dynamics and structures of these isotopes not only in normal liquid but also in supercooled liquid.

Nuclear Quantum Effects in the Layering and Diffusion of Hydrogen Isotopes in Carbon Nanotubes

Although recent experimental studies have demonstrated that H2 and D2 molecules wet the inner surface of supergrowth carbon nanotubes at low temperatures, characterization of the structural and dynamical properties in this regime is challenging. This Letter presents a theoretical study of self-diffusion in pure and binary H2, D2, and T2 contact monolayer films formed on the inner surface of a carbon nanotube. Our results show that monolayer formation and self-diffusion both in pure hydrogen isotopes and in H2/T2 and H2/D2 isotope mixtures is impacted by nuclear quantum effects, suggesting potential applications of carbon nanotubes for the separation of hydrogen isotopes.

The ground state estimation by global optimization of an effective potential. Application to binary para-H(2)/ortho-D(2) molecular clusters

It is demonstrated how the problem of ground state estimation of an n-body system can be recast as the less demanding problem of finding the global minimum of an effective potential in the 3n-dimensional coordinate space. The latter emerges when the solution of the imaginary-time Schrödinger equation is approximated by a variational Gaussian wavepacket (VGW). The VGW becomes stationary in the infinite-imaginary-time limit. Such a stationary solution is not only exact for a harmonic potential, but it also provides a good approximation for a quantum state that is still localized in one of the basins of attraction, when, for example, the harmonic approximation may fail. The landscape of the effective potential is favorable for its global optimization, and is particularly suitable for optimization by GMIN, an open source program designed for global optimization using the basin-hopping algorithm. Consequently, the methodology is applied within GMIN to estimate the ground state structures of several binary para-H(2)/ortho-D(2) molecular clusters. The results are generally consistent with the previous observations for homogeneous para-H(2) and ortho-D(2) clusters, as well as for smaller binary clusters.

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.

Linearized semiclassical initial value time correlation functions using the thermal Gaussian approximation: Applications to condensed phase systems

The linearized approximation to the semiclassical initial value representation (LSC-IVR) has been used together with the thermal Gaussian approximation (TGA) (TGA/LSC-IVR) [J. Liu and W. H. Miller, J. Chem. Phys. 125, 224104 (2006)] to simulate quantum dynamical effects in realistic models of two condensed phase systems. This represents the first study of dynamical properties of the Ne(13) Lennard-Jones cluster in its liquid-solid phase transition region (temperature from 4 to 14 K). Calculation of the force autocorrelation function shows considerable differences from that given by classical mechanics, namely that the cluster is much more mobile (liquidlike) than in the classical case. Liquid para-hydrogen at two thermodynamic state points (25 and 14 K under nearly zero external pressure) has also been studied. The momentum autocorrelation function obtained from the TGA/LSC-IVR approach shows very good agreement with recent accurate path integral Monte Carlo results at 25 K [A. Nakayama and N. Makri, J. Chem. Phys. 125, 024503 (2006)]. The self-diffusion constants calculated by the TGA/LSC-IVR are in reasonable agreement with those from experiment and from other theoretical calculations. These applications demonstrate the TGA/LSC-IVR to be a practical and versatile method for quantum dynamics simulations of condensed phase systems.

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.

Using the thermal Gaussian approximation for the Boltzmann operator in semiclassical initial value time correlation functions

The thermal Gaussian approximation (TGA) recently developed by Frantsuzov et al. [Chem. Phys. Lett. 381, 117 (2003)] has been demonstrated to be a practical way for approximating the Boltzmann operator exp(-betaH) for multidimensional systems. In this paper the TGA is combined with semiclassical (SC) initial value representations (IVRs) for thermal time correlation functions. Specifically, it is used with the linearized SC-IVR (LSC-IVR, equivalent to the classical Wigner model), and the "forward-backward semiclassical dynamics" approximation developed by Shao and Makri [J. Phys. Chem. A 103, 7753 (1999); 103, 9749 (1999)]. Use of the TGA with both of these approximate SC-IVRs allows the oscillatory part of the IVR to be integrated out explicitly, providing an extremely simple result that is readily applicable to large molecular systems. Calculation of the force-force autocorrelation for a strongly anharmonic oscillator demonstrates its accuracy, and calculation of the velocity autocorrelation function (and thus the diffusion coefficient) of liquid neon demonstrates its applicability.

On the short-time limit of ring polymer molecular dynamics

We examine the short-time accuracy of a class of approximate quantum dynamical techniques that includes the centroid molecular dynamics (CMD) and ring polymer molecular dynamics (RPMD) methods. Both of these methods are based on the path integral molecular dynamics (PIMD) technique for calculating the exact static equilibrium properties of quantum mechanical systems. For Kubo-transformed real-time correlation functions involving operators that are linear functions of positions or momenta, the RPMD and (adiabatic) CMD approximations differ only in the choice of the artificial mass matrix of the system of ring polymer beads that is employed in PIMD. The obvious ansatz for a general method of this type is therefore to regard the elements of the PIMD (or Parrinello-Rahman) mass matrix as an adjustable set of parameters that can be chosen to improve the accuracy of the resulting approximation. We show here that this ansatz leads uniquely to the RPMD approximation when the criterion that is used to select the mass matrix is the short-time accuracy of the Kubo-transformed correlation function. In particular, we show that the leading error in the RPMD position autocorrelation function is O(t(8)) and the error in the velocity autocorrelation function is O(t(6)), for a general anharmonic potential. The corresponding errors in the CMD approximation are O(t(6)) and O(t(4)), respectively.