---
title: Wasserstein Policy Optimization
url: https://www.emergentmind.com/topics/wasserstein-policy-optimization-wpo
type: topic
---

# Wasserstein Policy Optimization

Searching arXiv for recent papers on Wasserstein Policy Optimization and closely related methods.
Wasserstein Policy Optimization (WPO) denotes policy optimization performed in probability space using Wasserstein geometry. In this perspective, a policy is not treated primarily as a vector of parameters but as a state-indexed family of action distributions, and successive updates are governed by optimal transport structure rather than solely by Kullback–Leibler trust regions or Euclidean parameter gradients. Across the literature, WPO appears both as a broad paradigm and as a collection of concrete algorithms, including Wasserstein gradient flows, Wasserstein trust-region methods, Wasserstein natural gradients, and Wasserstein proximal updates for entropy-regularized reinforcement learning [2505.00663], [2603.02576].

## 1. Conceptual scope and geometric foundations

WPO rests on the view that policies are measurable maps from states into a Wasserstein space of action probabilities. In the most explicit geometric formulation, the admissible policy space is
\[
\Pi := L^0(S; P(A)) = \{ \pi:S\to P(A) \mid \pi \text{ is } (B(S), B(P(A)))\text{-measurable}\},
\]
where \(P(A)\) denotes probability measures on the action space with finite second moment [2604.14765]. This replaces the usual emphasis on parameter space by a geometry on state-conditional action distributions themselves.

The metric structure is typically induced by the \(2\)-Wasserstein distance. For probability measures \(\mu,\nu\) on \(\mathbb{R}^d\) with finite second moment,
\[
W_2^2(\mu,\nu) := \inf_{\gamma\in\Gamma(\mu,\nu)} \int \|x-y\|^2\, d\gamma(x,y),
\]
where \(\Gamma(\mu,\nu)\) is the set of couplings with marginals \(\mu,\nu\) [2603.02576]. In continuous-action reinforcement learning, this geometry assigns low cost to moving probability mass a short distance in action space and high cost to transporting it far away. That property differentiates WPO from KL-based methods, which constrain changes in distribution without encoding the underlying action metric.

A central mathematical object is the continuity equation associated with Wasserstein gradient flow. In the early formulation of policy optimization as Wasserstein gradient flow, policy updates are written as distributional transport on probability-measure space rather than direct parameter ascent [1808.03030]. In later formulations based on Otto calculus, the induced policy-space gradient is expressed through \(\nabla_a Q^\pi(s,a)\), so the geometry of the action space enters the optimization rule explicitly [2604.14765]. This suggests a unifying interpretation: many seemingly different WPO algorithms can be viewed as different discretizations, projections, or relaxations of transport-driven policy evolution.

A recurrent contrast is with KL trust-region methods such as TRPO and PPO. In those methods, successive policies are constrained in KL geometry; in WPO, the trust region is defined by an optimal-transport discrepancy. The practical implication is that WPO respects the metric structure of actions, so moving mass from \(a\) to a nearby \(a'\) is treated as fundamentally different from moving it across distant regions of action space [2210.11137].

## 2. Variational formulations and Wasserstein flows

One foundational route to WPO uses the Jordan–Kinderlehrer–Otto proximal scheme. In its generic form, a policy update is written as
\[
\pi^{(k+1)} = \operatorname*{arg\,min}_{\pi}\;\; F(\pi) + \frac{1}{2\tau}\, W_2^2\!\big(\pi,\, \pi^{(k)}\big),
\]
so that improvement in the objective \(F\) is balanced against Wasserstein proximity to the current policy [2305.10411]. In reinforcement learning, \(F\) is instantiated by a return-based free-energy functional, often including entropy regularization.

For entropy-regularized continuous-action RL, Wasserstein Proximal Policy Gradient gives a per-state proximal problem
\[
\pi_{k+1}(\cdot|s) \in \argmax_{\pi(\cdot|s)} \Big\{ \langle Q_\tau^{\pi_k}(s,\cdot), \pi(\cdot|s)\rangle - \frac{1}{2\eta} W_2^2(\pi(\cdot|s), \pi_k(\cdot|s)) - \tau H^\pi(s) \Big\},
\]
with \(H^\pi(s) := \int \pi(a|s)\log \pi(a|s)\,da\) [2603.02576]. The update is a Wasserstein trust-region step with an explicit entropy term, and it decouples across states.

An operator-splitting derivation separates this proximal update into a drift step and a diffusion step. The drift step is an optimal transport update defined by a transport map \(T_s\) satisfying
\[
T_s(b) \in \argmax_{a \in \mathcal{A}} \Big\{ Q_\tau^{\pi_{k-1/2}}(s,a) - \frac{1}{2\eta}\|a-b\|^2 \Big\},
\]
followed by a heat step
\[
\pi_{k+1}(\cdot|s) = \pi_{k+1/2}(\cdot|s) * \mathcal{N}(0, 2\tau\eta I),
\]
that is, Gaussian convolution with covariance \(2\tau\eta I\) [2603.02576]. In the small-step limit, the Monge map becomes \(a \mapsto a + \eta \nabla_a Q_\tau^\pi(s,a)\), which yields the drift dynamics familiar from gradient-flow interpretations.

A closely related continuous-time formulation is Wasserstein policy gradient for entropy-regularized RL. There the state-conditional policy evolves according to
\[
\partial_t \pi_t(a|s) = - \operatorname{div}_a \Big[ \pi_t(a|s)\nabla_a \big( Q^{\pi_t}(s,a) - \tau \log \pi_t(a|s) \big) \Big],
\]
equivalently via the Langevin SDE
\[
dA_t^s = \nabla_a Q^{\pi_t}(s, A_t^s)\, dt + \sqrt{2\tau}\, dB_t^s, \qquad \pi_t(\cdot|s)=\mathrm{Law}(A_t^s),
\]
with Euler–Maruyama discretization
\[
A_{k+1}^s = A_k^s + \eta \nabla_a Q^{\pi_k}(s,A_k^s) + \sqrt{2\tau\eta}\,\xi_{k+1}, \quad \xi_{k+1}\sim \mathcal{N}(0,I_d)
\]
[2605.26078]. In this form, WPO becomes a transport-plus-diffusion mechanism in action space.

## 3. Representative algorithmic instantiations

The name WPO encompasses several distinct algorithmic realizations rather than a single update rule. One direct actor-critic formulation derives a closed-form parameter update by projecting Wasserstein gradient flow over the space of all policies into a finite-dimensional parameter space. The resulting actor step is
\[
\theta_{t+1} = \theta_t + F_{\theta\theta}^{-1}\, \mathbb{E}_{a\sim\pi_\theta}\big[ \nabla_\theta \nabla_a \log \pi_\theta(a|s)\, \nabla_a Q^\pi(s,a)\big],
\]
which combines deterministic-policy-gradient use of \(\nabla_a Q\) with applicability to stochastic policies without the reparameterization trick [2505.00663].

Another line uses trust-region duality directly. OT-TRPO formulates policy optimization with an optimal-transport discrepancy constraint,
\[
\int_{\mathcal{S}} C\big(\pi(\cdot\mid s),\, \tilde{\pi}(\cdot\mid s)\big)\, d\rho_{\pi}(s)\le \varepsilon,
\]
and proves a one-dimensional convex dual
\[
\min_{\lambda \ge 0}\left\{ \lambda\varepsilon + \int_{\mathcal{S}}\int_{\mathcal{A}} \max_{a' \in \mathcal{A}} \big\{A^\pi(s,a')-\lambda c(a,a')\big\}\, d\pi(a|s)\, d\rho_\pi(s)\right\},
\]
with an optimal policy update characterized by push-forwards and mass splitting [2210.11137].

In deterministic systems, Truly Deterministic Policy Optimization uses Wasserstein-based quadratic regularization because KL and TV are ill-defined or maximal for deterministic policies. In that setting,
\[
W(\pi_2(\cdot|s), \pi_1(\cdot|s))^2 = \|\pi_2(s)-\pi_1(s)\|_2^2,
\]
and the resulting surrogate includes both a squared Wasserstein action-distance term and a policy-sensitivity term involving action-to-observation Jacobians [2205.15379].

Structured policy classes have also motivated specialized WPO variants. For Gaussian mixture policies, policy adaptation is cast as a Wasserstein gradient flow on the space of GMMs, with Gaussian means and covariances updated by Bures–Wasserstein Riemannian optimization and mixture weights updated via an optimal-transport coupling over mixture components [2305.10411]. For behavioral-distribution optimization, Wasserstein Natural Gradient defines a Wasserstein information matrix \(G(\theta)\) through the local expansion
\[
W_2^2(q_\theta, q_{\theta+u}) = u^\top G(\theta)u + o(\|u\|_2^2),
\]
and uses the preconditioned direction \(g_W = G(\theta)^{-1}g\) in policy gradient or evolution-strategy updates [2010.05380].

For orientation, the main instantiations can be summarized as follows.

| Variant | Core update | Distinctive property |
|---|---|---|
| WGF/JKO WPO | Wasserstein proximal step | Policy optimization on measure space |
| OT-TRPO | 1D dual over \(\lambda\) | Trust region via OT discrepancy |
| TDPO | Quadratic Wasserstein surrogate | Deterministic-policy regularization |
| WNG/WNPG | \(G(\theta)^{-1}g\) | Wasserstein natural gradient |
| Actor-critic WPO | \(F_{\theta\theta}^{-1}\mathbb{E}[\nabla_\theta\nabla_a\log\pi\,\nabla_a Q]\) | Closed-form projected flow |
| WPPG | OT drift + Gaussian heat | No log-density evaluation |

This taxonomy suggests that “WPO” is best understood as a metric-geometric design principle, not as a single canonical algorithm.

## 4. Convergence theory and analytical structure

Convergence analyses of WPO differ sharply across formulations. In finite-action nonparametric settings, metric-aware trust-region methods prove monotonic performance improvement for Wasserstein policy optimization and show that, with a decaying Lagrangian multiplier for the trust-region constraint, WPO converges to global optimality; the same work also shows that Sinkhorn policy optimization converges to WPO as the entropic regularizer diminishes [2306.14133].

For entropy-regularized continuous-action RL, WPPG establishes a global linear convergence rate under bounded rewards, bounded action sets, bounded initial negative entropy, and a uniform Talagrand transportation-information inequality \(T_2(\lambda)\). With
\[
J(\pi) := \mathbb{E}_{s\sim \nu^\ast}[V_\tau^\pi(s)], \qquad
\mathcal{D}(\pi,\pi^\ast) := \mathbb{E}_{s\sim \nu^\ast}\!\left[\frac{1}{2}W_2^2(\pi(\cdot|s),\pi^\ast(\cdot|s))\right],
\]
and step size \(\eta = 1/(\gamma\lambda\tau)\), the exact-evaluation theorem gives
\[
J(\pi^\ast)-J(\pi_k)+\lambda\tau \mathcal{D}(\pi_k,\pi^\ast)
\le
\gamma^k\big[J(\pi^\ast)-J(\pi_0)+\lambda\tau \mathcal{D}(\pi_0,\pi^\ast)\big].
\]
For actor–critic with inexact \(Q\), the same quantity contracts up to an additive \(O(\epsilon+\sigma)\) term, so approximation and stochastic errors do not accumulate [2603.02576].

A parallel convergence theory for Wasserstein policy gradient exploits the Bellman structure of entropy-regularized RL rather than ordinary convexity. The key identity is the statewise KL representation of the soft Bellman residual,
\[
(T^\star V^\pi)(s)-V^\pi(s)=\tau\,\mathrm{KL}\big(\pi(\cdot|s)\,\|\, p_s^\pi\big),
\]
where \(p_s^\pi\) is the Gibbs policy tied to \(V^\pi\). Together with a Bellman resolvent identity connecting value improvement to relative Fisher information and a uniform log-Sobolev inequality along the moving Gibbs family, this yields a distributional Polyak–Łojasiewicz condition and geometric contraction up to an \(O(\eta)\) discretization bias for the Euler–Maruyama scheme [2605.26078].

A shorter convergence note reaches a similar qualitative conclusion for entropy-regularized WPO by combining monotonic energy dissipation with a local log-Sobolev inequality. Under the existence of a sufficiently regular solution to the gradient-flow equation, the value function is argued to converge linearly to the global optimum [2605.22622]. Taken together, these results indicate that the analytically tractable regime for WPO is presently centered on entropy-regularized problems, bounded or regularized action spaces, and either exact or controlled-approximation critics.

## 5. Empirical regimes and applications

Empirical work on WPO is concentrated in continuous control and robotics. The actor-critic WPO formulation was evaluated on the DeepMind Control Suite and a magnetic confinement fusion task, where results were reported as comparing favorably with state-of-the-art continuous-control methods [2505.00663]. In high-dimensional action spaces, WPO was described as taking off earlier than MPO, which in turn was faster than DDPG, with the trend strengthening as dimensionality increased.

WPPG reports experiments on MuJoCo continuous-control benchmarks including Hopper-v5, Walker2d-v5, HalfCheetah-v5, Reacher-v5, Swimmer-v5, and Humanoid-v5. In those experiments, WPPG with an explicit Gaussian actor was competitive with SAC, whereas WPPG-I, using an implicit actor \(a=g_\theta(s,z)\), consistently outperformed all baselines across nearly all tasks, including PPO, SAC, and WPO, and was notably more stable than WPO on challenging domains such as Humanoid and Swimmer, where WPO could be unstable or fail, including on Reacher [2603.02576].

In robotics adaptation, Wasserstein gradient flow over Gaussian mixture policies has been evaluated on reaching motions, collision-avoidance behaviors, and multi-goal tasks. Representative results reported that WGF/WPO achieved success rate approximately \(1\) after roughly \(80\text{k}\), \(90\text{k}\), and \(95\text{k}\) steps on reaching, collision avoidance, and multi-goal tasks respectively, while PPO required substantially more samples and SAC often failed or exhibited higher variance [2305.10411]. This regime is especially structured: policies are initialized from demonstrations via EM, state dependence is produced by Gaussian Mixture Regression, and covariance updates exploit the Bures–Wasserstein manifold.

Deterministic Wasserstein policy optimization has been evaluated in robotic control environments with non-local rewards in the frequency domain and a long horizon of \(8000\) time steps. In those settings, TDPO significantly outperformed PPO, TRPO, DDPG, and TD3, a result attributed in the paper to low-variance deterministic gradients and the avoidance of noise that would excite resonance [2205.15379].

The diffusion-model reinterpretation of maximum-entropy RL introduces DiffWPO, alongside DiffSAC and DiffPPO. On standard continuous-control benchmarks, the paper reports that DiffSAC, DiffPPO, and DiffWPO achieve better returns and higher sample efficiency than SAC and PPO, with performance improving as the number of diffusion steps increases [2512.02019]. This suggests that Wasserstein-based policy transport is compatible with expressive diffusion policies, although the mechanism is mediated through a reverse-KL upper bound and an augmented diffusion MDP rather than explicit OT solves.

## 6. Relations, misconceptions, limitations, and extensions

A common misconception is to treat WPO as synonymous with a single 2025 actor-critic algorithm. The literature instead uses the term in at least three senses: as a broad geometric paradigm for optimizing policies in probability space; as a specific continuous-action actor-critic algorithm based on projected Wasserstein gradient flow; and as a family of trust-region or proximal methods using optimal-transport discrepancies [2505.00663], [2210.11137]. This broader usage is already visible in early work that interpreted policy optimization itself as Wasserstein gradient flow [1808.03030].

A second misconception is that WPO simply substitutes Wasserstein distance for KL while leaving the rest of policy optimization unchanged. In fact, different WPO variants change different parts of the optimization problem. OT-TRPO reformulates the trust-region constraint via a one-dimensional dual and an analytical push-forward update; deterministic WPO replaces KL by a quadratic Wasserstein surrogate that remains meaningful for Dirac policies; WPPG replaces KL projection by a Wasserstein proximal step plus a heat flow; and WNG replaces Fisher geometry by a Wasserstein information matrix on behavioral embeddings [2210.11137], [2205.15379], [2603.02576], [2010.05380].

The relation between WPO and WPPG is particularly important. WPPG is closely related to WPO in spirit, because both optimize policies in Wasserstein geometry, but it is not a special case of the 2025 WPO method. The distinction is algorithmic and functional: Pfau-style WPO follows a Wasserstein gradient flow and then projects back to a parametric policy manifold via a KL projection step requiring tractable log densities, whereas WPPG performs a Wasserstein proximal step with operator splitting, avoids any KL projection, and never evaluates \(\log \pi\), which makes it directly applicable to expressive implicit policies [2603.02576].

The principal limitations of current WPO theory are assumption-heavy. Convergence results often require bounded rewards, bounded or regularized action sets, smoothness of \(Q^\pi\) or the transition model, uniform \(T_2(\lambda)\) or log-Sobolev inequalities, exact or controlled-approximation critics, or finite action spaces for the strongest duality results [2603.02576], [2605.26078], [2306.14133]. High-dimensional exact Monge maps are generally intractable, so practical algorithms typically use sample-wise drifts \(a \mapsto a+\eta \nabla_a Q\), entropic regularization, Sinkhorn-style approximations, or parameter-space projections rather than exact transport maps.

Beyond sequential RL, Wasserstein policy optimization has also been extended to contextual bandits and distributionally robust policy learning. In one line of work, max–min off-policy learning is carried out over Wasserstein balls around empirical context and cost distributions, with dual formulations, entropy-regularized surrogates, and finite-sample and iteration/query complexity guarantees [2309.08748]. In another, individualized treatment rules are learned under source–target shift using pointwise \(W_1\) ambiguity sets over conditional potential-outcome laws, yielding a tractable pessimistic translation of the source conditional mean response by \(-\delta\) [2205.04637]. These are not MDP-style WPO algorithms, but they show that the Wasserstein-policy perspective extends naturally to robust decision-making under distribution shift.

In that enlarged sense, WPO is best viewed as a transport-geometric program for policy learning. Its unifying claim is not that all policies should be updated by the same numerical scheme, but that the underlying optimization object is a family of action distributions whose geometry matters. The literature to date suggests that this viewpoint is especially valuable when action-space geometry is consequential, policy densities are intractable, deterministic or near-deterministic policies are of interest, or entropy-regularized continuous control admits analysis through transport inequalities and gradient-flow methods.

Source: https://www.emergentmind.com/topics/wasserstein-policy-optimization-wpo