Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0804.3114 · The Journal of Chemical Physics

Time-dependent V-representability on lattice systems

Yonghui Li, Carsten A. Ullrich

Published Jul 25, 2008• 53 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1063/1.2955733

Related papers

Time-dependent current density functional theory on a lattice

I. V. Tokatly

A rigorous formulation of time-dependent current density functional theory (TDCDFT) on a lattice is presented. The density-to-potential mapping and the $\mathcal{V}$-representability problems are reduced to a solution of a certain nonlinear lattice Schr\"odinger equation, to which the standard existence and uniqueness results for nonlinear differential equations are applicable. For two versions of the lattice TDCDFT, we prove that any continuous-in-time current density is locally $\mathcal{V}$-representable (both interacting and noninteracting), provided that in the initial state the local kinetic energy is nonzero everywhere. In most cases of physical interest, the $\mathcal{V}$-representability should also hold globally in time. These results put the application of TDCDFT to any lattice model on a firm foundation, and pave the way for studying exact properties of exchange-correlation potentials.

arXiv:1011.2715•Physical Review B•Jan 31, 2011•51 citations

Time-dependent density functional theory on a lattice

Mehdi Farzanehpour, I. V. Tokatly

Time-dependent density functional theory (TDDFT) for quantum many-body systems on a lattice is formulated rigorously. We prove the uniqueness of the density-to-potential mapping and demonstrate that a given density is $v$ representable if the initial many-body state and the density satisfy certain well-defined conditions. In particular, we show that for a system evolving from its ground state any density with a continuous second time derivative is locally in time $v$ representable and therefore the lattice TDDFT is guaranteed to exist. The TDDFT existence and uniqueness theorem is valid for any connected lattice, independently of its size, geometry, and/or spatial dimensionality. General statements of the existence theorem are illustrated on a pedagogical exactly solvable example, which displays all the details and subtleties of the proof in a transparent form. In conclusion we briefly discuss remaining open problems and directions for future research.

arXiv:1206.6267•Physical Review B•Sep 21, 2012•49 citations

Density-Potential Mapping in the Standard and Quantum Electrodynamical Time-Dependent Density Functional Theory

Mehdi Farzanehpour

This thesis is devoted to the formulation and implications of the time-dependent density functional theory (TDDFT). The work is divided into two main parts. In the first part we develop rigorous theorems for the density-potential mapping in quantum many-body systems on a lattice. We prove the uniqueness of the TDDFT map and demonstrate that a given density is v-representable if the initial many-body state and the density satisfy certain well defined conditions. In particular, we show that for a system evolving from its ground state any density with a continuous second time derivative is v-representable. Then the lattice TDDFT formulation is extended to cover system of interacting lattice electrons strongly coupled to cavity photons.We prove that under some mathematical conditions the electron-photon wave function is a unique functional of the electronic density and the expectation value of the photonic coordinate. Then we further generalize the ground state v representability theorem to include the ground state of a general lattice electron-photon Hamiltonian.

•Jan 1, 2015•0 citations

On the mapping of time-dependent densities onto potentials in quantum mechanics

Roi Baer

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.

arXiv:0704.1787•The Journal of Chemical Physics•Jan 24, 2008•45 citations

Density-potential mappings in quantum dynamics

Michael Ruggenthaler, Klaas J. H. Giesbertz, Markus Penz +1 more

In a recent paper [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 because 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.

arXiv:1203.5894•Physical Review A•May 9, 2012•31 citations

Existence, uniqueness, and construction of the density-potential mapping in time-dependent density-functional theory

Michael Ruggenthaler, Markus Penz, Robert van Leeuwen

In this work we review the mapping from densities to potentials in quantum mechanics, which is the basic building block of time-dependent density-functional theory and the Kohn-Sham construction. We first present detailed conditions such that a mapping from potentials to densities is defined by solving the time-dependent Schrödinger equation. We specifically discuss intricacies connected with the unboundedness of the Hamiltonian and derive the local-force equation. This equation is then used to set up an iterative sequence that determines a potential that generates a specified density via time propagation of an initial state. This fixed-point procedure needs the invertibility of a certain Sturm-Liouville problem, which we discuss for different situations. Based on these considerations we then present a discussion of the famous Runge-Gross theorem which provides a density-potential mapping for time-analytic potentials. Further we give conditions such that the general fixed-point approach is well-defined and converges under certain assumptions. Then the application of such a fixed-point procedure to lattice Hamiltonians is discussed and the numerical realization of the density-potential mapping is shown. We conclude by presenting an extension of the density-potential mapping to include vector-potentials and photons.

arXiv:1412.7052•Journal of Physics Condensed Matter•Apr 29, 2015•73 citations
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.
A rigorous formulation of time-dependent current density functional theory (TDCDFT) on a lattice is presented. The density-to-potential mapping and the V\mathcal{V}V-representability problems are reduced to a solution of a certain nonlinear lattice Schr\"odinger equation, to which the standard existence and uniqueness results for nonlinear differential equations are applicable. For two versions of the lattice TDCDFT, we prove that any continuous-in-time current density is locally V\mathcal{V}V-representable (both interacting and noninteracting), provided that in the initial state the local kinetic energy is nonzero everywhere. In most cases of physical interest, the V\mathcal{V}V-representability should also hold globally in time. These results put the application of TDCDFT to any lattice model on a firm foundation, and pave the way for studying exact properties of exchange-correlation potentials.
Time-dependent density functional theory (TDDFT) for quantum many-body systems on a lattice is formulated rigorously. We prove the uniqueness of the density-to-potential mapping and demonstrate that a given density is vvv representable if the initial many-body state and the density satisfy certain well-defined conditions. In particular, we show that for a system evolving from its ground state any density with a continuous second time derivative is locally in time vvv representable and therefore the lattice TDDFT is guaranteed to exist. The TDDFT existence and uniqueness theorem is valid for any connected lattice, independently of its size, geometry, and/or spatial dimensionality. General statements of the existence theorem are illustrated on a pedagogical exactly solvable example, which displays all the details and subtleties of the proof in a transparent form. In conclusion we briefly discuss remaining open problems and directions for future research.
This thesis is devoted to the formulation and implications of the time-dependent density functional theory (TDDFT). The work is divided into two main parts. In the first part we develop rigorous theorems for the density-potential mapping in quantum many-body systems on a lattice. We prove the uniqueness of the TDDFT map and demonstrate that a given density is v-representable if the initial many-body state and the density satisfy certain well defined conditions. In particular, we show that for a system evolving from its ground state any density with a continuous second time derivative is v-representable. Then the lattice TDDFT formulation is extended to cover system of interacting lattice electrons strongly coupled to cavity photons.We prove that under some mathematical conditions the electron-photon wave function is a unique functional of the electronic density and the expectation value of the photonic coordinate. Then we further generalize the ground state v representability theorem to include the ground state of a general lattice electron-photon Hamiltonian.
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.
In a recent paper [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 because 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.
In this work we review the mapping from densities to potentials in quantum mechanics, which is the basic building block of time-dependent density-functional theory and the Kohn-Sham construction. We first present detailed conditions such that a mapping from potentials to densities is defined by solving the time-dependent Schrödinger equation. We specifically discuss intricacies connected with the unboundedness of the Hamiltonian and derive the local-force equation. This equation is then used to set up an iterative sequence that determines a potential that generates a specified density via time propagation of an initial state. This fixed-point procedure needs the invertibility of a certain Sturm-Liouville problem, which we discuss for different situations. Based on these considerations we then present a discussion of the famous Runge-Gross theorem which provides a density-potential mapping for time-analytic potentials. Further we give conditions such that the general fixed-point approach is well-defined and converges under certain assumptions. Then the application of such a fixed-point procedure to lattice Hamiltonians is discussed and the numerical realization of the density-potential mapping is shown. We conclude by presenting an extension of the density-potential mapping to include vector-potentials and photons.