1 On the Combination of TDDFT with Molecular Dynamics: New Developments Jos´eL. Alonso, Alberto Castro, Pablo Echenique and Angel Rubio Jos´eL. Alonso Departamento de F´ısica Te´orica, Universidad de Zaragoza, Pedro Cerbuna 12, E-50009 Zaragoza (Spain); Instituto de Biocomputaci´on y F´ısica de Sistemas Complejos (BIFI), Universidad of Zaragoza, Mariano Esquillor s/n, E-50018 Zaragoza (Spain). [email protected] Alberto Castro Instituto de Biocomputaci´on y F´ısica de Sistemas Complejos (BIFI), Univer- sidad of Zaragoza, Mariano Esquillor s/n, E-50018 Zaragoza (Spain). [email protected] Pablo Echenique Instituto de Qu´ımica F´ısica “Rocasolano”, CSIC, Serrano 119, E-28006 Madrid (Spain); Instituto de Biocomputaci´on y F´ısica de Sistemas Complejos (BIFI), Universidad of Zaragoza, Mariano Esquillor s/n, E-50018 Zaragoza (Spain); Departamento de F´ısica Te´orica, Universidad de Zaragoza, Pedro Cerbuna 12, E-50009 Zaragoza (Spain). [email protected] Angel Rubio Nano-Bio Spectroscopy Group and ETSF Scientific Development Centre, De- partamento de F´ısica de Materiales, Universidad del Pa´ısVasco, E-20018 San Sebasti´an (Spain); Centro de F´ısica de Materiales CSIC-UPV/EHU-MPC and DIPC, E-20018 San Sebasti´an (Spain); Fritz-Haber-Institut der Max- Planck-Gesellschaft, Faradayweg 4-6 , D-14195 Berlin-Dahlem, Germany [email protected] 1.1 Introduction In principle, we should not need the time-dependent extension of density- arXiv:1102.0258v1 [cond-mat.str-el] 1 Feb 2011 functional theory (TDDFT) for excitations, and in particular not for Molecu- lar Dynamics (MD) studies: the theorem by Hohenberg and Kohn [Hohenberg 1964] teaches us that for any observable that we wish to look at (including dynamical properties or observables dependent on excited states) there is a corresponding functional of the ground-state density. Yet the unavailability of such magic functionals in many cases (the theorem is a non-constructive existence result) demands the development and use of the alternative exact 2 J. L. Alonso, A. Castro, P. Echenique and A. Rubio reformulation of quantum mechanics provided by TDDFT. This theory de- fines a convenient route to electronic excitations and to the dynamics of a many-electron system subject to an arbitrary time-dependent perturbation (discussed in previous chaters of this book). This is, in fact, the main pur- pose of inscribing TDDFT in a MD framework –the inclusion of the effect of electronic excited states in the dynamics. However, as we will show in this chapter, it may not be the only use of TDDFT in this context. The term “Ab Initio Molecular Dynamics” (AIMD) has been exclusively identified in the past with the Car-Parrinello (CP) technique [Car 1985]. This method combines ground-state DFT with MD, providing an efficient refor- mulation of ground-state Born-Oppenheimer MD (gsBOMD) [Marx 2000]. However, the “AIMD” words have broader meaning, and should include all the possible MD techniques that make use of a first principles approach to tackle the many-electron problem. For example, Ehrenfest MD (EMD) can also be one AIMD scheme if TDDFT is used to propagate the electronic sub- system. This is the most common manner in which TDDFT and MD have been combined in the past: as a means to study fast out-of-equilibrium pro- cesses, typically intense laser irradiations or ionic collisions [Saalmann 1996, Saalmann 1998, Reinhard 1999, Kunert 2001, Castro 2004]. Nevertheless, there are other possibilities. In this chapter we review two recent proposals: In Section 1.2, we show how TDDFT can be used to de- sign efficient gsBOMD algorithms [Alonso 2008, Andrade 2009] –even if the electronic excited states are in this case not relevant. The work described in Section 1.3 addresses the problem of mixed quantum-classical systems at thermal equilibrium [Alonso 2010]. 1.2 Fast Ehrenfest Molecular Dynamics Ehrenfest Molecular Dynamics (EMD) is a model for describing the evolution of a mixed quantum-classical system. The equations of motion are given by: d2 M R (t)= −hΦ(t)|∇R Hˆ (R(t),t)|Φ(t)i , (1.1) α dt2 α α e d i |Φ(t)i = Hˆ (R(t),t)|Φ(t)i , (1.2) dt where Φ(t) is the state of the quantum subsystem (we will assume that this R Nnuc is a set of N electrons), and { α}α=1 are the position coordinates of Nnuc classical particles (a set of Nnuc nuclei of masses Mα and charges zα). The quantum (or electronic) Hamiltonian operator Hˆe(R,t) depends on these 1 TDDFT and MD: New Developments 3 classical coordinates, and is usually given by: N 1 1 z z Hˆ (R,t) := pˆ2 + + α β e 2 i |rˆ − rˆ | |R − R | i=1 i,j<i i j α β X X β<αX z − α + ve (rˆ ,t)+ vn (R ,t) , (1.3) |R − rˆ | ext i ext α α,i α i i α X X X e n where vext and vext are external potentials acting on the electrons and nu- clei, respectively [Echenique 2007]. Atomic units are used throughout the document in order to get rid of constant factors such as ~ or 1/4πε0. Given this definition, one can show that Eq. (1.1) can be rewritten as: 2 d 3 M R (t)= − d rn(r,t)∇R v (r, R(t)) , (1.4) α dt2 α α 0 Z where z v (r, R) := − α 0 |R − r| α α X 1 1 z z + vn (R ,t)+ α β ; (1.5) N ext α N |R − R | α α β X β<αX a result which is known as the “electrostatic force theorem” in the quantum chemistry literature [Levine 2000], and which is based in the fact that the ˆ R gradient ∇Rα He( (t),t) is a one-body local multiplicative operator (as far as the electrons are concerned), i.e., it is a sum of one-electron operators whose action amounts to a multiplication in real space [Eschrig 2003, Von Barth 2004]. Eq. (1.4) shows that the knowledge of the time-dependent electronic den- sity n(r,t) suffices to obtain the nuclear movement. This fact is the basis for TDDFT-based Ehrenfest MD (E-TDDFT): instead of solving Eq. (1.2), we solve the corresponding time-dependent Kohn-Sham system, which provides an approximation to n(r,t): ∂ 1 i ϕ (r,t)= − ∇2ϕ (r,t)+ v [n](r,t)ϕ (r,t) , j =1,...,N, (1.6) ∂t j 2 j KS j being −z v [n](r,t) := α + v [n](r,t)+ v [n](r,t)+ ve (r,t) , (1.7) KS |R (t) − r| H xc ext α α X and N 2 n(r,t) := 2 |ϕj (r,t)| , (1.8) j=1 X 4 J. L. Alonso, A. Castro, P. Echenique and A. Rubio where vKS[n](r,t) is the time-dependent Kohn-Sham potential, and vH[n](r,t) and vxc[n](r,t) are the Hartree and exchange-correlation potential, respec- tively. For simplicity, we assume an even number of electrons in a spin- compensated configuration. The equations of motion for E-TDDFT (1.4, 1.6 and 1.8) can be derived from the following Lagrangian (assuming an adiabatic approximation for the exchange and correlation potential, as it is commonly done in practical im- plementations of TDDFT): i L [ϕ, ϕ,˙ R, R˙ ] := µ (hϕ |ϕ˙ i − hϕ˙ |ϕ i) µ 2 j j j j j X 1 2 + M R˙ − E [ϕ, R] , (1.9) 2 α α KS α X for µ = 1 (the reason for including this parameter µ will become clear in what follows). We use a dot to denote time-derivatives. The term EKS is the Kohn-Sham ground-state energy functional: pˆ2 z E [ϕ, R] := 2 hϕ | |ϕ i− d3r α n(r) KS j 2 j |R − r| j α α X Z X 1 3 zαzβ + d r vHartree[n](r)n(r)+ Exc[n]+ . (1.10) 2 |Rα − Rβ| Z β<αX Note that, when the time-dependent orbitals are introduced into this ex- pression (as it is done in E-TDDFT), it becomes a functional of the Kohn- Sham orbitals at each time, and not a functional of the ground state density. e Also, from here on, we assume that there are no external potentials vext and n vext, since they do not add anything to the following discussion. It is worth remarking now that EMD differs from gsBOMD, and it is in- structive to see in which way. We do so in the initial formulation of Eqs. (1.1) and (1.2) using the N-electron wavefunction for simplicity, i.e., we forget for a moment the TDDFT formalism. To illustrate the main concepts we start by projecting the EMD equations into the adiabatic basis, formed at each nuclear configuration by the set of eigenfunctions of the electronic Hamiltonian: Hˆe(R)|Ψm(R)i = Em(R)|Ψm(R)i , (1.11) |Φ(t)i = cm(t)|Ψm(R(t))i . (1.12) m X 1 TDDFT and MD: New Developments 5 The result is: 2 d 2 M R (t)= − |c (t)| ∇R E (R(t)) α dt2 α m α m m X ∗ R R dmn R − cm(t)cn(t)[Em( (t)) − En( (t))] α ( (t))(1.13). mn X d i c (t) = E (R(t))c (t) − i c (t) R˙ · dmn(R(t)) (1.14) dt m m m n α α n " α # X X where the “non-adiabatic couplings” are defined as: dmn R R R α ( ) := hΨm( )|∇Rα Ψn( )i .