pith. sign in

arxiv: 2606.06676 · v1 · pith:A553EJNXnew · submitted 2026-06-04 · 🧮 math-ph · math.MP· quant-ph

Unified Framework for Functional Theories of Quantum Systems

Chih-Chun Wang , Julia Liebert , Markus Penz , Christian Schilling This is my paper

Pith reviewed 2026-06-27 23:03 UTC · model grok-4.3

classification 🧮 math-ph math.MPquant-ph
keywords density functional theoryfinite-dimensional quantum systemsuniversal functionalsHohenberg-Kohn theoremrepresentabilityLie-algebra observablespurification constructionsymplectic geometry
0
0 comments X

The pith

A minimal structure of chosen observables and fixed Hamiltonian parts is necessary and sufficient to formulate any functional theory for finite-dimensional quantum systems.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that density-functional theory and its variants reduce to a single minimal structure called the scope. This scope consists of a generalized set of basic observables that serve as the reduced variables together with a fixed portion of the Hamiltonian that defines the class of systems under study. With only this structure one can define universal functionals, prove their convexity and differentiability, settle representability questions, and obtain a Hohenberg-Kohn-type uniqueness theorem. The same structure also supplies a purification map that relates pure-state, ensemble, and weighted-ensemble versions of the functionals. The framework covers theories whose observables form Lie algebras and thereby links the variational problem to symplectic geometry.

Core claim

The scope of a functional theory—formed by any generalized choice of basic observables whose expectation values become the reduced variables and by a fixed part of the Hamiltonian that characterises the systems—is necessary and sufficient for the formulation of a functional theory. It permits the definition of the associated universal functionals, the proof of their convexity and differentiability properties, the treatment of representability questions, and the derivation of a Hohenberg-Kohn-type uniqueness result. A purification construction further relates ensemble and weighted-ensemble functionals to their pure-state counterparts.

What carries the argument

The scope, consisting of a choice of basic observables and a fixed part of the Hamiltonian, which supplies the minimal data needed to define universal functionals and prove their structural properties.

If this is right

  • Universal functionals can be defined once the scope is fixed.
  • Convexity and differentiability properties of the functionals follow directly from the scope.
  • Representability questions become well-posed inside the chosen scope.
  • A Hohenberg-Kohn-type uniqueness theorem holds for any scope.
  • Ensemble and weighted-ensemble functionals are related to the pure-state functional by the purification construction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same scope construction could be tested on concrete models such as finite Hubbard chains to verify that the uniqueness result produces new constraints on ground-state densities.
  • When the observables close under a Lie bracket, the symplectic geometry link suggests that classical limits of the functional theory may be obtained by replacing quantum expectation values with Poisson brackets.
  • If the purification step can be shown to exist for a larger class of infinite-dimensional systems, the framework would supply a route to rigorous statements about continuum density-functional theories.
  • The unification implies that any new functional theory built on a different but still finite set of observables inherits the convexity and differentiability results without separate proof.

Load-bearing premise

A purification construction exists that relates ensemble and weighted-ensemble functionals to the pure-state variant for the chosen observables and systems.

What would settle it

An explicit set of observables and systems on a finite-dimensional Hilbert space for which no purification map exists that connects the ensemble functionals to the pure-state functional would show that the claimed relations between functional variants fail.

Figures

Figures reproduced from arXiv: 2606.06676 by Chih-Chun Wang, Christian Schilling, Julia Liebert, Markus Penz.

Figure 1
Figure 1. Figure 1: The set Bp from the double qubit example consists of two Bloch spheres in (ρ1, ρ2, ρ3) at ρ4 = ±1 and all convex combinations between two points from each sphere. Leaving out the coordinate ρ3 in this illustration makes the spheres appear as circles on the top and bottom. Setting ρ3 = 0, the resulting shape is a cylinder from which two cones are removed at the top and bottom. Its convex hull, the set Be, i… view at source ↗
Figure 2
Figure 2. Figure 2: The pure-state and ensemble observable ranges Bp = Be of the one-dimensional bosonic momentum-functional theory for lattice size L = 3, particle number N = 4, and total momentum p = 0, 1, 2. For p = 0, Bp = Be is colored in gray, and the set of critical values Bc excluding the relative boundary is indicated in black. where we flatten a vector ρ ∈ R (Z/2Z) 2 ∼= R 4 as ρ = (ρ(0,0), ρ(0,1), ρ(1,0), ρ(1,1)). H… view at source ↗
Figure 3
Figure 3. Figure 3: The pure-state constrained search is performed along the blue dashed line lying in the pure-state observable range Bp. In the figure, we only show the slice of Bp on which ⟨X1⟩ and ⟨Y1⟩ vanish. Thus, PΨ is in the preimage µ −1 (0, 0, z, 0) if and only if the complex coefficients a, b, c, d satisfy ac + bd = 0, (A.3) |a| 2 − |d| 2 = z 2 , (A.4) |b| 2 − |c| 2 = z 2 , (A.5) |a| 2 + |b| 2 = 1 + z 2 , (A.6) |c|… view at source ↗
Figure 4
Figure 4. Figure 4: Values of the pure-state constrained-search functional Fp and the ensemble constrained-search functional Fe at densities ρ = (0, 0, z, 0), with z ∈ (−1, 0) ∪ (0, 1) (see [PITH_FULL_IMAGE:figures/full_fig_p033_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Example of an ensemble constrained-search functional Fe defined on a disc that is discontinuous on the boundary. Appendix C: Discontinuous pure functional example Here, we will construct a functional theory whose pure functional Fp is discontinuous on the interior of its domain. Take H = C 3 , V = R 3 , and let ι(v) = v1 2   0 1 0 1 0 1 0 1 0   + v2 2   0 −i 0 i 0 i 0 −i 0   + v3   1 0 −1   . (… view at source ↗
read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces a unified framework for density-functional theory and variants on finite-dimensional Hilbert spaces. The central object is the 'scope', consisting of a choice of basic observables (whose expectations are the reduced variables) together with a fixed part of the Hamiltonian. The paper asserts that this minimal structure is necessary and sufficient to define universal functionals, establish their convexity and differentiability, address representability, prove a Hohenberg-Kohn-type uniqueness theorem, and obtain a purification construction that relates ensemble and weighted-ensemble functionals to the pure-state version. Special attention is given to Lie-algebra observable structures, which connect the variational setting to symplectic geometry. The overall aim is a systematic formulation in which structural results can be proved once and applied across a broad class of finite-dimensional functional theories.

Significance. If the derivations are complete, the work supplies a mathematically rigorous unification that identifies the minimal data needed for functional theories and permits general proofs of key properties (convexity, differentiability, HK uniqueness, representability). The explicit link to symplectic geometry for Lie-algebra observables is a genuine strength, offering a geometric perspective that may prove useful beyond the present setting. The finite-dimensional restriction enables clean, non-approximate arguments. These features would make the framework a useful reference for subsequent work on DFT variants and related reduced-density theories.

major comments (2)
  1. [Abstract] Abstract (paragraph beginning 'It is this minimal structure...'): The claim that the scope alone is sufficient to define the universal functionals and to prove convexity, differentiability, representability and HK uniqueness is asserted without any derivation steps or explicit definitions of the functionals being supplied in the abstract. Because these properties are load-bearing for the unification claim, the manuscript must exhibit the precise definitions and the short derivations that recover the listed properties directly from the scope axioms.
  2. [Abstract] Abstract (paragraph on purification): The statement that 'a purification construction also relates ensemble and weighted-ensemble functionals to the pure-state variant' is presented as following from the minimal scope. However, the existence of a purification that preserves observable expectations and recovers the ensemble functional as an infimum over pure states is an additional existence result not entailed by the choice of observables and fixed Hamiltonian part alone. For Lie-algebra observable sets the symplectic-geometry connection is invoked, yet no argument is visible showing that this geometry guarantees the required purification map without further assumptions on the observable algebra. This gap directly affects the claimed unification across pure-state and ensemble cases.
minor comments (2)
  1. The notation used for the universal functionals and for the different variants (pure, ensemble, weighted-ensemble) should be introduced with explicit formulas immediately after the scope is defined, rather than left implicit.
  2. A short table or diagram summarizing which properties are proved for which variant of the functional (pure-state vs. ensemble) would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We respond to each major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract (paragraph beginning 'It is this minimal structure...'): The claim that the scope alone is sufficient to define the universal functionals and to prove convexity, differentiability, representability and HK uniqueness is asserted without any derivation steps or explicit definitions of the functionals being supplied in the abstract. Because these properties are load-bearing for the unification claim, the manuscript must exhibit the precise definitions and the short derivations that recover the listed properties directly from the scope axioms.

    Authors: The abstract serves as a high-level summary. The scope is defined precisely in Definition 2.1. The universal functional is introduced in Definition 3.1, with convexity established in Theorem 3.2, differentiability in Theorem 3.4, representability addressed in Section 4, and the Hohenberg-Kohn uniqueness in Theorem 4.1. Each of these results is derived directly from the scope axioms in the indicated sections. Full derivations cannot be included in the abstract due to length constraints typical for such summaries; the body of the paper supplies the requested details. revision: no

  2. Referee: [Abstract] Abstract (paragraph on purification): The statement that 'a purification construction also relates ensemble and weighted-ensemble functionals to the pure-state variant' is presented as following from the minimal scope. However, the existence of a purification that preserves observable expectations and recovers the ensemble functional as an infimum over pure states is an additional existence result not entailed by the choice of observables and fixed Hamiltonian part alone. For Lie-algebra observable sets the symplectic-geometry connection is invoked, yet no argument is visible showing that this geometry guarantees the required purification map without further assumptions on the observable algebra. This gap directly affects the claimed unification across pure-state and ensemble cases.

    Authors: Section 5 develops the purification construction for scopes equipped with Lie-algebra observable structures. Proposition 5.2 identifies the relevant state space with coadjoint orbits, and Theorem 5.3 constructs the purification map that preserves expectations of the basic observables while recovering the ensemble functional as an infimum over pure states. This construction relies on the symplectic geometry induced by the Lie-algebra structure, which is part of the scope for the indicated class of theories. We will revise the abstract to include a brief reference to this theorem and add a clarifying sentence in Section 5 to emphasize the dependence on the Lie-algebra structure. revision: partial

Circularity Check

0 steps flagged

No circularity: scope definition yields independent structural results

full rationale

The paper starts from standard finite-dimensional quantum mechanics and defines the 'scope' externally as the pair (observables, fixed Hamiltonian part). From this it derives universal functionals, convexity/differentiability properties, representability, and a Hohenberg-Kohn uniqueness theorem. The purification relation is stated as an additional construction that links ensemble to pure-state variants, but the central claims do not reduce by construction to fitted parameters, self-referential definitions, or load-bearing self-citations. The derivation chain remains self-contained against external benchmarks and does not match any enumerated circularity pattern.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on the domain assumption of finite-dimensional Hilbert spaces and introduces the new organizing concept of 'scope' without independent empirical evidence outside the mathematical construction itself.

axioms (2)
  • domain assumption Quantum systems under consideration are defined on finite-dimensional Hilbert spaces
    Explicitly stated as the setting for the entire framework in the abstract.
  • domain assumption A purification construction exists that relates ensemble functionals to pure-state functionals for the chosen observables
    Invoked in the abstract to connect different variants; no proof or existence condition is supplied in the given text.
invented entities (1)
  • scope of a functional theory no independent evidence
    purpose: Minimal structure consisting of chosen observables and fixed Hamiltonian part that is necessary and sufficient to formulate a functional theory and derive its properties
    Introduced in the abstract as the central new ingredient; independent_evidence is false because no external falsifiable prediction is given.

pith-pipeline@v0.9.1-grok · 5728 in / 1727 out tokens · 28303 ms · 2026-06-27T23:03:16.225476+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

168 extracted references · 96 canonical work pages · 2 internal anchors

  1. [1]

    2017 , publisher=

    Foundations of quantum theory: From classical concepts to operator algebras , author=. 2017 , publisher=

    2017

  2. [2]

    and Sternberg, S

    Guillemin, V. and Sternberg, S. Symplectic techniques in physics. 1990

    1990

  3. [3]

    2004 , publisher=

    Momentum Maps and Hamiltonian Reduction. 2004 , publisher=

    2004

  4. [4]

    2012 , series =

    Introduction to Smooth Manifolds , author =. 2012 , series =

    2012

  5. [5]

    E. H. Lieb , journal =. Density Functionals for. 1983 , doi =

    1983

  6. [6]

    Density-functional theory on graphs , author=. J. Chem. Phys. , volume=. 2021 , pages=

    2021

  7. [7]

    Barbu and T

    V. Barbu and T. Precupanu , title =

  8. [8]

    Inhomogeneous electron gas , author=. Phys. Rev. , volume=. 1964 , publisher=

    1964

  9. [9]

    , journal=

    Garrigue, L. , journal=. Unique continuation for many-body. 2018 , doi=

    2018

  10. [10]

    Extensibility of

    Xu, Limin and Mao, Jiahao and Gao, Xingyu and Liu, Zheng , year =. Extensibility of. Adv. Quantum Technol. , publisher =. doi:10.1002/qute.202200041 , number =

    work page doi:10.1002/qute.202200041

  11. [11]

    1988 , publisher=

    Manifolds, Tensor Analysis, and Applications , author=. 1988 , publisher=

    1988

  12. [12]

    On Einstein’s Path: Essays in Honor of Engelbert Schucking , pages=

    Geometrical formulation of quantum mechanics , author=. On Einstein’s Path: Essays in Honor of Engelbert Schucking , pages=. 1999 , publisher=

    1999

  13. [13]

    and Spiegel, Daniel and Vishwanath, Ashvin and Hermele, Michael , year =

    Wen, Xueda and Qi, Marvin and Beaudry, Agnès and Moreno, Juan and Pflaum, Markus J. and Spiegel, Daniel and Vishwanath, Ashvin and Hermele, Michael , year =. Flow of higher Berry curvature and bulk-boundary correspondence in parametrized quantum systems , volume =. Phys. Rev. B , publisher =. doi:10.1103/physrevb.108.125147 , number =

    work page doi:10.1103/physrevb.108.125147

  14. [14]

    Dual pairing of symmetry and dynamical groups in physics , author =. Rev. Mod. Phys. , volume =. 2012 , month =. doi:10.1103/RevModPhys.84.711 , url =

    work page doi:10.1103/revmodphys.84.711 2012

  15. [15]

    Rowe, D. J. and Repka, J. and Carvalho, M. J. , title =. J. Math. Phys. , volume =. 2011 , month =. doi:10.1063/1.3525978 , url =

    work page doi:10.1063/1.3525978 2011

  16. [16]

    Refining and relating fundamentals of functional theory , author =. J. Chem. Phys. , pages =

  17. [17]

    Moment Maps and Combinatorial Invariants of

    Guillemin, Victor , year = 1994, publisher =. Moment Maps and Combinatorial Invariants of. doi:10.1007/978-1-4612-0269-1 , url =

    work page doi:10.1007/978-1-4612-0269-1 1994

  18. [18]

    Convexity properties of the moment mapping , author =. Invent. Math. , volume = 67, pages =. doi:10.1007/BF01398933 , url =

    work page doi:10.1007/bf01398933

  19. [19]

    Atiyah, M. F. , year = 1982, journal =. Convexity and Commuting. doi:https://doi.org/10.1112/blms/14.1.1 , url =

    work page doi:10.1112/blms/14.1.1 1982

  20. [20]

    , year = 1984, journal =

    Kirwan, F. , year = 1984, journal =. Convexity properties of the moment mapping,. doi:10.1007/BF01388838 , url =

    work page doi:10.1007/bf01388838 1984

  21. [21]

    and Klyachko, A

    Altunbulak, M. and Klyachko, A. , year = 2008, journal =. The. doi:10.1007/s00220-008-0552-z , url =

    work page doi:10.1007/s00220-008-0552-z 2008

  22. [22]

    Solving one-body ensemble N-representability problems with spin , volume =

    Liebert, Julia and Castillo, Federico and Labbé, Jean-Philippe and Maciazek, Tomasz and Schilling, Christian , year =. Solving one-body ensemble N-representability problems with spin , volume =. doi:10.22331/q-2025-12-02-1921 , journal =

    work page doi:10.22331/q-2025-12-02-1921 2025

  23. [23]

    A Spin-Faithful Functional Theory for Strongly Correlated Electrons , author =

  24. [24]

    , year = 2016, publisher =

    Hall, Brian C. , year = 2016, publisher =. Lie Groups,

    2016

  25. [25]

    Toolbox of spin-adapted generalized

    Liebert, Julia and Lemke, Yannick and Altunbulak, Murat and Maciazek, Tomasz and Ochsenfeld, Christian and Schilling, Christian , journal =. Toolbox of spin-adapted generalized. 2025 , month =. doi:10.1103/PhysRevResearch.7.023247 , url =

    work page doi:10.1103/physrevresearch.7.023247 2025

  26. [26]

    Entropic Density Functional Theory , volume =

    Yousefi, Ahmad and Caticha, Ariel , year =. Entropic Density Functional Theory , volume =. Entropy , publisher =. doi:10.3390/e26010010 , number =

    work page doi:10.3390/e26010010

  27. [27]

    and Carter-Fenk, Kevin , keywords =

    Zamani, Abdulrahman Y. and Carter-Fenk, Kevin , keywords =. Towards ab initio Realizations of Collins' Conjecture , publisher =. 2025 , copyright =. doi:10.48550/ARXIV.2504.04692 , url =

    work page doi:10.48550/arxiv.2504.04692 2025

  28. [28]

    T>0 ensemble-state density functional theory via Legendre transform , volume =

    Eschrig, Helmut , year =. T>0 ensemble-state density functional theory via Legendre transform , volume =. Phys. Rev. B , publisher =. doi:10.1103/physrevb.82.205120 , number =

    work page doi:10.1103/physrevb.82.205120

  29. [29]

    Self-Consistent-Field Method for Correlated Many-Electron Systems with an Entropic Cumulant Energy , volume =

    Wang, Jian and Baerends, Evert Jan , year =. Self-Consistent-Field Method for Correlated Many-Electron Systems with an Entropic Cumulant Energy , volume =. Phys. Rev. Lett. , publisher =. doi:10.1103/physrevlett.128.013001 , number =

    work page doi:10.1103/physrevlett.128.013001

  30. [30]

    and Gunnarsson, O

    Schönhammer, K. and Gunnarsson, O. and Noack, R. M. , year =. Density-Functional Theory on a Lattice:. Phys. Rev. B , volume =

  31. [31]

    , date =

    Danskin, John M. , date =. The. SIAM Journal on Applied Mathematics , volume =. 2946123 , eprinttype =

  32. [32]

    Mixed state representability of entropy-density pairs , volume =

    Garrigue, Louis , year =. Mixed state representability of entropy-density pairs , volume =. J. Math. Phys. , publisher =. doi:10.1063/5.0169120 , number =

    work page doi:10.1063/5.0169120

  33. [33]

    Seidl, A. and G\". Generalized. Phys. Rev. B , publisher =. 1996 , month = feb, pages =. doi:10.1103/physrevb.53.3764 , number =

    work page doi:10.1103/physrevb.53.3764 1996

  34. [34]

    Stability of the thermal Hartree-Fock approximation , author=. Ann. Phys. , volume=. 1963 , publisher=

    1963

  35. [35]

    Information entropy as a measure of the correlation energy associated with the cumulant , author=. Phys. Rev. A , volume=. 2021 , publisher=

    2021

  36. [36]

    Faraday Discuss

    What can quantum information theory offer to quantum chemistry? , author =. Faraday Discuss. , publisher =. doi:10.1039/D4FD00059E , url =

    work page doi:10.1039/d4fd00059e

  37. [37]

    New Measure of Electron Correlation , author =. Phys. Rev. Lett. , volume =. 2005 , month =. doi:10.1103/PhysRevLett.95.123003 , url =

    work page doi:10.1103/physrevlett.95.123003 2005

  38. [38]

    Properties of Nonfreeness: An Entropy Measure of Electron Correlation , author =. Int. J. Quantum Inf , publisher =

  39. [39]

    , year = 2022, journal =

    Bach, V. , year = 2022, journal =

    2022

  40. [40]

    and Lieb, E.H

    Bach, V. and Lieb, E.H. and Solovej, J.P. , year = 1994, journal =. Generalized. doi:10.1007/BF02188656 , url =

    work page doi:10.1007/bf02188656 1994

  41. [41]

    On Quasifree States of

    Araki, Huzihiro , year = 1970, journal =. On Quasifree States of

    1970

  42. [42]

    Ensemble Hartree-Fock theory for excited states , author =

  43. [43]

    How to Incorporate Symmetries in Functional Theories , author =

  44. [44]

    Paldus, Josef , title =. J. Chem. Phys. , volume =. 1974 , month =. doi:10.1063/1.1681883 , url =

    work page doi:10.1063/1.1681883 1974

  45. [45]

    Variational Principle for Many-Fermion Systems , author =. Phys. Rev. Lett. , volume = 46, pages =. doi:10.1103/PhysRevLett.46.457 , url =

    work page doi:10.1103/physrevlett.46.457

  46. [46]

    Information theory and statistical mechanics , author=. Phys. Rev. , volume=. 1957 , publisher=

    1957

  47. [47]

    II , author=

    Information theory and statistical mechanics. II , author=. Phys. Rev. , volume=. 1957 , publisher=

    1957

  48. [48]

    Entropy is a good approximation to the electronic (static) correlation energy , author=. J. Chem. Phys. , volume=. 2023 , publisher=

    2023

  49. [49]

    and Golden, Sidney and Levy, Mel , year =

    Ayers, Paul W. and Golden, Sidney and Levy, Mel , year =. Generalizations of the Hohenberg-Kohn theorem: I. Legendre Transform Constructions of Variational Principles for Density Matrices and Electron Distribution Functions , volume =. J. Chem. Phys. , publisher =. doi:10.1063/1.2006087 , number =

    work page doi:10.1063/1.2006087

  50. [50]

    Power functional theory for many-body dynamics , volume =

    Schmidt, Matthias , year =. Power functional theory for many-body dynamics , volume =. Reviews of Modern Physics , publisher =. doi:10.1103/revmodphys.94.015007 , number =

    work page doi:10.1103/revmodphys.94.015007

  51. [51]

    , year =

    Evans, R. , year =. The nature of the liquid-vapour interface and other topics in the statistical mechanics of non-uniform, classical fluids , volume =. Adv. Phys. , publisher =. doi:10.1080/00018737900101365 , number =

    work page doi:10.1080/00018737900101365

  52. [52]

    , journal=

    Watanabe, S. , journal=. 1939 , url=

    1939

  53. [53]

    and Castillo, F

    Liebert, J. and Castillo, F. and Labb\'e, J.-P. and Schilling, C. , title =. J. Chem. Theory Comput. , volume =. 2022 , doi =

    2022

  54. [54]

    Ensemble Reduced Density Matrix Functional Theory for Excited States and Hierarchical Generalization of

    Schilling, Christian and Pittalis, Stefano , journal =. Ensemble Reduced Density Matrix Functional Theory for Excited States and Hierarchical Generalization of. 2021 , month =. doi:10.1103/PhysRevLett.127.023001 , url =

    work page doi:10.1103/physrevlett.127.023001 2021

  55. [55]

    Structure of Fermion Density Matrices , author =. Rev. Mod. Phys. , volume =. 1963 , month =. doi:10.1103/RevModPhys.35.668 , url =

    work page doi:10.1103/revmodphys.35.668 1963

  56. [56]

    Rockafellar, R. T. , year=. Convex

  57. [57]

    1970 , publisher=

    Convex Analysis , author=. 1970 , publisher=

    1970

  58. [58]

    Nature communications , volume=

    A complete hierarchy for the pure state marginal problem in quantum mechanics , author=. Nature communications , volume=. 2021 , publisher=

    2021

  59. [59]

    and Smith, J

    Burke, K. and Smith, J. C. and Grabowski, P. E. and Pribram-Jones, A. , year =. Exact conditions on the temperature dependence of density functionals , volume =. Phys. Rev. B , publisher =. doi:10.1103/physrevb.93.195132 , number =

    work page doi:10.1103/physrevb.93.195132

  60. [60]

    and Karow, Michael , year =

    Gutkin, Eugene and Jonckheere, Edmond A. and Karow, Michael , year =. Convexity of the joint numerical range: topological and differential geometric viewpoints , volume =. doi:10.1016/j.laa.2003.06.011 , journal =

    work page doi:10.1016/j.laa.2003.06.011 2003

  61. [61]

    , year =

    Gibney, Daniel and Boyn, Jan-Niklas and Mazziotti, David A. , year =. Universal Generalization of Density Functional Theory for Static Correlation , volume =. Phys. Rev. Lett. , publisher =. doi:10.1103/physrevlett.131.243003 , number =

    work page doi:10.1103/physrevlett.131.243003

  62. [62]

    Gilbert, T. L. , year =. Phys. Rev. B , publisher =. doi:10.1103/physrevb.12.2111 , number =

    work page doi:10.1103/physrevb.12.2111

  63. [63]

    Quantum , volume=

    Geometry of degeneracy in potential and density space , author=. Quantum , volume=. 2023 , publisher=

    2023

  64. [64]

    Constrained search in imaginary time , volume =

    Penz, Markus and van Leeuwen, Robert , year =. Constrained search in imaginary time , volume =. Phys. Rev. A , publisher =. doi:10.1103/g4ch-5x8m , number =

    work page doi:10.1103/g4ch-5x8m

  65. [65]

    2024 , eprint =

    Haeser, Gabriel and dos Santos, Daiana Oliveira , title =. 2024 , eprint =. doi:10.48550/ARXIV.2402.05335 , url =

    work page doi:10.48550/arxiv.2402.05335 2024

  66. [66]

    2025 , eprint =

    Corso, Thiago Carvalho and Laestadius, Andre , title =. 2025 , eprint =. doi:10.48550/ARXIV.2512.04726 , url =

    work page doi:10.48550/arxiv.2512.04726 2025

  67. [67]

    and Csirik, Mihály A

    Bakkestuen, Vebjørn H. and Csirik, Mihály A. and Laestadius, Andre and Penz, Markus , year =. Density-Functional Theory for the. J. Stat. Phys. , publisher =. doi:10.1007/s10955-025-03442-9 , number =

    work page doi:10.1007/s10955-025-03442-9

  68. [68]

    Arbitrary choice of basic variables in density functional theory

    Higuchi, Masahiko and Higuchi, Katsuhiko , journal=. Arbitrary choice of basic variables in density functional theory. 2004 , publisher=

    2004

  69. [69]

    Arbitrary choice of basic variables in density functional theory

    Higuchi, Katsuhiko and Higuchi, Masahiko , journal=. Arbitrary choice of basic variables in density functional theory. 2004 , publisher=

    2004

  70. [70]

    Thermal-density-functional-theory approach to quantum thermodynamics , volume =

    Palamara, Antonio and Plastina, Francesco and Sindona, Antonello and D’Amico, Irene , year =. Thermal-density-functional-theory approach to quantum thermodynamics , volume =. Phys. Rev. A , publisher =. doi:10.1103/physreva.110.062203 , number =

    work page doi:10.1103/physreva.110.062203

  71. [71]

    Geometric theory of constrained Schr\"odinger dynamics with application to time-dependent density-functional theory on a finite lattice

    Cancès, Eric and Duez, Théo and van Gog, Jari and Lauritsen, Asbjørn Bækgaard and Lewin, Mathieu and Toulouse, Julien , title =. 2026 , eprint =. doi:10.48550/ARXIV.2601.07719 , url =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2601.07719 2026

  72. [72]

    2026 , eprint =

    Cancès, Eric and Duez, Théo and van Gog, Jari and Lauritsen, Asbjørn Bækgaard and Lewin, Mathieu and Toulouse, Julien , title =. 2026 , eprint =

    2026

  73. [73]

    Density-functional theory in strong magnetic fields , author =. Phys. Rev. Lett. , fjournal =. 1987 , doi =

    1987

  74. [74]

    Current- and spin-density-functional theory for inhomogeneous electronic systems in strong magnetic fields , author =. Phys. Rev. B , fjournal =. 1988 , doi =

    1988

  75. [75]

    Magnetic fields and density functional theory , author=. Adv. Quantum Chem. , volume=. 1990 , doi=

    1990

  76. [76]

    and Kvaal, Simen and Sagvolden, Espen and Ekstr\"

    Tellgren, Erik I. and Kvaal, Simen and Sagvolden, Espen and Ekstr\". Choice of basic variables in current-density-functional theory , volume =. Phys. Rev. A , pages =. doi:10.1103/physreva.86.062506 , number =

    work page doi:10.1103/physreva.86.062506

  77. [77]

    and Csirik, Mihály A

    Penz, Markus and Tellgren, Erik I. and Csirik, Mihály A. and Ruggenthaler, Michael and Laestadius, Andre , year =. The Structure of the Density-Potential Mapping. ACS Phys. Chem. Au , publisher =. doi:10.1021/acsphyschemau.3c00006 , number =

    work page doi:10.1021/acsphyschemau.3c00006

  78. [78]

    A local exchange-correlation potential for the spin polarized case

    Barth, U von and Hedin, L , year =. A local exchange-correlation potential for the spin polarized case. i , volume =. J. Phys. C: Solid State Phys. , publisher =. doi:10.1088/0022-3719/5/13/012 , number =

    work page doi:10.1088/0022-3719/5/13/012

  79. [79]

    and Lundqvist, B

    Gunnarsson, O. and Lundqvist, B. I. , year =. Exchange and correlation in atoms, molecules, and solids by the spin-density-functional formalism , volume =. Phys. Rev. B , publisher =. doi:10.1103/physrevb.13.4274 , number =

    work page doi:10.1103/physrevb.13.4274

  80. [80]

    Universal variational functionals of electron densities, first-order density matrices, and natural spin-orbitals and solution of the v-representability problem , author=. Proc. Natl. Acad. Sci. U.S.A , volume=. 1979 , url=

    1979

Showing first 80 references.