Downloads & Free Reading Options - Results

We present a rigorous formulation of the time-dependent density functional theory for interacting lattice electrons strongly coupled to cavity photons. We start with an example of one particle on a Hubbard dimer coupled to a single photonic mode, which is equivalent to the single mode spin-boson model or the quantum Rabi model. For this system we prove that the electron-photon wave function is a unique functional of the electronic density and the expectation value of the photonic coordinate, provided the initial state and the density satisfy a set of well defined conditions. Then we generalize the formalism to many interacting electrons on a lattice coupled to multiple photonic modes and prove the general mapping theorem. We also show that for a system evolving from the ground state of a lattice Hamiltonian any density with a continuous second time derivative is locally $v$-representable.

A rigorous formulation of time-dependent current density functional theory (TDCDFT) on a lattice is presented. The density-to-potential mapping and the ${\cal 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 nonliner differential equations are applicable. For two versions of the lattice TDCDFT we prove that any continuous in time current density is locally ${\cal V}$-representable (both interacting and noninteracting), provided in the initial state the local kinetic energy is nonzero everywhere. In most cases of physical interest the ${\cal V}$-representability should also hold globally in time. These results put the application of TDCDFT to any lattice model on a firm ground, and open a way for studying exact properties of exchange correlation potentials.

A rigorous formulation of time-dependent current density functional theory (TDCDFT) on a lattice is presented. The density-to-potential mapping and the ${\cal 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 nonliner differential equations are applicable. For two versions of the lattice TDCDFT we prove that any continuous in time current density is locally ${\cal V}$-representable (both interacting and noninteracting), provided in the initial state the local kinetic energy is nonzero everywhere. In most cases of physical interest the ${\cal V}$-representability should also hold globally in time. These results put the application of TDCDFT to any lattice model on a firm ground, and open a way for studying exact properties of exchange correlation potentials.