arxiv: v1 [physics.chem-ph] 27 Jun 2018

Transcription

1 Exploring non-adiabatic approximations to the exchange-correlation functional of TDDFT arxiv:86.67v [physics.chem-ph] 7 Jun 8 Johanna I. Fuks, Lionel Lacombe, Søren E. B. Nielsen, 3 and Neepa T. Maitra Departamento de Física and IFIBA, FEN, Universidad de Buenos Aires, iudad Universitaria, Pab. I, 48EHA iudad de Buenos Aires, Argentina Department of Physics and Astronomy, Hunter ollege and the Graduate enter of the ity University of New York, 695 Park Avenue, New York, New York 65, USA 3 Max Planck Institute for the Structure and Dynamics of Matter and enter for Free-Electron Laser Science, Luruper haussee 49, 76 Hamburg, Germany (Dated: June 8, 8) A decomposition of the exact exchange-correlation potential of time-dependent density functional theory into an interaction component and a kinetic component offers a new starting point for nonadiabatic approximations. The components are expressed in terms of the exchange-correlation hole and the difference between the one-body density matrix of the interacting and Kohn-Sham systems, which must be approximated in terms of quantities accessible from the Kohn-Sham evolution. We explore several preliminary approximations, evaluate their fulfillment of known exact conditions, and test their performance on simple model systems for which available exact solutions indicate the significance of going beyond the adiabatic approximation. I. INTRODUTION Much effort has been put into the development of more accurate and reliable approximations to the ground state (gs) exchange-correlation (xc) functional of Density Functional Theory (DFT) [ 3]. In order to make use of these approximations in the simulation of dynamical processes one invokes the adiabatic approximation: one utilizes a gs xc functional in place of the time-dependent one, and so implicitly assumes the many-body effects in the system are those of a groundstate even if the system is itself not near a ground state. Memory effects arising from the dependence of the xc functional on the history of the density, and on the initial states, are completely absent in these approximations. Adiabatic Time-dependent Density Functional Theory (TDDFT) is widely and successfully used to simulate excitation spectra and response properties in finite systems and solids that are initially in the gs [4 7] and probe the perturbative regime, where the system is only slightly disturbed from its ground state. The adiabatic approximation becomes less justified as we move away from the gs, as is the case when the perturbation is strong or resonant or when we start the simulation in an excited or arbitrary superposition state. In such situations, which have become of increasing interest in the past decade due to the development of experimental techniques and especially the growing interest in attosecond physics (e.g. Ref. [8]), the adiabatic approximation is at least questionable. How severely the adiabatic propagation deviates from the exact dynamics will depend on the system and the particular dynamics, and also on what the observables of interest are. For example, highly non-perturbative processes such as resonant dynamics and long-range charge transfer have been shown to be particularly challenging for adiabatic TDDFT [9 ] and even in the case of field-free evolution of a non-stationary state the exact xc functional develops non-trivial features that influence the dynamics but that adiabatic functionals cannot capture [3 5]. On the other hand, for example, the adiabatic approximations give good predictions for photo-emission spectra and photo-angular distributions in clusters [6]. Given the lack of alternative methods to simulate electron-dynamics in medium to large systems and the expanding range of time- and space-resolved experiments involving non-perturbative dynamics it is imperative to explore the capability of TDDFT beyond the adiabatic approximation. There have been only a few proposals for non-adiabatic xc functionals [7 9], but they are not commonly used for a variety of reasons including that they spuriously damp finite systems. Functionals that are explicit orbital-functionals also incorporate memory (e.g. time-dependent exact exchange [3, 3]) but the orbital-dependence of these commonly only involves exchange which is inadequate to capture the most significant non-adiabatic effects. In this work we present a new starting point for developing non-adiabatic approximations based on an exact decomposition of the xc functional. The exact decomposition, which is reviewed in section II, expresses the exact xc potential, in terms of an interaction component that depends on the xc hole of the interacting system, and a kinetic component that depends on the difference between the one-body density matrices of the interacting and Kohn-Sham systems [4, 3]. The idea is to approximate these terms in terms of quantities that are accessible from the evolving Kohn-Sham system and/or from the initial many-body wavefunction, and some preliminary approximations are proposed in sections II A. In section III we analyze these in terms of the fulfillment of exact conditions and in section IV we test their performance against the exact solution for some model systems. Finally, in Sec. V we conclude.

2 II. DEOMPOSITION OF v X INTO INTERATION AND KINETI POTENTIALS Equating the equation of motion for the second timederivative of the one-body density, n(r, t), in the physical system, with that in the Kohn Sham (KS) system n S (r, t), yields the following equation [4, 3] for v X (r, t): [ (n v X ) = 4 ( ) ( ) (ρ (r, r, t) ρ,s (r, r, t)) r =r + n(r, t) n X (r, r, t) w( r r )d 3 r ], () where ρ (r, r, t) = N σ..σ N d 3 r...d 3 r N Ψ (r σ, r σ...r N σ N ; t)ψ(rσ, r σ... r N σ N ; t) is the spin-summed onebody density-matrix (RDM) of the true system of electrons with two-body interaction potential w( r r ), ρ,s (r, r, t) is the RDM for the Kohn-Sham system, and n X (r, r, t) is the xc hole, defined via the pair density through P (r, r, t) = N(N ) σ..σ N Ψ(r σ, rσ, r 3 σ 3..r N σ N ; t) d 3 r 3..d 3 r N = n(r, t) (n(r, t) + n X (r, r, t)). The notation means gradient with respect to r while means gradient with respect to r. Eq. (), with mixed separated boundary conditions (i.e. involving the potential and its gradient at each boundary point separately) has the form of a nonhomogeneous Sturm-Liouville problem for v X (r, t). We can decompose this potential into an interaction (W) and a kinetic (T) component, v X (r, t) = v W X(r, t) + v T (r, t) () where the interaction part (W) has an explicit dependence on the xc hole, v W X = n X (r, r, t) w( r r )d 3 r, (3) and the kinetic (T) component, v T = ( ) ( ) ρ (r, r, t) r =r 4n(r, t) + a(r, t) (4) n(r, t) has an explicit dependence on spatial gradients of ρ (r, r, t) = ρ (r, r, t) ρ,s (r, r, t) evaluated at r = r. In Eq. (3) we have assumed that the right-hand-side approaches zero as r, so that no additional term is needed to fulfill the boundary condition. However, such a(r, t), is in general needed in Eq. (4) to fulfill the Sturm-Liouville boundary condition; we will show in Appendix VI B that without this term, v X would not be assured to satisfy the generalized translational invariance condition, which it must. There are cases in which this term is zero, including for finite systems in one-dimension; in many cases we will assume this is the case. An analogous decomposition of the exact groundstate xc potential [33 36] has provided insight into features of the gs xc potential, while Ref. [4] explored how non-adiabatic features of the time-dependent xc potential manifest themselves in each of these terms. For example, it was found that the dynamical step features a term, n(r,t) found in Refs. [5, 3, 37] predominantly appear in v T, while v W X appears generally much smoother. In this work we take the first steps to move the decomposition beyond being simply a tool to analyze the exact potential to being a foundation on which to build non-adiabatic functional approximations. By virtue of the Runge-Gross theorem [4] the exact xc potential is a functional of the density n(r, t), the initial many-body state Ψ(r σ...r N σ N ; ), and the initial Kohn-Sham state Φ(r σ...r N σ N ; ): v X (r, t) = v X [n; Ψ(), Φ()](r, t). But Eqs. (3) and (4) depend explicitly on instantaneous many-body quantities such as the xc hole density n X (r, r, t) and the RDM ρ (r, r, t), as well as the Kohn-Sham RDM ρ,s (r, r, t), and we do not know the functional form of these in terms of the density and the initial wavefunctions. Operating TDDFT via the time-dependent Kohn-Sham equations offers a partial simplification: one may search for explicit functionals of the time-evolving Kohn-Sham orbitals, which are themselves implicit functionals of n(r, t) and Φ(), and, by putting more information in the variables that the functional depends on in this way, one hopes that the functional form itself can be simpler. For example, the Kohn-Sham RDM is directly accessible in terms of the instantaneous Kohn-Sham orbitals, ρ,s (r, r, t) = i,occ. φ i (r, t)φ i (r, t), and has implicit dependence on n(r, t < t) and Φ(), including memory. The terms depending on n X and ρ are however still unknown as functionals of φ i (r, t). In the next section we propose some preliminary approximations to v W X and v T in terms of the instantaneous Kohn-Sham orbitals (orbital functionals) and many-body quantities evaluated at initial time (frozen approximations), that can be used in practical propagation schemes [38]. We will assume for simplicity that the boundary term in Eq. (4) is zero, which is the case for the one-dimensional systems that we will test our approximations on.

3 A. Approximations arising from the exact decomposition. v S X Here we replace all the quantities from the interacting wavefunction with Kohn-Sham quantities on the RHS of Eq. (), defining a single-particle approximation that we denote by v S X. It is then immediately evident that the kinetic term goes to zero, and such an approximation is an approximation of the interaction component v W X, making the following replacement in the RHS of Eq. (3): v S X : n X n S X (5) where the KS xc hole n S X is defined via the KS pair density P S (r, r, t) N(N ) Φ(r, r, r 3...r N ; t) dr 3..dr N = n(r, t) (n(r, t) + n S X(r, r, t)). This approximation was first presented in Ref. [5], where the shape and size of v S X was shown to be close to v W X for a particular dynamics of a model system. This was field-free dynamics of an initial interacting state prepared in a 5:5 superposition of a ground and first excited-state. Ref. [5] found that for a wide range of choices of the initial Kohn-Sham state Φ(), the approximate potential v S X remained very close to v W X throughout the dynamics. The approximation was also tested for time-resolved electron-atom scattering in Refs. [39, 4], where it captured the approach of the electron to the target far better than the conventional approximations, although, like them, also ultimately severely underestimated the scattering probability. The integral in Eq. (3) tends to smooth out details of the xc hole somewhat, making v W X less sensitive to the approximation for the xc hole than v T is to the approximation made for ρ in Eq. (4) as we will see shortly. From its definition, v S X is an orbital functional, and thus generally is non-adiabatic in that it depends implicitly on the history of the density and on the Kohn- Sham initial state. When a Slater determinant is chosen for the Kohn-Sham initial state, it is highly plausible that v S X reduces to time-dependent exact-exchange (TDEXX). For two electrons this follows directly from the formulae, but for more electrons, it is not as straightforward to show [4]. For a more general Φ(), v S X goes beyond exact-exchange, and contains a portion of correlation [5]. In either case, it has spatial- and time- nonlocal dependence on the density, and dependence on the KS initial state, through the dependence on the KS orbitals.. v S X + v T () We now address approximations for the kinetic term to be used in conjunction with v S X. Our first approximation that has a non-zero contribution from the kinetic part of the correlation potential is very simple: we freeze it to its initial value, that is, on the right-hand-side of Eq. (4) v T () : ρ (t) ρ (); n(t) n(). (6) This is of a somewhat similar spirit to the frozen approximations that are popular in strong-field atomic and molecular physics, such as the single-active electron approximation [4] where it is assumed that only one electron is responsible for the dynamics while all the rest are frozen, such that if the approximation was self-interaction free, the potential that the dynamic electron sees would be static. It is also similar to the instantaneous ground-state approximation of Ref. [43] when any externally applied field is static. In addition to the non-adiabatic effects contained in v S X this approximation also is dependent on the initial interacting and KS states through its dependence on ρ (). 3. v S X + v T, ρ () To thaw the frozen kinetic component somewhat, we consider now the next simplest approximation, which is to freeze only the RDM-difference in v T, i.e. v T, ρ() : ρ (t) ρ () (7) while self-consistently updating the density in the denominator on the RHS of Eq. (4). Like v S X + v T (), the approximation v S X + v T, ρ() inherits a degree of nonadiabatic density-dependence and Kohn-Sham initialstate dependence through the instantaneous orbitaldependence in vx, S and a degree of both Kohn-Sham and interacting initial-state dependence through the kinetic component. 4. v S X + v T,ρ () Noting that ρ,s is accessible during the Kohn-Sham evolution, we define a further frozen approximation where only the interacting RDM is fixed to its initial value, while both the Kohn-Sham RDM and the density are self-consistently updated during the time-evolution: v T,ρ() : ρ (t) (ρ () ρ,s (t)). (8) This approximation freezes the interacting RDM while the Kohn-Sham RDM may vary greatly. In the next sections we will discuss the fulfillment of exact conditions and the performance in reproducing some model dynamics for each of the proposed approximations. III. EXAT ONDITIONS Exact conditions have been a key instrument guiding the development of physically-inspired and robust gs 3

4 density functionals that work reliably over a wide range of systems [44, 45]. Except for the ones arising from the energy-minimization principle which cannot be extrapolated to the time-dependent case, many of the gs conditions should be also fulfilled by the exact td density functional [46] and pose a stringent test for approximations. In addition to these, are conditions that are particular to the time-dependent case, and involve aspects of memory-dependence [5]. In this section we analyze the approximations proposed in the previous section in the light of the fulfillment of the exact conditions enumerated below. (i) Zero Force Theorem (ZFT) The zero force theorem [47 5] ensures that the xc potential does not exert a net force, n(r, t) v X [n](r, t)d 3 r =. (9) Since the net force exerted by the Hartree potential vanishes, Eq. (9) ensures that the inter-electron oulomb interaction doesn t exert any force on the system [5]. Linear response (around the gs) applied on Eq. (9) yields a link between the xc kernel f X (r, r, ω) and the gs xc potential v X(r) [5] that shows that frequency-dependence in a memory-dependent kernel is incompatible with a concurrent local-in-space density-dependence. (The Gross-Kohn functional [53] thus violates ZFT). Violation of ZFT has been shown to lead to numerical instabilities [54] due to the system selfexciting. (ii) Generalized Translational Invariance (GTI) Translational invariance requires the wavefunction in an accelerated frame (boost) to transform as, Ψ b (r...r N, t) = N e irj ḃ(t) Ψ(r +b(t)...r N +b(t), t) j= () where b(t) is the position of the accelerated observer and b() = ḃ() = such that accelerated and inertial systems coincide at initial time. The boosted density transports rigidly, n b (r, t) = n(r + b(t), t). () Vignale proved in Ref. [5] that in order to fulfill GTI the xc potential must transform according to, v b X[n; Ψ(), Φ()](r, t) = v X [n; Ψ(), Φ()](r + b(t), t) () A v X that fulfills Eq. () automatically fulfills the ZFT Eq. (9) [5]. A special case of GTI is the harmonic potential theorem (HPT), which states that for a system confined by a harmonic potential and subject to a uniform time-dependent electric field, the density transforms rigidly following Eq.() where b(t) is the position of the center of mass [7, 47, 5, 55]. (It was shown that Gross-Kohn functional also violates GTI [5]). (iii) Memory ondition The memory condition states that any instant in time can be regarded as the initial moment if the wavefunction is known at that time, and the xc potential should be invariant as to which previous time is used in its functional-dependence [56], i.e. v X [n t ; Ψ(t ), Φ(t )]( r, t) is independent of t for t > t, (3) where n t (r, t) = n(r, t) for t > t and is undefined for t < t. This is a very strict condition on the xc potential, tying together initial-state and history dependences, and has implications also when the initial-state is a ground-state. (iv) Self-interaction Free (SI free) As in the ground-state case, the realization that an electron does not interact with itself yields the condition that for any one-electron system the correlation potential is zero and exchange cancels the Hartree potential, v e X (r, t) = dr n(r, t)w( r r ), v e (r, t) =. (4) (v) onstant Resonances ondition (R) If a system in an arbitrary superposition state, Ψ(t) = n nψ n e ient, evolving in a static Hamiltonian, is probed to determine the excitation frequencies, ω i, then the frequency predicted for a given transition should be independent of the state, i.e. of the n. Within TDDFT this condition requires a subtle cancellation between time-dependence of the xc kernel and the KS response function in a generalized non-equilibrium response formalism [57, 58]: the exact (non-equilibrium) Hartree-xc kernel must compensate time-dependence in the poles of the KS response function in order to maintain constant ω i. Given an approximation, this condition is difficult to test analytically; numerically it can be tested by turning off the external field at a given time T and kicking the system. The frequencies of the ensuing dipole moment should be independent of T if they satisfy this condition. Further, the fact that different choices of KS initial state give different peak positions is also an indication of R violation [58]. A. Table of results First, let us make some observations regarding the exact components of the xc potential; these are summarized in Table I. All the proofs may be found in Appendix VI. The exact interaction and kinetic components, Eqs. (3) and (4) independently fulfill ZFT, GTI, memory and are SI free. We can further break down the kinetic component v T into a part vint T that depends on the interacting RDM and another v T S that depends on the KS RDM: vint T corresponds to replacing ρ ρ and v T S corresponds to replacing ρ ρ,s in Eq. (4). So v T [n, ρ ] = vint T [n, ρ ] v T S [n, ρ,s ]. The two components vint T and vt S fulfill ZFT independently. GTI is only 4

5 fulfilled by the difference of the two terms. We therefore expect a strong violation of GTI when the kinetic component is approximated by a term that asymmetrically approximates the interacting and KS RDMs (as in the case of v S X + v T,ρ() ). None of the individual components of the exact v X satisfy independently the R in general; the full sum of these terms is generally required. In Table II we summarize the results for the approximations presented in section II A; the proofs can be found in Appendix VI for all conditions except the R. The latter is difficult to prove analytically, so we rely on numerical examples, and in all cases we found one example which explicitly showed peak shifting indicative of the violation of this condition. We separate the analysis of the v S X component from the kinetic components, considering their satisfaction or violation of the exact conditions independently, although in practise we always evolve a kinetic component in conjunction with vx. S The potential v S X fulfills all exact conditions considered here, except for the R, and presents the more robust performance as we shall see in section IV, although it does not always give results that are the ones closest to the exact. On the other hand, v T () violates all of them except SI-free. Freezing the difference in the RDMs, fulfills ZFT and is SI free; it turns out to perform quite well for some of the dynamics when used in combination with v S X as we will see in section IV. However GTI is violated since the system does not transform properly under a boost, but the violation is likely v T, ρ() weaker than that for v T,ρ() : there are large cancellations between vint T and vt S that cannot occur when freezing ρ while evolving ρ S (see discussion later). v T, ρ() also violates the memory condition and the R. On the other hand v T,ρ() fulfills ZFT but, as mentioned before, violates GTI strongly due to the asymmetric treatment of the interacting and Kohn-Sham RDMs. Further, this approximation violates the memory condition and is not SI-free. In table II we also include the adiabatic local approximation (ALDA) and the adiabatically-exact (AE) approximation v AE X, the later corresponds to propagating with the exact ground-state xc potential evaluated on the instantaneous density, v AE X = vx[n(t)]. gs v AE X fulfills GTI and therefore also ZFT and so does ALDA [49, 5, 59], but ALDA is not SI-free. Because of the lack of dependence on the initial interacting and KS wavefunctions and on the history of the density, both adiabatic approximations trivially fulfill the memory condition [56]. But both ALDA and AE violate the R as was shown in Refs. [57, 58] respectively. IV. ANALYSIS FOR NON-EQUILIBRIUM DYNAMIS In this section we analyze the performance of the nonadiabatic approximations introduced in section II A to simulate electron dynamics. We focus on systems driven Exact components ZFT GTI Memory cond SI free R v W X yes yes yes yes no v T = v T int v T S yes yes yes yes no v T int yes no yes no no v T S yes no yes no no TABLE I: Fulfillment of exact conditions by the exact components of the xc potential. Approximations ZFT GTI Memory cond SI free R v S X yes yes yes yes no v T () no no no yes no v T, ρ () yes no no yes no v T,ρ () yes no no no no v AE X yes yes yes yes no v ALDA X yes yes yes no no TABLE II: Fulfillment of exact conditions by the proposed approximations to the interaction and kinetic components. Also included are the adiabatically-exact (AE) and ALDA approximations. well beyond linear response from their gs, i.e. nonequilibrium situations, where we expect memory (nonadiabaticity) to be quite relevant. In general, the performance of an xc functional approximation will likely depend on the system, the particular dynamics under study, and the observables of interest; as evident from the literature, even the simplest approximation, ALDA, has a performance range of abysmal to accurate enough to be very useful [5]. This should be borne in mind when a limited range of studies is done, as here, however at the same time, these studies could be carefully used to indicate expected behavior of the functionals in more general situations. We choose a numerically exactly-solvable model system for which we can compute the exact evolution of the many-body wavefunction. We compare not only the performance of the approximation to simulate the density evolution but also the features of the potential as the dynamics evolves. The system is a one-dimensional model of the Helium atom: two soft-oulomb interacting electrons in a soft-oulomb well (atomic units are used throughout), Ĥ = ( ) d dx i=, i x i + + v app(x i, t) (5) + x x +. where v app (x, t) is an applied potential, mimicking a laser field. All computations were performed using an in-house code. The spatial length of the simulation box is 4 a.u. 5

6 with spacing. a.u. and has absorbing boundaries; the time-step used was. a.u. A. Field-free evolution of a superposition state Our first case study is a superposition state evolving freely, i.e. v app (x, t) =. We prepare the He atom in a 5:5 superposition of the ground and first-excited singlet state and we let it evolve freely, Ψ() = (Ψ + Ψ ), (6) where Ψ i = Ψ i (x, x ) denote the many-body eigenstates of Hamiltonian Eq. (5) with v app (x, t) =. The frequency of the dynamics corresponds to the energy difference between ground and first excited state, ω = E E =.534 a.u. (period T = π/ω a.u). Our proposed approximate functionals depend on the choice for the KS initial state Φ(). Note that this is a separate statement than simply the fact that different initial states yield different dynamics under the same potential: here the potential itself depends on the initial state. The theorems of TDDFT state that any KS initial state may be chosen provided it has the same initial density and initial first time-derivative of the density as the true interacting state. The exact xc potential is different for each choice, but yields the same density-dynamics for each choice. The potentials in an adiabatic approximation are invariant to the choice and yield different density-dynamics for each (and some investigations have been made whether one can judiciously pick an initial Kohn-Sham state for a given physical state in which an adiabatic approximations performs best [5, 39, 6]). Like the exact xc potential, our approximate potentials are sensitive to the choice of initial KS state, but unlike the exact xc potential, the dynamics differs greatly depending on this choice. We explore the following choices:. single Slater Determinant (SSD): Φ(x, x, ) = ϕ(x )ϕ(x ) (7) where ϕ(x) = n(x, )/, with n(x, ) the initial density of the interacting system,. non-interacting 5:5 superposition: Φ 5:5 () = (Φ (x, x ) + Φ (x, x )), (8) where Φ is the ground state and Φ is the first noninteracting singlet single excitation Φ (x, x ) = (ϕ (x )ϕ (x ) + ϕ (x )ϕ (x )), (9) with ϕ and ϕ the ground and first excited orbitals of a non-interacting potential such( that the one-body density of Φ 5:5 (), n Φ 5:5 () = 3 ϕ (x) + ϕ (x) ) + Re[ϕ (x)ϕ (x)] = n(x, ). To obtain ϕ (x) and ϕ (x) we use an iterative procedure that targets the initial density. The procedure is close to the ones found in Ref. [6, 6]. At every iteration the eigenstates ϕ i (x) are found for a guess of the potential v S (x) and a density n(x) is obtained from Φ or Φ 5:5 (). Then a correction in the potential is added, proportional to n(x) n target (x). Here we actually use λ(n(x) n target (x))/(n(x) + ε) where λ and ε are small numerical parameters. The convergence criterium is the difference between the two densities. We compare the densities and potentials resulting from propagating these initial KS states under our approximations, with the exact ones. To find the exact time-dependent potential, a variant of the global fixed point iteration method of [63, 64] was used. While the method of Ref. [63] has been designed to also have a high accuracy even in the low density regions, which requires a careful treatment of the boundary conditions and low density regions, we are not so much focused on low densities and tail regions in this work. We therefore adopted a more pragmatic approach, introducing a cut-off that flattens the potential in the small-density regions. The cut-off takes the form g(x) = + tanh[α(n(x) c)] where c is the cutoff and α is a large constant. For a potential of the form v(y) = y f(x)dx applying the cut-off corresponds to v(y) = y g(x)f(x)dx. Since the method of [63] in each time-step tries to get the right density, and thus within each time-step to compensate the error in the density caused by for example the cut-off, it causes an overly oscillatory potential in the low density regions. We therefore further limited the number of iterations to three to avoid this issue. As initial guess we used the analytic formulas, Eqs. (3) and (4), since we also propagate the correlated wave function. (Though analytically exact, these formulas alone do usually not lead to a stable numerical propagation: the numerical error created by the multiple derivatives and integrations lead to a density that drifts away from the reference density).. SSD choice for Φ() In Fig. we show the dipole d(t) = xn(x, t)dx and norm N(t) = n(x, t)dx for the field-free evolution of superposition state Eq. (6) with first KS initial state choice of the previous subsection, the SSD Eq. (7). The exact dynamics is shown in black. Propagating using v S X (in green) which, for two electrons and SSD choice, corresponds to adiabatic exact-exchange (AEXX) yields a dipole that appears to oscillate with more than one frequency, giving an envelope to the oscillations, and neither the dominant frequency nor the amplitude of oscillations are captured well. The ALDA propagation (blue) is also shown, and it approximates the frequency of the oscillation a little better than AEXX, but the amplitude is poor and again there is a beating over long time. The propagations that include the various approximate v T 6

7 d(t) norm(t) t= t=3 t= t= t (a.u.) t=6 t=6 -.5 FIG. : Field-free dynamics of the 5:5 superposition state Eq. (6) where the approximate TDDFT calculations propagate the SSD choice for initial KS state Φ(), Eq. (7). Norm (upper panel) and dipole moment (lower panel) for exact (black), v S X =AEXX (green), v S X + v T () (magenta), v S X + v T, ρ() (red), v S X + v T,ρ() (light blue) and v ALDA X (blue). Time is given in a.u. here and in all following graphs. improve over the traditional approximations for only a very short time but soon deviate dramatically with qualitatively wrong behavior even before half a cycle of the evolution. We will now discuss what goes wrong with each of these, with the help of the density and potential time-snapshots within the first optical cycle shown in Fig.. We first note that when a SSD is chosen for the KS system, with one doubly-occupied orbital, the features of the exact v X (in black) have the periodicity of the density dynamics: initially the density has a minimum on the left side coincident with a large dynamical step and peak in v T, which decreases and disappears as the density becomes symmetric around t = 3a.u., before building up again on the other side, such that at half-cycle (t 6 a.u.) v X and the density are a mirror images of their initial values. onsider now the potentials of the traditional approximations, v S X =AEXX and ALDA (in green and blue in Figs. -). Although both the AEXX and ALDA dipoles are close to the exact for t < 3a.u. the shape of the density at this time has already started to deviate. The v S X potential is generally a very good approximation to the exact interaction part v W X of the xc potential [5] but it completely misses the step and peak features present in the exact v T, simply smoothly cradling the density as it evolves, and ALDA also does not capture these structures. These missing structures are important to get the details of the dynamics right, including the period, as evident in the plots t= t=9-5 5 FIG. : Density (upper panel) and v X potential (lower panel) for the same dynamics as Fig. shown at initial time, and at three other times indicated within the first cycle. Left panel: exact (black), v S X =AEXX (green), v S X + v T () (magenta) and v ALDA X exact (black), v S X + v T, ρ() (light blue). The v S X + v T,ρ() (blue). Right panel: (red) and v S X + v T,ρ() potential is scaled by a factor of 5 at t = 6a.u. and t = 9a.u.. onsider now propagation with v S X +v T () (magenta curves in Figs. -). As v T () is static, the large initial step in the kinetic correlation part of the potential remains for all time, and as a consequence the density leaks to the left and is unable to slosh back to the right (see magenta density in left panel Fig. ). The density eventually gets absorbed by the boundary around t 3a.u. as can be seen in the evolution of the norm in the upper panel of Fig.. We turn now to propagation under v S X + v T, ρ(), where again the dipole swings far too much to the left (Fig. ), resulting in a large unphysical absorption evident in the norm in the top panel. The reason for this becomes evident from the right panel of Fig. : Freez

8 SSD t= 3 t= SSD t= t= SSD t (a.u.) FIG. 3: Exact components vint T (in red) and vt S (in blue) of the exact kinetic component v T = vint T vt S (in black) for field-free dynamics evolution of superposition state Eq. (6) at initial time and at about /4 cycle (t = 3 a.u.). Top panel: SSD choice Eq. (7) for KS initial state. Lower panel: Superposition choice Eq. (8) for the KS initial state. FIG. 4: Violation of ZFT: The left-hand-side of Eq. (9) in field-free evolution of superposition state Eq. (6), in propagation under v S X (green), v S X + v T () (magenta), (red), v S X + v T,ρ() (light blue) and (blue). Upper panel: SSD choice Eq. (7) for KS v S X + v T, ρ() v ALDA X initial state. Lower panel: Superposition choice Eq. (8) for the KS initial state. ing ρ in v T results in a step that, although varying in size, is always on the left, pulling the density consistently over to the left. On the other hand, propagation under v S X + v T,ρ() yields a dipole that displays a most peculiar flattening after half a cycle (light blue in Figs. and ). The freezing of the interacting RDM while keeping the KS RDM dynamical has drastic consequences, as can be seen from first recalling the exact v T : Both the exact vint T and vs T display large dynamical steps that tend to counteract each other, yielding a smaller step in the exact v T, at times even canceling each other. (see Fig. 3 and movie in supplementary material). Freezing only the interacting RDM as in v T,ρ() leads to the development of a disproportionately large step at times, resulting in instabilities and the poor dynamics as shown here. Satisfaction of the ZFT is demonstrated in Fig. 4 which plots the left-hand-side of Eq. (9) for the different approximations. From Table II, all approximations except for v S X + v T () are expected to satisfy the ZFT, and give zero. The deviation of v S X + v T,ρ() is a numerical error related to the very large steps that appear in this approximation as just discussed. The spike in v S X + v T, ρ() at around 5 a.u. is a numerical artifact caused by the step in the potential at that time being very large and sharp. Notice the relatively large violation of the ZFT for v S X + v T () in this dynamics. We conclude that except for quite short times, the new approximations do not improve the dynamics of a fieldfree superposition state when the initial KS state is cho- sen to be a SSD; in fact the traditional approximations ALDA and AEXX (coinciding with v S X in this case) are more reliable, although inaccurate. One might be tempted to argue that these results have limited relevance, since starting the KS system in an SSD when the interacting state is a 5:5 superposition state would be a bad choice, making a challenging job for approximate functionals to do well. However, this could well be the situation reached when the system began in the ground-state, with some field applied that brought the interacting state to a 5:5 superposition state, at which point the field is turned off. Then the natural choice for the initial KS state is the KS ground-state, and we are stuck with a SSD for the whole evolution.. Superposition choice for Φ() Fig. 5 shows the field-free superposition state dynamics for the different approximations when the KS initial state is chosen to be Eq. (8). onsidering first the traditional approximations ALDA and AEXX = v H /, we observe a great improvement in their performance with this choice of KS initial state, compared to the Slater determinant choice. In fact ALDA is remarkably good: choosing a KS initial state structure that is close to that of the true system seems to override the errors from the ground-state xc assumption inherent in the adiabatic nature of ALDA, its self-interaction error, and its locality in space. It is the configuration of the initial KS state that is key: if instead we used LDA orbitals but still within the 8

9 norm(t) d(t) t (a.u.)..9.8 FIG. 5: Time-dependent dipole moment (lower panel) and norm (top panel) for field-free dynamics of 5:5 superposition state Eq. (6). Initial KS state Φ() is chosen as in Eq. (8). Shown are results of propagation under the exact (black), v S X (green), v S X + v T () (magenta), v S X + v T, ρ() (red), v S X + v T,ρ() (light blue), AEXX= vh (yellow) and ALDA (blue). first-excited Slater determinant configuration of Eq. (8), the dynamics is similar although not as accurate (see shortly). In fact ALDA outperforms the spatially nonlocal AEXX, suggesting the importance of an adequate accounting of correlation for this example, with even the local-density ground-state correlation approximation doing a good job here. We will see that freezing the kinetic component of the correlation in various ways in our new approximations, together with the correlation contained in v S X, do not provide a sufficiently good correlation component to compete with the simple ALDA for more than short to intermediate times. Turning then to the new approximations, we first note that, unlike the SSD choice, none of the approximations lead to the unphysical situation of the density reaching the boundaries and being absorbed, at least until much later (for v S X + v T ()), as shown by the norm. Two of the approximations, namely v S X (which gives dynamics close to AEXX) and v S X + v T, ρ() do a reasonable job however none of them beats the remarkable performance of ALDA for the dipole dynamics as noted above. Inclusion of v T, ρ() tends to yield a worse amplitude but a better dominant frequency than vx. S Performing a Fourier transform of the dipole yields the frequencies, ω =.55 ±.6 a.u. for v S X + v T, ρ() as compared with ω =.584 ±.6 a.u. for v S X while the exact frequency is ω =.534 a.u, best approximated by ALDA s frequency of ω =.57 ±.6a.u. These two new approximations, v S X and v S X + v T, ρ() yield a good density evolution, as can be seen - -3 in Fig. 6 in green and red respectively, where they can be compared with the exact density and potential (black). The exact v T for this choice of KS initial state is initially much smaller than for the SSD choice (c.f. Fig. ), and vx, S which, as we noted before is a very good approximation to vx, W then plays a relatively more important role than in the SSD case. We note that v S X in this case is not equivalent to TDEXX: it contains some correlation due to the KS state configuration, and has memorydependence in that it is an implicit functional of the density at earlier times and of the KS initial state. Including v T, ρ() now partially captures the step and peak features of the exact potential and the step switches sides unlike for the SSD case. Notice that from approximately t = 6a.u. onwards the exact v X is no longer periodic while the density is (unlike the case in the previous section where a SSD is used). The dynamical features of the exact v T become more and more complex as the system evolves and at later times they become eventually as large as the ones observed for the SSD choice (see also Ref. [5]); the movie in supplementary materials displays the densities and xc potentials from exact propagation, ALDA, vx, S and v S X + v T, ρ(). Turning now to the other two approximations, v S X + v T () and v S X + v T,ρ(), the performances are poor, although the release of density then absorbed by the boundaries is less compared to the SSD case. This is because the step in the initial kinetic components is less, so even if frozen as in v S X + v T (), it results in less density moving out to the left. Propagation with v S X + v T,ρ() suffers from the same problem as in the SSD choice: the uneven treatment of the interacting and KS density matrices results in a huge step in the potential that prevents the density from sloshing back and forth as it should (right panel of Fig. 6). Finally, since typically orbitals that reproduce the exact density are not easily obtained, we show in Fig. 7 the results of propagating a state of the form Eq. (8) where the LDA ground and first-excited orbitals are inserted into the KS states. We show the best of our new approximations, along with ALDA. We notice that the densitydynamics is generally significantly worsened for both propagation with ALDA and v S X + v T, ρ() compared to when initial orbitals that reproduce the exact initial density are used. B. Arbitrary field starting in the ground state Next we study the dynamics of system Eq. (5) initially in the gs and driven by a non-resonant, fairly strong, laser field, v app (x, t) = E(t)x, where E(t) =. sin(.4t). Since we start in the gs the natural choice is a SSD for the KS initial state, and this is the only choice we consider here. In Fig. 8, the dipoles and norm for the exact and approximate KS evolutions, beginning in the initially exact KS orbital ϕ() = n are shown. 9

10 .5 t= t=.5.5 t= t= t= t= t=6 t= t=9.5 t= t=9 t= FIG. 6: Time snap-shots of the density (upper panels) and v X potential (lower panels) for the dynamics shown in Fig.5 for: exact (black), v S X (green), v S X + v T () (magenta), v ALDA X (blue), v S X + v T, ρ() (red), and v S X + v T,ρ() (light blue). The latter has been scaled by 4 for t = 9au and t = 5au. The propagation with vx=aexx S alone (in green) is excellent till almost t = a.u., after which it begins to significantly deviate from the exact. The other traditional approximation ALDA (in blue) is not as good as AEXX in this case for the first few cycles but stays closer to the exact than AEXX at later times. Fig. 9 shows that in fact both these approximations and the new ones, except for v S X + v T,ρ() which is not shown (see below), capture the structure of the density and the potential quite well in the central region; the noticeable deviations of the dipole moments of the approximations in Fig. 8 arise from errors in the density further out where the density itself is not very large, but these errors get enhanced by the multiplication by x in the calculation of the dipole moment (which, additionally, highlights asymmetric structures in the density). Adding the correlation potential frozen to its initial value, v S X + v T () (in magenta) does not improve the FIG. 7: Time snap-shots of the density (upper panel) and v X potential (lower panel) for field-free dynamics starting in 5:5 superposition state Eq. (6) and using KS initial state of the form Eq. (8) but with the gs and first excited LDA orbitals. Propagation with v S X + v T, ρ() (red) and v ALDA X (blue). In black the exact dynamics. results over v S X (except at short times) as can be seen by comparing the green and magenta curves in Fig. 8 and in the density time snapshots of Fig. 9. In this case the system starts off weakly correlated, and the exact potential is a smooth well initially, but as the laser field kicks in and begins to drive the interacting system far away from approximately a single Slater determinant, correlation increases, as is reflected in the increased size of the structures in the exact v T evident in Fig. 9; these structures appear in v T rather than in v W X which remains quite smooth. As v S X + v T () freezes the v T to its initial value, it cannot capture these. The approximation v T, ρ() does include partial step structures, although not always quite in phase with the exact (see also the movie 3 in the supplementary material). However, these do not apparently have a significant effect on the ensuing dynamics, neither in the region where the density is appreciable, nor in the dipole moment that weighs more the low-density regions further out, and the dipole moment is in fact worse than the traditional approximations except at short times. One aspect of the largest of these step structures for this dynamics, is that they can change very rapidly, for example the large step switches sides from t = 43 a.u. to 44 a.u. Also, at t 6 a.u. the exact dynamics begins to show some absorption (see upper panel Fig. 8) which is underestimated in v S X + v T, ρ(). This leads to some discrepancy in the dipole moments, but the density in

11 the central region is very well reproduced still (see lower panel in red in Fig. 9). The propagation under v S X + v T,ρ() develops very large features near the boundaries (no compensation of the large step in v, S as in the discussion in the previous section) that progressively approach the central region, growing in size, and by t 5 a.u. the step has become so large and sharp, that the propagation results in a freezing of the density on the left (in light blue in Fig. 8)..5 t= t=9 t= t= norm(t) t=43 t= d(t) t=44 t= t (a.u.) FIG. 8: Dynamics of the laser-driven gs. Norm (upper panel) and dipole (lower panel) for exact (black), v S X =AEXX (green), v S X + v T, ρ() (red), v S X + v T () (magenta) and v S X + v T,ρ() (blue). v ALDA X (light blue) and Finally, in practice we rarely have access to the exact initial KS orbitals, and approximate DFT orbitals are used for the initial state. In Fig. LDA orbitals are propagated using v S X + v T, ρ() and ALDA, showing a noticeable deviation from the results when the exact initial orbitals are used, especially, in this case for the propagation under v S X + v T, ρ(). V. ONLUSIONS Building approximations based on the exact expression for the time-dependent xc potential, Eq. (), allows us to immediately break free of the adiabatic approximation in TDDFT. The expression requires approximations for the time-evolving xc hole and for the RDM of the interacting system, quantities that are not accessible in a KS calculation. In this work, we have proposed a number of practical approximations to these terms, evaluated their satisfaction of some known exact constraints in TDDFT, and explored their performance on a few model systems. The approximations have memorydependence, in particular initial-state dependence, and FIG. 9: Density (upper panels) and v X potential (lower panels) for the laser-driven gs. Left panel: exact (black), v S X =AEXX (green) and v S X + v T () (magenta). Right panel: exact (black), v S X + v T, ρ() (blue). (red) and v ALDA X how well they perform in turn depends on the choice of KS state in which to begin the propagation. The functionals can be viewed as orbital-functionals, however they do not require TDOEP in their operation, and have an explicit dependence on the initial interacting manybody state and the initial choice of KS state. Two of these newly proposed approximations stand out. One is v S X in which all quantities in the exact expression for v X are replaced by their KS counterparts. This approximation has been explored in recent literature where it was found to be an excellent approximation to the interaction component v W X of the exact potential [5, 39] and to yield a significant improvement in dynamics of an electron approaching a target in scattering compared to ALDA and AEXX [39, 4] albeit ultimately failing to actually scatter even qualitatively. In the examples studied here, it provides a reasonable approximation, although ALDA was in fact generally better. A dynamical accounting of correlation beyond what is present in v S X is required. The approximation satisfies the most exact conditions out of the new approxi-

12 .5 t= t=9 t=43 t= cess. The approach pointed to in this work, based on approximations to the RDM-difference and xc hole appearing in Eq. (), provides a starting point to develop such practical memory-dependent approximations. Acknowledgments: Financial support from the US National Science Foundation HE56697 (NTM) and the Department of Energy, Office of Basic Energy Sciences, Division of hemical Sciences, Geosciences and Biosciences under Award DE-S5344 (JIF and LL) are also gratefully acknowledged. JIF acknowledges ON- IET Argentina. SEBN acknowledges financial support from the European Research ouncil (ER-5-AdG ) and European Union s H programme under GA no (NOMAD). - - VI. APPENDIX A. Zero Force Theorem Satisfaction FIG. : Time snapshots of the density (upper panels) and v X (lower panels) for laser-driven dynamics starting in the LDA ground-state: propagation under exact (black), ALDA (blue), v S X + v T, ρ() (red). mations considered, including ZFT, GTI, SI-free, and the memory condition. The second approximation that worked reasonably well was v S X +v T, ρ(), where the kinetic component is approximated by freezing the difference in the RDMs to the initial value. In the examples considered here, it did not perform particularly better than the traditional approximations; a better accounting of correlation is required. The approximation satisfies the ZFT and is SIfree, but violates the other exact conditions we considered. A key factor in determining the accuracy of the performance of any approximation, is the choice of the KS initial state; the field-free propagation of the superposition state demonstrated clearly the vast improvement of all approximations once the KS initial state was chosen with a configuration close to that of the interacting state. It is clear that better approximations are needed for the kinetic term, that involve a dynamical approximation to the RDM of the interacting system, and such developments are underway [65]. This term is more challenging as it has much more structure and a stronger non-adiabatic dependence than the interaction term [4]. How well these approximations work for realistic many-electron three-dimensional systems remain to be seen. For robust performance, we expect that certainly the approximation should satisfy the ZFT; satisfaction of GTI, SI-free, memory-condition, and R will likely improve its accuracy. As in the ground-state case, it is not always clear which exact conditions are most important for predicting a functional approximation s suc-. Exact components: v W X, v T, v T int, and v T S Here we prove that vx, W v T, vint T, and vt S independently satisfy the ZFT, Eq. (9). Beginning with vx, W we write n X (r, r, t) in terms of the pair density, so that n(r, t) vx[n](r, W t)d 3 r = ( P (r ), r, t) n(r, t) n(r, t) w( r r )d 3 rd 3 r n(r, t) () Interchanging r r in Eq. () we get the same but with opposite sign since the integral is antisymmetric due to the gradient, r w( r r ) = r w( r r ). Thus the only possible solution for Eq. () is zero. Because the exact v X satisfies ZFT and v W X does independently, then v T = v X v W X must also independently satisfy the ZFT. This can also be shown explicitly. In fact, even the exact interacting and KS contributions to v T independently satisfy the ZFT, as we will now show (and hence this also shows explicitly that v T independently satisfies it). onsider the force contribution from the interacting part, vint T, n(r, t) vint(r, T t)d 3 r = d 3 r ( ) ( ) (ρ (r, r, t)) r =r 4 = N Re d 3 rd 3 r..d 3 ( r N Ψ Ψ Ψ 3 Ψ ) () = N d 3 rd 3 r..d 3 r N ( 4 Ψ Ψ ) 4 where arguments (r, r...r N ) are understood for the wavefunctions, and is the gradient with respect to