Graph-Theoretic Molecular Fragmentation for Potential Surfaces Leads Naturally to a Tensor Network Form and Allows Accurate and Efficient Quantum Nuclear Dynamics.

Molecular fragmentation methods have revolutionized quantum chemistry. Here, we use a graph-theoretically generated molecular fragmentation method, to obtain accurate and efficient representations for multidimensional potential energy surfaces and the quantum time-evolution operator, which plays a critical role in quantum chemical dynamics. In doing so, we find that the graph-theoretic fragmentation approach naturally reduces the potential portion of the time-evolution operator into a tensor network that contains a stream of coupled lower-dimensional propagation steps to potentially achieve quantum dynamics with reduced complexity. Furthermore, the fragmentation approach used here has previously been shown to allow accurate and efficient computation of post-Hartree-Fock electronic potential energy surfaces, which in many cases has been shown to be at density functional theory cost. Thus, by combining the advantages of molecular fragmentation with the tensor network formalism, the approach yields an on-the-fly quantum dynamics scheme where both the electronic potential calculation and nuclear propagation portion are enormously simplified through a single stroke. The method is demonstrated by computing approximations to the propagator and to potential surfaces for a set of coupled nuclear dimensions within a protonated water wire problem exhibiting the Grotthuss mechanism of proton transport. In all cases, our approach has been shown to reduce the complexity of representing the quantum propagator, and by extension action of the propagator on an initial wavepacket, by several orders, with minimal loss in accuracy.

Graph-Theory-Based Molecular Fragmentation for Efficient and Accurate Potential Surface Calculations in Multiple Dimensions.

We present a multitopology molecular fragmentation approach, based on graph theory, to calculate multidimensional potential energy surfaces in agreement with post-Hartree-Fock levels of theory but at the density functional theory cost. A molecular assembly is coarse-grained into a set of graph-theoretic nodes that are then connected with edges to represent a collection of locally interacting subsystems up to an arbitrary order. Each of the subsystems is treated at two levels of electronic structure theory, the result being used to construct many-body expansions that are embedded within an ONIOM scheme. These expansions converge rapidly with the many-body order (or graphical rank) of subsystems and capture many-body interactions accurately and efficiently. However, multiple graphs, and hence multiple fragmentation topologies, may be defined in molecular configuration space that may arise during conformational sampling or from reactive, bond breaking and bond formation, events. Obtaining the resultant potential surfaces is an exponential scaling proposition, given the number of electronic structure computations needed. We utilize a family of graph-theoretic representations within a variational scheme to obtain multidimensional potential surfaces at a reduced cost. The fast convergence of the graph-theoretic expansion with increasing order of many-body interactions alleviates the exponential scaling cost for computing potential surfaces, with the need to only use molecular fragments that contain a fewer number of quantum nuclear degrees of freedom compared to the full system. This is because the dimensionality of the conformational space sampled by the fragment subsystems is much smaller than the full molecular configurational space. Additionally, we also introduce a multidimensional clustering algorithm, based on physically defined criteria, to reduce the number of energy calculations by orders of magnitude. The molecular systems benchmarked include coupled proton motion in protonated water wires. The potential energy surfaces and multidimensional nuclear eigenstates obtained are shown to be in very good agreement with those from explicit post-Hartree-Fock calculations that become prohibitive as the number of quantum nuclear dimensions grows. The developments here provide a rigorous and efficient alternative to this important chemical physics problem.

Challenges in constructing accurate methods for hydrogen transfer reactions in large biological assemblies: rare events sampling for mechanistic discovery and tensor networks for quantum nuclear effects.

We present two methods that address the computational complexities arising in hydrogen transfer reactions in enzyme active sites. To address the challenge of reactive rare events, we begin with an ab initio molecular dynamics adaptation of the Caldeira-Leggett system-bath Hamiltonian and apply this approach to the study of the hydrogen transfer rate-determining step in soybean lipoxygenase-1. Through direct application of this method to compute an ensemble of classical trajectories, we discuss the critical role of isoleucine-839 in modulating the primary hydrogen transfer event in SLO-1. Notably, the formation of the hydrogen bond between isoleucine-839 and the acceptor-OH group regulates the electronegativity of the donor and acceptor groups to affect the hydrogen transfer process. Curtailing the formation of this hydrogen bond adversely affects the probability of hydrogen transfer. The second part of this paper deals with complementing the rare event sampled reaction pathways obtained from the aforementioned development through quantum nuclear wavepacket dynamics. Essentially the idea is to construct quantum nuclear dynamics on the potential surfaces obtained along the biased trajectories created as noted above. Here, while we are able to obtain critical insights on the quantum nuclear effects from wavepacket dynamics, we primarily engage in providing an improved computational approach for efficient representation of quantum dynamics data such as potential surfaces and transmission probabilities using tensor networks. We find that utilizing tensor networks yields an accurate and efficient description of time-dependent wavepackets, reduced dimensional nuclear eigenstates and associated potential energy surfaces at much reduced cost.

Adaptive Dimensional Decoupling for Compression of Quantum Nuclear Wave Functions and Efficient Potential Energy Surface Representations through Tensor Network Decomposition.

We present an approach to reduce the computational complexity and storage pertaining to quantum nuclear wave functions and potential energy surfaces. The method utilizes tensor networks implemented through sequential singular value decompositions. Two specific forms of tensor networks are considered to adaptively compress the data in multidimensional quantum nuclear wave functions and potential energy surfaces. In one case the well-known matrix product state approximation is used whereas in another case the wave function and potential energy surface space is initially partitioned into "system" and "bath" degrees of freedom through singular value decomposition, following which the individual system and bath tensors (wave functions and potentials) are in turn decomposed as matrix product states. We postulate that this leads to a mean-field version of the well-known projectionally entangled pair state known in the tensor networks community. Both formulations appear as special cases of more general higher order singular value decompositions known in the mathematics literature as Tucker decomposition. The networks are then used to study the hydrogen transfer step in the oxidation of isoprene by peroxy and hydroxy radicals. We find that both networks are extremely efficient in accurately representing quantum nuclear eigenstates and potential energy surfaces and in computing inner products between quantum nuclear eigenstates and a final-state basis to yield product side probabilities. We also present formal protocols that will be useful to perform explicit quantum nuclear dynamics.

Efficient and Adaptive Methods for Computing Accurate Potential Surfaces for Quantum Nuclear Effects: Applications to Hydrogen-Transfer Reactions.

We present two sampling measures to gauge critical regions of potential energy surfaces. These sampling measures employ (a) the instantaneous quantum wavepacket density, an approximation to the (b) potential surface, its (c) gradients, and (d) a Shannon information theory based expression that estimates the local entropy associated with the quantum wavepacket. These four criteria together enable a directed sampling of potential surfaces that appears to correctly describe the local oscillation frequencies, or the local Nyquist frequency, of a potential surface. The sampling functions are then utilized to derive a tessellation scheme that discretizes the multidimensional space to enable efficient sampling of potential surfaces. The sampled potential surface is then combined with four different interpolation procedures, namely, (a) local Hermite curve interpolation, (b) low-pass filtered Lagrange interpolation, (c) the monomial symmetrization approximation (MSA) developed by Bowman and co-workers, and (d) a modified Shepard algorithm. The sampling procedure and the fitting schemes are used to compute (a) potential surfaces in highly anharmonic hydrogen-bonded systems and (b) study hydrogen-transfer reactions in biogenic volatile organic compounds (isoprene) where the transferring hydrogen atom is found to demonstrate critical quantum nuclear effects. In the case of isoprene, the algorithm discussed here is used to derive multidimensional potential surfaces along a hydrogen-transfer reaction path to gauge the effect of quantum-nuclear degrees of freedom on the hydrogen-transfer process. Based on the decreased computational effort, facilitated by the optimal sampling of the potential surfaces through the use of sampling functions discussed here, and the accuracy of the associated potential surfaces, we believe the method will find great utility in the study of quantum nuclear dynamics problems, of which application to hydrogen-transfer reactions and hydrogen-bonded systems is demonstrated here.