-
Ground state energy is not always convex in the number of electrons
Authors:
Simone Di Marino,
Mathieu Lewin,
Luca Nenna
Abstract:
We provide the first counterexample showing that the ground state energy of electrons in an external Coulomb potential is not always a convex function of the number of electrons. This convexity has been conjectured for decades and plays an important role in quantum chemistry. Our counterexample involves six nuclei with small fractional charges placed far apart. The ground state energy of 3 electro…
▽ More
We provide the first counterexample showing that the ground state energy of electrons in an external Coulomb potential is not always a convex function of the number of electrons. This convexity has been conjectured for decades and plays an important role in quantum chemistry. Our counterexample involves six nuclei with small fractional charges placed far apart. The ground state energy of 3 electrons is shown to be higher than the average of the energies for 2 and 4 electrons. We also show that the nuclei can bind 2 or 4 electrons, but not 3. This article raises the question of whether the energy convexity really holds for all possible molecules (with nuclei of integer charge).
△ Less
Submitted 27 November, 2024; v1 submitted 13 September, 2024;
originally announced September 2024.
-
A sparse approximation of the Lieb functional with moment constraints
Authors:
Virginie Ehrlacher,
Luca Nenna
Abstract:
The aim of this paper is to present new sparsity results about the so-called Lieb functional, which is a key quantity in Density Functional Theory for electronic structure calculations of molecules. The Lieb functional was actually shown by Lieb to be a convexification of the so-called Lévy-Lieb functional. Given an electronic density for a system of $N$ electrons, which may be seen as a probabili…
▽ More
The aim of this paper is to present new sparsity results about the so-called Lieb functional, which is a key quantity in Density Functional Theory for electronic structure calculations of molecules. The Lieb functional was actually shown by Lieb to be a convexification of the so-called Lévy-Lieb functional. Given an electronic density for a system of $N$ electrons, which may be seen as a probability density on $\mathbb{R}^3$, the value of the Lieb functional for this density is defined as the solution of a quantum multi-marginal optimal transport problem, which reads as a minimization problem defined on the set of trace-class operators acting on the space of electronic wave-functions that are anti-symmetric $L^2$ functions of $\mathbb{R}^{3N}$, with partial trace equal to the prescribed electronic density. We introduce a relaxation of this quantum optimal transport problem where the full partial trace constraint is replaced by a finite number of moment constraints on the partial trace of the set of operators. We show that, under mild assumptions on the electronic density, there exist sparse minimizers to the resulting moment constrained approximation of the Lieb (MCAL) functional that read as operators with rank at most equal to the number of moment constraints. We also prove under appropriate assumptions on the set of moment functions that the value of the MCAL functional converges to the value of the exact Lieb functional as the number of moments go to infinity. We also prove some rates of convergence on the associated approximation of the ground state energy. We finally study the mathematical properties of the associated dual problem and introduce a suitable numerical algorithm in order to solve some simple toy models.
△ Less
Submitted 17 June, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Universal diagonal estimates for minimizers of the Levy-Lieb functional
Authors:
Simone Di Marino,
Augusto Gerolin,
Luca Nenna
Abstract:
Given a wave-function minimizing the Levy-Lieb functional, the intent of this short note is to give an estimate of the probability of the particles being in positions $(x_1, \ldots, x_N)$ in the $δ$-close regime $D_δ= \cup_{i \neq j} \{|x_i - x_j| \leq δ\}$.
Given a wave-function minimizing the Levy-Lieb functional, the intent of this short note is to give an estimate of the probability of the particles being in positions $(x_1, \ldots, x_N)$ in the $δ$-close regime $D_δ= \cup_{i \neq j} \{|x_i - x_j| \leq δ\}$.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
Grand-Canonical Optimal Transport
Authors:
Simone Di Marino,
Mathieu Lewin,
Luca Nenna
Abstract:
We study a generalization of the multi-marginal optimal transport problem, which has no fixed number of marginals $N$ and is inspired of statistical mechanics. It consists in optimizing a linear combination of the costs for all the possible $N$'s, while fixing a certain linear combination of the corresponding marginals.
We study a generalization of the multi-marginal optimal transport problem, which has no fixed number of marginals $N$ and is inspired of statistical mechanics. It consists in optimizing a linear combination of the costs for all the possible $N$'s, while fixing a certain linear combination of the corresponding marginals.
△ Less
Submitted 14 January, 2025; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Generalized incompressible flows, multi-marginal transport and Sinkhorn algorithm
Authors:
Jean-David Benamou,
Guillaume Carlier,
Luca Nenna
Abstract:
Starting from Brenier's relaxed formulation of the incompressible Euler equation in terms of geodesics in the group of measure-preserving diffeomorphisms, we propose a numerical method based on Sinkhorn's algorithm for the entropic regularization of optimal transport. We also make a detailed comparison of this entropic regularization with the so-called Bredinger entropic interpolation problem. Num…
▽ More
Starting from Brenier's relaxed formulation of the incompressible Euler equation in terms of geodesics in the group of measure-preserving diffeomorphisms, we propose a numerical method based on Sinkhorn's algorithm for the entropic regularization of optimal transport. We also make a detailed comparison of this entropic regularization with the so-called Bredinger entropic interpolation problem. Numerical results in dimension one and two illustrate the feasibility of the method.
△ Less
Submitted 5 March, 2018; v1 submitted 23 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.
-
Optimal Transportation Theory with Repulsive Costs
Authors:
Simone Di Marino,
Augusto Gerolin,
Luca Nenna
Abstract:
This paper intents to present the state of art and recent developments of the optimal transportation theory with many marginals for a class of repulsive cost functions. We introduce some aspects of the Density Functional Theory (DFT) from a mathematical point of view, and revisit the theory of optimal transport from its perspective. Moreover, in the last three sections, we describe some recent and…
▽ More
This paper intents to present the state of art and recent developments of the optimal transportation theory with many marginals for a class of repulsive cost functions. We introduce some aspects of the Density Functional Theory (DFT) from a mathematical point of view, and revisit the theory of optimal transport from its perspective. Moreover, in the last three sections, we describe some recent and new theoretical and numerical results obtained for the Coulomb cost, the repulsive harmonic cost and the determinant cost.
△ Less
Submitted 1 December, 2015; v1 submitted 15 June, 2015;
originally announced June 2015.
-
A Numerical Method to solve Optimal Transport Problems with Coulomb Cost
Authors:
Jean-David Benamou,
Guillaume Carlier,
Luca Nenna
Abstract:
In this paper, we present a numerical method, based on iterative Bregman projections, to solve the optimal transport problem with Coulomb cost. This is related to the strong interaction limit of Density Functional Theory. The first idea is to introduce an entropic regularization of the Kantorovich formulation of the Optimal Transport problem. The regularized problem then corresponds to the project…
▽ More
In this paper, we present a numerical method, based on iterative Bregman projections, to solve the optimal transport problem with Coulomb cost. This is related to the strong interaction limit of Density Functional Theory. The first idea is to introduce an entropic regularization of the Kantorovich formulation of the Optimal Transport problem. The regularized problem then corresponds to the projection of a vector on the intersection of the constraints with respect to the Kullback-Leibler distance. Iterative Bregman projections on each marginal constraint are explicit which enables us to approximate the optimal transport plan. We validate the numerical method against analytical test cases.
△ Less
Submitted 7 May, 2015; v1 submitted 5 May, 2015;
originally announced May 2015.
