Abstract:Wasserstein barycenters correspond to optimal solutions of transportation problems for several marginals, and as such have a wide range of applications ranging from economics to statistics and computer science. When the marginal probability measures are absolutely continuous (or vanish on small sets) the theory of Wasserstein barycenters is well-developed (see the seminal paper [1]). However, exact continuous computation of Wasserstein barycenters in this setting is tractable in only a small number of specialized cases. Moreover, in many applications data is given as a set of probability measures with finite support. In this paper, we develop theoretical results for Wasserstein barycenters in this discrete setting. Our results rely heavily on polyhedral theory which is possible due to the discrete structure of the marginals. Our results closely mirror those in the continuous case with a few exceptions. In this discrete setting we establish that Wasserstein barycenters must also be discrete measures and there is always a barycenter which is provably sparse. Moreover, for each Wasserstein barycenter there exists a non-mass-splitting optimal transport to each of the discrete marginals. Such non-mass-splitting transports do not generally exist between two discrete measures unless special mass balance conditions hold. This makes Wasserstein barycenters in this discrete setting special in this regard. We illustrate the results of our discrete barycenter theory with a proof-of-concept computation for a hypothetical transportation problem with multiple marginals: distributing a fixed set of goods when the demand can take on different distributional shapes characterized by the discrete marginal distributions. A Wasserstein barycenter, in this case, represents an optimal distribution of inventory facilities which minimize the squared distance/transportation cost totaled over all demands.

On the convergence of discrete dynamic unbalanced transport models

On the convergence of discrete dynamic unbalanced transport models

On the Convergence of Continuous and Discrete Unbalanced Optimal Transport Models for 1-Wasserstein Distance

On a general matrix-valued unbalanced optimal transport problem

Unconditional convergence for discretizations of dynamical optimal transport

On optimal transport of matrix-valued measures

Discrete Wasserstein Barycenters: Optimal Transport for Discrete Data

Semi-discrete unbalanced optimal transport and quantization

A new class of transport distances

Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation

On a Generalization of Wasserstein Distance and the Beckmann Problem to Connection Graphs

Regularity theory and geometry of unbalanced optimal transport

Simple unbalanced optimal transport

Scaling Algorithms for Unbalanced Transport Problems

Unbalanced L1 optimal transport for vector valued measures and application to Full Waveform Inversion

Eulerian models and algorithms for unbalanced optimal transport

The boundary method for semi-discrete optimal transport partitions and Wasserstein distance computation

Optimal transport maps, majorization, and log-subharmonic measures

Scaling algorithms for unbalanced optimal transport problems

Optimal transport with nonlinear mobilities: A deterministic particle approximation result