Given a vector space of microscopic quantum observables, density functional theory is formulated on its dual space. A generalized Hohenberg-Kohn theorem and the existence of the universal energy functional in the dual space are proven. In this context ordinary density functional theory corresponds to the space of one-body multiplication operators. When the operators close under commutation to form a Lie algebra, the energy functional defines a Hamiltonian dynamical system on the coadjoint orbits in the algebra's dual space. The enhanced density functional theory provides a new method for deriving the group theoretic Hamiltonian on the coadjoint orbits from the exact microscopic Hamiltonian.
Given a vector space of microscopic quantum observables, density functional theory is formulated on its dual space. A generalized Hohenberg-Kohn theorem and the existence of the universal energy functional in the dual space are proven. In this context ordinary density functional theory corresponds to the space of one-body multiplication operators. When the operators close under commutation to form a Lie algebra, the energy functional defines a Hamiltonian dynamical system on the coadjoint orbits in the algebra's dual space. The enhanced density functional theory provides a new method for deriving the group theoretic Hamiltonian on the coadjoint orbits from the exact microscopic Hamiltonian.
The formalism of Kohn and Sham uses a specific (model) hamiltonian which highly simplifies the many-electron problem to that of noninteracting fermions. The theorem of Hohenberg and Kohn tells us that, for a given ground state density, this hamiltonian is unique. In principle, this density can be chosen as that of the real, interacting system. To obtain the energy, or other properties of the real system, approximations are needed. Working with non interacting fermions is an important simplification, but it may be easier to produce approximations with different choices of the model hamiltonian. The feature that the exact density is (ideally) reproduced can be kept in the newly defined fictitious systems. Using model hamiltonians having the same form as the physical one, that is, being built of one- and two-body operators, allows to approach the physical hamiltonian arbitrarily close, and thus a systematic reduction of the approximations.
We introduce and study a unified framework for density-functional theory and its variants for quantum systems on finite-dimensional Hilbert spaces. These theories seek to reduce the complexity inherent in the many-body quantum problem by describing ground states through reduced variables. The central ingredients of our unified framework are a generalized choice of basic observables, whose expectation values define precisely those reduced variables, and a fixed part of the Hamiltonian characterizing the class of quantum systems under consideration. It is this minimal structure, which we call the scope of a functional theory, that is necessary and sufficient for the formulation of a functional theory. In particular, it allows one to define the universal functionals, establish their convexity and differentiability properties, address representability questions, and prove a Hohenberg-Kohn-type uniqueness result. A purification construction also relates ensemble and weighted-ensemble functionals to the pure-state variant. Particular emphasis is placed on functional theories with Lie-algebra observable structures, connecting the variational framework to symplectic geometry. The result of this work is a systematic mathematical formulation in which structural results can be proved once and applied across a broad class of finite-dimensional functional theories.
The analysis in this paper shows that the Hohenberg-Kohn theorem is the constellation of two statements: (i) the mathematically rigorous Hohenberg-Kohn lemma, which demonstrates that the same ground-state density cannot correspond to two different potentials of an external field, and (ii) the hypothesis of the existence of the universal density functional. Based on the obtained explicit expression for the nonrel-ativistic particle energy in a local external field, we prove that the energy of the system of more than two non-interacting electrons cannot be a functional of the inhomogeneous density. This result is generalized to the system of interacting electrons. It means that the Hohenberg-Kohn lemma cannot provide justification of the universal density functional for fermions. At the same time, statements of the density functional theory remain valid when considering any number of noninteracting ground-state bosons due to the Bose condensation effect. In the framework of the density matrix functional theory, the hypothesis of the existence of the universal density matrix functional corresponds to the cases of noninteracting particles and to interaction in the Hartree-Fock approximation.
Abstract Density functional theory (DFT) is usually formulated in terms of the electron density as a function of position n(r). Here we discuss an alternative formulation of DFT in terms of the orbital occupation numbers {n α } associated with a local-orbital orthonormal basis set {ϕ α }. First, we discuss how the building blocks of DFT, namely the Hohenberg–Kohn theorems, the Levy–Lieb approach and the Kohn–Sham method, can be adapted for a description in terms of {n α }. In particular, the total energy is now a function of {n α }, E[{n α }], and a Kohn–Sham-like Hamiltonian is derived introducing the effects of the electron–electron interactions via effective potentials, { V α eff = ∂ E e e [ { n β } ] / ∂ n α } . In a second step we consider the Hartree and exchange energies and discuss how to describe them, in the spirit of a DFT approach, in terms of the orbital occupation numbers. In this contribution special attention is paid to the description of the (intra-atomic) correlation energy and corresponding correlation potentials {V corr,α }. For this purpose, a model system is analyzed in detail, whereby an atomic Hamiltonian interacts with the environment via a simplified model; the use of this model allows us to obtain the correlation energy and potentials (in terms of {n α }) for different cases corresponding to low, intermediate and high electron correlations.
A density-matrix formulation of the ab initio methods of nonrelativistic quantum mechanics is presented. The variational equations for the standard calculational techniques of molecular quantum mechanics are derived from a single expression for the total energy of an N-particle system. A generalization of the Hohenberg-Kohn theorem is proved, showing that the ground-state energy of a many-body Hamiltonian is a functional of the single-particle density matrix and hence of the first-order reduced-density function (the diagonal of which is the particle density of the standard theorem). The theorem is used to develop a new method to calculate the total energy and single-particle properties of the many-body problem.
Density functional theory is currently the most widely applied method in electronic structure theory. The Kohn-Sham method, based on a fictitious system of non-interacting particles, is the work horse of the theory. The particular form of the Kohn-Sham wavefunction admits only idem-potent one electron density matrices whereas wavefunctions of correlated electrons in post-Hartree-Fock methods invariably have fractional occupation numbers. Here we show that by generalizing the orbital concept, and introducing a suitable dot-product as well as a probability density a non-interacting system can be chosen that can represent the one-electron density matrix of any system, even one with fractional occupation numbers. This fictitious system ensures that the exact electron density is accessible within density functional theory. It can also serve as the basis for reduced density matrix functional theory. Moreover, to aid the analysis of the results the orbitals may be assigned energies from a mean-field Hamiltonian. This produces energy levels that are akin to Hartree-Fock orbital energies such that conventional analyses based on Koopmans theorem are available. Finally, this system is convenient in formalisms that depend on creation and annihilation operators as they are trivially applied to single determinant wavefunctions.