MWGraD: Multi-Objective Wasserstein Descent

• MWGraD is a particle-based optimization method that leverages the Riemannian geometry of Wasserstein space for multi-objective distributional optimization.
• It computes projections of negative Wasserstein gradients onto the convex hull of functional gradients, ensuring Pareto-optimal updates for conflicting objectives.
• Kernel-based approximations and quadratic programming enable efficient particle updates, with accelerated variants like A-MWGraD offering improved convergence rates.

Multiple Wasserstein Gradient Descent (MWGraD) refers to a class of particle-based optimization algorithms for simultaneous minimization of multiple objective functionals over probability measures in Wasserstein space. Unlike classical multi-objective gradient methods in Euclidean space, MWGraD exploits the Riemannian geometry of the Wasserstein-2 space $\mathcal{P}_2(\mathcal{X})$, projecting negative Wasserstein gradients onto the convex hull of multiple functional gradients and providing a framework for multi-objective distributional optimization (MODO). MWGraD unifies concepts from optimal transport, multi-objective optimization, and statistical inference, enabling efficient sampling and inference in settings with potentially conflicting distributional objectives (Nguyen et al., 24 May 2025, Nguyen et al., 27 Jan 2026).

1. Mathematical Foundations and Problem Statement

The goal of multi-objective distributional optimization is to find a probability measure $\rho \in \mathcal{P}_2(\mathcal{X})$ that is Pareto-optimal with respect to $K$ smooth functionals $F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$. The space $\mathcal{P}_2(\mathcal{X})$ is equipped with the 2-Wasserstein metric

$$\mathcal{W}_2^2(\rho,\rho') = \inf_{\gamma \in \Pi(\rho, \rho')}\int \|x - y\|^2 \gamma(dx, dy),$$

where $\Pi(\rho, \rho')$ denotes couplings of $\rho$ and $\rho'$. Pareto optimality requires that no alternative $\rho'$ strictly improves all $\rho \in \mathcal{P}_2(\mathcal{X})$0.

The Wasserstein geometry induces gradient flows for each $\rho \in \mathcal{P}_2(\mathcal{X})$1 via the continuity equation: $\rho \in \mathcal{P}_2(\mathcal{X})$2 with $\rho \in \mathcal{P}_2(\mathcal{X})$3, where $\rho \in \mathcal{P}_2(\mathcal{X})$4 is the first variation of $\rho \in \mathcal{P}_2(\mathcal{X})$5 at $\rho \in \mathcal{P}_2(\mathcal{X})$6 (Nguyen et al., 24 May 2025, Nguyen et al., 27 Jan 2026).

2. Core MWGraD Algorithm: Continuous and Discrete Time

Continuous-Time Formulation

The continuous-time MWGraD flow seeks a velocity field $\rho \in \mathcal{P}_2(\mathcal{X})$7 such that the induced flow decreases all $\rho \in \mathcal{P}_2(\mathcal{X})$8 as much as possible. It does so by projecting the origin onto the convex hull of gradients in the cotangent space: $\rho \in \mathcal{P}_2(\mathcal{X})$9 where $K$0, and $K$1 denotes the metric projection in the cotangent space $K$2 (Nguyen et al., 27 Jan 2026).

Discrete-Time Particle MWGraD

At each iteration $K$3, MWGraD approximates gradients using a set of $K$4 particles $K$5 sampled from the current empirical measure. The algorithm performs:

1. Computation of each functional’s Wasserstein gradient $K$6 via kernel methods (SVGD or Blob).
2. Solution of a convex quadratic program for $K$7:

$K$8

1. Formation of the combined descent vector $K$9.
2. Particle update using a forward Euler step

$F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$0

This mirrors the continuous-time projected-gradient flow and can be efficiently implemented when $F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$1 is moderate (Nguyen et al., 27 Jan 2026, Nguyen et al., 24 May 2025).

3. Geometric and Algorithmic Structure

The theoretical justification of this approach relies on the Riemannian structure of $F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$2:

• The tangent space at $F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$3 can be identified as $F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$4 for $F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$5.
• The inner product is $F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$6.
• The multi-objective descent vector is obtained by minimizing the $F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$7-norm of convex combinations of the individual gradients.

Algorithmically, MWGraD generalizes the Multiple Gradient Descent Algorithm (MGDA) to probability measures, ensuring descent in all objectives through min-norm convex aggregation (Nguyen et al., 24 May 2025).

4. Convergence Theory and Limitations

Under geodesic convexity in $F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$8, the multi-objective “merit” function

$F_k:\mathcal{P}_2(\mathcal{X})\to \mathbb{R}$9

decays as $\mathcal{P}_2(\mathcal{X})$0 for the continuous MWGraD flow. Specifically, if all $\mathcal{P}_2(\mathcal{X})$1 are geodesically convex and sublevel sets are bounded (with Wasserstein diameter $\mathcal{P}_2(\mathcal{X})$2), then $\mathcal{P}_2(\mathcal{X})$3. No inertial effect or accelerated convergence is present in the original MWGraD; rates are limited by the underlying geometry and the method of approximation of log-density and gradients (Nguyen et al., 27 Jan 2026).

A-MWGraD, an accelerated variant inspired by Nesterov’s momentum, introduces auxiliary momentum fields and achieves faster convergence rates—$\mathcal{P}_2(\mathcal{X})$4 for geodesically convex objectives, and exponential decay under strong convexity. The absence of such mechanisms is a primary limitation of the unaccelerated MWGraD, especially in high-precision or high-dimensional regimes (Nguyen et al., 27 Jan 2026).

5. Relation to Other Wasserstein-based Methods

The MWGraD paradigm extends and interacts with several streams in the literature:

Method (Reference)	Scope	Gradient Type
Bures-Wasserstein GD (Chewi et al., 2020)	Gaussian barycenters	Single-objective
Product-space MWGraD (Chen et al., 31 Oct 2025)	Coupled distributional evolution	Two-marginal (opposite-flux)
Classical SVGD	Particle inference	Euclidean functional kernel
MWGraD (Nguyen et al., 24 May 2025, Nguyen et al., 27 Jan 2026)	Multi-objective over $\mathcal{P}_2(\mathcal{X})$5	Convex-hull Wasserstein
A-MWGraD (Nguyen et al., 27 Jan 2026)	Accelerated multi-objective	Momentum-augmented Wasserstein

In contrast to SVGD-based multi-objective methods, MWGraD couples updates via the geometry of the Wasserstein space. In product-space Wasserstein gradient flows, as described in (Chen et al., 31 Oct 2025), an “equal and opposite flux” structure emerges when coupling two marginals via relative entropy, relevant in control-theoretic applications.

6. Practical Implementations and Applications

In practical settings, MWGraD employs kernel-based approximations for the Wasserstein gradients, using either SVGD-style or mass-transport (“Blob”) methods. The quadratic optimization over $\mathcal{P}_2(\mathcal{X})$6 weights is efficiently tractable for moderate $\mathcal{P}_2(\mathcal{X})$7, and the overall computational complexity is dominated by kernel operations and, when used, Sinkhorn or entropic-OT solvers (Nguyen et al., 27 Jan 2026, Nguyen et al., 24 May 2025).

MWGraD has been evaluated on tasks including:

• Mixture-of-Gaussians synthetic sampling, demonstrating efficient particle concentration in joint high-density regions.
• Dissimilarity-based distributional matching (KL, JS), where MWGraD outperforms naive multi-objective extensions of SVGD.
• Multi-task Bayesian learning (e.g., Multi-MNIST), showing superior average test accuracy relative to MOO-SVGD and MT-SGD—suggesting efficiency for shared-parameter Bayesian models (Nguyen et al., 24 May 2025, Nguyen et al., 27 Jan 2026).

Kernel hyperparameters, particle ensemble size, and step sizes are empirically tuned; choices affect both accuracy and computational cost.

7. Open Challenges and Future Directions

The principal limitations of MWGraD stem from:

• The $\mathcal{P}_2(\mathcal{X})$8 convergence rate in the absence of acceleration.
• The need to efficiently approximate gradients and log-densities, particularly in high dimensions.
• Computational overhead increasing with $\mathcal{P}_2(\mathcal{X})$9 for solving the min-norm quadratic program in aggregation.

Proposed advancements include momentum-based acceleration (A-MWGraD), adaptive step sizes, second-order schemes, and distributed particle methods. Potential applications extend to fairness-aware sampling, multi-objective generative modeling, and decentralized control of interacting particle systems.

A plausible implication is that the geometric projection approach of MWGraD and its close variants will remain central in scaling distributional multi-objective optimization and probabilistic inference for large-scale, multi-criteria learning problems (Nguyen et al., 27 Jan 2026, Nguyen et al., 24 May 2025, Chen et al., 31 Oct 2025).