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

TL;DR
This paper introduces a rigorous mathematical framework for orbital functionals using Clifford algebras, enabling better handling of noninteracting v-representability issues in density functional theory.
Contribution
It formalizes orbital functionals with Clifford algebras and establishes a variational principle for orbital and occupation optimization, improving upon traditional Kohn-Sham methods.
Findings
Circumvents limitations of original Kohn-Sham methods
Provides a rigorous formalization of orbital functionals
Enables orbital and occupation optimization
Abstract
Functionals that explicitly depend on occupied, unoccupied, or fractionally-occupied orbitals are rigorously formalized using Clifford algebras, and a variational principle is established that facilitates orbital (and occupation) optimization as a formal implementation method. Theoretically, these methodologies circumvent the limitations encountered in the original Kohn-Sham and related methods, particularly when the interacting system's electron density does not match that of any noninteracting reference system. This work redefines orbital (and occupation) functionals from a novel perspective, positioning them not merely as extensions of traditional density functionals, but as superior, rigorous alternatives.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · semigroups and automata theory · Advanced Mathematical Identities
