We present a general method, based on conjugate duality, for solving a convex minimization problem without assuming unnecessary topological restrictions on the constraint set. It leads to dual equalities and characterizations of the minimizers without constraint qualification. As an example of application, the Monge-Kantorovich optimal transport problem is solved in great detail. In particular, the optimal transport plans are characterized without restriction. This characterization improves the already existing literature on the subject.
The aim of this article is to show that the Monge-Kantorovich problem is the limit of a sequence of entropy minimization problems when a fluctuation parameter tends down to zero. We prove the convergence of the entropic values to the optimal transport cost as the fluctuations decrease to zero, and we also show that the limit points of the entropic minimizers are optimal transport plans. We investigate the dynamic versions of these problems by considering random paths and describe the connections between the dynamic and static problems. The proofs are essentially based on convex and functional …
The Monge-Kantorovich problem is revisited by means of a variant of the saddle-point method without appealing to $c$-conjugates. A new abstract characterization of the optimal plans is obtained in the case where the cost function takes infinite values. It leads us to new explicit sufficient and necessary optimality conditions. As by-products, we obtain a new proof of the well-known Kantorovich dual equality and an improvement of the convergence of the minimizing sequences.
The paper is accompanying "A general Duality Theorem for the Monge-Kantorovich Transport Problem". We explain the methods used in this article in an elementary setting and present two examples complementing the results obtained therein.
This note establishes that a generalization of $c$-cyclical monotonicity from the Monge-Kantorovich problem with two marginals gives rise to a sufficient condition for optimality also in the multi-marginal version of that problem. To obtain the result, the cost function is assumed to be bounded by a sum of integrable functions. The proof rests on ideas from martingale transport.
The famous Afriat's theorem from the theory of revealed preferences establishes necessary and suffient conditions for existence of utility function for a given set of choices and prices. The result on existence of a {\it homogeneous} utility function can be considered as a particular fact of the Monge-Kantorovich mass transportation theory. In this paper we explain this viewpoint and discuss some related questions.
The Monge-Kantorovich mass-transportation problem has been shown to be fundamental for various basic problems in analysis and geometry in recent years. Shen and Zheng (2010) proposed a probability method to transform the celebrated Monge-Kantorovich problem in a bounded region of the Euclidean plane into a Dirichlet boundary problem associated to a nonlinear elliptic equation. Their results are original and sound, however, their arguments leading to the main results are skipped and difficult to follow. In the present paper, we adopt a different approach and give a short and easy-followed detai…
It is shown that the problem of designing a two-reflector system transforming a plane wave front with given intensity into an output plane front with prescribed output intensity can be formulated and solved as the Monge-Kantorovich mass transfer problem.
The Monge-Kantorovich mass transfer problem is equivalently formulated as a convex optimization problem for a potential function. In the light of this formulation an interative algorithm is developed for determining the solution. It is a gradient flow algorithm and each iterate solves a linear elliptic equation. Well-posedness and convergence of the proposed method are analyzed and numerical findings are presented.
We prove that $c$-cyclically monotone transport plans $π$ optimize the Monge-Kantorovich transportation problem under an additional measurability condition. This measurability condition is always satisfied for finitely valued, lower semi-continuous cost functions. In particular, this yields a positive answer to Problem 2.25 in C. Villani's book. We emphasize that we do not need any regularity conditions as were imposed in the previous literature.
We shall present a measure theoretical approach for which together with the Kantorovich duality provide an efficient tool to study the optimal transport problem. Specifically, we study the support of optimal plans where the cost function does not satisfy the classical twist condition in the two marginal problem as well as in the multi-marginal case when twistedness is limited to certain subsets.
The dual attainment of the Monge--Kantorovich transport problem is analyzed in a general setting. The spaces $X, Y$ are assumed to be polish and equipped with Borel probability measures $μ$ and $ν$. The transport cost function $c:\XY \to [0,\infty]$ is assumed to be Borel measurable. We show that a dual optimizer always exists, provided we interpret it as a projective limit of certain finitely additive measures. Our methods are functional analytic and rely on Fenchel's perturbation technique.
Let $X$ a probability measure space and $ψ_1....ψ_N$ measurable, real valued functions on $X$. Consider all possible partitions of $X$ into $N$ disjoint subdomains $X_i$ on which $\int_{X_i}ψ_i$ are prescribed. We address the question of characterizing the set $(m_1,,,m_N) \in \R^N$ for which there exists a partition $X_1, ... X_N$ of $X$ satisfying $\int_{X_i}ψ_i= m_i$ and discuss some optimization problems on this set of partitions. The relation of this problem to semi-discrete version of optimal mass transportation is discussed as well.
The notion of Nash equilibria plays a key role in the analysis of strategic interactions in the framework of $N$ player games. Analysis of Nash equilibria is however a complex issue when the number of players is large. In this article we emphasize the role of optimal transport theory in: 1) the passage from Nash to Cournot-Nash equilibria as the number of players tends to infinity, 2) the analysis of Cournot-Nash equilibria.
We study the Kantorovich-Rubinstein transhipment problem when the difference between the source and the target is not anymore a balanced measure but belongs to a suitable subspace $X(Ω)$ of first order distribution. A particular subclass $X_0^\sharp(Ω)$ of such distributions will be considered which includes the infinite sums of dipoles $\sum_k(δ_{p_k}-δ_{n_k})$ studied in \cite{P1, P2}. In spite of this weakened regularity, it is shown that an optimal transport density still exists among nonnegative finite measures. Some geometric properties of the Banach spaces $X(Ω)$ and $X_0^\sharp(Ω)$ can…
The duality theory of the Monge--Kantorovich transport problem is analyzed in a general setting. The spaces $X, Y$ are assumed to be polish and equipped with Borel probability measures $μ$ and $ν$. The transport cost function $c:X\times Y \to [0,\infty]$ is assumed to be Borel. Our main result states that in this setting there is no duality gap, provided the optimal transport problem is formulated in a suitably relaxed way. The relaxed transport problem is defined as the limiting cost of the partial transport of masses $1-\varepsilon$ from $(X,μ)$ to $(Y, ν)$, as $\varepsilon >0$ tends to zero…
A remarkable connection between optimal design and Monge transport was initiated in the years 1997 in the context of the minimal elastic compliance problem and where the euclidean metric cost was naturally involved. In this paper we present different variants in optimal design of mechanical structures, in particular focusing on the optimal pre-stressed elastic membrane problem. We show that the underlying metric cost is associated with an unknown maximal monotone map which maximizes the Monge-Kantorovich distance between two measures. In parallel with the classical duality theory leading to ex…
It is known from clever mathematical examples \cite{Ca10} that the Monge ansatz may fail in continuous two-marginal optimal transport (alias optimal coupling alias optimal assignment) problems. Here we show that this effect already occurs for finite assignment problems with $N=3$ marginals, $\ell=3$ 'sites', and symmetric pairwise costs, with the values for $N$ and $\ell$ both being optimal. Our counterexample is a transparent consequence of the convex geometry of the set of symmetric Kantorovich plans for $N=\ell=3$, which -- as we show -- possess 22 extreme points, only 7 of which are Monge.…
This paper mainly investigates the approximation of a global maximizer of the 1-D Monge-Kantorovich mass transfer problem through the approach of nonlinear differential equations with Dirichlet boundary. Using an approximation mechanism, the primal maximization problem can be transformed into a sequence of minimization problems. By applying the canonical duality theory, one is able to derive a sequence of analytic solutions for the minimization problems. In the final analysis, the convergence of the sequence to a global maximizer of the primal Monge-Kantorovich problem will be demonstrated.
It is well-known that duality in the Monge-Kantorovich transport problem holds true provided that the cost function $c:X\times Y\to [0,\infty]$ is lower semi-continuous or finitely valued, but it may fail otherwise. We present a suitable notion of \emph{rectificaton} $c_r$ of the cost $c$, so that the Monge-Kantorovich duality holds true replacing $c$ by $c_r$. In particular, passing from $c$ to $c_r$ only changes the value of the primal Monge-Kantorovich problem. Finally, the rectified function $c_r $ is lower semi-continuous as soon as $X$ and $Y$ are endowed with proper topologies, thus emp…
We consider symmetric multi-marginal Kantorovich optimal transport problems on finite state spaces with uniform-marginal constraint. These problems consist of minimizing a linear objective function over a high-dimensional polytope, here referred to as Kantorovich polytope. The presented results are of split nature, computational and theoretical. Within the computational part only small numbers of marginals $N$ and marginal sites $\ell$ are considered. This restriction allows us to computationally determine all extreme points of the Kantorovich polytope and investigate how many of them are in c…
We propose a model to describe the optimal distributions of residents and services in a prescribed urban area. The cost functional takes into account the transportation costs (according to a Monge--Kantorovich-type criterion) and two additional terms which penalize concentration of residents and dispersion of services. The tools we use are the Monge--Kantorovich mass transportation theory and the theory of nonconvex functionals defined on measures.
By disintegration of transport plans it is introduced the notion of transport class. This allows to consider the Monge problem as a particular case of the Kantorovich transport problem, once a transport class is fixed. The transport problem constrained to a fixed transport class is equivalent to an abstract Monge problem over a Wasserstein space of probability measures. Concerning solvability of this kind of constrained problems, it turns out that in some sense the Monge problem corresponds to a lucky case.
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 …
Let $X,Y$ be two finite sets of points having $\#X = m$ and $\#Y = n$ points with $μ= (1/m) \sum_{i=1}^{m} δ_{x_i}$ and $ν= (1/n) \sum_{j=1}^{n} δ_{y_j}$ being the associated uniform probability measures. A result of Birkhoff implies that if $m = n$, then the Kantorovich problem has a solution which also solves the Monge problem: optimal transport can be realized with a bijection $π: X \rightarrow Y$. This is impossible when $m \neq n$. We observe that when $m \neq n$, there exists a solution of the Kantorovich problem such that the mass of each point in $X$ is moved to at most $n/\gcd(m,n)$ d…
This paper is devoted to the study of the Monge-Kantorovich theory of optimal mass transport and its applications, in the special case of one-dimensional and circular distributions. More precisely, we study the Monge-Kantorovich distances between discrete sets of points on the unit circle, in the case where the ground distance between two points x and y is defined as h(d(x,y)), where d is the geodesic distance on the circle and h a convex and increasing function. We first prove that computing a Monge-Kantorovich distance between two given sets of pairwise different points boils down to cut the…
In this paper, we provide an alternative proof of the monotonicity principle for the optimal Skorokhod embedding problem established by Beiglböck, Cox and Huesmann. This principle presents a geometric characterization that reflects the desired optimality properties of Skorokhod embeddings. Our proof is based on the adaptation of the Monge-Kantorovich duality in our context together with a delicate application of the optional cross-section theorem and a clever conditioning argument.
An analogue of the quadratic Wasserstein (or Monge-Kantorovich) distance between Borel probability measures on $\mathbf{R}^d$ has been defined in [F. Golse, C. Mouhot, T. Paul: Commun. Math. Phys. 343 (2015), 165-205] for density operators on $L^2(\mathbf{R}^d)$, and used to estimate the convergence rate of various asymptotic theories in the context of quantum mechanics. The present work proves a Kantorovich type duality theorem for this quantum variant of the Monge-Kantorovich or Wasserstein distance, and discusses the structure of optimal quantum couplings. Specifically, we prove that optima…
In this paper, we give a new characterization of the cut locus of a point on a compact Riemannian manifold as the zero set of the optimal transport density solution of the Monge-Kantorovich equations, a PDE formulation of the optimal transport problem with cost equal to the geodesic distance. Combining this result with an optimal transport numerical solver based on the so-called dynamical Monge-Kantorovich approach, we propose a novel framework for the numerical approximation of the cut locus of a point in a manifold. We show the applicability of the proposed method on a few examples settled o…
We study the Lagrangian formulation of a class of the Monge-Kantorovich optimal transportation problem. It can be considered a stochastic optimal transportation problem for absolutely continuous stochastic processes. A cost function and stochastic processes under consideration is not convex and have essentially bounded time derivatives almost surely, respectively. This paper is a continuation of the second author's master thesis.
The Monge-Kantorovich problem for the infinite Wasserstein distance presents several peculiarities. Among them the lack of convexity and then of a direct duality. We study in dimension 1 the dual problem introduced by Barron, Bocea and Jensen. We construct a couple of Kantorovich potentials which is "as less trivial as possible". More precisely, we build a potential which is non constant around any point that the plan which is locally optimal moves at maximal distance. As an application, we show that the set of points which are displaced to maximal distance by a locally optimal transport plan …
We introduce fast algorithms for generalized unnormalized optimal transport. To handle densities with different total mass, we consider a dynamic model, which mixes the $L^p$ optimal transport with $L^p$ distance. For $p=1$, we derive the corresponding $L^1$ generalized unnormalized Kantorovich formula. We further show that the problem becomes a simple $L^1$ minimization which is solved efficiently by a primal-dual algorithm. For $p=2$, we derive the $L^2$ generalized unnormalized Kantorovich formula, a new unnormalized Monge problem and the corresponding Monge-Ampère equation. Furthermore, we…
We study solutions to the multi-marginal Monge-Kantorovich problem which are concentrated on several graphs over the first marginal. We first present two general conditions on the cost function which ensure, respectively, that any solution must concentrate on either finitely many or countably many graphs. We show that local differential conditions on the cost, known to imply local $d$-rectifiability of the solution, are sufficient to imply a local version of the first of our conditions. We exhibit two examples of cost functions satisfying our conditions, including the Coulomb cost from density…
A probabilistic method for solving the Monge-Kantorovich mass transport problem on $R^d$ is introduced. A system of empirical measures of independent particles is built in such a way that it obeys a doubly indexed large deviation principle with an optimal transport cost as its rate function. As a consequence, new approximation results for the optimal cost function and the optimal transport plans are derived. They follow from the Gamma-convergence of a sequence of normalized relative entropies toward the optimal transport cost. A wide class of cost functions including the standard power cost fu…
We prove existence of an optimal transport map in the Monge-Kantorovich problem associated to a cost $c(x,y)$ which is not finite everywhere, but coincides with $|x-y|^2$ if the displacement $y-x$ belongs to a given convex set $C$ and it is $+\infty$ otherwise. The result is proven for $C$ satisfying some technical assumptions allowing any convex body in $\R^2$ and any convex polyhedron in $\R^d$, $d>2$. The tools are inspired by the recent Champion-DePascale-Juutinen technique. Their idea, based on density points and avoiding disintegrations and dual formulations, allowed to deal with $L^\inf…
The optimal transport problem is studied in the context of Lorentz-Finsler geometry. For globally hyperbolic Lorentz-Finsler spacetimes the first Kantorovich problem and the Monge problem are solved. Further the intermediate regularity of the transport paths is studied. These results generalize parts of Bertrand & Puel and Brenier et al.
One revisits the standard saddle-point method based on conjugate duality for solving convex minimization problems. Our aim is to reduce or remove unnecessary topological restrictions on the constraint set. Dual equalities and characterizations of the minimizers are obtained with weak or without constraint qualifications. The main idea is to work with intrinsic topologies which reflect some geometry of the objective function. The abstract results of this article are applied in other papers to the Monge-Kantorovich optimal transport problem and the minimization of entropy functionals.
We consider the Monge-Kantorovich transport problem in an abstract measure theoretic setting. Our main result states that duality holds if $c:X\times Y\to [0,\infty)$ is an arbitrary Borel measurable cost function on the product of Polish spaces $X,Y$. In the course of the proof we show how to relate a non - optimal transport plan to the optimal transport costs via a ``subsidy'' function and how to identify the dual optimizer. We also provide some examples showing the limitations of the duality relations.
