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 Wasserstein Median of Probability Measures

Wasserstein Medians: Robustness, PDE Characterization, and Numerics

Wasserstein medians: robustness, PDE characterization and numerics

Discrete Wasserstein Barycenters: Optimal Transport for Discrete Data

Computing Wasserstein Barycenter via operator splitting: the method of averaged marginals

A Wasserstein index of dependence for random measures

Hierarchical Integral Probability Metrics: A distance on random probability measures with low sample complexity

Continuous Wasserstein-2 Barycenter Estimation without Minimax Optimization

Generalized Wasserstein Barycenters

$p$-Wasserstein barycenters

Sliced Wasserstein Distance between Probability Measures on Hilbert Spaces

Stochastic Gradient Descent for Barycenters in Wasserstein Space

The Wasserstein Metric between a Discrete Probability Measure and a Continuous One

Optimal transport and barycenters for dendritic measures

On the Wasserstein distance between a hyperuniform point process and its mean

Wasserstein gradient flow for optimal probability measure decomposition

Wasserstein distance in terms of the Comonotonicity Copula

On the equivalence between Fourier-based and Wasserstein distances for probability measures on $\mathbb N$