Unified Framework for Functional Theories of Quantum Systems

Abstract: 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.

• The paper introduces a unified framework that abstracts density-functional and generalized quantum theories using a scope approach to define basic observables and Hamiltonians.
• The framework employs convex analysis, Lie algebra, and symplectic geometry to rigorously establish representability, uniqueness, and Hohenberg–Kohn-type theorems.
• The method unifies pure-state and ensemble functionals through purification, yielding systematic insights into ground state energies and generalized Pauli constraints.

Unified Mathematical Foundations for Functional Theories of Quantum Systems

Introduction

"Unified Framework for Functional Theories of Quantum Systems" (2606.06676) presents a comprehensive and abstract mathematical structure that encompasses density-functional theory (DFT) and its generalizations within quantum mechanics on finite-dimensional Hilbert spaces. The work delineates the minimal requirements—a choice of basic observables and a fixed part of the Hamiltonian—that allow for a succinct formulation of functional theories capturing ground state properties, variational principles, and representability conditions. By parameterizing the observable space, the authors establish a versatile and unified approach, subsuming classical DFT, current DFT, spin DFT, reduced density-matrix functional theory (RDMFT), and functional theories for various quantum lattice and spin systems. The framework features rigorous statements about universal functionals, representability, and the Hohenberg–Kohn-type theorems, and systematically integrates convex, algebraic, and symplectic-geometric perspectives, particularly in cases with underlying Lie-algebraic structures.

Structural Foundation: The Scope of Functional Theories

The framework is predicated on defining the "scope" $S$ of a functional theory as a tuple $(V, H, \iota, H_0)$, with $V$ a real vector space of control parameters (potentials), $H$ a finite-dimensional Hilbert space, $\iota\!: V \rightarrow L(H)$ a linear map to observables, and $H_0$ a fixed, self-adjoint operator. The admissible Hamiltonians then take the form $H(v) = H_0 + \iota(v)$. The reduced variable—analog of the particle density in DFT—is the map $\rho = \mu(\Psi)$ associating to each pure state or density matrix the tuple of expectation values of observables $\iota(V)$. This abstraction allows a unification across physical settings: classical lattice DFT is recast as an abelian scope parameterized by site occupations, RDMFT utilizes the full algebra of one-body operators, and generalizations to spin, current, and symmetry-adapted settings are systematically handled as particular choices of observable spaces.

A foundational insight is that essential features such as $N$- and $(V, H, \iota, H_0)$0-representability, convexity, and the Hohenberg–Kohn theorem can be proven for the abstract scope, not individual instantiations. The introduction of non-abelian observable spaces admits treatment via the geometry of joint numerical ranges and the machinery of Lie and symplectic geometry.

Geometry of Observable Ranges and Representability

The image of pure and mixed states under the density map $(V, H, \iota, H_0)$1 defines the pure-state and ensemble observable ranges $(V, H, \iota, H_0)$2 and $(V, H, \iota, H_0)$3, which are the effective domains of the universal functionals. The framework elucidates their geometric properties, including convexity (always for $(V, H, \iota, H_0)$4; for $(V, H, \iota, H_0)$5 only in abelian cases), compactness, and their relation with joint numerical ranges and polytopes (as in the abelian case; e.g., hypersimplices in lattice DFT). Critical values—those corresponding to eigenvectors of observables—demarcate the boundaries and singularities of $(V, H, \iota, H_0)$6, enabling a precise description of Hohenberg–Kohn uniqueness and differentiability domains.

The connections to matrix analysis, convex geometry, and representation theory are sharply drawn: e.g., in RDMFT, the description of $(V, H, \iota, H_0)$7-representable densities is equivalent to determining the moment polytope arising from the relevant unitary group action, leading directly to the identification of generalized Pauli constraints.

Universal Functionals and Variational Principles

The central mathematical object is the constrained-search (universal) functional $(V, H, \iota, H_0)$8, defined either on pure or ensemble states as the minimal expectation value of $(V, H, \iota, H_0)$9 for fixed reduced variable $V$0. The ground-state energy functional is then determined as a Legendre–Fenchel transform. The authors establish that the ensemble constrained-search functional $V$1 is convex and lower semi-continuous, agreeing with the lower convex envelope of the pure-state functional $V$2. In abelian settings and with $V$3 commuting, explicit piecewise-affine structure is derived.

Strong results are achieved regarding representability: every density $V$4 in $V$5 (resp. in the relative interior for ensembles) is $V$6-representable for some potential, and the set of potentials yielding a given regular density is unique (Hohenberg–Kohn uniqueness), except for the physically irrelevant shift by the identity.

The formalism rigorously separates cases with degeneracy, establishes the locus of functional non-differentiability (critical values), and describes conditions for discontinuity of functionals.

Generalizations, Purification, and Connections to Lie Theory

The authors generalize the formalism to reductions or extensions of scope, demonstrating how functionals in different variables relate by explicit minimization procedures. Crucially, they show that ensemble and $V$7-ensemble (prescribed spectrum) functionals can always be expressed, via purification, as a constrained search over pure states in an enlarged Hilbert space; this comprises a categorical equivalence between pure and ensemble functionals at the level of variational structure. This is essential for understanding the operational content of ensemble DFT and RDMFT and for systematic construction of functionals for excited states via generalized ensemble prescriptions.

Special focus is given to cases where the set of observables closes under a Lie algebra. Here, the density map becomes a moment map for the corresponding (projective) group action, and powerful results from symplectic geometry apply. Notably, convexity theorems for moment maps give geometric structure to representability domains, while Lie-theoretic considerations yield the generalized Pauli constraints and provide constructive paths for classification of all possible functionals built from symmetry considerations.

Examples and Applications

The abstraction is substantiated by detailed analysis of representative models from quantum chemistry and condensed matter physics:

• Lattice DFT (site occupations) yields hypersimplices and polytopic density domains amenable to exact description.
• Spin chains and Ising-type models are naturally recast in the formalism, with the magnetization serving as reduced variable.
• RDMFT emerges with the 1RDM as reduced variable, and the associated representability polytope is characterized by the full set of generalized Pauli (and symmetry-adapted) constraints.
• Extensions to current DFT, spin DFT, and symmetry-adapted RDMFT are encompassed by appropriate choices of the observable algebra.
• The structure accommodates both irreducible and redundant parameterizations, giving a systematic approach to extended functional variables.

Implications and Directions

The unifying formalism delineated in "Unified Framework for Functional Theories of Quantum Systems" (2606.06676) places a wide variety of functional theories under a single mathematical umbrella, regardless of the choice of reduced variable or symmetry constraints. The explicit connection with the theory of moment maps and Lie representation theory elevates the analysis from heuristic to rigorous and systematizes the derivation of representability and differentiability results.

Strong claims in the paper include:

• All finite-dimensional ground state functional theories for quantum systems can be handled within the defined "scope" formalism.
• Proving structural properties (convexity, lower semi-continuity, representability, uniqueness) can be done once for the abstract framework and transfers automatically to any concrete functional theory.
• Both pure-state and ensemble functionals are unified conceptually and technically, with purification giving an explicit bridge.

This has practical implications for the study of strongly correlated quantum systems, development of new functional theories for model Hamiltonians, and the systematic construction of approximate functionals. Emerging areas such as geometric and time-dependent DFT, generalized density functionals for bosonic systems, and algorithmic approaches to $V$8-representability in quantum chemistry directly benefit from the formalism.

Conclusion

The paper establishes a systematic mathematical foundation that encapsulates density-functional theories, their generalizations, and their algebraic, geometric, and variational structure, in finite-dimensional quantum systems. The framework, built upon the scope concept and leveraging convex analysis and symplectic geometry, demonstrates that the essential features of functional theories are structural consequences of the minimal ingredients: the choice of basic observables and the fixed part of the Hamiltonian. This architecture paves the way for extension to infinite-dimensional settings, time-dependent problems, and novel representations, providing a coherent platform for rigorous results and further theoretical developments in quantum functional theories.