Rigorous Formalization of Orbital Functionals: Addressing the Noninteracting $v$-Representability Problem

Neil Qiang Su

Functionals that explicitly depend on occupied, unoccupied, or fractionally-occupied orbitals are rigorously formalized using Clifford algebras, and a variational principle is esta…