# Time-dependent density functional theory

Time-dependent density-functional theory (TDDFT) is a quantum mechanical theory used in physics and chemistry to investigate the properties and dynamics of many-body systems in the presence of time-dependent potentials, such as electric or magnetic fields. The effect of such fields on molecules and solids can be studied with TDDFT to extract features like excitation energies, frequency-dependent response properties, and photoabsorption spectra.
TDDFT is an extension of density-functional theory (DFT), and the conceptual and computational foundations are analogous – to show that the (time-dependent) wave function is equivalent to the (time-dependent) electronic density, and then to derive the effective potential of a fictitious non-interacting system which returns the same density as any given interacting system. The issue of constructing such a system is more complex for TDDFT, most notably because the time-dependent effective potential at any given instant depends on the value of the density at all previous times. Consequently, the development of time-dependent approximations for the implementation of TDDFT is behind that of DFT, with applications routinely ignoring this memory requirement.

## Overview

The formal foundation of TDDFT is the Runge–Gross (RG) theorem (1984) – the time-dependent analogue of the Hohenberg–Kohn (HK) theorem (1964). The RG theorem shows that, for a given initial wavefunction, there is a unique mapping between the time-dependent external potential of a system and its time-dependent density. This implies that the many-body wavefunction, depending upon 3N variables, is equivalent to the density, which depends upon only 3, and that all properties of a system can thus be determined from knowledge of the density alone. Unlike in DFT, there is no general minimization principle in time-dependent quantum mechanics. Consequently, the proof of the RG theorem is more involved than the HK theorem.
Given the RG theorem, the next step in developing a computationally useful method is to determine the fictitious non-interacting system which has the same density as the physical (interacting) system of interest. As in DFT, this is called the (time-dependent) Kohn–Sham system. This system is formally found as the stationary point of an action functional defined in the Keldysh formalism.
The most popular application of TDDFT is in the calculation of the energies of excited states of isolated systems and, less commonly, solids. Such calculations are based on the fact that the linear response function – that is, how the electron density changes when the external potential changes – has poles at the exact excitation energies of a system. Such calculations require, in addition to the exchange-correlation potential, the exchange-correlation kernel – the functional derivative of the exchange-correlation potential with respect to the density.

## Formalism
### Runge–Gross theorem

The approach of Runge and Gross considers a single-component system in the presence of a time-dependent scalar field for which the Hamiltonian takes the form
    ${\hat {H}}(t)={\hat {T}}+{\hat {V}}_{\mathrm {ext} }(t)+{\hat {W}},$
where T is the kinetic energy operator, W the electron-electron interaction, and V$_{ext}$(t) the external potential which along with the number of electrons defines the system. Nominally, the external potential contains the electrons' interaction with the nuclei of the system. For non-trivial time-dependence, an additional explicitly time-dependent potential is present which can arise, for example, from a time-dependent electric or magnetic field. The many-body wavefunction evolves according to the time-dependent Schrödinger equation under a single initial condition,
    ${\hat {H}}(t)|\Psi (t)\rangle =i\hbar {\frac {\partial }{\partial t}}|\Psi (t)\rangle ,\ \ \ |\Psi (0)\rangle =|\Psi \rangle .$
Employing the Schrödinger equation as its starting point, the Runge–Gross theorem shows that at any time, the density uniquely determines the external potential. This is done in two steps:
* Assuming that the external potential can be expanded in a Taylor series about a given time, it is shown that two external potentials differing by more than an additive constant generate different current densities.
* Employing the continuity equation, it is then shown that for finite systems, different current densities correspond to different electron densities.

### Time-dependent Kohn–Sham system

For a given interaction potential, the RG theorem shows that the external potential uniquely determines the density. The Kohn–Sham approaches chooses a non-interacting system (that for which the interaction potential is zero) in which to form the density that is equal to the interacting system. The advantage of doing so lies in the ease in which non-interacting systems can be solved – the wave function of a non-interacting system can be represented as a Slater determinant of single-particle orbitals, each of which are determined by a single partial differential equation in three variable – and that the kinetic energy of a non-interacting system can be expressed exactly in terms of those orbitals. The problem is thus to determine a potential, denoted as v$_s$(r,t) or v$_{KS}$(r,t), that determines a non-interacting Hamiltonian, H$_s$,
    ${\hat {H}}_{s}(t)={\hat {T}}+{\hat {V}}_{s}(t),$
which in turn determines a determinantal wave function
    ${\hat {H}}_{s}(t)|\Phi (t)\rangle =i{\frac {\partial }{\partial t}}|\Phi (t)\rangle ,\ \ \ |\Phi (0)\rangle =|\Phi \rangle ,$
which is constructed in terms of a set of N orbitals which obey the equation,
    $\left(-{\frac {1}{2}}\nabla ^{2}+v_{s}(\mathbf {r} ,t)\right)\phi _{j}(\mathbf {r} ,t)=i{\frac {\partial }{\partial t}}\phi _{j}(\mathbf {r} ,t)\ \ \ \phi _{j}(\mathbf {r} ,0)=\phi _{j}(\mathbf {r} ),$
and generate a time-dependent density
    $\rho _{s}(\mathbf {r} ,t)=\sum _{j=1}^{N_{\textrm {b}}}f_{j}(t)|\phi _{j}(\mathbf {r} ,t)|^{2},$
such that ρ$_s$ is equal to the density of the interacting system at all times:
    $\rho _{s}(\mathbf {r} ,t)=\rho (\mathbf {r} ,t).$
Note that in the expression of density above, the summation is over all $N_{\textrm {b}}$ Kohn–Sham orbitals and $f_{j}(t)$ is the time-dependent occupation number for orbital $j$. If the potential v$_s$(r,t) can be determined, or at the least well-approximated, then the original Schrödinger equation, a single partial differential equation in 3N variables, has been replaced by N differential equations in 3 dimensions, each differing only in the initial condition.
The problem of determining approximations to the Kohn–Sham potential is challenging. Analogously to DFT, the time-dependent KS potential is decomposed to extract the external potential of the system and the time-dependent Coulomb interaction, v$_J$. The remaining component is the exchange-correlation potential:
    $v_{s}(\mathbf {r} ,t)=v_{\rm {ext}}(\mathbf {r} ,t)+v_{J}(\mathbf {r} ,t)+v_{\rm {xc}}(\mathbf {r} ,t).\,$
In their seminal paper, Runge and Gross approached the definition of the KS potential through an action-based argument starting from the Dirac action
    $A[\Psi ]=\int \mathrm {d} t\ \langle \Psi (t)|H-i{\frac {\partial }{\partial t}}|\Psi (t)\rangle .$
Treated as a functional of the wave function, A[Ψ], variations of the wave function yield the many-body Schrödinger equation as the stationary point. Given the unique mapping between densities and wave function, Runge and Gross then treated the Dirac action as a density functional,
    $A[\rho ]=A[\Psi [\rho ]],\,$
and derived a formal expression for the exchange-correlation component of the action, which determines the exchange-correlation potential by functional differentiation. Later it was observed that an approach based on the Dirac action yields paradoxical conclusions when considering the causality of the response functions it generates. The density response function, the functional derivative of the density with respect to the external potential, should be causal: a change in the potential at a given time can not affect the density at earlier times. The response functions from the Dirac action however are symmetric in time so lack the required causal structure. An approach which does not suffer from this issue was later introduced through an action based on the Keldysh formalism of complex-time path integration. An alternative resolution of the causality paradox through a refinement of the action principle in real time has been recently proposed by Vignale.

## Linear response TDDFT

Linear-response TDDFT can be used if the external perturbation is small in the sense that it does not completely destroy the ground-state structure of the system. In this case one can analyze the linear response of the system. This is a great advantage as, to first order, the variation of the system will depend only on the ground-state wave-function so that we can simply use all the properties of DFT.
Consider a small time-dependent external perturbation $\delta V^{ext}(t)$. This gives
    $H'(t)=H+\delta V^{ext}(t)$
    $H'_{KS}[\rho ](t)=H_{KS}[\rho ]+\delta V_{H}[\rho ](t)+\delta V_{xc}[\rho ](t)+\delta V^{ext}(t)$
and looking at the linear response of the density
    $\delta \rho (\mathbf {r} t)=\chi (\mathbf {r} t,\mathbf {r'} t')\delta V^{ext}(\mathbf {r'} t')$
    $\delta \rho (\mathbf {r} t)=\chi _{KS}(\mathbf {r} t,\mathbf {r'} t')\delta V^{eff}[\rho ](\mathbf {r'} t')$
where $\delta V^{eff}[\rho ](t)=\delta V^{ext}(t)+\delta V_{H}[\rho ](t)+\delta V_{xc}[\rho ](t)$ Here and in the following it is assumed that primed variables are integrated.
Within the linear-response domain, the variation of the Hartree (H) and the exchange-correlation (xc) potential to linear order may be expanded with respect to the density variation
    $\delta V_{H}[\rho ](\mathbf {r} )={\frac {\delta V_{H}[\rho ]}{\delta \rho }}\delta \rho ={\frac {1}{|\mathbf {r} -\mathbf {r'} |}}\delta \rho (\mathbf {r'} )$
and
    $\delta V_{xc}[\rho ](\mathbf {r} )={\frac {\delta V_{xc}[\rho ]}{\delta \rho }}\delta \rho =f_{xc}(\mathbf {r} t,\mathbf {r'} t')\delta \rho (\mathbf {r'} )$
Finally, inserting this relation in the response equation for the KS system and comparing the resultant equation with the response equation for the physical system yields the Dyson equation of TDDFT:
    $\chi (\mathbf {r} _{1}t_{1},\mathbf {r} _{2}t_{2})=\chi _{KS}(\mathbf {r_{1}} t_{1},\mathbf {r} _{2}t_{2})+\chi _{KS}(\mathbf {r_{1}} t_{1},\mathbf {r} _{2}'t_{2}')\left({\frac {1}{|\mathbf {r} _{2}'-\mathbf {r} _{1}'|}}+f_{xc}(\mathbf {r} _{2}'t_{2}',\mathbf {r} _{1}'t_{1}')\right)\chi (\mathbf {r} _{1}'t_{1}',\mathbf {r} _{2}t_{2})$
From this last equation it is possible to derive the excitation energies of the system, as these are simply the poles of the response function.
Other linear-response approaches include the Casida formalism (an expansion in electron-hole pairs) and the Sternheimer equation (density-functional perturbation theory).

## Key papers

* Hohenberg, P.; Kohn, W. (1964). "Inhomogeneous Electron Gas". Physical Review. 136 (3B): B864. Bibcode:1964PhRv..136..864H. doi:10.1103/PhysRev.136.B864.
* Runge, Erich; Gross, E. K. U. (1984). "Density-Functional Theory for Time-Dependent Systems". Physical Review Letters. 52 (12): 997. Bibcode:1984PhRvL..52..997R. doi:10.1103/PhysRevLett.52.997.

## Books on TDDFT

* M.A.L. Marques; C.A. Ullrich; F. Nogueira; A. Rubio; K. Burke; E.K.U. Gross, eds. (2006). Time-Dependent Density Functional Theory. Springer-Verlag. ISBN 978-3-540-35422-2.
* Carsten Ullrich (2012). Time-Dependent Density-Functional Theory: Concepts and Applications. Oxford Graduate Texts. Oxford University Press. ISBN 978-0-19-956302-9.

## TDDFT codes

* ELK
* Firefly
* GAMESS-US
* Gaussian
* Amsterdam Density Functional
* deMon2k
* CP2K
* Dalton
* NWChem
* Octopus
* pw-teleman library
* PARSEC
* Qbox/Qb@ll
* Q-Chem
* Spartan
* TeraChem
* TURBOMOLE
* YAMBO code
* ORCA
* Jaguar
* GPAW
* ONETEP
* VASP
* Quantum ESPRESSO
* OpenQP