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

Physical Review A

Geometric theory of constrained Schrödinger dynamics with application to time-dependent density-functional theory on a finite lattice

Eric Cancès B, Théo Duez, Jari van Gog, Asbjørn Bækgaard Lauritsen, Mathieu Lewin B, Julien Toulouse

Published May 6, 2026• 0 citations
Publisher

Abstract

Time-dependent density-functional theory (TDDFT) is a central tool for studying the dynamical electronic structure of molecules and solids, yet aspects of its mathematical foundations remain insufficiently understood. In this work, we revisit the foundations of TDDFT within a finite-dimensional setting by developing a general geometric framework for Schrödinger dynamics subject to prescribed expectation values of selected observables. We show that multiple natural definitions of such constrained dynamics arise from the underlying geometry of the state manifold. The conventional TDDFT formulation emerges from demanding stationarity of the action functional, while an alternative, purely geometric construction leads to a distinct form of constrained Schrödinger evolution that has not been previously explored. This alternative dynamics may provide a more mathematically robust route to TDDFT and may suggest new strategies for constructing nonadiabatic approximations. Applying the theory to interacting fermions on finite lattices, we derive novel Kohn--Sham schemes in which the density constraint is enforced via an imaginary potential or, equivalently, a nonlocal Hermitian operator. Numerical illustrations for the Hubbard dimer demonstrate the behavior of these new approaches.

DOI
10.1103/w2bz-p8df

Related papers

Geometric theory of constrained Schrödinger dynamics with application to time-dependent density-functional theory on a finite lattice

Eric Cancès B, Théo Duez, Jari van Gog +3 more

Time-dependent density-functional theory (TDDFT) is a central tool for studying the dynamical electronic structure of molecules and solids, yet aspects of its mathematical foundations remain insufficiently understood. In this work, we revisit the foundations of TDDFT within a finite-dimensional setting by developing a general geometric framework for Schrödinger dynamics subject to prescribed expectation values of selected observables. We show that multiple natural definitions of such constrained dynamics arise from the underlying geometry of the state manifold. The conventional TDDFT formulation emerges from demanding stationarity of the action functional, while an alternative, purely geometric construction leads to a distinct form of constrained Schrödinger evolution that has not been previously explored. This alternative dynamics may provide a more mathematically robust route to TDDFT and may suggest new strategies for constructing nonadiabatic approximations. Applying the theory to interacting fermions on finite lattices, we derive novel Kohn--Sham schemes in which the density constraint is enforced via an imaginary potential or, equivalently, a nonlocal Hermitian operator. Numerical illustrations for the Hubbard dimer demonstrate the behavior of these new approaches.

arXiv:2601.07719•Jan 12, 2026•0 citations

Quantum many-body dynamics in a Lagrangian frame: II. Geometric formulation of time-dependent density functional theory

I. V. Tokatly

We formulate equations of time-dependent density functional theory (TDDFT) in the comoving Lagrangian reference frame. The main advantage of the Lagrangian description of many-body dynamics is that in the comoving frame the current density vanishes, while the density of particles becomes independent of time. Therefore a comoving observer will see a picture which is very similar to that seen in the equilibrium system from the laboratory frame. It is shown that the most natural set of basic variables in TDDFT includes the Lagrangian coordinate, $\mathbf{\ensuremath{\xi}}$, a symmetric deformation tensor ${g}_{\ensuremath{\mu}\ensuremath{\nu}}$, and a skew-symmetric vorticity tensor, ${F}_{\ensuremath{\mu}\ensuremath{\nu}}$. These three quantities, respectively, describe the translation, deformation, and the rotation of an infinitesimal fluid element. Reformulation of TDDFT in terms of new basic variables resolves the problem of nonlocality and thus allows us to regularly derive a local nonadiabatic approximation for exchange correlation (xc) potential. Stationarity of the density in the comoving frame makes the derivation to a large extent similar to the derivation of the standard static local density approximation. We present a few explicit examples of nonlinear nonadiabatic xc functionals in a form convenient for practical applications.

arXiv:cond-mat/0410205•Physical Review B•Apr 4, 2005•75 citations

Computational Complexity of Time-Dependent Density Functional Theory

Whitfield, J, Yung, M-H, Tempel, David Gabriel +2 more

Time-dependent density functional theory (TDDFT) is rapidly emerging as a premier method for solving dynamical many-body problems in physics and chemistry. The mathematical foundations of TDDFT are established through the formal existence of a fictitious non-interacting system (known as the Kohn–Sham system), which can reproduce the one-electron reduced probability density of the actual system. We build upon these works and show that on the interior of the domain of existence, the Kohn–Sham system can be efficiently obtained given the time-dependent density. We introduce a V-representability parameter which diverges at the boundary of the existence domain and serves to quantify the numerical difficulty of constructing the Kohn–Sham potential. For bounded values of V-representability, we present a polynomial time quantum algorithm to generate the time-dependent Kohn–Sham potential with controllable error bounds.

•Jan 1, 2014•8 citations

Computational complexity of time-dependent density functional theory

J D Whitfield, M-H Yung, D G Tempel +2 more

Time-dependent density functional theory (TDDFT) is rapidly emerging as a premier method for solving dynamical many-body problems in physics and chemistry. The mathematical foundations of TDDFT are established through the formal existence of a fictitious non-interacting system (known as the Kohn–Sham system), which can reproduce the one-electron reduced probability density of the actual system. We build upon these works and show that on the interior of the domain of existence, the Kohn–Sham system can be efficiently obtained given the time-dependent density. We introduce a V -representability parameter which diverges at the boundary of the existence domain and serves to quantify the numerical difficulty of constructing the Kohn–Sham potential. For bounded values of V -representability, we present a polynomial time quantum algorithm to generate the time-dependent Kohn–Sham potential with controllable error bounds.

arXiv:1310.1428•New Journal of Physics•Aug 15, 2014•15 citations

Critique of the foundations of time-dependent density-functional theory

J. Schirmer, Andreas Dreuw

The general expectation that, in principle, the time-dependent density-functional theory (TDDFT) is an exact formulation of the time evolution of an interacting $N$-electron system is critically reexamined. It is demonstrated that the previous TDDFT foundation, resting on four theorems by Runge and Gross (RG) [Phys. Rev. Lett. 52, 997 (1984)], is invalid because undefined phase factors corrupt the RG action integral functionals. Our finding confirms much of a previous analysis by van Leeuwen [Int. J. Mod. Phys. B 15, 1969 (2001)]. To analyze the RG theorems and other aspects of TDDFT, an utmost simplification of the Kohn-Sham (KS) concept has been introduced, in which the ground-state density is obtained from a single KS equation for one spatial (spinless) orbital. The time-dependent (TD) form of this radical Kohn-Sham (rKS) scheme, which has the same validity status as the ordinary KS version, has proved to be a valuable tool for analysis. The rKS concept is used to clarify also the alternative nonvariational formulation of TD KS theory. We argue that it is just a formal theory, allowing one to reproduce but not predict the time development of the exact density of the interacting $N$-electron system. Besides the issue of the formal exactness of TDDFT, it is shown that both the static and time-dependent KS linear response equations neglect the particle-particle ($p$-$p$) and hole-hole ($h$-$h$) matrix elements of the perturbing operator. For a local (multiplicative) operator this does not lead to a loss of information due to a remarkable general property of local operators. Accordingly, no logical inconsistency arises with respect to DFT, because DFT requires any external potential to be local. For a general nonlocal operator the error resulting from the neglected matrix elements is of second order in the electronic repulsion.

arXiv:cond-mat/0602020•Physical Review A•Feb 22, 2007•84 citations

Variational Formulation of Time-Dependent Density Functional Theory

Jérôme Daligault

We present a variational formulation of Time-Dependent Density Functional Theory similar to the constrained-search variational formulation of ground-state density-function theory. The formulation is applied to justify the time-dependent Kohn-Sham method. Other promising applications to advance TDDFT are suggested.

arXiv:1210.6938•Oct 25, 2012•1 citation
Time-dependent density-functional theory (TDDFT) is a central tool for studying the dynamical electronic structure of molecules and solids, yet aspects of its mathematical foundations remain insufficiently understood. In this work, we revisit the foundations of TDDFT within a finite-dimensional setting by developing a general geometric framework for Schrödinger dynamics subject to prescribed expectation values of selected observables. We show that multiple natural definitions of such constrained dynamics arise from the underlying geometry of the state manifold. The conventional TDDFT formulation emerges from demanding stationarity of the action functional, while an alternative, purely geometric construction leads to a distinct form of constrained Schrödinger evolution that has not been previously explored. This alternative dynamics may provide a more mathematically robust route to TDDFT and may suggest new strategies for constructing nonadiabatic approximations. Applying the theory to interacting fermions on finite lattices, we derive novel Kohn--Sham schemes in which the density constraint is enforced via an imaginary potential or, equivalently, a nonlocal Hermitian operator. Numerical illustrations for the Hubbard dimer demonstrate the behavior of these new approaches.
Time-dependent density-functional theory (TDDFT) is a central tool for studying the dynamical electronic structure of molecules and solids, yet aspects of its mathematical foundations remain insufficiently understood. In this work, we revisit the foundations of TDDFT within a finite-dimensional setting by developing a general geometric framework for Schrödinger dynamics subject to prescribed expectation values of selected observables. We show that multiple natural definitions of such constrained dynamics arise from the underlying geometry of the state manifold. The conventional TDDFT formulation emerges from demanding stationarity of the action functional, while an alternative, purely geometric construction leads to a distinct form of constrained Schrödinger evolution that has not been previously explored. This alternative dynamics may provide a more mathematically robust route to TDDFT and may suggest new strategies for constructing nonadiabatic approximations. Applying the theory to interacting fermions on finite lattices, we derive novel Kohn--Sham schemes in which the density constraint is enforced via an imaginary potential or, equivalently, a nonlocal Hermitian operator. Numerical illustrations for the Hubbard dimer demonstrate the behavior of these new approaches.
We formulate equations of time-dependent density functional theory (TDDFT) in the comoving Lagrangian reference frame. The main advantage of the Lagrangian description of many-body dynamics is that in the comoving frame the current density vanishes, while the density of particles becomes independent of time. Therefore a comoving observer will see a picture which is very similar to that seen in the equilibrium system from the laboratory frame. It is shown that the most natural set of basic variables in TDDFT includes the Lagrangian coordinate, $\mathbf{\ensuremath{\xi}}$, a symmetric deformation tensor ${g}_{\ensuremath{\mu}\ensuremath{\nu}}$, and a skew-symmetric vorticity tensor, ${F}_{\ensuremath{\mu}\ensuremath{\nu}}$. These three quantities, respectively, describe the translation, deformation, and the rotation of an infinitesimal fluid element. Reformulation of TDDFT in terms of new basic variables resolves the problem of nonlocality and thus allows us to regularly derive a local nonadiabatic approximation for exchange correlation (xc) potential. Stationarity of the density in the comoving frame makes the derivation to a large extent similar to the derivation of the standard static local density approximation. We present a few explicit examples of nonlinear nonadiabatic xc functionals in a form convenient for practical applications.
Time-dependent density functional theory (TDDFT) is rapidly emerging as a premier method for solving dynamical many-body problems in physics and chemistry. The mathematical foundations of TDDFT are established through the formal existence of a fictitious non-interacting system (known as the Kohn–Sham system), which can reproduce the one-electron reduced probability density of the actual system. We build upon these works and show that on the interior of the domain of existence, the Kohn–Sham system can be efficiently obtained given the time-dependent density. We introduce a V-representability parameter which diverges at the boundary of the existence domain and serves to quantify the numerical difficulty of constructing the Kohn–Sham potential. For bounded values of V-representability, we present a polynomial time quantum algorithm to generate the time-dependent Kohn–Sham potential with controllable error bounds.
Time-dependent density functional theory (TDDFT) is rapidly emerging as a premier method for solving dynamical many-body problems in physics and chemistry. The mathematical foundations of TDDFT are established through the formal existence of a fictitious non-interacting system (known as the Kohn–Sham system), which can reproduce the one-electron reduced probability density of the actual system. We build upon these works and show that on the interior of the domain of existence, the Kohn–Sham system can be efficiently obtained given the time-dependent density. We introduce a V -representability parameter which diverges at the boundary of the existence domain and serves to quantify the numerical difficulty of constructing the Kohn–Sham potential. For bounded values of V -representability, we present a polynomial time quantum algorithm to generate the time-dependent Kohn–Sham potential with controllable error bounds.
The general expectation that, in principle, the time-dependent density-functional theory (TDDFT) is an exact formulation of the time evolution of an interacting NNN-electron system is critically reexamined. It is demonstrated that the previous TDDFT foundation, resting on four theorems by Runge and Gross (RG) [Phys. Rev. Lett. 52, 997 (1984)], is invalid because undefined phase factors corrupt the RG action integral functionals. Our finding confirms much of a previous analysis by van Leeuwen [Int. J. Mod. Phys. B 15, 1969 (2001)]. To analyze the RG theorems and other aspects of TDDFT, an utmost simplification of the Kohn-Sham (KS) concept has been introduced, in which the ground-state density is obtained from a single KS equation for one spatial (spinless) orbital. The time-dependent (TD) form of this radical Kohn-Sham (rKS) scheme, which has the same validity status as the ordinary KS version, has proved to be a valuable tool for analysis. The rKS concept is used to clarify also the alternative nonvariational formulation of TD KS theory. We argue that it is just a formal theory, allowing one to reproduce but not predict the time development of the exact density of the interacting NNN-electron system. Besides the issue of the formal exactness of TDDFT, it is shown that both the static and time-dependent KS linear response equations neglect the particle-particle (ppp-ppp) and hole-hole (hhh-hhh) matrix elements of the perturbing operator. For a local (multiplicative) operator this does not lead to a loss of information due to a remarkable general property of local operators. Accordingly, no logical inconsistency arises with respect to DFT, because DFT requires any external potential to be local. For a general nonlocal operator the error resulting from the neglected matrix elements is of second order in the electronic repulsion.