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.

Maximizers of nonlocal interactions of Wasserstein type

On a general matrix-valued unbalanced optimal transport problem

The Monge-Kantorovich problem on Wasserstein space

On combinatorial properties of greedy Wasserstein minimization

Optimal transport maps, majorization, and log-subharmonic measures

On optimal transport of matrix-valued measures

On properties of the Generalized Wasserstein distance

Minimal Wasserstein Surfaces

Maximal noncompactness of limiting Sobolev embeddings

Ultralimits of Wasserstein spaces and metric measure spaces with Ricci curvature bounded from below

Generalized Wasserstein Barycenters

Discrete Wasserstein Barycenters: Optimal Transport for Discrete Data

Max-sliced Wasserstein concentration and uniform ratio bounds of empirical measures on RKHS

Displacement smoothness of entropic optimal transport

On the Existence of Monge Maps for the Gromov–Wasserstein Problem

Wasserstein-infinity stability and mean field limit of discrete interaction energy minimizers

On the convergence of discrete dynamic unbalanced transport models

On the existence of Monge maps for the Gromov-Wasserstein problem

On nonexpansiveness of metric projection operators on Wasserstein spaces

Decomposition of the Kantorovich problem and Wasserstein distances on simplexes