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

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

Mehdi Farzanehpour

Published Jan 1, 2015• 0 citations
Publisher

Abstract

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.

DOI
10.13039/100000181

Related papers

Quantum electrodynamical time-dependent density functional theory for many-electron systems on a lattice

Mehdi Farzanehpour, I. V. Tokatly

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.

Bulletin of the American Physical Society•Mar 6, 2015•0 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

Quantum electrodynamical time-dependent density-functional theory for many-electron systems on a lattice

Mehdi Farzanehpour, I. V. Tokatly

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.

arXiv:1408.6324•Physical Review B•Nov 26, 2014•11 citations

Time-Dependent Density Functional Theory for Open Quantum Systems and Quantum Computation

David G. Tempel

First-principles electronic structure theory explains properties of atoms, molecules and solids from underlying physical principles without input from empirical parameters. Time-dependent density functional theory (TDDFT) has emerged as arguably the most widely used first-principles method for describing the time-dependent quantum mechanics of many-electron systems. In this thesis, we will show how the fundamental principles of TDDFT can be extended and applied in two novel directions: The theory of open quantum systems (OQS) and quantum computation (QC). In the first part of this thesis, we prove theorems that establish the foundations of TDDFT for open quantum systems (OQS-TDDFT). OQS-TDDFT allows for a first principles description of non-equilibrium systems, in which the electronic degrees of freedom undergo relaxation and decoherence due to coupling with a thermal environment, such as a vibrational or photon bath. We then discuss properties of functionals in OQS-TDDFT and investigate how these differ from functionals in conventional TDDFT using an exactly solvable model system. Next, we formulate OQS-TDDFT in the linear-response regime, which gives access to environmentally broadened excitation spectra. Lastly, we present a hybrid approach in which TDDFT can be used to construct master equations from first-principles for describing energy transfer in condensed phase systems. In the second part of this thesis, we prove that the theorems of TDDFT can be extended to a class of qubit Hamiltonians that are universal for quantum computation. TDDFT applied to universal Hamiltonians implies that single-qubit expectation values can be used as the basic variables in quantum computation and information theory, rather than wavefunctions. This offers the possibility of simplifying computations by using the principles of TDDFT similar to how it is applied in electronic structure theory. Lastly, we discuss a related result; the computational complexity of TDDFT.

•Aug 10, 2012•2 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

Quantum Electrodynamical time-dependent density functional theory

Camilla Pellegrini

The last two decades have witnessed increasing experimental interest in the study and control of many-electron systems strongly interacting with quantum electromagnetic fields. This includes notable experiments in the areas of cavity and circuit quantum electrodynamics, quantum computing via photon mediated atom entanglement, electromagnetically induced transparency, quantum plasmonics, quantum simulators and chemistry. The description of realistic coupled matter-photon systems requires combining electronic structure methods from material science with quantum-optical methods. In this work, we propose a formally exact and numerically feasible approach, termed quantum electrodynamical time-dependent density functional theory (QED-TDDFT), that generalizes successful TDDFT for electronic structure calculations, to the electron-photon coupling. We develop a general framework for the description of coupled matter-photon systems in all possible realizations of interest, ranging from the fully relativistic case, to well-known quantum-optical model (e.g., the Rabi model). Of particular interest for condensed-matter applications is the density functionalisation of non-relativistic QED. The underlying theory in fact corresponds to standard non-relativistic quantum mechanics for the electrons, but with additional terms, which correct for relativity and electron-photon interactions. However, any application of density-functional theory requires approximations to the exchange-correlation (xc) functional. In this work we construct such an approximation for the description of electron-photon interaction effects in an optical cavity (the theory of reference is QED-TDDFT for many-electron systems coupled to cavity photons). The derived electron-photon optimized effective potential (OEP) reduces in the static limit to the Lamb shift of the ground state. The OEP is then tested on the Rabi model from weak to strong coupling regimes. The results are promising and open a path for describing complex strongly coupled matter-photon systems. Further, we consider the inclusion of relativistic spin-spin effects into the xc functional of standard spin density functional theory. In this way we provide quantum corrections that are essential for the description of magnetic inhomogeneities at the nanoscale. Such an approach improves over the current (classical) micromagnetic treatment of domain walls and skyrmions for spintronic applications.

•Sep 21, 2017•0 citations
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.
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.
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.
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 vvv representable.
First-principles electronic structure theory explains properties of atoms, molecules and solids from underlying physical principles without input from empirical parameters. Time-dependent density functional theory (TDDFT) has emerged as arguably the most widely used first-principles method for describing the time-dependent quantum mechanics of many-electron systems. In this thesis, we will show how the fundamental principles of TDDFT can be extended and applied in two novel directions: The theory of open quantum systems (OQS) and quantum computation (QC). In the first part of this thesis, we prove theorems that establish the foundations of TDDFT for open quantum systems (OQS-TDDFT). OQS-TDDFT allows for a first principles description of non-equilibrium systems, in which the electronic degrees of freedom undergo relaxation and decoherence due to coupling with a thermal environment, such as a vibrational or photon bath. We then discuss properties of functionals in OQS-TDDFT and investigate how these differ from functionals in conventional TDDFT using an exactly solvable model system. Next, we formulate OQS-TDDFT in the linear-response regime, which gives access to environmentally broadened excitation spectra. Lastly, we present a hybrid approach in which TDDFT can be used to construct master equations from first-principles for describing energy transfer in condensed phase systems. In the second part of this thesis, we prove that the theorems of TDDFT can be extended to a class of qubit Hamiltonians that are universal for quantum computation. TDDFT applied to universal Hamiltonians implies that single-qubit expectation values can be used as the basic variables in quantum computation and information theory, rather than wavefunctions. This offers the possibility of simplifying computations by using the principles of TDDFT similar to how it is applied in electronic structure theory. Lastly, we discuss a related result; the computational complexity of TDDFT.
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.
The last two decades have witnessed increasing experimental interest in the study and control of many-electron systems strongly interacting with quantum electromagnetic fields. This includes notable experiments in the areas of cavity and circuit quantum electrodynamics, quantum computing via photon mediated atom entanglement, electromagnetically induced transparency, quantum plasmonics, quantum simulators and chemistry. The description of realistic coupled matter-photon systems requires combining electronic structure methods from material science with quantum-optical methods. In this work, we propose a formally exact and numerically feasible approach, termed quantum electrodynamical time-dependent density functional theory (QED-TDDFT), that generalizes successful TDDFT for electronic structure calculations, to the electron-photon coupling. We develop a general framework for the description of coupled matter-photon systems in all possible realizations of interest, ranging from the fully relativistic case, to well-known quantum-optical model (e.g., the Rabi model). Of particular interest for condensed-matter applications is the density functionalisation of non-relativistic QED. The underlying theory in fact corresponds to standard non-relativistic quantum mechanics for the electrons, but with additional terms, which correct for relativity and electron-photon interactions. However, any application of density-functional theory requires approximations to the exchange-correlation (xc) functional. In this work we construct such an approximation for the description of electron-photon interaction effects in an optical cavity (the theory of reference is QED-TDDFT for many-electron systems coupled to cavity photons). The derived electron-photon optimized effective potential (OEP) reduces in the static limit to the Lamb shift of the ground state. The OEP is then tested on the Rabi model from weak to strong coupling regimes. The results are promising and open a path for describing complex strongly coupled matter-photon systems. Further, we consider the inclusion of relativistic spin-spin effects into the xc functional of standard spin density functional theory. In this way we provide quantum corrections that are essential for the description of magnetic inhomogeneities at the nanoscale. Such an approach improves over the current (classical) micromagnetic treatment of domain walls and skyrmions for spintronic applications.