Practical DFT and beyond — the machinery behind the physics. What I run, why, and where it lies to you. Depth is in each level/* tag; The Atlas has the full ladder.

Foundations

  • Kohn–Sham DFT L0 🌳 — HK theorems, the non-interacting mapping, ; small but decisive
  • Hartree–Fock theory L1 🌳 — single determinant, Fock operator, exact-exchange SIE cancellation, Koopmans, Roothaan–Hall

Functionals & corrections

  • XC functionals & Jacob’s ladder L1 🌳 — LSDA/GGA/meta-GGA, exact constraints; the semilocal axis is orthogonal to the SIE axis
  • DFT+U L1 🌳 — Dudarev vs. Liechtenstein ; occupation matrix & projector ambiguity; FLL vs. AMF double counting; linear-response / cRPA
  • Hybrid functionals L1 🌳 — adiabatic connection; PBE0 ( EXX) vs. HSE range separation (); gaps as partial SIE cancellation; Fock-exchange / -mesh cost
  • Density-driven error (DC-DFT) L2 🌱 — separating functional error from density error

Beyond-DFT & correlation

Lattice dynamics workflows

Machine-learned potentials