In this dictionary, density functional theory (DFT) is the quantum‑mechanical framework that reformulates the many‑electron ground‑state problem in terms of the electron density as the fundamental variable and represents the total energy as a functional of that density; practical implementations use approximated exchange–correlation functionals and the Kohn–Sham mapping to auxiliary single‑particle orbitals.

Principle

The ground‑state electron density (under suitable conditions) uniquely determines external potentials and all ground‑state observables; a variational principle over densities yields the ground‑state energy, and practical Kohn–Sham schemes solve an effective one‑body problem to reproduce the interacting density while approximating exchange–correlation effects by functionals.

Demonstration

Compute equilibrium geometries, total energies, and band structures of molecules and solids using common approximations (LDA, GGA, hybrid functionals); for example, predicting lattice constants, adsorption energies, or reaction barriers at tractable computational cost compared with explicit many‑body wavefunction methods.

Misapplication

Using standard approximate functionals blindly for strongly correlated systems (Mott insulators), interpreting Kohn–Sham orbital energies as true quasiparticle excitation energies without correction, or assuming DFT is universally accurate for van der Waals and excited states leads to misuse.

Consequence

Properly applied DFT provides scalable, often chemically and physically useful predictions of ground‑state properties and starting points for further many‑body treatments; it enables large‑scale materials design but comes with systematic, method‑dependent errors tied to exchange–correlation approximations.

Reversal

The reversal is explicit wavefunction‑based methods (CI, coupled cluster, quantum Monte Carlo) that retain the full many‑body wavefunction and treat correlation explicitly, often at much higher computational cost but with different convergence properties and error sources.

Boundary

Formally exact statements about uniqueness apply to ground states under conditions (nondegenerate, v‑representability issues); practical DFT relies on approximate functionals and Kohn–Sham orbitals as computational constructs; excited states, time‑dependent phenomena, and strong correlation require extensions (TDDFT, DFT+U, beyond‑DFT methods).

Semantic Tension

Tension arises between treating DFT as an exact reformulation (existence theorems) and as a pragmatic approximate method in everyday calculations; further tension exists over whether Kohn–Sham orbitals have physical meaning or are merely auxiliary variables.

Synthesis

DFT unifies the conceptual exactness that ground‑state properties are functionals of the density with practical approximations that map the interacting problem to an auxiliary noninteracting system: the result is a computationally efficient framework giving useful ground‑state predictions while requiring careful awareness of functional limitations and extensions for correlated or excited phenomena.