A unified framework for functional theories of quantum systems is introduced via scopes of observables and fixed Hamiltonian parts, enabling general proofs of universal functionals, convexity, differentiability, representability, and Hohenberg-Kohn-type uniqueness across variants.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
years
2026 3verdicts
UNVERDICTED 3representative citing papers
k-level LP feasibility is Σ^p_{k-1}-complete for k≥2, polynomial for k≤4 without coupling and unbounded variables but Σ^p_{k-1}-complete for k≥5; optimal value is FΔ^p_k-complete for k≥2 even without coupling.
Derives second-order Dini formulas for efficient solution maps S from marginal maps Φ under value-to-decision error bounds and metric regularity conditions in parametric vector optimization.
citing papers explorer
-
Price of Coupling in Multilevel Linear Programming
k-level LP feasibility is Σ^p_{k-1}-complete for k≥2, polynomial for k≤4 without coupling and unbounded variables but Σ^p_{k-1}-complete for k≥5; optimal value is FΔ^p_k-complete for k≥2 even without coupling.
-
Second-Order Sensitivity of Efficient Solution and Marginal Maps in Parametric Vector Optimization with Set Constraints
Derives second-order Dini formulas for efficient solution maps S from marginal maps Φ under value-to-decision error bounds and metric regularity conditions in parametric vector optimization.