SearcharxivSearch

arXiv subjects

Luca Nenna

Publications and source records attributed to Luca Nenna.

At least 19 recordsLinked to original sources

A land of monotone plenty, bis repetita: from classical to weak optimal transport

The celebrated c-cyclical monotonicity property is shown to boil down to the zeroth-order optimality condition for the optimal transport problem. More precisely, we show that optimality is equivalent to the non-negativity of the linear transport cost functional on the radial cone of admissible perturbations. We then utilise this point of view to extend the c-cyclical monotonicity property to the weak optimal transport problem, for which it corresponds to the first-order optimality condition, namely to the non-negativity of the linearisation of the weak transport cost functional near the optimiser. Altogether, this sheds new light on this monotonicity concept. For both classical and weak optimal transport, we show that this property characterises (under suitable assumptions) optimal transport plans. In the classical case, we recover known results of the literature but with revisited proofs.

math.OC

A PDE approach to Benamou--Brenier formula for the Schr\"odinger problem

We studied the Benamou--Brenier formulation of the Schr\"odinger problem, focusing on a gap between theoretical results and applications, that often involve measures with unbounded support. While the existing proof in the literature relies on the compactness of the marginals' supports to ensure the necessary regularity of the Schr\"odinger potentials, we extend the validity of the Benamou--Brenier formula to the larger class of sub-Gaussian probability measures. Exploiting fine estimates on the Hessian of the potentials and the entropic interpolation, we provide an almost self-contained proof that establishes the existence of a velocity field with the appropriate polynomial growth that ensures the right integrability. This result justifies the use of the dynamic formulation in more general settings, such as Gaussian and mixture-of-Gaussians models, important also for the applications.

math.OC

A reduced-order model for parametrized Optimal Transport problems

In this work, we aim at efficiently solving a parametrized family of optimal transport problems by using model order reduction methods. We propose a reduced-order model by adding to the primal (respectively dual) version of the high-fidelity model the additional constraint to live in a non negative sub cone (resp. in subspaces) of small dimension. The reduced-order model then reads as a linear program with a small number of degrees of freedom and constraints. We identify explicit conditions under which this reduced-order model has at least one solution. We propose two a posteriori error estimations that bounds the error between the optimal values of the high-fidelity problem and the reduced-order model. As one of these estimations requires the computation of non linear terms (with respect to the reduction of dimension), we use an Empirical Interpolation Method (EIM) (see e.g. \cite{maday2007general} or \cite{barrault2004empirical}) to numerically efficiently compute this estimation. We apply the whole methodology on a simple 1D example and on a problem of color transfer between images, and compare its performances to Sinkhorn algorithm.

math.NA

Ordinary differential equations for regularized variational problems involving semi-discrete optimal transport

We consider entropically regularized, semi-discrete versions of variational problems on the set of probability measures involving optimal transport as well as other terms. We prove that the solutions can be characterized by well-posed ordinary differential equations in the regularization parameter. The initial conditions for these equations, corresponding to solutions to completely regularized problems, are typically known explicitly. The ODE can then be solved to recover the solution for an arbitrary degree of regularization; we verify that the solution is continuous in the regularization parameter, implying that taking the limit of the trajectory yields the solution to the fully unregularized problem. We establish analogous results for a version of the problem when the non-optimal transport term is not scaled with the regularization parameter. We exploit our characterization to numerically solve several example problems using standard ODE methods; this strategy exhibits superior robustness to alternatives such as Newton's method, as arbitrary initializations are not required.

math.OC

Particle method for a nonlinear multimarginal optimal transport problem

We study a nonlinear multimarginal optimal transport problem arising in risk management, where the objective is to maximize a spectral risk measure of the pushforward of a coupling by a cost function. Although this problem is inherently nonlinear, it is known to have an equivalent linear reformulation as a multimarginal transport problem with an additional marginal. We introduce a Lagrangian particle discretization of this problem, in which admissible couplings are approximated by uniformly weighted point clouds, and marginal constraints are enforced through Wasserstein penalization. We prove quantitative convergence results for this discretization as the number of particles tends to infinity. The convergence rate is shown to be governed by the uniform quantization error of an optimal solution, and can be bounded in terms of the geometric properties of its support, notably its box dimension. In the case of univariate marginals and supermodular cost functions, where optimal couplings are known to be comonotone, we obtain sharper convergence rates expressed in terms of the asymptotic quantization errors of the marginals themselves. We also discuss the particular case of conditional value at risk, for which the problem reduces to a multimarginal partial transport formulation. Finally, we illustrate our approach with numerical experiments in several application domains, including risk management and partial barycenters, as well as some artificial examples with a repulsive cost.

math.OC

Convergence rates for regularized unbalanced optimal transport: the discrete case

Unbalanced optimal transport (UOT) is a natural extension of optimal transport (OT) allowing comparison between measures of different masses. It arises naturally in machine learning by offering a robustness against outliers. The aim of this work is to provide convergence rates of the regularized transport cost and plans towards their original solution when both measures are weighted sums of Dirac masses.

math.OC

Characterizing and computing solutions to regularized semi-discrete optimal transport via an ordinary differential equation

This paper investigates the semi-discrete optimal transport (OT) problem with entropic regularization. We characterize the solution using a governing, well-posed ordinary differential equation (ODE). This naturally yields an algorithm to solve the problem numerically, which we prove has desirable properties, notably including global strong convexity of a value function whose Hessian must be inverted in the numerical scheme. Extensive numerical experiments are conducted to validate our approach. We compare the solutions obtained using the ODE method with those derived from Newton's method. Our results demonstrate that the proposed algorithm is competitive for problems involving the squared Euclidean distance and exhibits superior performance when applied to various powers of the Euclidean distance. Finally, we note that the ODE approach yields an estimate on the rate of convergence of the solution as the regularization parameter vanishes, for a generic cost function.

math.NA

Large deviations for sticky-reflecting Brownian motion with boundary diffusion

We study a Schilder-type large deviation principle for sticky-reflected Brownian motion with boundary diffusion, both at the static and sample path level in the short-time limit. A sharp transition for the rate function occurs, depending on whether the tangential boundary diffusion is faster or slower than in the interior of the domain. The resulting intrinsic distance naturally gives rise to a novel optimal transport model, where motion and kinetic energy are treated differently in the interior and along the boundary.

math.AP

Ground state energy is not always convex in the number of electrons

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).

math-ph

A variational formulation of a Multi-Population Mean Field Games with non-local interactions

We propose a MFG model with quadratic Hamiltonian involving $N$ populations. This results in a system of $N$ Hamilton-Jacobi-Bellman and $N$ Fokker-Planck equations with non-local interactions. As in the classical case we introduce an Eulerian variational formulation which, despite the non convexity of the interaction, still gives a weak solution to the MFG model. The problem can be reformulated in Lagrangian terms and solved numerically by a Sinkhorn-like scheme. We present numerical results based on this approach, these simulations exhibit different behaviours depending on the nature (repulsive or attractive) of the non-local interaction.

math.AP

An ordinary differential equation for entropic optimal transport and its linearly constrained variants

We characterize the solution to the entropically regularized optimal transport problem by a well-posed ordinary differential equation (ODE). Our approach works for discrete marginals and general cost functions, and in addition to two marginal problems, applies to multi-marginal problems and those with additional linear constraints. Solving the ODE gives a new numerical method to solve the optimal transport problem, which has the advantage of yielding the solution for all intermediate values of the ODE parameter (which is equivalent to the usual regularization parameter). We illustrate this method with several numerical simulations. The formulation of the ODE also allows one to compute derivatives of the optimal cost when the ODE parameter is $0$, corresponding to the fully regularized limit problem in which only the entropy is minimized.

math.OC

Convergence rate of entropy-regularized multi-marginal optimal transport costs

We investigate the convergence rate of multi-marginal optimal transport costs that are regularized with the Boltzmann-Shannon entropy, as the noise parameter $\varepsilon$ tends to $0$. We establish lower and upper bounds on the difference with the unregularized cost of the form $C\varepsilon\log(1/\varepsilon)+O(\varepsilon)$ for some explicit dimensional constants $C$ depending on the marginals and on the ground cost, but not on the optimal transport plans themselves. Upper bounds are obtained for Lipschitz costs or locally semi-concave costs for a finer estimate, and lower bounds for $\mathscr{C}^2$ costs satisfying some signature condition on the mixed second derivatives that may include degenerate costs, thus generalizing results previously in the two marginals case and for non-degenerate costs. We obtain in particular matching bounds in some typical situations where the optimal plan is deterministic.

math.OC

A sparse approximation of the Lieb functional with moment constraints

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\'evy-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.

math-ph

An ODE characterisation of multi-marginal optimal transport with pairwise cost functions

The purpose of this paper is to introduce a new numerical method to solve multi-marginal optimal transport problems with pairwise interaction costs. The complexity of multi-marginal optimal transport generally scales exponentially in the number of marginals $m$. We introduce a one parameter family of cost functions that interpolates between the original and a special cost function for which the problem's complexity scales linearly in $m$. We then show that the solution to the original problem can be recovered by solving an ordinary differential equation in the parameter $\epsilon$, whose initial condition corresponds to the solution for the special cost function mentioned above; we then present some simulations, using both explicit Euler and explicit higher order Runge-Kutta schemes to compute solutions to the ODE, and, as a result, the multi-marginal optimal transport problem.

math.OC

Robust risk management via multi-marginal optimal transport

We study the problem of maximizing a spectral risk measure of a given output function which depends on several underlying variables, whose individual distributions are known but whose joint distribution is not. We establish and exploit an equivalence between this problem and a multi-marginal optimal transport problem. We use this reformulation to establish explicit, closed form solutions when the underlying variables are one dimensional, for a large class of output functions. For higher dimensional underlying variables, we identify conditions on the output function and marginal distributions under which solutions concentrate on graphs over the first variable and are unique, and, for general output functions, we find upper bounds on the dimension of the support of the solution. We also establish a stability result on the maximal value and maximizing joint distributions when the output function, marginal distributions and spectral function are perturbed; in addition, when the variables one dimensional, we show that the optimal value exhibits Lipschitz dependence on the marginal distributions for a certain class of output functions. Finally, we show that the equivalence to a multi-marginal optimal transport problem extends to maximal correlation measures of multi-dimensional risks; in this setting, we again establish conditions under which the solution concentrates on a graph over the first marginal.

math.OC

Grand-Canonical Optimal Transport

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.

math.OC