Preprint

# Solver for the electronic V-representation problem of time-dependent density functional theory

Authors:
Preprints and early-stage research may not have been peer reviewed yet.
To read the file of this research, you can request a copy directly from the authors.

## Abstract

One route to numerically propagating quantum systems is time-dependent density functional theory (TDDFT). The application of TDDFT to a particular system's time evolution is predicated on $V$-representability which we have analyzed in a previous publication. Here we describe a newly developed solver for the scalar time-dependent Kohn-Sham potential. We present and interpret the force-balance equation central to our numerical method, describe details of its implementation, and present illustrative numerical results for one- and two-electron systems. A new characterization of $V$-representability for one-electron systems is also included along with possible improvements and future directions.

## No file available

ResearchGate has not been able to resolve any citations for this publication.
Article
Full-text available
We present an efficient implementation of dynamically pruned quantum dynamics, both in coordinate space and in phase space. We combine the ideas behind the biorthogonal von Neumann basis (PvB) with the orthogonalized momentum-symmetrized Gaussians (Weylets) to create a new basis, projected Weylets, that takes the best from both methods. We benchmark pruned time-dependent dynamics using phase-space-localized PvB, projected Weylets, and coordinate-space-localized DVR bases, with real-world examples in up to six dimensions. For the examples studied, coordinate-space localization is the most important factor for efficient pruning and the pruned dynamics is much faster than the unpruned, exact dynamics. Phase-space localization is useful for more demanding dynamics where many basis functions are required. There, projected Weylets offer a more compact representation than pruned DVR bases.
Article
Full-text available
Knowledge of exact properties of the exchange-correlation (xc) functional is important for improving the approximations made within density functional theory. Features such as steps in the exact xc potential are known to be necessary for yielding accurate densities, yet little is understood regarding their shape, magnitude and location. We use systems of a few electrons, where the exact electron density is known, to demonstrate general properties of steps. We find that steps occur at points in the electron density where there is a change in the local effective ionization energy' of the electrons. We provide practical arguments, based on the electron density, for determining the position, shape and height of steps for ground-state systems, and extend the concepts to time-dependent systems. These arguments are intended to inform the development of approximate functionals, such as the mixed localization potential (MLP), which already demonstrate their capability to produce steps in the Kohn-Sham potential.
Article
Full-text available
We develop an approach to solving numerically the time-dependent Schrodinger equation when it includes source terms and time-dependent potentials. The approach is based on the generalized Crank-Nicolson method supplemented with an Euler-MacLaurin expansion for the time-integrated nonhomogeneous term. By comparing the numerical results with exact solutions of analytically solvable models, we find that the method leads to precision comparable to that of the generalized Crank-Nicolson method applied to homogeneous equations. Furthermore, the systematic increase in precision generally permits making estimates of the error.
Article
Full-text available
By propagating the many-body Schrödinger equation, we determine the exact time-dependent Kohn-Sham potential for a system of strongly correlated electrons which undergo field-induced tunneling. Numerous features are entirely absent from the approximations commonly used in time-dependent density-functional theory. The self-interaction correction is strong and time dependent, owing to electron localization, and prominent dynamic spatial potential steps arise from minima in the charge density, as modified by the Coulomb interaction experienced by the partially tunneled electron.
Article
Full-text available
We present a local control scheme to construct the external potential v that, for a given initial state, produces a prescribed time-dependent density in an interacting quantum many-body system. This numerical method is efficient and stable even for large and rapid density variations irrespective of the initial state and the interactions. It can at the same time be used to answer fundamental v-representability questions in density functional theory. In particular, in the absence of interactions, it allows us to construct the exact time-dependent Kohn-Sham potential for arbitrary initial states. We illustrate the method in a correlated one-dimensional two-electron system with different interactions, initial states and densities. For a Kohn-Sham system with a correlated initial state we demonstrate the interplay between memory and initial-state dependence as well as the failure of any adiabatic approximation.
Article
Full-text available
We reformulate the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed-point question for potentials on a given time interval. We show that the unique fixed point, i.e. the unique potential generating a given density, is reached as the limiting point of an iterative procedure. The one-to-one correspondence between densities and potentials is a straightforward result provided that the response function of the divergence of the internal forces is bounded. The existence, i.e. the v-representability of a density, can be proven as well provided that the operator norms of the response functions of the members of the iterative sequence of potentials have an upper bound. The densities under consideration have second time-derivatives that are required to satisfy a condition slightly weaker than being square-integrable. This approach avoids the usual restrictions of Taylor-expandability in time of the uniqueness theorem by Runge and Gross (Phys. Rev. Lett., 52 (1984) 997) and of the existence theorem by van Leeuwen (Phys. Rev. Lett., 82 (1999) 3863). Owing to its generality, the proof not only answers basic questions in density-functional theory but also has potential implications in other fields of physics.
Article
Full-text available
We show that a time-dependent particle density $n(\mathbf{r}t)$ obtained from a given many-particle system can, under mild restrictions on the initial state, always be reproduced by an external potential ${v}^{$'${}}(\mathbf{r}t)$ in a many-particle system with different two-particle interactions. Given the initial state of this other many-particle system, the potential ${v}^{$'${}}(\mathbf{r}t)$ is unique up to a purely time-dependent function. As a special case we obtain the well-known Runge-Gross theorem.
Article
Full-text available
We prove that the theorems of TDDFT can be extended to a class of qubit Hamiltonians that are universal for quantum computation. The theorems of TDDFT applied to universal Hamiltonians imply that single-qubit expectation values can be used as the basic variables in quantum computation and information theory, rather than wavefunctions. From a practical standpoint this opens the possibility of approximating observables of interest in quantum computations directly in terms of single-qubit quantities (i.e. as density functionals). Additionally, we also demonstrate that TDDFT provides an exact prescription for simulating universal Hamiltonians with other universal Hamiltonians that have different, and possibly easier-to-realize two-qubit interactions. This establishes the foundations of TDDFT for quantum computation and opens the possibility of developing density functionals for use in quantum algorithms.
Article
Full-text available
In a recent letter [Europhys. Lett. 95, 13001 (2011)] the question of whether the density of a time-dependent quantum system determines its external potential was reformulated as a fixed point problem. This idea was used to generalize the existence and uniqueness theorems underlying time-dependent density functional theory. In this work we extend this proof to allow for more general norms and provide a numerical implementation of the fixed-point iteration scheme. We focus on the one-dimensional case as it allows for a more in-depth analysis using singular Sturm-Liouville theory and at the same time provides an easy visualization of the numerical applications in space and time. We give an explicit relation between the boundary conditions on the density and the convergence properties of the fixed-point procedure via the spectral properties of the associated Sturm-Liouville operator. We show precisely under which conditions discrete and continuous spectra arise and give explicit examples. These conditions are then used to show that in the most physically relevant cases the fixed point procedure converges. This is further demonstrated with an example.
Article
Full-text available
An iterative method is given for solving Ax ~ffi b and minU Ax- b 112, where the matrix A is large and sparse. The method is based on the bidiagonalization procedure of Golub and Kahan. It is analytically equivalent to the standard method of conjugate gradients, but possesses more favorable numerical properties. Reliable stopping criteria are derived, along with estimates of standard errors for x and the condition number of A. These are used in the FORTRAN implementation of the method, subroutine LSQR. Numerical tests are described comparing I~QR with several other conjugate-gradient algorithms, indicating that I~QR is the most reliable algorithm when A is ill-conditioned. Categories and Subject Descriptors: G.1.2 [Numerical Analysis]: ApprorJmation--least squares approximation; G.1.3 [Numerical Analysis]: Numerical Linear Algebra--linear systems (direct and
Article
Full-text available
CG, SYMMLQ, and MINRES are Krylov subspace methods for solving symmetric systems of linear equations. When these methods are applied to an incompatible system (that is, a singular symmetric least-squares problem), CG could break down and SYMMLQ's solution could explode, while MINRES would give a least-squares solution but not necessarily the minimum-length (pseudoinverse) solution. This understanding motivates us to design a MINRES-like algorithm to compute minimum-length solutions to singular symmetric systems. MINRES uses QR factors of the tridiagonal matrix from the Lanczos process (where R is upper-tridiagonal). MINRES-QLP uses a QLP decomposition (where rotations on the right reduce R to lower-tridiagonal form). On ill-conditioned systems (singular or not), MINRES-QLP can give more accurate solutions than MINRES. We derive preconditioned MINRES-QLP, new stopping rules, and better estimates of the solution and residual norms, the matrix norm, and the condition number.
Article
We demonstrate how a recently developed method Nielsen et al. [Nielsen et al., EPL 101, 33001 (2013)] allows for a comprehensive investigation of time-dependent density functionals in general, and of the exact time-dependent exchange-correlation potential in particular, by presenting the first exact results for two- and three-dimensional multi-electron systems. This method is an explicit realization of the Runge–Gross correspondence, which maps time-dependent densities to their respective potentials, and allows for the exact construction of desired density functionals. We present in detail the numerical requirements that makes this method efficient, stable and precise even for large and rapid density changes, irrespective of the initial state and two-body interaction. This includes among others the proper treatment of low density regions, a subtle interplay between numerical time-propagation and zero boundary conditions, the choice of time-stepping strategy, and an error damping mechanism based on both the density and current density residuals. These considerations are also relevant for computing time-independent density-functionals and lead to a more precise implementation of quantum mechanics in general, which is mainly relevant for cases in which there is notable contact with a boundary or when the low density regions matter.
Article
We treat the density-to-potential inverse problem of time-dependent density functional theory as an optimization problem with a partial differential equation constraint. The unknown potential is recovered from a target density by applying a multilevel optimization method controlled by error estimates. We employ a classical optimization routine using gradients efficiently computed by the discrete adjoint method. The inverted potential has both a real and imaginary part to reduce reflections at the boundaries and other numerical artifacts. We demonstrate this method on model one-dimensional systems. The method can be straightforwardly extended to a variety of numerical solvers of the time-dependent Kohn-Sham equations and to systems in higher dimensions.
Article
A novel discrete variable representation (DVR) is introduced for use as the L2 basis of the S‐matrix version of the Kohn variational method [Zhang, Chu, and Miller, J. Chem. Phys. 88, 6233 (1988)] for quantum reactive scattering. (It can also be readily used for quantum eigenvalue problems.) The primary novel feature is that this DVR gives an extremely simple kinetic energy matrix (the potential energy matrix is diagonal, as in all DVRs) which is in a sense ‘‘universal,’’ i.e., independent of any explicit reference to an underlying set of basis functions; it can, in fact, be derived as an infinite limit using different basis functions. An energy truncation procedure allows the DVR grid points to be adapted naturally to the shape of any given potential energy surface. Application to the benchmark collinear H+H2→H2+H reaction shows that convergence in the reaction probabilities is achieved with only about 15% more DVR grid points than the number of conventional basis functions used in previous S‐matrix Kohn calculations. Test calculations for the collinear Cl+HCl→ClH+Cl reaction shows that the unusual dynamical features of heavy+light‐heavy reactions are also well described by this approach. Since DVR approaches avoid having to evaluate integrals in order to obtain the Hamiltonian matrix and since a DVR Hamiltonian matrix is extremely sparse, this DVR version of the S‐matrix Kohn approach should make it possible to deal with more complex chemical reactions than heretofore possible.
Article
Density functional theory is a successful branch of numerical simulations of quantum systems. While the foundations are rigorously defined, the universal functional must be approximated resulting in a semi'-ab initio approach. The search for improved functionals has resulted in hundreds of functionals and remains an active research area. This chapter is concerned with understanding fundamental limitations of any algorithmic approach to approximating the universal functional. The results based on Hamiltonian complexity presented here are largely based on \cite{Schuch09}. In this chapter, we explain the computational complexity of DFT and any other approach to solving electronic structure Hamiltonians. The proof relies on perturbative gadgets widely used in Hamiltonian complexity and we provide an introduction to these techniques using the Schrieffer-Wolff method. Since the difficulty of this problem has been well appreciated before this formalization, practitioners have turned to a host approximate Hamiltonians. By extending the results of \cite{Schuch09}, we show in DFT, although the introduction of an approximate potential leads to a non-interacting Hamiltonian, it remains, in the worst case, an NP-complete problem.
Article
DOI:https://doi.org/10.1103/RevModPhys.32.170
Article
We calculate the exact Kohn-Sham potential that describes, within time-dependent density-functional theory, the propagation of an electron quasiparticle wavepacket of non-zero crystal momentum added to a ground-state model semiconductor. The potential is observed to have a highly nonlocal functional dependence on the charge density, in both space and time, giving rise to features entirely lacking in local or adiabatic approximations. The dependence of the non-equilibrium part of the Kohn-Sham electric field on the local current and charge density is identified as a key element of the correct Kohn-Sham functional.
Article
The Hadamard product of two matrices multiplied together elementwise is a rather neglected concept in matrix theory and has found only brief and scattered application in statistical analysis. We survey the known results on Hadamard products in a historical perspective and obtain various extensions. New applications to multivariate analysis are developed with complicated expressions appearing in closed form. These lead to new results concerning Hadamard products of positive definite matrices. The paper ends with an exhaustive bibliography of books and articles related to Hadamard products.
Article
We illustrate the scope of time-dependent density-functional theory for strongly correlated (lattice) models out of equilibrium. Using the exact many-body time evolution, we reverse engineer the exact exchange correlation (xc) potential v_(xc) for small Hubbard chains exposed to time-dependent fields. We introduce an adiabatic local density approximation to v_(xc) for the 1D Hubbard model and compare it to exact results, to gain insight about approximate xc potentials. Finally, we provide some remarks on the v-representability for the 1D Hubbard model.
Article
We study the mapping between time-dependent densities and potentials for noninteracting electronic systems on lattices. As discovered recently by Baer [J. Chem. Phys. 128, 044103 (2008)], there exist well-behaved time-dependent density functions on lattices which cannot be associated with any real time-dependent potential. This breakdown of time-dependent V-representability can be tracked down to problems with the continuity equation which arise from discretization of the kinetic-energy operator. Examples are given for lattices with two points and with N points, and implications for practical numerical applications of time-dependent density-functional theory are discussed. In the continuum limit, time-dependent noninteracting V-representability is restored.
Article
The mapping of time-dependent densities on potentials in systems of identical quantum mechanical particles is examined. This mapping is of significance ever since Runge and Gross [Phys. Rev. Lett. 52, 997 (1984)] established its uniqueness, forming the theoretical basis for time-dependent density functional theory. Beyond uniqueness there are two important issues: existence, often called v-representability, and stability. We show that v-representability for localized densities in turn-on situations is not assured and we give a simple example of nonexistence. As for stability, we discuss an inversion procedure and by computing its Lyapunov exponents we demonstrate that the mapping is unstable with respect to fluctuations in the initial state. We argue that such instabilities will plague any inversion procedure.
• D A Mazziotti
D. A. Mazziotti, Chem. Rev. 112, 244 (2012).
• Y.-K Lui
• M Christandl
• F Verstraete
Y.-K. Lui, M. Christandl, and F. Verstraete, Phys. Rev. Lett. 98, 110503 (2007).
• F Lackner
• I Březinová
• T Sato
• K L Ishikawa
• J Burgdörfer
F. Lackner, I. Březinová, T. Sato, K. L. Ishikawa, and J. Burgdörfer, Phys. Rev. A 91, 023412 (2015).
• P Hohenberg
• W Kohn
P. Hohenberg and W. Kohn, Phys Rev 136, B864 (1964).
• N Schuch
• F Verstraete
N. Schuch and F. Verstraete, Nature Physics 5, 732 (2009).
• J D Whitfield
• M.-H Yung
• D G Tempel
• S Boixo
• A Aspuru-Guzik
J. D. Whitfield, M.-H. Yung, D. G. Tempel, S. Boixo, and A. Aspuru-Guzik, New J. Phys. 16, 083035 (2014).
• M Farzanehpour
• I V Tokatly
M. Farzanehpour and I. V. Tokatly, Phys. Rev. B 86, 125130 (2012).
• P Schmitteckert
• M Dzierzawa
• P Schwab
P. Schmitteckert, M. Dzierzawa, and P. Schwab, Phys. Chem. Chem. Phys. 15, 5477 (2013).
• J Fuks
• N T Maitra
J. Fuks and N. T. Maitra, Phys. Rev. A 89, 062502 (2014).
• R Hatcher
• J A Kittl
• C Bowen
R. Hatcher, J. A. Kittl, and C. Bowen, arXiv e-prints, arXiv:1903.05550 (2019), arXiv:1903.05550 [quant-ph].
• J Brown
• J D Whitfield
J. Brown and J. D. Whitfield, arXiv e-prints, arXiv:1812.09335 (2018), arXiv:1812.09335 [physics.chem-ph].