Transport type metrics on the space of probability measures involving singular base measures
We develop the theory of a metric, which we call the ν-based Wasserstein metric and denote by Wν, on the set of probability measures P(X) on a domain X⊆Rm. This metric is based on a slight refinement of the notion of generalized geodesics with respect to a base measure ν and is relevant in particular for the case when ν is singular with respect to m-dimensional Lebesgue measure; it is also closely related to the concept of linearized optimal transport. The ν-based Wasserstein metric is defined in terms of an iterated variational problem involving optimal transport to ν; we also characterize it in terms of integrations of classical Wasserstein distance between the conditional probabilities when measures are disintegrated with respect to optimal transport to ν, and through limits of certain multi-marginal optimal transport problems.
We also introduce a class of metrics which are dual in a certain sense to Wν, defined relative to a fixed based measure μ, on the set of measures which are absolutely continuous with respect to a second fixed based measure σ.
As we vary the base measure ν, the ν-based Wasserstein metric interpolates between the usual quadratic Wasserstein distance (obtained when ν is a Dirac mass) and a metric associated with the uniquely defined generalized geodesics obtained when ν is sufficiently regular (eg, absolutely continuous with respect to Lebesgue). When ν concentrates on a lower dimensional submanifold of Rm, we prove that the variational problem in the definition of the ν-based Wasserstein distance has a unique solution. We establish geodesic convexity of the usual class of functionals, and of the set of source measures μ such that optimal transport between μ and ν satisfies a strengthening of the generalized nestedness condition introduced in earlier joint work with McCann.
We also present two applications of the ideas introduced here. First, our dual metric (in fact, a slight variant of it) is used to prove convergence of an iterative scheme to solve a variational problem arising in game theory. We also use the multi-marginal formulation to characterize solutions to the multi-marginal problem by an ordinary differential equation, yielding a new numerical method for it.
This talks represents joint work with Luca Nenna.