-
Solution of the v-representability problem on a one-dimensional torus
Authors:
Sarina M. Sutter,
Markus Penz,
Michael Ruggenthaler,
Robert van Leeuwen,
Klaas J. H. Giesbertz
Abstract:
We provide a solution to the v-representability problem for a non-relativistic quantum many-particle system on a ring domain in terms of Sobolev spaces and their duals. Any one-particle density that is square-integrable, has a square-integrable weak derivative, and is gapped away from zero can be realized from the solution of a many-particle Schrödinger equation, with or without interactions, by c…
▽ More
We provide a solution to the v-representability problem for a non-relativistic quantum many-particle system on a ring domain in terms of Sobolev spaces and their duals. Any one-particle density that is square-integrable, has a square-integrable weak derivative, and is gapped away from zero can be realized from the solution of a many-particle Schrödinger equation, with or without interactions, by choosing a corresponding external potential. This potential can contain a distributional contribution but still gives rise to a self-adjoint Hamiltonian. Importantly, this allows for a well-defined Kohn-Sham procedure but, on the other hand, invalidates the usual proof of the Hohenberg-Kohn theorem.
△ Less
Submitted 5 November, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
-
One-body reduced density-matrix functional theory for the canonical ensemble
Authors:
Sarina M. Sutter,
Klaas J. H. Giesbertz
Abstract:
We establish one-body reduced density-matrix functional theory for the canonical ensemble in a finite basis set at an elevated temperature. Including temperature guarantees differentiability of the universal functional by occupying all states and additionally not fully occupying the states in a fermionic system. We use convexity of the universal functional and invertibility of the potential-to-1RD…
▽ More
We establish one-body reduced density-matrix functional theory for the canonical ensemble in a finite basis set at an elevated temperature. Including temperature guarantees differentiability of the universal functional by occupying all states and additionally not fully occupying the states in a fermionic system. We use convexity of the universal functional and invertibility of the potential-to-1RDM map to show that the subgradient contains only one element which is equivalent to differentiability. This allows us to show that all 1RDMs with a purely fractional occupation number spectrum ($0 < n_i < 1 \; \forall_i$) are uniquely $v$-representable up to a constant.
△ Less
Submitted 31 January, 2023; v1 submitted 23 September, 2022;
originally announced September 2022.
-
One-body reduced density-matrix functional theory in finite basis sets at elevated temperatures
Authors:
Klaas J. H. Giesbertz,
Michael Ruggenthaler
Abstract:
In this review we provide a rigorous and self-contained presentation of one-body reduced density-matrix (1RDM) functional theory. We do so for the case of a finite basis set, where density-functional theory (DFT) implicitly becomes a 1RDM functional theory. To avoid non-uniqueness issues we consider the case of fermionic and bosonic systems at elevated temperature and variable particle number, i.e…
▽ More
In this review we provide a rigorous and self-contained presentation of one-body reduced density-matrix (1RDM) functional theory. We do so for the case of a finite basis set, where density-functional theory (DFT) implicitly becomes a 1RDM functional theory. To avoid non-uniqueness issues we consider the case of fermionic and bosonic systems at elevated temperature and variable particle number, i.e, a grand-canonical ensemble. For the fermionic case the Fock space is finite-dimensional due to the Pauli principle and we can provide a rigorous 1RDM functional theory relatively straightforwardly. For the bosonic case, where arbitrarily many particles can occupy a single state, the Fock space is infinite-dimensional and mathematical subtleties (not every hermitian Hamiltonian is self-adjoint, expectation values can become infinite, and not every self-adjoint Hamiltonian has a Gibbs state) make it necessary to impose restrictions on the allowed Hamiltonians and external non-local potentials. For simple conditions on the interaction of the bosons a rigorous 1RDM functional theory can be established, where we exploit the fact that due to the finite one-particle space all 1RDMs are finite-dimensional. We also discuss the problems arising from 1RDM functional theory as well as DFT formulated for an infinite-dimensional one-particle space.
△ Less
Submitted 1 February, 2019; v1 submitted 24 October, 2017;
originally announced October 2017.
-
The strictly-correlated electron functional for spherically symmetric systems revisited
Authors:
Michael Seidl,
Simone Di Marino,
Augusto Gerolin,
Luca Nenna,
Klaas J. H. Giesbertz,
Paola Gori-Giorgi
Abstract:
The strong-interaction limit of the Hohenberg-Kohn functional defines a multimarginal optimal transport problem with Coulomb cost. From physical arguments, the solution of this limit is expected to yield strictly-correlated particle positions, related to each other by co-motion functions (or optimal maps), but the existence of such a deterministic solution in the general three-dimensional case is…
▽ More
The strong-interaction limit of the Hohenberg-Kohn functional defines a multimarginal optimal transport problem with Coulomb cost. From physical arguments, the solution of this limit is expected to yield strictly-correlated particle positions, related to each other by co-motion functions (or optimal maps), but the existence of such a deterministic solution in the general three-dimensional case is still an open question. A conjecture for the co-motion functions for radially symmetric densities was presented in Phys.~Rev.~A {\bf 75}, 042511 (2007), and later used to build approximate exchange-correlation functionals for electrons confined in low-density quantum dots. Colombo and Stra [Math.~Models Methods Appl.~Sci., {\bf 26} 1025 (2016)] have recently shown that these conjectured maps are not always optimal. Here we revisit the whole issue both from the formal and numerical point of view, finding that even if the conjectured maps are not always optimal, they still yield an interaction energy (cost) that is numerically very close to the true minimum. We also prove that the functional built from the conjectured maps has the expected functional derivative also when they are not optimal.
△ Less
Submitted 16 February, 2017;
originally announced February 2017.
-
Invertibility of the retarded response functions for initial mixed states: application to one-body reduced density matrix functional theory
Authors:
Klaas J. H. Giesbertz
Abstract:
In [J. Chem. Phys. 143, 054102 (2015)] I have derived conditions to characterize the kernel of the retarded response function, under the assumption that the initial state is a ground state. In this article I demonstrate its generalization to mixed states (ensembles). To make the proof work, the weights in the ensemble need to be decreasing for increasing energies of the pure states from which the…
▽ More
In [J. Chem. Phys. 143, 054102 (2015)] I have derived conditions to characterize the kernel of the retarded response function, under the assumption that the initial state is a ground state. In this article I demonstrate its generalization to mixed states (ensembles). To make the proof work, the weights in the ensemble need to be decreasing for increasing energies of the pure states from which the mixed state is constructed. The resulting conditions are not easy to verify, but under the additional assumptions that the ensemble weights are directly related to the energies and that the full spectrum of the Hamiltonian participates in the ensemble, it is shown that potentials only belong to the kernel of the retarded response function if they commute with the initial Hamiltonian. These additional assumptions are valid for thermodynamic ensembles, which makes this result also physically relevant. The conditions on the potentials for the thermodynamic ensembles are much stronger than in the pure state (zero temperature) case, leading to a much less involved kernel when the conditions are applied to the retarded one-body reduced density matrix response function.
△ Less
Submitted 5 January, 2016;
originally announced January 2016.
-
Density-potential mappings in quantum dynamics
Authors:
M. Ruggenthaler,
K. J. H Giesbertz,
M. Penz,
R. van Leeuwen
Abstract:
In a recent letter [Europhys. Lett. 95, 13001 (2011)] the question of whether the density of a time-dependent quantum system determines its external potential was reformulated as a fixed point problem. This idea was used to generalize the existence and uniqueness theorems underlying time-dependent density functional theory. In this work we extend this proof to allow for more general norms and prov…
▽ More
In a recent letter [Europhys. Lett. 95, 13001 (2011)] the question of whether the density of a time-dependent quantum system determines its external potential was reformulated as a fixed point problem. This idea was used to generalize the existence and uniqueness theorems underlying time-dependent density functional theory. In this work we extend this proof to allow for more general norms and provide a numerical implementation of the fixed-point iteration scheme. We focus on the one-dimensional case as it allows for a more in-depth analysis using singular Sturm-Liouville theory and at the same time provides an easy visualization of the numerical applications in space and time. We give an explicit relation between the boundary conditions on the density and the convergence properties of the fixed-point procedure via the spectral properties of the associated Sturm-Liouville operator. We show precisely under which conditions discrete and continuous spectra arise and give explicit examples. These conditions are then used to show that in the most physically relevant cases the fixed point procedure converges. This is further demonstrated with an example.
△ Less
Submitted 20 April, 2012; v1 submitted 27 March, 2012;
originally announced March 2012.
