Among $\R^3$-valued triples of random vectors $(X,Y,Z)$ having fixed marginal probability laws, what is the best way to jointly draw $(X,Y,Z)$ in such a way that the simplex generated by $(X,Y,Z)$ has maximal average volume? Motivated by this simple question, we study optimal transportation problems with several marginals when the objective function is the determinant or its absolute value.
We consider some repulsive multimarginal optimal transportation problems which include, as a particular case, the Coulomb cost. We prove a regularity property of the minimizers (optimal transportation plan) from which we deduce existence and some basic regularity of a maximizer for the dual problem (Kantorovich potential). This is then applied to obtain some estimates of the cost and to the study of continuity properties.
We study an optimal control problem for a simple transportation model on a path graph. We give a closed form solution for the optimal controller, which can also account for planned disturbances using feed-forward. The optimal controller is highly structured, which allows the controller to be implemented using only local communication, conducted through two sweeps through the graph.
In this paper, we prove a structure theorem for discrete optimal transportation plans. We show that, given any pair of discrete probability measures and a cost function, there exists an optimal transportation plan that can be expressed as the sum of two deterministic plans. As an application, we estimate the infinity-Wasserstein distance between two discrete probability measures $μ$ and $ν$ with the $p$-Wasserstein distance, times a constant depending on $μ$, $ν$, and the fixed cost function.
The article deals with the problem of optimal location of production and distribution points in the vertices of the transportation network considered as an investment project. On the network set production of raw materials points and demand points.
We consider the model of a transportation problem with the objective of finding a minimum-cost transportation plan for shipping a given commodity from a set of supply centers to the customers. Since the exact values of supply and demand and the exact transportation costs are not always available for real-world problems, we adopt the approach of interval programming to represent such uncertainty, resulting in the model of an interval transportation problem. The interval model assumes that lower and upper bounds on the data are given and the values can be independently perturbed within these bou…
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.
The so-called eigenvalues and eigenfunctions of the infinite Laplacian $Δ_\infty$ are defined through an asymptotic study of that of the usual $p$-Laplacian $Δ_p$, this brings to a characterization via a non-linear eigenvalue problem for a PDE satisfied in the viscosity sense. In this paper, we obtain an other characterization of the first eigenvalue via a problem of optimal transportation, and recover properties of the first eigenvalue and corresponding positive eigenfunctions.
In this paper, we propose a multi-player extension of the minimum cost flow problem inspired by a transportation problem that arises in modern transportation industry. We associate one player with each arc of a directed network, each trying to minimize its cost function subject to the network flow constraints. In our model, the cost function can be any general nonlinear function, and the flow through each arc is an integer. We present algorithms to compute efficient Pareto optimal point(s), where the maximum possible number of players (but not all) minimize their cost functions simultaneously.…
The classical problem of optimal transportation can be formulated as a linear optimization problem on a convex domain: among all joint measures with fixed marginals find the optimal one, where optimality is measured against a cost function. Here we consider a natural but largely unexplored variant of this problem by imposing a pointwise constraint on the joint (absolutely continuous) measures: among all joint densities with fixed marginals and which are dominated by a given density, find the optimal one. For this variant, we show local non-degeneracy of the cost function implies every minimize…
In the classical Monge-Kantorovich problem, the transportation cost only depends on the amount of mass sent from sources to destinations and not on the paths followed by this mass. Thus, it does not allow for congestion effects. Using the notion of traffic intensity, we propose a variant taking into account congestion. This leads to an optimization problem posed on a set of probability measures on a suitable paths space. We establish existence of minimizers and give a characterization. As an application, we obtain existence and variational characterization of equilibria of Wardrop type in a co…
Given two n-dimensional measures $μ$ and $ν$ on Polish spaces, we propose an optimal transportation's formulation, inspired by classical Kan-torovitch's formulation in the scalar case. In particular, we established a strong duality result and as a consequence, optimality conditions are investigated. Wasserstein's metrics induced by our formulation are also investigated.
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…
It is shown that optimal network plans can be obtained, naturally, as a limit of easier problems of point allocations. These problems are obtained by minimizing the mass transportation on the set of atomic measures of prescribed number of atoms. Each of these problems can be solved by minimizing a function of a finite, prescribed number of variables.
In this paper, we study the optimal transport problem induced by separable cost functions. In this framework, transportation can be expressed as the composition of two lower-dimensional movements. Through this reformulation, we prove that the random variable inducing the optimal transportation plan enjoys a conditional independence property. We conclude the paper by focusing on some significant settings. In particular, we study the problem in the Euclidean space endowed with the squared Euclidean distance. In this instance, we retrieve an explicit formula for the optimal transportation plan be…
We study the optimal transport problem in sub-Riemannian manifolds where the cost function is given by the square of the sub-Riemannian distance. Under appropriate assumptions, we generalize Brenier-McCann's Theorem proving existence and uniqueness of the optimal transport map. We show the absolute continuity property of Wassertein geodesics, and we address the regularity issue of the optimal map. In particular, we are able to show its approximate differentiability a.e. in the Heisenberg group (and under some weak assumptions on the measures the differentiability a.e.), which allows to write a…
We study a multi-marginal optimal transportation problem with a cost function of the form $c(x_{1}, \ldots,x_{m})=\sum_{k=1}^{m-1}|x_{k}-x_{k+1}|^{2} + |x_{m}- F(x_{1})|^{2}$, where $F: \mathbb{R}^n \rightarrow \mathbb{R}^n$. When $m=4$, $F$ is a positive multiple of the identity mapping, and the first and last marginals are absolutely continuous with respect to Lebesgue measure, we establish that any solution of the Kantorovich problem is induced by a map; the solution is therefore unique. We go on to show that this result is sharp in a certain sense. Precisely, we exhibit examples showing th…
We propose a method for verifying that a given feasible point for a polynomial optimization problem is globally optimal. The approach relies on the Lasserre hierarchy and the result of Lasserre regarding the importance of the convexity of the feasible set as opposed to that of the individual constraints. By focusing solely on certifying global optimality and relaxing the Lasserre hierarchy using necessary conditions for positive semidefiniteness based on matrix determinants, the proposed method is implementable as a computationally tractable linear program. We demonstrate this method via appli…
We consider an optimization problem in a given region $Q$ where an agent has to decide the price $p(x)$ of a product for every $x\in Q$. The customers know the pricing pattern $p$ and may shop at any place $y$, paying the cost $p(y)$ and additionally a transportation cost $c(x,y)$ for a given transportation cost function $c$. We will study two models: the first one where the agent operates everywhere on $Q$ and a second one where the agent operates only in a subregion. For both models we discuss the mathematical framework and we obtain an existence result for a pricing strategy which maximizes…
We formulate and study an optimal transportation problem with infinitely many marginals; this is a natural extension of the multi-marginal problem studied by Gangbo and Swiech (1998). We prove results on the existence, uniqueness and characterization of the optimizer, which are natural extensions of the results of Gangbo and Swiech. The proof relies on a relationship between this problem and the problem of finding barycenters in the Wasserstein space, a connection first observed for finitely many marginals by Agueh and Carlier (2011).
We study Monge's optimal transportation problem, where the cost is given by optimal control cost. We prove the existence and uniqueness of an optimal map under certain regularity conditions on the Lagrangian, absolute continuity of the measures with respect to Lebesgue, and most importantly the absence of sharp abnormal minimizers. In particular, this result is applicable in the case of subriemannian manifolds with a 2-generating distribution and cost given by $d^2$, where $d$ is the subriemannian distance. Also, we discuss some properties of the optimal plan when abnormal minimizers are prese…
In this work, we show how to obtain for non-compact manifolds the results that have already been done for Monge Transport Problem for costs coming from Tonelli Lagrangians on compact manifolds. In particular, the already known results for a cost of the type $d^r,r>1$, where $d$ is the Riemannian distance of a complete Riemannian manifold, hold without any curvature restriction.
This paper studies a variant of ramified/branched optimal transportation problems. Given the distributions of production capacities and market sizes, a firm looks for an allocation of productions over factories, a distribution of sales across markets, and a transport path that delivers the product to maximize its profit. Mathematically, given any two measures $μ$ and $ν$ on $X$, and a payoff function $h$, the planner wants to minimize $\mathbf{M}_{α}(T)-\int_{X}hd(\partial T)$ among all transport paths $T$ from $\tildeμ$ to $\tildeν$ with $\tildeμ\leq μ$ and $\tildeν\leq ν$, where $\mathbf{M}_…
The main result of this paper is the existence of an optimal transport map $T$ between two given measures $μ$ and $ν$, for a cost which considers the maximal oscillation of $T$ at scale $δ$, given by $ω_δ(T):=\sup_{|x-y|<δ}|T(x)-T(y)|$. The minimization of this criterion finds applications in the field of privacy-respectful data transmission. The existence proof unfortunately only works in dimension one and is based on some monotonicity considerations.
We propose to tackle the problem of understanding the effect of regularization in Sinkhorn algotihms. In the case of Gaussian distributions we provide a closed form for the regularized optimal transport which enables to provide a better understanding of the effect of the regularization from a statistical framework.
In this paper we study the BV regularity for solutions of variational problems in Optimal Transportation. As an application we recover BV estimates for solutions of some non-linear parabolic PDE by means of optimal transportation techniques. We also prove that the Wasserstein projection of a measure with BV density on the set of measures with density bounded by a given BV function f is of bounded variation as well. In particular, in the case f = 1 (projection onto a set of densities with an L^\infty bound) we precisely prove that the total variation of the projection does not exceed the total …
We establish that solving an optimal transportation problem in which the source and target densities are defined on manifolds with different dimensions, is equivalent to solving a new nonlocal analog of the Monge-Ampère equation, introduced here for the first time. Under suitable topological conditions, we also establish that solutions are smooth if and only if a local variant of the same equation admits a smooth and uniformly elliptic solution. We show that this local equation is elliptic, and $C^{2,α}$ solutions can therefore be bootstrapped to obtain higher regularity results, assuming smoo…
We prove existence and uniqueness results for solutions to a class of optimal transportation problems with infinitely many marginals, supported on the real line. We also provide a characterization of the solution with an explicit formula. We then show that this result implies an infinite dimensional rearrangement inequality, and use it to derive upper bounds on solutions to parabolic PDE via the Feynman-Kac formula. This result can be used to provide model independent bounds on the prices of certain derivatives in mathematical finance. As an another application, we obtain refined phase-space b…
This paper proposes an optimal allocation problem with ramified transport technology in a spatial economy. Ramified transportation is used to model the transport economy of scale in group transportation observed widely in both nature and efficiently designed transport systems of branching structures. The ramified allocation problem aims at finding an optimal allocation plan as well as an associated optimal allocation path to minimize overall cost of transporting commodity from factories to households. This problem differentiates itself from existing ramified transportation literature in that t…
During the pandemic of COVID-19, the demand of the transportation systems are drastically changed both qualitatively and quantitatively and the network has become obsolete. In this article, we study the problem of finding an optimal subnetwork that guarantee that (i) the minimal access time from any node of the urban network to the new network is not {\em too large} compared to the original transportation network; (ii) for any itinerary, the delay caused by the deletion of nodes of the transportation network is not {\em too big}; and (iii) the number of nodes of the transportation network has …
Universidad de Antioquia(安蒂奥基亚大学);Innopolis University(因诺波利斯大学);St.Petersburg Branch of the Steklov Mathematical Institute of the Russian Academy of Sciences(俄罗斯科学院列别杰夫数学研究所圣彼得堡分支);Dipartimento di Matematica, Università di Pisa(比萨大学数学系);HSE University(高等经济学院)
In this paper, we study the optimal transportation for generalized Lagrangian $L=L(x, u,t)$, and consider the cost function as following: $$c(x, y)=\inf_{\substack{x(0)=x\\x(1)=y\\u\in\mathcal{U}}}\int_0^1L(x(s), u(x(s),s), s)ds.$$ Where $\mathcal{U}$ is a control set, and $x$ satisfies the following ordinary equation: $$\dot{x}(s)=f(x(s),u(x(s),s)).$$ We prove that under the condition that the initial measure $μ_0$ is absolutely continuous w.r.t. the Lebesgue measure, the Monge problem has a solution, and the optimal transport map just walks along the characteristic curves of the correspondin…
We show that in any complete metric space the probability measures $μ$ with compact and connected support are the ones having the property that the optimal tranportation distance to any other probability measure $ν$ living on the support of $μ$ is bounded below by a positive function of the $L^\infty$ transportation distance between $μ$ and $ν$. The function giving the lower bound depends only on the lower bound of the $μ$-measures of balls centered at the support of $μ$ and on the cost function used in the optimal transport. We obtain an essentially sharp form of this function. In the case of…
We introduce and study a new optimal transport problem on a bounded domain $\barΩ\subset \mathbb R^d$, defined via a dynamical Benamou-Brenier formulation. The model handles differently the motion in the interior and on the boundary, and penalizes the transfer of mass between the two. The resulting distance interpolates between classical optimal transport on $\barΩ$ on the one hand, and on the other hand between two independent optimal transport problems set on $Ω$ and $\partial Ω$.
Two geometrical structures have been extensively studied for a manifold of probability distributions. One is based on the Fisher information metric, which is invariant under reversible transformations of random variables, while the other is based on the Wasserstein distance of optimal transportation, which reflects the structure of the distance between random variables. Here, we propose a new information-geometrical theory that is a unified framework connecting the Wasserstein distance and Kullback-Leibler (KL) divergence. We primarily considered a discrete case consisting of $n$ elements and …
An optimal transport path may be viewed as a geodesic in the space of probability measures under a suitable family of metrics. This geodesic may exhibit a tree-shaped branching structure in many applications such as trees, blood vessels, draining and irrigation systems. Here, we extend the study of ramified optimal transportation between probability measures from Euclidean spaces to a geodesic metric space. We investigate the existence as well as the behavior of optimal transport paths under various properties of the metric such as completeness, doubling, or curvature upper boundedness. We als…
We describe the relation between block Jacobi matrices and minimization problems for discrete time optimal control problems. Using techniques developed for the continuous case, we provide new algorithms to compute spectral invariants of block Jacobi matrices. Some examples and applications are presented.
In this paper we analyze a mass transportation problem in a bounded domain with the possibility to transport mass to/from the boundary, paying the transport cost, that is given by the Euclidean distance plus an extra cost depending on the exit/entrance point. This problem appears in import/export model, as well as in some shape optimization problems. We study the L^p summability of the transport density which does not follow from standard theorems, as the target measures are not absolutely continuous but they have some parts of them which are concentrated on the boundary. We also provide the r…
Feedback particle filter (FPF) is a Monte-Carlo (MC) algorithm to approximate the solution of a stochastic filtering problem. In contrast to conventional particle filters, the Bayesian update step in FPF is implemented via a mean-field type feedback control law. The objective for this paper is to situate the development of FPF and related controlled interacting particle system algorithms within the framework of optimal transportation theory. Starting from the simplest setting of the Bayes' update formula, a coupling viewpoint is introduced to construct particle filters. It is shown that the co…
The question of which costs admit unique optimizers in the Monge-Kantorovich problem of optimal transportation between arbitrary probability densities is investigated. For smooth costs and densities on compact manifolds, the only known examples for which the optimal solution is always unique require at least one of the two underlying spaces to be homeomorphic to a sphere. We introduce a (multivalued) dynamics which the transportation cost induces between the target and source space, for which the presence or absence of a sufficiently large set of periodic trajectories plays a role in determini…
We study an optimal transportation approach for recovering parameters in dynamical systems with a single smoothly varying attractor. We assume that the data is not sufficient for estimating time derivatives of state variables but enough to approximate the long-time behavior of the system through an approximation of its physical measure. Thus, we fit physical measures by taking the Wasserstein distance from optimal transportation as a misfit function between two probability distributions. In particular, we analyze the regularity of the resulting loss function for general transportation costs an…