Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2511.14822

Geometry of Generalized Density Functional Theories

Chih-Chun Wang

quant-phSubmitted Nov 18, 2025• Announced Nov 19, 2025• 0 citations
v1 · Nov 18, 2025v2 · Jan 2, 2026v3 · Apr 1, 2026
arXivHTMLPDF

Abstract

Density functional theory (DFT) is an indispensable ab initio method in both quantum chemistry and condensed matter physics. Based on recent advancements in reduced density matrix functional theory (RDMFT), a variant of DFT that is believed to be better suited for strongly correlated systems, we construct a mathematical framework generalizing all ground state functional theories, which in particular applies to fermionic, bosonic, and spin systems. We show that within the special class of such functional theories where the space of external potentials forms the Lie algebra of a compact Lie group, the $N$-representability problem is readily solved by applying techniques from the study of momentum maps in symplectic geometry, an approach complementary to Klyachko's famous solution to the quantum marginal problem. The ``boundary force'', a diverging repulsive force from the boundary of the functional's domain observed in previous works but only qualitatively understood in isolated systems, is studied quantitatively and extensively in our work. Specifically, we present a formula capturing the exact behavior of the functional close to the boundary. In the case where the Lie algebra is abelian, a completely rigorous proof of the boundary force formula based on Levy-Lieb constrained search is given. Our formula is a first step towards developing more accurate functional approximations, with the potential of improving current RDMFT approximate functionals such as the Piris natural orbital functionals (NOFs). All key concepts and ideas of our work are demonstrated in translation invariant bosonic lattice systems.

Related papers

A Geometric Approach to Strongly Correlated Bosons: From $N$-Representability to the Generalized BEC Force

Chih-Chun Wang, Christian Schilling

Building on recent advances in reduced density matrix theory, we develop a geometric framework for describing strongly correlated lattice bosons. We first establish that translational symmetry, together with a fixed pair interaction, enables an exact functional formulation expressed solely in terms of momentum occupation numbers. Employing the constrained-search formalism and exploiting a geometric correspondence between $N$-boson configuration states and their one-particle reduced density matrices, we derive the general form of the ground-state functional. Its structure highlights the omnipresent significance of one-body $N$-representability: (i) the domain is exactly determined by the $N$-representability conditions; (ii) at its boundary, the gradient of the functional diverges repulsively, thereby generalizing the recently discovered Bose-Einstein condensate (BEC) force; and (iii) an explicit expression for this boundary force follows directly from geometric arguments. These key results are demonstrated analytically for few-site lattice systems, and we illustrate the broader significance of our functional form in defining a systematic hierarchy of functional approximations.

quant-pharXiv:2601.01652•Physical review. B./Physical review. B•Jan 6, 2026•0 citations

Reduced Density Matrix Functional Theory for Bosons: Foundations and Applications

Julia Liebert

Density functional theory constitutes the workhorse of modern electronic structure calculations due to its favourable computational cost despite the fact that it usually fails to describe strongly correlated systems. A particularly promising approach to overcome those difficulties is reduced density matrix functional theory (RDMFT): It abandons the complexity of the $N$-particle wave function and at the same time explicitly allows for fractional occupation numbers. It is the goal of this thesis to initiate and establish a bosonic RDMFT for both ground state and excited state energy calculations. Motivated by the Onsager and Penrose criterion which identifies RDMFT as a particularly suitable approach to describe Bose-Einstein condensates (BECs), we derive the universal functional for a homogeneous BEC in the Bogoliubov regime. Remarkably, the gradient of the universal functional is found to diverge repulsively in the regime of complete condensation. This introduces the new concept of a BEC force, which provides a universal explanation for quantum depletion since it is merely based on the geometry of quantum states. In the second part of the thesis, we propose and work out an ensemble RDMFT targeting excitations in bosonic quantum systems. This endeavour further highlights the potential of convex analysis for the development of functional theories in the future. Indeed by resorting to several concepts from convex analysis, we succeeded to provide a comprehensive foundation of $\boldsymbol{w}$-ensemble RDMFT for bosons which is further based on a generalization of the Ritz variational principle and a constrained search formalism. In particular, we solve the emerging $N$-representability problem leading to a generalization of Pauli's famous exclusion principle to bosonic mixed states.

arXiv:2205.02635•May 5, 2022•1 citation

Unbiased evaluation and development of Green's-function-based density-matrix functionals

Ebad Kamil

Ab-initio calculations are dominated by density functional theory (DFT), which provides an efficient and accurate description of the electronic structure for most materials. For materials with strong correlations, however, many of the available density functionals yield poor results. Most well known is the case of transition metal oxides, for which most density functionals produce a qualitatively incorrect description. There is a quest to improve the description by borrowing from methods specifically designed for strongly correlated materials. One of the method which is widely used to study strongly correlated electron system in the thermodynamic limit is the dynamical mean-field theory (DMFT). For calculations pertaining to real materials, hybrid approaches like DFT+DMFT are commonly used. We consider reduced density-matrix functional theory (rDMFT) to be a useful framework for a rigorous formulation of such hybrid theories. The link from rDMFT to many-particle wave functions has been established by Levy's constrained-search algorithm on the one hand. The link to many-body perturbation theory and Green's function, on the other hand, has been provided via the Luttinger-Ward functional. The development in the field of rDMFT proceeded analogously to the development of DFT. In order to avoid the full complexity of an explicit many-body description, most density-matrix functionals are not extracted from the exact expressions i.e. via Levy's constrained-search or Green's function based methods . Rather, one proceeds analogously to the development of density functionals, namely by searching models for the density-matrix functional, that capture the most essential physical effects while having an algebraic dependence on the density matrix. Among such models, the most prominent ones are the Müller functional, Sharma functional and Marques-Lathiotakis functional. One of the major arguments in favor of density-matrix functionals is that one of the most simple functionals, the Müller functional, seems to provide a correct description of the bond-dissociation problem, for which common density functionals fail. Despite the successes, the common density-matrix functionals also reproduce a number of features in a qualitatively incorrect manner. Several such discrepancies of the standard state of the art density-matrix functionals are discussed in details in this thesis. The objective of this thesis is to study the performance of the class of commonly used model density-matrix functionals and to set the stage for the desire to develop the framework for an approximate scheme to evaluate new class of functionals from exact Green's function based method.

•Jan 1, 2016•0 citations

Reduced density-matrix functionals from many-particle theory

Robert Schade, Ebad Kamil, Peter E. Blöchl

In materials with strong electron correlation the proper treatment of local atomic physics described by orbital occupations is crucial. Reduced density-matrix functional theory is a natural extension of density functional theory for systems that are dominated by orbital physics. We review the current state of reduced density-matrix functional theory (RDMFT). For atomic structure relaxations or ab-initio molecular dynamics the combination of density functional theory (DFT) and dynamical mean-field theory (DMFT) possesses a number of disadvantages, like the cumbersome evaluation of forces. We therefore describe a method, DFT+RDMFT, that combines many-particle effects based on reduced density-matrix functional theory with a density functional-like framework. A recent development is the construction of density-matrix functionals directly from many-particle theory such as methods from quantum chemistry or many-particle Green’s functions. We present the underlying exact theorems and describe current progress towards quantitative functionals.

The European Physical Journal Special Topics•Jul 1, 2017•40 citations

Orbital Functionals in Density-Matrix- and Current-Density-Functional Theory

N. Helbig

Density-Functional Theory (DFT), although widely used and very successful in the calculation of several observables, fails to correctly describe strongly correlated materials. In the first part of this work we, therefore, introduce reduced-density-matrix-functional theory (RDMFT) which is one possible way to treat electron correlation beyond DFT. Within this theory the one-body reduced density matrix (1-RDM) is used as the basic variable. Our main interest is the calculation of the fundamental gap which proves very problematic within DFT. In order to calculate the fundamental gap we generalize RDMFT to fractional particle numbers M by describing the system as an ensemble of an N and an N+1 particle system (with N≤ M≤N+1). For each fixed particle number, M, the total energy is minimized with respect to the natural orbitals and their occupation numbers. This leads to the total energy as a function of M. The derivative of this function with respect to the particle number has a discontinuity at integer particle number which is identical to the gap. In addition, we investigate the necessary and sufficient conditions for the 1-RDM of a system with fractional particle number to be N-representable. Numerical results are presented for alkali atoms, small molecules, and periodic systems. Another problem within DFT is the description of non-relativistic many- electron systems in the presence of magnetic fields. It requires the paramagnetic current density and the spin magnetization to be used as basic variables besides the electron density. However, electron-gas-based functionals of current-spin-density-functional Theory (CSDFT) exhibit derivative discontinuities as a function of the magnetic field whenever a new Landau level is occupied, which makes them difficult to use in practice. Since the appearance of Landau levels is, intrinsically, an orbital effect it is appealing to use orbital-dependent functionals. We have developed a CSDFT version of the optimized effective potential (OEP) method which allows for the use of explicitly orbital-dependent functionals in the context of CSDFT. We present the derivation of corresponding equations and show results for a quantum dot in external magnetic fields in the second part of this thesis.

•Jan 1, 2006•3 citations

Unified Framework for Functional Theories of Quantum Systems

Chih-Chun Wang, Julia Liebert, Markus Penz +1 more

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.

math-phCross-listedarXiv:2606.06676•Jun 8, 2026•0 citations
Density functional theory (DFT) is an indispensable ab initio method in both quantum chemistry and condensed matter physics. Based on recent advancements in reduced density matrix functional theory (RDMFT), a variant of DFT that is believed to be better suited for strongly correlated systems, we construct a mathematical framework generalizing all ground state functional theories, which in particular applies to fermionic, bosonic, and spin systems. We show that within the special class of such functional theories where the space of external potentials forms the Lie algebra of a compact Lie group, the NNN-representability problem is readily solved by applying techniques from the study of momentum maps in symplectic geometry, an approach complementary to Klyachko's famous solution to the quantum marginal problem. The ``boundary force'', a diverging repulsive force from the boundary of the functional's domain observed in previous works but only qualitatively understood in isolated systems, is studied quantitatively and extensively in our work. Specifically, we present a formula capturing the exact behavior of the functional close to the boundary. In the case where the Lie algebra is abelian, a completely rigorous proof of the boundary force formula based on Levy-Lieb constrained search is given. Our formula is a first step towards developing more accurate functional approximations, with the potential of improving current RDMFT approximate functionals such as the Piris natural orbital functionals (NOFs). All key concepts and ideas of our work are demonstrated in translation invariant bosonic lattice systems.
A Geometric Approach to Strongly Correlated Bosons: From NNN-Representability to the Generalized BEC Force
Building on recent advances in reduced density matrix theory, we develop a geometric framework for describing strongly correlated lattice bosons. We first establish that translational symmetry, together with a fixed pair interaction, enables an exact functional formulation expressed solely in terms of momentum occupation numbers. Employing the constrained-search formalism and exploiting a geometric correspondence between NNN-boson configuration states and their one-particle reduced density matrices, we derive the general form of the ground-state functional. Its structure highlights the omnipresent significance of one-body NNN-representability: (i) the domain is exactly determined by the NNN-representability conditions; (ii) at its boundary, the gradient of the functional diverges repulsively, thereby generalizing the recently discovered Bose-Einstein condensate (BEC) force; and (iii) an explicit expression for this boundary force follows directly from geometric arguments. These key results are demonstrated analytically for few-site lattice systems, and we illustrate the broader significance of our functional form in defining a systematic hierarchy of functional approximations.
Density functional theory constitutes the workhorse of modern electronic structure calculations due to its favourable computational cost despite the fact that it usually fails to describe strongly correlated systems. A particularly promising approach to overcome those difficulties is reduced density matrix functional theory (RDMFT): It abandons the complexity of the NNN-particle wave function and at the same time explicitly allows for fractional occupation numbers. It is the goal of this thesis to initiate and establish a bosonic RDMFT for both ground state and excited state energy calculations. Motivated by the Onsager and Penrose criterion which identifies RDMFT as a particularly suitable approach to describe Bose-Einstein condensates (BECs), we derive the universal functional for a homogeneous BEC in the Bogoliubov regime. Remarkably, the gradient of the universal functional is found to diverge repulsively in the regime of complete condensation. This introduces the new concept of a BEC force, which provides a universal explanation for quantum depletion since it is merely based on the geometry of quantum states. In the second part of the thesis, we propose and work out an ensemble RDMFT targeting excitations in bosonic quantum systems. This endeavour further highlights the potential of convex analysis for the development of functional theories in the future. Indeed by resorting to several concepts from convex analysis, we succeeded to provide a comprehensive foundation of w\boldsymbol{w}w-ensemble RDMFT for bosons which is further based on a generalization of the Ritz variational principle and a constrained search formalism. In particular, we solve the emerging NNN-representability problem leading to a generalization of Pauli's famous exclusion principle to bosonic mixed states.
Ab-initio calculations are dominated by density functional theory (DFT), which provides an efficient and accurate description of the electronic structure for most materials. For materials with strong correlations, however, many of the available density functionals yield poor results. Most well known is the case of transition metal oxides, for which most density functionals produce a qualitatively incorrect description. There is a quest to improve the description by borrowing from methods specifically designed for strongly correlated materials. One of the method which is widely used to study strongly correlated electron system in the thermodynamic limit is the dynamical mean-field theory (DMFT). For calculations pertaining to real materials, hybrid approaches like DFT+DMFT are commonly used. We consider reduced density-matrix functional theory (rDMFT) to be a useful framework for a rigorous formulation of such hybrid theories. The link from rDMFT to many-particle wave functions has been established by Levy's constrained-search algorithm on the one hand. The link to many-body perturbation theory and Green's function, on the other hand, has been provided via the Luttinger-Ward functional. The development in the field of rDMFT proceeded analogously to the development of DFT. In order to avoid the full complexity of an explicit many-body description, most density-matrix functionals are not extracted from the exact expressions i.e. via Levy's constrained-search or Green's function based methods . Rather, one proceeds analogously to the development of density functionals, namely by searching models for the density-matrix functional, that capture the most essential physical effects while having an algebraic dependence on the density matrix. Among such models, the most prominent ones are the Müller functional, Sharma functional and Marques-Lathiotakis functional. One of the major arguments in favor of density-matrix functionals is that one of the most simple functionals, the Müller functional, seems to provide a correct description of the bond-dissociation problem, for which common density functionals fail. Despite the successes, the common density-matrix functionals also reproduce a number of features in a qualitatively incorrect manner. Several such discrepancies of the standard state of the art density-matrix functionals are discussed in details in this thesis. The objective of this thesis is to study the performance of the class of commonly used model density-matrix functionals and to set the stage for the desire to develop the framework for an approximate scheme to evaluate new class of functionals from exact Green's function based method.
In materials with strong electron correlation the proper treatment of local atomic physics described by orbital occupations is crucial. Reduced density-matrix functional theory is a natural extension of density functional theory for systems that are dominated by orbital physics. We review the current state of reduced density-matrix functional theory (RDMFT). For atomic structure relaxations or ab-initio molecular dynamics the combination of density functional theory (DFT) and dynamical mean-field theory (DMFT) possesses a number of disadvantages, like the cumbersome evaluation of forces. We therefore describe a method, DFT+RDMFT, that combines many-particle effects based on reduced density-matrix functional theory with a density functional-like framework. A recent development is the construction of density-matrix functionals directly from many-particle theory such as methods from quantum chemistry or many-particle Green’s functions. We present the underlying exact theorems and describe current progress towards quantitative functionals.
Density-Functional Theory (DFT), although widely used and very successful in the calculation of several observables, fails to correctly describe strongly correlated materials. In the first part of this work we, therefore, introduce reduced-density-matrix-functional theory (RDMFT) which is one possible way to treat electron correlation beyond DFT. Within this theory the one-body reduced density matrix (1-RDM) is used as the basic variable. Our main interest is the calculation of the fundamental gap which proves very problematic within DFT. In order to calculate the fundamental gap we generalize RDMFT to fractional particle numbers M by describing the system as an ensemble of an N and an N+1 particle system (with N≤ M≤N+1). For each fixed particle number, M, the total energy is minimized with respect to the natural orbitals and their occupation numbers. This leads to the total energy as a function of M. The derivative of this function with respect to the particle number has a discontinuity at integer particle number which is identical to the gap. In addition, we investigate the necessary and sufficient conditions for the 1-RDM of a system with fractional particle number to be N-representable. Numerical results are presented for alkali atoms, small molecules, and periodic systems. Another problem within DFT is the description of non-relativistic many- electron systems in the presence of magnetic fields. It requires the paramagnetic current density and the spin magnetization to be used as basic variables besides the electron density. However, electron-gas-based functionals of current-spin-density-functional Theory (CSDFT) exhibit derivative discontinuities as a function of the magnetic field whenever a new Landau level is occupied, which makes them difficult to use in practice. Since the appearance of Landau levels is, intrinsically, an orbital effect it is appealing to use orbital-dependent functionals. We have developed a CSDFT version of the optimized effective potential (OEP) method which allows for the use of explicitly orbital-dependent functionals in the context of CSDFT. We present the derivation of corresponding equations and show results for a quantum dot in external magnetic fields in the second part of this thesis.
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.