SearcharxivSearch

arXiv subjects

Wilfrid Gangbo

Publications and source records attributed to Wilfrid Gangbo.

17 recordsLinked to original sources

Nesterov acceleration in optimizing over probability measures

Optimization over probability measures has become an increasingly important paradigm in modern machine learning, scientific computing, and uncertainty quantification. Motivated by Nesterov's accelerated gradient method in Euclidean space, we develop Heavy-ball and Nesterov acceleration methods over the probability measure space $\mathcal{P}_2$ and establish non-asymptotic convergence guarantees that match their Euclidean counterparts. In particular, we derive convergence rates with respect to both the number of iterations and the number of particles used to represent the underlying probability distributions. Extending accelerated optimization from Euclidean space to probability measures is challenging. The natural notion of momentum requires concepts such as tangent bundles of the set of probability space and they are hard to operate numerically. To overcome these difficulties, we introduce two complementary lifting procedures. The first lifts probability measures to phase space through a Hamiltonian formulation, introducing momentum variables into the dynamics. The second lifts probability measures to a common Hilbert space, restoring the linear structure required for convergence analysis while simultaneously yielding executable particle dynamics. Together, these two complementary lifting procedures provide a systematic methodology for designing, analyzing, and implementing momentum-based accelerated optimization methods over probability measure spaces.

math.OC

Master equations with an individual noise on finite state graphs

We develop a classical well-posedness and regularity theory on a finite connected weighted graph for an extended mean field game system, its associated master equation, and a Hamilton-Jacobi- Bellman equation on the probability simplex, all in the presence of an individual noise operator. The geometric structure is inherited from the logarithmic-mean activation functional of discrete optimal transport, under which the entropic Fokker-Planck equation appears as a gradient flow on the graph and the individual noise operator is a bilinear form in the probability vector and the Wasserstein gradient. A central technical step is a quantitative preservation-of-positivity estimate for the discrete continuity equation, which rules out finite-time boundary degeneracy and yields a classical solution theory for the master equation on the open simplex without imposing any boundary condition. As an application, we recover a Nash equilibrium interpretation of the discrete system in terms of Markov chains on the graph. Our setup is inspired by the computational algorithms for optimal mass transport of [10, 11] and provides a rigorous well-posedness theory for several of the equations derived in [25].

math.AP

Large $n$-limit of matrix control problems and non-commutative controls

Building on the free-probability stochastic control framework introduced in arXiv:2502.17329, we connect optimal control problems for $n \times n$ random matrix ensembles with their infinite-dimensional, free-probability analogues. Under natural convexity hypotheses, we prove that the non-commutative value function captures the large-$n$ limit of the corresponding finite-matrix control problems. As an application, we give a new perspective on the Laplace principle for convex functionals in the theory of large deviations for random matrices.

math.AP

Viscosity Solutions in Non-commutative Variables

Motivated by parallels between mean field games and random matrix theory, we develop stochastic optimal control problems and viscosity solutions to Hamilton-Jacobi equations in the setting of non-commutative variables. Rather than real vectors, the inputs to the equation are tuples of self-adjoint operators from a tracial von Neumann algebra. The individual noise from mean field games is replaced by a free semi-circular Brownian motion, which describes the large-$n$ limit of Brownian motion on the space of self-adjoint matrices. We introduce a classical common noise from mean field games into the non-commutative setting as well, allowing the problems to combine both classical and non-commutative randomness.

math.AP

Duality for optimal couplings in free probability

We study the free probabilistic analog of optimal couplings for the quadratic cost, where classical probability spaces are replaced by tracial von Neumann algebras, and probability measures on $\mathbb{R}^m$ are replaced by non-commutative laws of $m$-tuples. We prove an analog of the Monge-Kantorovich duality which characterizes optimal couplings of non-commutative laws with respect to Biane and Voiculescu's non-commutative $L^2$-Wasserstein distance using a new type of convex functions. As a consequence, we show that if $(X,Y)$ is a pair of optimally coupled $m$-tuples of non-commutative random variables in a tracial $\mathrm{W}^*$-algebra $\mathcal{A}$, then $\mathrm{W}^*((1 - t)X + tY) = \mathrm{W}^*(X,Y)$ for all $t \in (0,1)$. Finally, we illustrate the subtleties of non-commutative optimal couplings through connections with results in quantum information theory and operator algebras. For instance, two non-commutative laws that can be realized in finite-dimensional algebras may still require an infinite-dimensional algebra to optimally couple. Moreover, the space of non-commutative laws of $m$-tuples is not separable with respect to the Wasserstein distance for $m > 1$.

math.OA

Mean Field Games Master Equations with Non-separable Hamiltonians and Displacement Monotonicity

In this manuscript, we propose a structural condition on non-separable Hamiltonians, which we term displacement monotonicity condition, to study second order mean field games master equations. A rate of dissipation of a bilinear form is brought to bear a global (in time) well-posedness theory, based on a--priori uniform Lipschitz estimates on the solution in the measure variable. Displacement monotonicity being sometimes in dichotomy with the widely used Lasry-Lions monotonicity condition, the novelties of this work persist even when restricted to separable Hamiltonians.

math.AP

Global well-posedness of Master equations for deterministic displacement convex potential mean field games

This manuscript constructs global in time solutions to the $master\ equations$ for potential Mean Field Games. The study concerns a class of Lagrangians and initial data functions, which are $displacement\ convex$ and so, it may be in dichotomy with the class of so--called $monotone$ functions, widely considered in the literature. We construct solutions to both the scalar and vectorial master equations in potential Mean Field Games, when the underlying space is the whole space $\mathbb{R}^d$ and so, it is not compact.

math.AP

Well-posedness and Regularity for a Polyconvex Energy

We prove the existence, uniqueness, and regularity of minimizers of a polyconvex functional in two and three dimensions, which corresponds to the $H^1$ projection of measure-preserving maps. Our result introduces a new criteria on the uniqueness of the minimizer, based on the smallness of the lagrange multiplier. No estimate on the second derivatives of the pressure is needed to get a unique global minimizer. As an application, we construct a minimizing movement scheme to construct $L^r$ solutions of the Navier-Stokes equation for a short time interval.

math.AP

Unnormalized Optimal Transport

We propose an extension of the computational fluid mechanics approach to the Monge-Kantorovich mass transfer problem, which was developed by Benamou-Brenier. Our extension allows optimal transfer of unnormalized and unequal masses. We obtain a one-parameter family of simple modifications of the formulation in [4]. This leads us to a new Monge-Ampere type equation and a new Kantorovich duality formula. These can be solved efficiently by, for example, the Chambolle-Pock primal-dual algorithm. This solution to the extended mass transfer problem gives us a simple metric for computing the distance between two unnormalized densities. The L1 version of this metric was shown in [23] (which is a precursor of our work here) to have desirable properties.

math.OC

An Optimal Transport Approach for the Kinetic Bohmian Equation

We study the existence theory of solutions of the kinetic Bohmian equation, a nonlinear Vlasov-type equation proposed for the phase-space formulation of Bohmian mechanics. Our main idea is to interpret the kinetic Bohmian equation as a Hamiltonian system defined on an appropriate Poisson manifold built on a Wasserstein space. We start by presenting an existence theory for stationary solutions of the kinetic Bohmian equation. Afterwards, we develop an approximative version of our Hamiltonian system in order to study its associated flow. We then prove existence of solutions of our approximative version. Finally, we present some convergence results for the approximative system, the aim being to establish that, in the limit, the approximative solution satisfies the kinetic Bohmian equation in a weak sense.

math.AP

Geodesic of minimal length in the set of probability measures on graphs

We endow the set of probability measures on a weighted graph with a Monge--Kantorovich metric, induced by a function defined on the set of vertices. The graph is assumed to have $n$ vertices and so, the boundary of the probability simplex is an affine $(n-2)$--chain. Characterizing the geodesics of minimal length which may intersect the boundary, is a challenge we overcome even when the endpoints of the geodesics don't share the same connected components. It is our hope that this work would be a preamble to the theory of Mean Field Games on graphs.

math.CA

On the Matrix Monge-Kantorovich Problem

The classical Monge-Kantorovich (MK) problem as originally posed is concerned with how best to move a pile of soil or rubble to an excavation or fill with the least amount of work relative to some cost function. When the cost is given by the square of the Euclidean distance, one can define a metric on densities called the "Wasserstein distance." In this note, we formulate a natural matrix counterpart of the MK problem for positive definite density matrices. We prove a number of results about this metric including showing that it can be formulated as a convex optimization problem, strong duality, an analogue of the Poincare-Wirtinger inequality, and a Lax-Hopf-Oleinik type result.

math.FA

A partial Laplacian as an infinitesimal generator on the Wasserstein space

We study stochastic processes on the Wasserstein space, together with their infinitesimal generators. One of these processes is modeled after Brownian motion and plays a central role in our work. Its infinitesimal generator defines a partial Laplacian on the space of Borel probability measures, and we use it to define heat flow on the Wasserstein space. We verify a distinctive smoothing effect of this flow for a particular class of initial conditions. To this end, we will develop a theory of Fourier analysis and conic surfaces in metric spaces. We note that the use of the infinitesimal generators has been instrumental in proving various theorems for Mean Field Games, and we anticipate they will play a key role in future studies of viscosity solutions of PDEs in the Wasserstein space.

math.AP

A fast algorithm for Earth Mover's Distance based on optimal transport and L1 type Regularization

We propose a new algorithm to approximate the Earth Mover's distance (EMD). Our main idea is motivated by the theory of optimal transport, in which EMD can be reformulated as a familiar $L_1$ type minimization. We use a regularization which gives us a unique solution for this $L_1$ type problem. The new regularized minimization is very similar to problems which have been solved in the fields of compressed sensing and image processing, where several fast methods are available. In this paper, we adopt a primal-dual algorithm designed there, which uses very simple updates at each iteration and is shown to converge very rapidly. Several numerical examples are provided.

math.NA

Sticky particle dynamics with interactions

We consider compressible pressureless fluid flows in Lagrangian coordinates in one space dimension. We assume that the fluid self-interacts through a force field generated by the fluid itself. We explain how this flow can be described by a differential inclusion on the space of transport maps, in particular when a sticky particle dynamics is assumed. We study a discrete particle approximation and we prove global existence and stability results for solutions of this system. In the particular case of the Euler-Poisson system in the attractive regime our approach yields an explicit representation formula for the solutions.

math.AP

Differential forms on Wasserstein space and infinite-dimensional Hamiltonian systems

Let M denote the space of probability measures on R^D endowed with the Wasserstein metric. A differential calculus for a certain class of absolutely continuous curves in M was introduced by Ambrosio, Gigli and Savare'. In this paper we develop a calculus for the corresponding class of differential forms on M. In particular we prove an analogue of Green's theorem for 1-forms and show that the corresponding first cohomology group, in the sense of de Rham, vanishes. For D=2d we then define a symplectic distribution on M in terms of this calculus, thus obtaining a rigorous framework for the notion of Hamiltonian systems as introduced by Ambrosio and Gangbo. Throughout the paper we emphasize the geometric viewpoint and the role played by certain diffeomorphism groups of R^D.

math.AP

Existence of optimal maps in the reflector-type problems

In this paper, we consider probability measures $μ$ and $ν$ on a $d$--dimensional sphere in $\Rd, d \geq 1,$ and cost functions of the form $c(\x,\y)=l(\frac{|\x-\y|^2}{2})$ that generalize those arising in geometric optics where $l(t)=-\log t.$ We prove that if $μ$ and $ν$ vanish on $(d-1)$--rectifiable sets, if $|l'(t)|>0,$ $\lim_{t\to 0^+}l(t)=+\infty,$ and $g(t):=t(2-t)(l'(t))^2$ is monotone then there exists a unique optimal map $T_o$ that transports $μ$ onto $ν,$ where optimality is measured against $c.$ Furthermore, $\inf_{\x}|T_o\x-\x|>0.$ Our approach is based on direct variational arguments. In the special case when $l(t)=-\log t,$ existence of optimal maps on the sphere was obtained earlier by Glimm-Oliker and independently by X.-J. Wang under more restrictive assumptions. In these studies, it was assumed that either $μ$ and $ν$ are absolutely continuous with respect to the $d$--dimensional Haussdorff measure, or they have disjoint supports. Another aspect of interest in this work is that it is in contrast with a result by Gangbo-McCann who proved that when $l(t)=t$ then existence of an optimal map fails when $μ$ and $ν$ are supported by Jordan surfaces.

math.OC