---
title: Wasserstein Formulation & Optimal Transport
url: https://www.emergentmind.com/topics/wasserstein-formulation
type: topic
---

# Wasserstein Formulation & Optimal Transport

The Wasserstein formulation is a canonical framework in optimal transport theory that characterizes the minimal cost of transporting one probability measure to another with respect to a specified ground cost, most commonly the squared Euclidean distance. This formulation encompasses both classical two-marginal problems and generalizations to the multi-marginal setting, where optimal transport plans couple more than two marginals. Modern developments include dual formulations, algorithmic advances for tractable high-dimensional computation, as well as applications to Wasserstein barycenters and spline interpolation in the metric space of probability measures. The Wasserstein framework enables both geometric and variational perspectives, which are foundational for recent advances in statistics, machine learning, computational mathematics, and applied sciences [2209.09081].

## 1. Multi-Marginal Optimal Transport: Primal and Dual Wasserstein Formulations

Let $X\subset\mathbb{R}^d$ and given probability measures $\mu_k\in\mathcal{P}(X)$ for $k=1,\dots,N$, the multi-marginal Kantorovich problem is
\[
\min_{\gamma\in\Pi(\mu_1,\dots,\mu_N)} \int_{X^N} c(x_1,\ldots,x_N)\;\mathrm d\gamma(x_1,\ldots,x_N),
\]
where $\Pi(\mu_1,\dots,\mu_N)$ denotes the set of all couplings with prescribed marginals
\[
\Pi(\mu_1,\dots,\mu_N) =\left\{\gamma\in\mathcal{P}(X^N)\;\left|\; (\pi_k)_\#\gamma=\mu_k\quad\forall\,k=1,\dots,N\right.\right\},
\]
and $c:X^N\rightarrow\mathbb{R}$ is a given cost function. For quadratic cost, the Wasserstein-$2$ setting, $c(x_1,\ldots,x_N)$ is typically a sum of squared distances or a symmetric quadratic cost.

After discretization, each marginal is represented on a finite grid $X_k=\{a^{(k)}_1,\dots,a^{(k)}_{\ell_k}\}$, and a plan $\gamma$ is an $\ell_1\times\cdots\times\ell_N$ nonnegative tensor, interpreted as a probability mass function. The discrete problem reads
\[
\begin{aligned}
&\min_\gamma && \langle c,\gamma\rangle \\
&\text{s.t.} && M_k\gamma = \mu_k \quad (k=1,\dots,N), \\
&&& \gamma\ge 0, 
\end{aligned}
\]
where $M_k\gamma$ extracts the $k$-th marginal, and $\langle c,\gamma\rangle$ is the Frobenius inner product. The feasible set is the so-called Kantorovich polytope.

The dual formulation introduces potentials $u_k\in\mathbb{R}^{\ell_k}$, yielding
\[
\max_{u_1,\dots,u_N}\; \sum_{k=1}^N\langle \mu_k,u_k\rangle\quad\text{s.t.}\quad \sum_{k=1}^N u_k(r_k)\le c(r),\;\forall\,r\in X_1\times\cdots\times X_N
\]
with equality of primal and dual optima by linear programming duality.

## 2. The GenCol Algorithm for High-Dimensional Multi-Marginal Problems

The GenCol (genetic column generation) algorithm is specifically designed to solve large-scale multi-marginal optimal transport (MMOT) linear programs which arise in mesh-based Wasserstein formulations. The algorithm operates on a restricted subset of the configuration space, iteratively augmenting active constraints to converge to the full optimal solution. The main steps are:

1. **Column restriction:** Start with a small subset $\Omega\subset X_1\times\cdots\times X_N$.
2. **Reduced LP solve:** Solve the primal and dual LPs on $\Omega$.
3. **Feasibility check:** If dual feasibility extends globally, terminate; the current solution is optimal.
4. **Genetic update:** Otherwise, select a "parent" $r\in\Omega$ with $\gamma(r)>0$, mutate one coordinate to create an "offspring" $r'$ not in $\Omega$, and admit $r'$ if it violates the dual constraint.
5. **Pruning:** If $|\Omega|$ exceeds a chosen inflation threshold, prune inactive columns.

Key properties include:
- Primal LP on $\Omega$ has $|\Omega|$ variables and $\sum_k \ell_k$ constraints.
- By sparsity, at most $\sum_k\ell_k$ columns are needed for an exact solution.
- The genetic update ensures efficient exploration while controlling computational complexity.

The GenCol algorithm empirically achieves exponential convergence and enables MMOT problems with $10^{20}$–$10^{30}$ variables to be solved on standard hardware, whereas classical approaches (Sinkhorn iterations, iterative Bregman projections) are infeasible due to memory constraints [2209.09081].

## 3. Wasserstein Barycenters and Mesh-Free Formulations

The Wasserstein barycenter is the probability measure that minimizes a weighted sum of Wasserstein distances to a given family of marginals. The standard barycenter problem is
\[
\min_{\nu\in\mathcal{P}_2(X)} \sum_{k=1}^N \lambda_k W_2^2(\nu,\mu_k),
\]
with $\lambda_k>0$, $\sum_k \lambda_k=1$. In the mesh-free multi-marginal formulation, the cost is
\[
c(x_1,\dots,x_N) = \sum_{k=1}^N\lambda_k |x_k - B_\lambda(x_1,\dots,x_N)|^2,
\]
with $B_\lambda(x_1,\dots,x_N) = \sum_{k=1}^N \lambda_k x_k$. The barycenter measure is then the pushforward $(B_\lambda)_\#\gamma^*$, where $\gamma^*$ is the optimal MMOT plan, allowing the barycenter to be supported on a grid of size $N$ times finer than the input marginals—hence, "mesh-free."

This formulation avoids limitations of grid-based approaches, which restrict barycenter locations, by exploiting the higher-dimensional simplex induced by the multi-marginal coupling [2209.09081].

## 4. Wasserstein Splines and Geodesic Interpolation

Wasserstein splines generalize classical spline interpolation to the space of probability measures endowed with the Wasserstein metric. Given marginal constraints at discrete times $0 = t_0 < t_1 < \dots < t_T = 1$, the MMOT problem seeks a joint law $\gamma$ on $X^{T+1}$ minimizing
\[
\int_{X^{T+1}} c(x_0,\dots,x_T)\;d\gamma,
\]
subject to $M_i\gamma = \mu_{t_i}$ for all $i$. The cost $c(x_0,\dots,x_T)$ is defined via
\[
c(x_0,\dots,x_T) = \min_{x\in C^2([0,1];X),~x(t_i)=x_i} \int_0^1 |\ddot{x}(t)|^2\,dt,
\]
the cubic-spline energy associated with the knot sequence. The resulting interpolants are $(E_t)_\#\gamma^*$, where $E_t$ evaluates the spline at intermediate times.

This provides a principled, variational approach to interpolate measures along smooth paths in Wasserstein space, with links to dynamic optimal transport [2209.09081].

## 5. Sparsity, Correctness, and Complexity of Wasserstein Formulations

Several theoretical properties characterize the tractability of the MMOT Wasserstein formulation:

- **Sparsity (Dubins):** Any optimizer $\gamma^*$ to the discrete MMOT LP with marginal grid sizes $\ell_k$ has at most $\sum_{k=1}^N (\ell_k-1)+1 = (\sum_{k=1}^N \ell_k)-(N-1)$ nonzeros. This sharp bound ensures that although the full coupling grows exponentially, optimizers are supported on a much smaller subset of configurations.
- **Algorithmic correctness (GenCol):** Under the genetic column update, the reduced LP converges to the global optimum once dual feasibility is satisfied, ensuring correctness and finite termination in practice.
- **Computational efficiency:** Each iteration involves LPs of size $O((\sum_k \ell_k)\times|\Omega|)$, with overall complexity dictated by the manageable active set size $|\Omega|\approx O(\sum_k\ell_k)$.

Empirical observations confirm rapid (often exponential) convergence and mesh-free numerical accuracy for barycenter and spline tasks in high dimensions [2209.09081].

## 6. Significance: Applications and Extensions

The general Wasserstein formulation underlies a broad range of optimal transport-based techniques. Key applications include:

- **Multi-marginal barycenters:** Allowing mesh-free, high-dimensional computation, essential for statistical averaging in geometry and machine learning.
- **Wasserstein splines:** Enabling smooth interpolation of distributions in generative modeling, time-series, and dynamical inference.
- **High-dimensional OT solvers:** Via the GenCol scheme and sparsity guarantees, practical in scientific computing regimes previously inaccessible to full dense plan approaches.
- **Theoretical innovation:** The integration of duality, sparsity, and mesh-free evaluation within a unified mathematical framework has enabled advances across computational mathematics, statistics, and applied sciences.

References and further technical details, such as precise convergence proofs or spline cost expressions, are detailed in [2209.09081].

Source: https://www.emergentmind.com/topics/wasserstein-formulation