Skip to main content

ORIGINAL RESEARCH article

Front. Chem., 25 October 2013
Sec. Theoretical and Computational Chemistry

Force-field functor theory: classical force-fields which reproduce equilibrium quantum distributions

  • 1Department of Chemistry and Chemical Biology, Harvard University, Cambridge, MA, USA
  • 2Department of Chemistry, The University of Notre Dame, South Bend, IN, USA

Feynman and Hibbs were the first to variationally determine an effective potential whose associated classical canonical ensemble approximates the exact quantum partition function. We examine the existence of a map between the local potential and an effective classical potential which matches the exact quantum equilibrium density and partition function. The usefulness of such a mapping rests in its ability to readily improve Born-Oppenheimer potentials for use with classical sampling. We show that such a map is unique and must exist. To explore the feasibility of using this result to improve classical molecular mechanics, we numerically produce a map from a library of randomly generated one-dimensional potential/effective potential pairs then evaluate its performance on independent test problems. We also apply the map to simulate liquid para-hydrogen, finding that the resulting radial pair distribution functions agree well with path integral Monte Carlo simulations. The surprising accessibility and transferability of the technique suggest a quantitative route to adapting Born-Oppenheimer potentials, with a motivation similar in spirit to the powerful ideas and approximations of density functional theory.

Introduction

The energy and mass scales of chemical motion lie in a regime between quantum and classical mechanics but for reasons of computational complexity, molecular modeling (MM) is largely performed according to Newton's laws. When classical Hamiltonians are chosen to reproduce properties of real material, classical MM is an efficient compromise. An increasing amount of MM uses highly accurate Born-Oppenheimer (BO) potential energy surfaces, which allow one to study complex bond rearrangements where experiment cannot motivate a potential (Car and Parrinello, 1985; Wang et al., 2013). The BO surface is incompatible with classical statistical mechanics in the sense that we would not expect a classical simulation on the BO surface to reproduce properties of the real material, except in the limit of infinite temperature.

Many approaches already exist to bridge this gap and study quantum equilibrium properties and dynamics: path integral Monte Carlo (PIMC), ring polymer molecular dynamics (RPMD), centroid molecular dynamics (CMD), variational path-integral approximations, discretized path-integral approximations, semi-classical approximations, thermal Gaussian molecular dynamics and colored-noise thermostats (Whitlock et al., 1979; Chandler and Wolynes, 1981; Jang et al., 2001; Nakayama and Makri, 2003; Poulsen et al., 2003; Liu and Miller, 2006; Paesani et al., 2006; Fanourgakis et al., 2009; Liu et al., 2009; Ceriotti et al., 2011; Georgescu et al., 2011; Pérez and Tuckerman, 2011). Most of the these methods involve computational overhead significantly beyond classical mechanics and as they approach exactness their cost rapidly increases.

An alternative philosophy is suggested by density functional theory (DFT) (Hohenberg and Kohn, 1964; Mermin, 1965; Sham and Kohn, 1966; Runge and Gross, 1984; Yuen-Zhou et al., 2010; Tempel and Aspuru-Guzik, 2011). Following this line of reasoning, three questions arise. Can an equilibrium quantum density be obtained from purely classical mechanics and an effective Hamiltonian? Is the effective Hamiltonian uniquely determined by the physical potential? Can the particle density and free energy be given by such a fictitious system? To all these questions, the answer “yes” is implied by the usual recipe for classical force-fields that fit experimental data. The idea of using an effective classical Hamiltonian to incorperate nuclear quantum propagation effects is not novel. For the first time, we prove the uniqueness and existence of a map yielding a classical effective potential given the physical potential. We also make a contribution to this field by demonstrating that the aforementioned mapping can be reversed numerically and approximated analytically.

The bargain of our proposed effective classical potential is similar to that posed by DFT. One sacrifices access to rigorous momentum based-observables and abandons the route to systematic improvement. In exchange, the two properties which are physically guaranteed, the equilibrium particle density and the partition function, are obtained at a cost equivalent to classical sampling but with improved accuracy. As a practical tool, the map is an easy way to transform BO-based force fields into a form which is well-suited for classical sampling. Perhaps the most promising aspect of this mapping would be its scalability which could potentially extend the ability to treat quantum propagation effects to all systems that can be sampled classically. It is even possible that the fictitious trajectories of particles moving on such a potential would, like Kohn-Sham orbitals, have somewhat improved physicality over their classical counterparts, although we will not examine that possibility here.

First, we show the uniqueness of an equilibrium effective potential that gives the exact equilibrium quantum density via classical sampling. Next, we demonstrate that the equilibrium effective potential may be approximated by a linear operator acting on the true potential. Finally, we numerically approximate the map in a rudimentary way, and obtain surprisingly good results and transferability for both one dimensional potentials and a model of liquid para-hydrogen.

1. Equilibrium Effective Potential

In their seminal work on path integral quantum mechanics, Feynman and Hibbs introduced the concept of an effective classical potential that allows for the calculation of quantum partition functions in a seemingly classical fashion (Feynman and Hibbs, 1965). In Appendix A, we discuss a connection with the large and fruitful body of research that focuses on the centroid effective potential and density which should not be confused with the equilibrium effective potential that we now define (Giachetti and Tognetti, 1985; Feynman and Kleinert, 1986; Voth, 1991; Cao, 1993, 1994a,b,c; Cuccoli et al., 1995; Cao and Martyna, 1996; Martyna, 1996; Pavese and Voth, 1996; Roy et al., 1999; Krajewski and Muser, 2001; Blinov and Roy, 2004; Hone et al., 2005; Roy, 2005; Mielke et al., 2013). We start by considering the equilibrium density matrix,

yes

where yes is the system Hamiltonian, β is the inverse temperature, and Z is the partition function. Feynman showed us that we could connect this expression to the path integral representation of the quantum propagator1,

yes

where the Wick-rotated (t → −iτ) action functional is,

yes

By integrating over only closed paths at each coordinate we obtain the scalar equilibrium density,

yes

Finally, we define the partition function as a normalization factor which is obtained by integrating over q,

yes

We are now in a position to define an equilibrium effective potential, which encapsulates knowledge of the physical quantum density into a form amenable to classical sampling. We choose the equilibrium effective potential, W(q) such that,

η0(q)1ZeβW(q)(6)
yes

Note that this definition associates the Boltzmann factor, e−βW(q), with the unnormalized density. Because η0(q) must integrate to unity, this allows us to easily recover the partition function and corresponding quantum Helmholtz free energy, A, with the classical integral,

dq eβW(q)=Zdq η0(q)=ZeβA.(8)

Using Equation 7, one can exactly calculate the equilibrium effective potential whenever one can evaluate the path integral. Unfortunately that is usually numerically intractable. Thus, it is useful to wonder if a unique map exists between any potential V(q) and W(q) under the conditions of a fixed ensemble. If one could easily evaluate the map one could transferably adapt BO potentials to give physical results in classical simulations. Since this mapping is a functor2 which gives an effective force-field we refer to the map as the “force-field functor” and denote it with the symbol yes. A morphism depicting the structure of our proof is shown in Figure 1.

FIGURE 1
www.frontiersin.org

Figure 1. Morphism depicting uniqueness and existence of mappings between the physical potential, V(q), the equilibrium effective potential, W(q), and the associated quantum and classical equilibrium densities, ηQ(q) and η0(q), respectively. This establishes the existence of a mapping, yes, which uniquely determines the equilibrium effective potential.

2. Uniqueness and Existence

Our first step toward developing a theory of force-field functors is to show that the proposed mapping, yes[V(q)] → W(q), exists and is unique. This proof begins in Part A of the current section in which we argue that no two V(q) lead to the same quantum equilibrium density η0(q), which exists by Equations 3 and 4. To show this we take inspiration from Mermin's extension of the Hohenberg-Kohn theorem for finite temperatures and use the quantum Bogoliubov inequality to construct a proof by contradiction (Mermin, 1965). For any potential without hard-shell interactions, the density is always given by a Boltzmann factor of the potential as in Equation 6; thus, the equilibrium effective potential exists for any physically-relevant quantum potential. In Part B of the current section, we make a similar argument to prove that there is a one-to-one map between classical equilibrium density and classical potential (Chayes et al., 1984). Since the effective potential is chosen to be the classical potential associated with the quantum density, these results directly imply that the map between physical potential and effective potential must be unique.

2.1. Uniqueness of Quantum Density

Both steps in this proof take the form of reductio ad absurdum arguments based on the uniqueness of an ensemble which minimizes the free energy of a canonical system. In the Appendix B we show that,

A[ρ] >A[ρ0 ], ρρ0(9)

where A is the quantum Helmholtz free energy,

yes

which is minimum when ρ is equal to the quantum equilibrium density matrix ρ0 associated with the Hamiltonian, yes = T + V(q). With this in mind, suppose that there were another potential V˜(q) that led to the same density η0(q). Denote the Hamiltonian, canonical density matrix and Helmholtz free energy associated with V˜(q) by yes, ρ˜0, and A˜. Since V˜(q)V(q) and ρ0˜ρ03. we can write

yes

Using the definition of the quantum equilibrium particle density,4

η0(q)Tr[ρ0|q q| ],(12)

we see that,

A˜<A+dq[V˜(q)V(q) ]η0(q).(13)

But we see that this relation is still true if we interchange over-scored variables,

A<A˜+dq[V(q)V˜(q) ]η0(q).(14)

This leads to the contradiction,

A+A˜<A˜+A.(15)

and therefore only one V(q) can result in a given η0(q). This proves that V(q) uniquely determines η0(q). Next, we show that the only potential which can reproduce the quantum density with classical sampling is the equilibrium effective potential.

2.2. Uniqueness of the Effective Potential

Equation 7 shows the existence the equilibrium effective potential, W(q). It remains to be shown that W(q) is the only such potential which will reproduce the quantum density, which is to say that yes is completely unique. The classical Bogoliubov inequality states that,

A[η0˜(q) ]>A[η0(q) ],  η0˜(q)η0(q)(16)

where A is the classical Helmholtz free energy,

A[η0(q) ]=E[η0(q) ]1βS[η0(q) ]              =dq η0(q)W(q)+1βdq η0(q)log[η0(q) ](17)

which is minimum when η0(r) is equal to the classical equilibrium density in the presence of W(q). For completeness, this result is also proved in Appendix C. With this in mind, suppose that there were two effective potentials, W˜(q) and W(q) that led to the same density. Then,

A˜=dq η0(q)W˜(q)+1βdq η0(q)log[η0(q) ]   <dq η0(q)W(q)+1βdq η0(q)log[η0(q) ]   =A+dq η0(q)[W˜(q)W(q) ].(18)

So we see that,

A˜<A+dq η0(q)[W˜(q)W(q) ].(19)

If we interchanged all over-scored quantities, we would also find the following,

A<A˜+dq η0(q)[W(q)W˜(q) ].(20)

Adding these equations together leads to the result,

A˜+A<A+A˜.(21)

Thus, we see that no two W(q) lead to the same η0(q).

Because the physical potential V(q) uniquely determines the quantum equilibrium density η0(q), and the quantum equilibrium density uniquely determines the equilibrium effective potential W(q), we see that the map, yes[V(q)] → W(q) must be completely unique.

3. Approximate Linearity

The results of the above section establish the possibility of reversing yes by modeling pairs of V(q) and W(q) generated via the exact path-integral. However, the concept of yes is not useful unless we have good reason to suspect that yes or a useful approximation to yes will be easy to obtain and evaluate numerically. In this section, we analyze the approximation of yes as a linear functor which is straightforwards to construct numerically and because of its separability, applicable to systems of arbitrary dimensionality.

We begin by rewriting Equations 4 and 6,

yes

and introduce several definitions which break apart the action term into a kinetic part and a potential part,

yes

We now employ a notation due to Feynman and Hibbs, for the equilibrium average of a path functional weighted by yes and normalized by yes, “〈〉” (Feynman and Hibbs, 1965). This allows us to write a concise, exact expression for W(q):

yes

Jensen's inequality tells us that that, 〈ef〉 ≥ ef with an error on the order of the variance of f. This simplifies the path integral and introduces error that is second order at worst in the weighted path functional average,

yes

Because any potential is unique only up to a constant, we can use properties of logarithms to remove yes, since it does not depend on q or V(q), to write

yes

with corrections on the order of yes2. We also see from this that the equilibrium effective potential is a temperature dependent correction to the true potential. yes[r(τ)] is clearly a linear functional of V(q) and 〈yes[r(τ)]〉 is clearly a linear functor of yes[r(τ)],

yes

In the multi-dimensional case, the path integral couples all 3N modes of q, making the exact yes a very complicated object which embeds all-orders of quantum many body effects between these modes. However, our analysis suggests a linear approximation which conserves the locality of the original potential. With this approximation we can separate the integral in Equation 30 into each individual interaction order of the potential and see that the path integral does not multiply these terms; the pairwise interactions remain pairwise, the three-mode interactions are mapped by yes onto three-mode interactions, etc.

Approximate separability of this mapping is one of the key differences between our method and approaches such as Feynman-Kleinert, which introduces higher ordered many-body terms into the effective potential, or RPMD, which avoids the issue at the cost of introducing ancilla particles. Our yes can be imagined as a Gaussian smearing of V(q) to first approximation. It is reasonable to suspect that the non-separable many body couplings would be blurred to a high order such that the many-body expansion of the equilibrium effective potential might terminate faster than the many-body expansion of the uncorrected physical potential. This agrees with the empirical observation that tunneling effects stabilize pairwise interactions more than higher-ordered interactions.

4. Numerical Tests

It is far from obvious that a transferable map between V(q) and W(q) can be practically obtained and usefully accurate. Instead of calling upon the most sophisticated procedures we can implement to solve the problem, we take the simplest approach to developing and testing our approximation to yes so that our results are designed to be a worst-case, upper-bound on the error that leaves room for optimism. Approaches such as machine learning could be employed in future work (Snyder et al., 2012). We approximate yes as a linear map (a matrix) acting on our potentials vectorized into coefficients of Legendre polynomials. The entries of this matrix are determined by simple least-squares on a randomly generated training set of 1000 one-dimensional potentials and their corresponding effective potentials chosen by randomly choosing Legendre coefficients with the only constraint being that the classical densities vanish at their boundaries.

Effective potentials were calculated using Equation 7 with densities obtained from the efficient real-space discrete variable representation (DVR) of the path integral (Thirumalai et al., 1983). We examine how this yes performs on instances of other random potentials not included within its training set and then apply it to the Silvera-Goldman pair potential for liquid para-hydrogen (Silvera and Goldman, 1978; Nakayama and Makri, 2003; Hone and Voth, 2004; Poulsen et al., 2004; Miller and Manolopoulos, 2005). Using the resulting effective potential, a classical Monte Carlo simulation was performed to give us radial pair distribution functions in agreement with results from PIMC at a fraction of the computational cost.

4.1. Obtaining the Linear Functor

In order to obtain the simplest possible yes we model the linear transformation as a matrix. This requires that we treat the physical potential and effective potential as vectors in some basis of real-valued functions. Because force-fields are often chosen for the speed with which they can be evaluated, it seems natural to use a polynomial basis. Legendre polynomials evaluated on a fixed domain of [−1, 1] were chosen for their orthogonality and historical usefulness in fitting potentials.

Consider the short time Trotterization of the path-integral, which we use to generate exact quantum densities for our test sets (Thirumalai et al., 1983). The short-time propagator effectively acts as a Gaussian which blurs out the density with a variance that depends exactly on the inverse of the square root of the the mass times the temperature. This factor which determines the “quantumness” of the system is proportional to the thermal de Broglie wavelength, Λ=2πβ/m (Yonetani and Kinugawa, 2003; Georgescu et al., 2013). Because we wish to calculate the deformation of a potential vector evaluated on a fixed domain, the parameter which characterizes our map must depend on the ratio between the thermal de Broglie wavelength and the potential length-scale, Q = Λ/L where L is the potential length-scale.

In order to obtain a linear functor capable of transforming a one-dimensional potential at fixed Q into another one-dimensional potential at fixed Q we randomly generated pairs of potential vectors and their corresponding effective potential vectors. These vectors were in a Legendre polynomial basis of order B and the vector elements of the classical potential (i.e., basis coefficients) were drawn from a flat distribution between −10/β and 10/β. The corresponding effective potential vectors were calculated by evaluating the classical potential vectors as Legendre polynomials on the fixed domain, passing the scalar potential and Q to the aforementioned DVR routine which yields a scalar quantum density, and finally fitting the negative logarithm of that density divided by β to a vector of Legendre polynomials in accordance with Equation 7. Having done this, the goal is to find a matrix yesB × B such that, yes. We chose to perform a Levenberg-Marquart L2 optimization to determine the elements of this matrix (Levenberg, 1944). Our residual was defined as the concatenation of the difference vectors, yes for all N physical potential / effective potential pairs in the randomly generated set.

4.2. Performance Analysis

The linear approximation to yes appears to work quite well for even fairly large values of Q. As we can see in Figure 2, the errors on an independent test set from the linear yes generated W(q) are minimal and significantly better than the classical predictions, especially in strongly quantum regimes. Even the deviation from the exact answer is improved relative to simulations which employ the uncorrected physical potential. For both simulations the error goes to zero as Q goes to zero—a consequence of classical correspondence. As one might expect as Q is increased, predictions given by both classical and yes generated distributions deviate more significantly from the exact answer. In the W(q) simulations these errors are entirely due to the linearity of yes. Another view of the the performance of the linear functor is given in Figure 3. When temperature and length are fixed, mass is a reasonable predictor of the performance of both W(q) and V(q) simulations. For low masses, the classical treatment often misses the quantum free energy by as much as a kcal/mol (chemical accuracy). Having characterized the error of assuming linearity we turn to separability.

FIGURE 2
www.frontiersin.org

Figure 2. Top: plot of the percent error in potential energy of a classical simulation with the classical potential (blue) and yes generated distribution (red) against Q. Bottom: plot of mean integrated squared error (MISE) from the exact quantum density for classical density (blue) and yes generated density (red) against Q. Each point is the mean of these errors on 1000 random potentials with 50 basis functions.

FIGURE 3
www.frontiersin.org

Figure 3. Left: correlation of classical (blue-green) and yes generated (red-yellow) free energy with exact free energy. Dotted lines enclose the chemically accurate region of within one kcal/mol. In more than 97% of instances, our map is more accurate than the classical treatment. Right: correlation of classical and yes generated potential energy with exact potential energy. Color brightness indicates the mass used in setting the Q value at 25K. As mass increases, classical simulations better approximate the energy. Data consists of 1000 cross-validating potentials at each of the six masses shown on the colorbar.

Figure 4 shows the effective potentials obtained from applying our linear yes, trained at 14K and 25L with sets of 1000 potentials, to the Silvera-Goldman potential, which is perhaps the most common potential used to simulate liquid hydrogen with path integrals (Silvera and Goldman, 1978; Nakayama and Makri, 2003; Hone and Voth, 2004; Poulsen et al., 2004; Miller and Manolopoulos, 2005). We then performed a classical Monte Carlo simulation on the potential mapped at 25K and the potential mapped at 14K, using 150 molecules in a cubic cell with periodic boundary conditions and one million steps. Cell size was fixed by densities from the literature (Nakayama and Makri, 2003).

FIGURE 4
www.frontiersin.org

Figure 4. The dashed black line above shows the classical Silvera-Goldman potential in the region of interest for our problem. The red line is the effective potential obtained with our linear yes at 25K and the blue line is at 14K.

The resulting radial distribution functions, g(r) are shown in Figure 5. The differences between the W(q) generated g(r) and the PIMC results are presumably due to the assumption of separability. Slight over-structuring of g(r) at the first shell results from neglect of the 3-body components of the exact W(q). Remarkably, this over-structuring appears to decrease with temperature, lending credence to the idea that many-body effects in W(q) are largely blurred-out by the smearing which the low orders of yes perform on the potential. At both temperatures the errors of these approximations are quite reasonable and although the classical system undergoes a non-physical transition to a solid between 25 and 14K, the model of the present work remains correct.

FIGURE 5
www.frontiersin.org

Figure 5. The top box shows radial pair distribution functions at 25K and the bottom box shows radial pair distribution functions at 14K. The blue (dotted-dashed) curve is for the classical liquid without correction for quantum effects. The green curve (solid) shows the result of classical Monte Carlo sampling on the effective potential obtained with our linear yes. The red curve (dashed) shows PIMC results (Nakayama and Makri, 2003). Even this simple yes is a major improvement over the classical potential.

5. Conclusion

We have shown that for each physical potential, there is a unique effective potential which reproduces the quantum density and free energy when sampled with classical statistics. Other properties of a classical simulation of the effective Hamiltonian are not designed to approximate reality by the mapping, but the effective potential may be advantageous to the status quo: classical simulation on a Born-Oppenheimer surface. In this paper we have shown that the implied mapping between the physical and effective potential, yes, can be made concrete to a useful degree of accuracy. A simple linear model for yes improves on the physical potential systematically over a broad range conditions. Even under the assumption of separability and without any exponential functions in our training set, our model for yes adequately describes the density of a popular para-hydrogen model at exactly the cost of the corresponding classical simulation. Non-linear models for yes and expressions which do not assume complete separability are likely to improve on these results and produce even more accurate transferable recipes for digesting Born-Oppenheimer potentials. In particular, we imagine the development of simple functors which could be applied to Born-Oppenheimer surfaces so that classical sampling will immediately give improved results. Ultimately, we believe that force-field functors can provide a scalable methodology for including quantum propagation effects in systems that are intractable for exact methods, such as protein force-fields.

Author Contributions

All authors conceived and designed the research project. With guidance from John Parkhill and Alán Aspuru-Guzik, Ryan Babbush wrote the proofs, first draft of the manuscript, and code for obtaining and characterizing the numerical functor. All authors interpreted the results and co-wrote the article.

Conflict of Interest Statement

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

Acknowledgments

The authors thank David Manolopoulos, Eugene Shakhnovich, and Eric Heller for helpful conceptual discussions regarding direction of the project. We also thank Jarrod McClean, Joseph Goodknight and Nicolas Sawaya for discussions regarding revision of the manuscript. Research sponsored by the United States Department of Defense. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressly or implied, of the U.S. Government.

Footnotes

  1. ^Throughout this paper the variable “q” refers to a position in the full coordinate space of the system (q ∈ ℜ3N where N is the number of particles). To distinguish a position variable from a path variable we will use r(t) to represent a particular trajectory.
  2. ^A functor differs from a functional in that a functor maps one vector space to another whereas a functional maps a vector space to a scalar. In this context, “operator” is a more common term than “functor” but we prefer to call this “force-field functor theory” to evoke the connection with DFT.
  3. ^That the corresponding equilibrium density matrices are not equal is obvious in Equation 1
  4. ^Recall that q ∈ ℜ3N so, |q〉 = ∏3Ni = 1 |qi〉.

References

Blinov, N., and Roy, P.-N. (2004). Connection between the observable and centroid structural properties of a quantum fluid: application to liquid para-hydrogen. J. Chem. Phys. 120, 3759–3764. doi: 10.1063/1.1642600

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Cao, J., and Martyna, G. J. (1996). Adiabatic path integral molecular dynamics methods. II. Algorithms. J. Chem. Phys. 104, 2028–2035. doi: 10.1063/1.470959

CrossRef Full Text

Cao, J., and Voth, G. A. (1993). A new perspective on quantum time correlation functions. J. Chem. Phys. 99, 10070–10073.

Cao, J., and Voth, G. A. (1994a). The formulation of quantum statistical mechanics based on the Feynman path centroid density. V. Quantum instantaneous normal mode theory of liquids. J. Chem. Phys. 101, 6184. doi: 10.1063/1.468400

CrossRef Full Text

Cao, J. S., and Voth, G. A. (1994b). The formulation of quantum-statistical mechanics based on the feynman path centroid density. 1. equilibrium properties. J. Chem. Phys. 100, 5093–5105. doi: 10.1063/1.467175

CrossRef Full Text

Cao, J., and Voth, G. A. (1994c). The formulation of quantum statistical mechanics based on the Feynman path centroid density. II. Dynamical properties. J. Chem. Phys. 100, 5106. doi: 10.1063/1.467176

CrossRef Full Text

Car, R., and Parrinello, M. (1985). Unified approach for molecular dynamics and density-functional theory. Phys. Rev. Lett. 55, 2471–2474. doi: 10.1103/PhysRevLett.55.2471

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Ceriotti, M., Manolopoulos, D. E., and Parrinello, M. (2011). Accelerating the convergence of path integral dynamics with a generalized langevin equation. J. Chem. Phys. 134, 084104. doi: 10.1063/1.3556661

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Chandler, D., and Wolynes, P. G. (1981). Exploiting the isomorphism between quantum theory and classical statistical mechanics of polyatomic fluids. J. Chem. Phys. 74, 4078. doi: 10.1063/1.441588

CrossRef Full Text

Chayes, J. T., Chayes, L., and Lieb, E. H. (1984). The inverse problem in classical statistical mechanics. Comm. Math. Phys. 93, 57–121. doi: 10.1103/PhysRev.177.282

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Cuccoli, A., Giachetti, R., Tognetti, V., Vaia, R., and Verrucchi, P. (1995). The effective potential and effective hamiltonian in quantum-statistical mechanics. J. Phys. Condens. Matter 7, 7891–7938. doi: 10.1088/0953-8984/7/41/003

CrossRef Full Text

Fanourgakis, G. S., Markland, T. E., and Manolopoulos, D. E. (2009). A fast path integral method for polarizable force fields. J. Chem. Phys. 131, 094102. doi: 10.1063/1.3216520

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Feynman, R. P., and Hibbs, A. R. (1965). Quantum Mechanics and Path Integrals. Mineola, NY: Dover.

Feynman, R. P., and Kleinert, H. (1986). Effective classical partition functions. Phys. Rev. A 34, 5080–5084. doi: 10.1103/PhysRevA.34.5080

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Georgescu, I., Brown, S. E., and Mandelshtam, V. A. (2013). Mapping the phase diagram for neon to a quantum Lennard-Jones fluid using Gibbs ensemble simulations. J. Chem. Phys. 138. doi: 10.1063/1.4796144

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Georgescu, I., Deckman, J., Fredrickson, L. J., and Mandelshtam, V. A. (2011). Thermal Gaussian molecular dynamics for quantum dynamics simulations of many-body systems: application to liquid para-hydrogen. J. Chem. Phys. 134, 174109. doi: 10.1063/1.3585648

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Giachetti, R., and Tognetti, V. (1985). Variational approach to quantum statistical mechanics of nonlinear systems with application to sine-gordon chains. Phys. Rev. Lett. 55, 912–915. doi: 10.1103/PhysRevLett.55.912

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Hohenberg, P., and Kohn, W. (1964). Inhomogeneous Electron Gas. Phys. Rev. 136, B864–B871.

Hone, T. D., Izvekov, S., and Voth, G. A. (2005). Fast centroid molecular dynamics: a force-matching approach for the predetermination of the effective centroid forces. J. Chem. Phys. 122, 54105. doi: 10.1063/1.1836731

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Hone, T. D., and Voth, G. A. (2004). A centroid molecular dynamics study of liquid para-hydrogen and ortho-deuterium. J. Chem. Phys. 121, 6412–6422. doi: 10.1063/1.1780951

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Jang, S., and Voth, G. A. (1999). A derivation of centroid molecular dynamics and other approximate time evolution methods for path integral centroid variables. J. Chem. Phys. 111, 2371–2384. doi: 10.1063/1.479515

CrossRef Full Text

Jang, S. J., Jang, S. M., and Voth, G. A. (2001). Applications of higher order composite factorization schemes in imaginary time path integral simulations. J. Chem. Phys. 115, 7832. doi: 10.1063/1.1410117

CrossRef Full Text

Krajewski, F. R., and Muser, M. H. (2001). Comparison of two non-primitive methods for path integral simulations: higher-order corrections vs. an effective propagator approach. Phys. Rev. B 65, 17. doi: 10.1103/PhysRevB.65.174304

CrossRef Full Text

Levenberg, K. (1944). A Method for the solution of certain non-linear problems in least squares. Q. Appl. Math. 2, 164–168.

Liu, J., and Miller, W. H. (2006). Using the thermal Gaussian approximation for the Boltzmann operator in semiclassical initial value time correlation functions. J. Chem. Phys. 125, 224104. doi: 10.1063/1.2395941

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Liu, J., Miller, W. H., Paesani, F., Zhang, W., and Case, D. A. (2009). Quantum dynamical effects in liquid water: a semiclassical study on the diffusion and the infrared absorption spectrum. J. Chem. Phys. 131, 164509. doi: 10.1063/1.3254372

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Martyna, G. J. (1996). Adiabatic path integral molecular dynamics methods. I. Theory. J. Chem. Phys. 104, 2018–2027.

Pubmed Abstract | Pubmed Full Text

Mermin, N. D. (1965). Thermal properties of the inhomogeneous electron Gas. Phys. Rev. 137, A1441–A1443. doi: 10.1103/PhysRev.136.B864

CrossRef Full Text

Mielke, S. L., Dinpajooh, M., Siepmann, J. I., and Truhlar, D. G. (2013). Efficient methods for including quantum effects in Monte Carlo calculations of large systems: extension of the displaced points path integral method and other effective potential methods to calculate properties and distributions. J. Chem. Phys. 138, 138–153. doi: 10.1063/1.4772667

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Miller, T. F., and Manolopoulos, D. E. (2005). Quantum diffusion in liquid para-hydrogen from ring-polymer molecular dynamics. J. Chem. Phys. 122, 184503. doi: 10.1063/1.1893956

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Nakayama, A., and Makri, N. (2003). Forward-backward semiclassical dynamics for quantum fluids using pair propagators: application to liquid para-hydrogen. J. Chem. Phys. 119, 8592–8605. doi: 10.1063/1.1611473

CrossRef Full Text

Paesani, F., Zhang, W., Case, D. A., Cheatham, T. E., and Voth, G. A. (2006). An accurate and simple quantum model for liquid water. J. Chem. Phys. 125, 184507. doi: 10.1063/1.2386157

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Pavese, M., and Voth, G. A. (1996). Pseudopotentials for centroid molecular dynamics. Application to self-diffusion in liquid para-hydrogen. Chem. Phys. Lett. 249, 231–236. doi: 10.1016/0009-2614(95)01378-4

CrossRef Full Text

Pérez, A., and Tuckerman, M. E. (2011). Improving the convergence of closed and open path integral molecular dynamics via higher order Trotter factorization schemes. J. Chem. Phys. 135:064104. doi: 10.1063/1.3609120

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Poulsen, J. A., Nyman, G., and Rossky, P. J. (2003). Practical evaluation of condensed phase quantum correlation functions: a Feynman–Kleinert variational linearized path integral method. J. Chem. Phys. 119, 12179–12193. doi: 10.1063/1.1626631

CrossRef Full Text

Poulsen, J. A., Nyman, G., and Rossky, P. J. (2004). Quantum diffusion in liquid para-hydrogen: an application of the Feymnan-Kleinert linearized path integral approximation. J. Phys. Chem. B 108, 19799–19808. doi: 10.1021/jp040425y

CrossRef Full Text

Roy, P.-N. (2005). Molecular dynamics with quantum statistics: time correlation functions and weakly bound nano-clusters. Theor. Chem. Acc. 116, 274–280. doi: 10.1007/s00214-005-0065-1

CrossRef Full Text

Roy, P.-N., Jang, S., and Voth, G. A. (1999). Feynman path centroid dynamics for Fermi-Dirac statistics. J. Chem. Phys. 111, 5303. doi: 10.1063/1.1642600

CrossRef Full Text

Runge, E., and Gross, E. K. U. (1984). Density-functional theory for time-dependent systems. Phys. Rev. Lett. 52, 997–1000. doi: 10.1103/PhysRevLett.52.997

CrossRef Full Text

Sham, L. J., and Kohn, W. (1966). One-particle properties of an inhomogeneous interacting electron gas. Phys. Rev. 145, 561–567. doi: 10.1103/PhysRev.145.561

CrossRef Full Text

Silvera, I. F., and Goldman, V. V. (1978). The isotropic intermolecular potential for H2 and D2 in the solid and gas phases. J. Chem. Phys. 69, 4209–4214. doi: 10.1063/1.437103

CrossRef Full Text

Snyder, J. C., Rupp, M., Hansen, K. K.-R., and Müller, Burke, K. (2012). Finding density functionals with machine learning. Phys. Rev. Lett. 108:253002. doi: 10.1103/PhysRevLett.108.253002

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Tempel, D. G., and Aspuru-Guzik, A. (2011). Quantum computing without wavefunctions: time-Dependent density functional theory for universal quantum computation. Sci. Rep. 2, 14. doi: 10.1038/srep00391

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Thirumalai, D., Bruskin, E. J., and Berne, B. J. (1983). An iterative scheme for the evaluation of discretized path integrals. J. Chem. Phys. 79, 5063–5069. doi: 10.1063/1.445601

CrossRef Full Text

Voth, G. A. (1991). Calculation of equilibrium averages with Feynman-Hibbs effective classical potentials and similar variational approximations. Phys. Rev. A 44, 5302–5305. doi: 10.1103/PhysRevA.44.5302

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

Wang, L.-P., Chen, J., and Van Voorhis, T. (2013). Systematic parametrization of polarizable force fields from quantum chemistry data. J. Chem. Theor. Comput. 9, 452–460. doi: 10.1021/ct300826t

CrossRef Full Text

Whitlock, P. A., Ceperley, D. M., Chester, G. V., and Kalos, M. H. (1979). Properties of liquid and solid he. Phys. Rev. B 19, 5598–5633. doi: 10.1103/PhysRevB.19.5598

CrossRef Full Text

Yonetani, Y., and Kinugawa, K. (2003). Transport properties of liquid para-hydrogen: the path integral centroid molecular dynamics approach. J. Chem. Phys. 119, 9651. doi: 10.1063/1.1616912

CrossRef Full Text

Yuen-Zhou, J., Tempel, D. G., Rodríguez-Rosario, C. A., and Aspuru-Guzik, A. (2010). Time-dependent density functional theory for open quantum systems with unitary propagation. Phys. Rev. Lett. 104, 5. doi: 10.1103/PhysRevLett.104.043001

Pubmed Abstract | Pubmed Full Text | CrossRef Full Text

A1. Appendix

A1.1. Quantum Densities from Classical Sampling

In practice, path integral expressions are analytically intractable except in a few cases. Feynman proposed to simplify Equation 5 by changing from an integral over all closed paths that start and end at point q to an integral over all closed paths that have an average value equal to the path centroid r,

r¯=1β0βdτ r(τ).(A1)

So that we only integrate over each closed path once, we must change our expression for the partition function to only calculate paths that match the centroid,

yes

While the partition functions given by Equation 5 and Equation A2 are exactly equal, the two expressions are associated with subtly different scalar density functions. Equation 5 is associated with the true equilibrium density in Equation 4 and A2 is associated with the path centroid density,

yes

The Dirac delta function in this equation enforces the requirement that integrating the Boltzmann factor associated with this density over the path centroid, r, will result in exactly the path integral expression for the quantum partition function (Jang and Voth, 1999). The centroid density plays a prominent role in CMD and Feynman-Kleinert methods but does not apply to force-field functor theory.

A1.2. Proof of Quantum Bogoliubov Inequality

The quantum Bogoliubov inequality is proved for the grand canonical ensemble in the Appendix of (Mermin, 1965). We adapt this proof for the canonical ensemble, in the interest of completeness, to show that for all positive definite ρ with unit trace,

A[ρ]>A[ρ0 ], ρρ0(A4)

if A is the quantum Helmholtz free energy of the canonical ensemble,

yes

which is minimum only when ρ is equal to the quantum equilibrium density matrix ρ0 associated with the Hamiltonian, yes = T + V(q). To start we define,

yes

where,

yes

We see that ρλ = ρ0 if λ = 0 and ρλ = ρ if λ = 1. Accordingly,

A[ρ]A[ρ0 ]=01λA[ρλ ]dλ(A8)

by the fundamental theorem of calculus. To evaluate the derivative we use,

yes

The first trace is stationary for variations of ρλ about the corresponding density matrix. Thus, we only need to differentiate the second trace,

λA[ρλ ]=λTr[Δλρλ ].(A10)

We evaluate λρλ using the operator identity,

yes
λρλ=0βdβρλ[Δλ(β)Δλ ],(A13)

where

Xλ=Tr[ρλX ].(A14)

Therefore,

λA[ρλ ]=λ0βdβ(ΔΔλ(β)λΔλ2).(A15)

By cyclically permuting operators within the trace, one can verify that

Δλ(β)λ=Δλ β,(A16)
ΔΔλ(β) λ=Δλ(12β)Δλ(12β) .(A17)

With these identities, we can rewrite Equation A15,

λA[ρλ ]=λ0βdβ(Δλ(12β) Δ λ)(Δλ(12β)Δλ) λ.(A18)

This integral is non-negative and can be zero only if Δ is a multiple of the unit operator, i.e., if ρ0 = ρ. This proves that the minimum of the free energy must occur when ρλ = ρ0.

A1.3. Proof of Classical Bogoliubov Inequality

If η0(q) is the equilibrium density for a classical canonical ensemble and η0˜(q) is a different density, Gibbs' classical Bogoliubov inequality states that,

A[η0˜(q) ]>A[η0(q) ],  η0˜(q)η0(q)(A19)

where A is the classical Helmholtz free energy,

A[η0(q) ]=E[η0(q) ]1βS[η0(q) ]              =dq η0(q)W(q)+1βdq η0(q)log[η0(q) ].(A20)

To see that this is the case we start by writing,

1βdq η0˜(q)log[η0˜(q) ]1βdq η0˜(q)log[η0(q) ].(A21)

The difference between the right and left sides of this equation is,

1βdq(η0˜(q)log[η0˜(q) ]η0˜(q)log[η0(q) ]) =1βdq η0˜(q)log[η0˜(q)η0(q) ].(A22)

Because log[ x ]11x and we know that the densities are normalized,

1βdq η0˜(q)log[η0˜(q)η0(q) ]1βdq[η0˜(q)η0(q) ]=0.(A23)

We can simplify this further to,

1βlog[η0(q) ] 1βlog[η0˜(q) ] .(A24)

We know that,

η0(q)=eβE(q)Z(A25)
η0˜(q)=eβE˜(q)Z˜(A26)

where E˜(q) and Z˜ correspond to the energy and partition function associated with η0˜(q). Thus,

1βlog[eβE˜(q)Z˜ ] 1βlog[eβE(q)Z ] (A27)
E˜(q)1βlog[ Z˜] E(q)1βlog[ Z ] .(A28)

We may safely assume that E˜(q)=E(q) so using the definition of the Helmholtz free energy, A1βlog[Z],

A[η0˜(q) ]>A[η0(q) ], η0˜(q)η0(q).(A29)

A1.4. Applying Linear Functor to Silvera-Goldman

The matrix which was ultimately used to transform the Silvera-Goldman potential was obtained by fitting 1000 random potentials with B = 50 basis functions in the appropriate Q regime. The Silvera-Goldman potential has the form,

V(r)=exp[αδrγr2 ]           (C6r6+C8r8+C10r10)fc(r)+C9r9fc(r)(A30)

where

fc(r)={e(rc/r1)2,if rrc1,otherwise.(A31)

Parameters for the Silvera-Goldman potential are provided in Table A1 (Silvera and Goldman, 1978).

TABLE A1
www.frontiersin.org

Table A1. Parameters of the Silvera-Goldman potential (Silvera and Goldman, 1978).

Exponential functions cannot be easily represented in a polynomial basis and the Silvera-Goldman potential diverges exponential as r approaches zero. Accordingly, we fit the potential only in the physically relevant region of r > 4 Bohr. We matched the slope of the potential at r = 4 Bohr and extend the potential as a straight line in the region 0 < r < 4 Bohr. We choose to fit the potential out to r = 24 Bohr but imposed a standard cutoff after the fact at r = 20 Bohr as the potential is clearly flat by this point. We simulated para-hydrogen at 14K and 25K. At 25K, the thermal de Broglie wavelength is 4.6 Bohr; thus, a cutoff distance of 20 Bohr gives Q = 0.23. At 14K, the thermal de Broglie wavelength is 6.2 Bohr and Q = 0.31. Based on statistics collected from 10,000 random potentials generated with these Q values, in both of these regimes, the classical free energy is more accurate than the yes predicted free energy less than 1% of the time.

Keywords: effective potentials, path integral molecular dynamics, nuclear quantum propagation, liquid hydrogen, density functional theory

Citation: Babbush R, Parkhill J and Aspuru-Guzik A (2013) Force-field functor theory: classical force-fields which reproduce equilibrium quantum distributions. Front. Chem. 1:26. doi: 10.3389/fchem.2013.00026

Received: 17 August 2013; Accepted: 08 October 2013;
Published online: 25 October 2013.

Edited by:

Francesco Aquilante, Uppsala University, Sweden

Reviewed by:

Francesco Aquilante, Uppsala University, Sweden
K. R. S. Chandrakumar, Bhabha Atomic Research Centre, India

Copyright © 2013 Babbush, Parkhill and Aspuru-Guzik. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) or licensor are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: Ryan Babbush and Alán Aspuru-Guzik, Department of Chemistry and Chemical Biology, Harvard University, 12 Oxford Street, Room M113, Cambridge, MA 02138, USA e-mail: babbush@fas.harvard.edu; aspuru@chemistry.harvard.edu

Disclaimer: All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.