v-Representability on a one-dimensional torus at elevated temperatures

Abstract

We extend a previous result [Sutter et al., J. Phys. A: Math. Theor. 57, 475202 (2024)] to give an explicit form of the set of $v$-representable densities on the one-dimensional torus with any fixed number of particles in contact with a heat bath at finite temperature. The particle interaction has to satisfy some mild assumptions but is kept entirely general otherwise. For densities, we consider the Sobolev space $H^1$ and exploit the convexity of the functionals. This leads to a broader set of potentials than the usual $L^p$ spaces and encompasses distributions. By including temperature and thus considering all excited states in the Gibbs ensemble, Gâteaux differentiability of the thermal universal functional is guaranteed. This yields $v$-representability and it is demonstrated that the given set of $v$-representable densities is even maximal.

References in corpus (14)

• Ab initio Exchange-Correlation Free Energy of the Uniform Electron Gas at Warm Dense Matter Conditions
• The importance of finite-temperature exchange-correlation for warm dense matter calculations
• T>0 ensemble state density functional theory revisited
• Exact conditions on the temperature dependence of density functionals
• One-body reduced density-matrix functional theory in finite basis sets at elevated temperatures
• Unique continuation for many-body Schrödinger operators and the Hohenberg-Kohn theorem
• The structure of the density-potential mapping. Part I: Standard density-functional theory
• Hohenberg-Kohn theorems for interactions, spin and temperature
• Attainability and lower semi-continuity of the relative entropy of entanglement, and variations on the theme
• One-body reduced density-matrix functional theory for the canonical ensemble
• Solution of the v-representability problem on a one-dimensional torus
• Entropic Density Functional Theory
• Exchange-correlation entropy from the generalized thermal adiabatic connection
• v-representability and Hohenberg-Kohn theorem for non-interacting Schrödinger operators with distributional potentials in the one-dimensional torus