---
title: Wasserstein Parallel Trends
url: https://www.emergentmind.com/topics/wasserstein-parallel-trends
type: topic
---

# Wasserstein Parallel Trends

Searching arXiv for the specified paper and closely related work on Wasserstein parallel transport and trend assumptions.
Wasserstein Parallel Trends is a distribution-level analogue of the classical parallel trends assumption from Difference-in-Differences. Instead of assuming that means evolve in parallel across treated and control groups, it assumes that the entire distributional dynamics evolve in parallel once one transports the control group’s tangent dynamics to the treated group’s baseline along a Wasserstein geodesic. In the formulation introduced in "Wasserstein Parallel Transport for Predicting the Dynamics of Statistical Systems" [2603.23736], the method replaces vector subtraction by geodesic parallel transport on the \(2\)-Wasserstein space, thereby enabling counterfactual comparisons of evolving probability measures in causal inference, domain adaptation, and batch-effect correction. The same work states that Wasserstein Parallel Trends recovers the classic parallel trends assumption for averages as a special case and derives closed-form parallel transport for Gaussian measures [2603.23736].

## 1. Classical antecedents and the move from mean trends to distributional dynamics

In standard DiD, the identifying condition is a statement about first moments: untreated outcome trends are equal in expectation. Wasserstein Parallel Trends generalizes this by replacing equality of mean changes with equality of tangent dynamics after parallel transport. The key assumption is written in terms of probability measures \(\mu_t\) and \(\nu_t\) and their tangent velocities:
\[
\nabla\varphi_{t_i}^* = {PT}_{\nu_{t_i} \rightarrow \mu_{t_i}^*}(\nabla \varphi_{t_i}), \qquad i=1,\dots,T-1.
\]
Here \(\nabla\varphi_{t_i}\) is the tangent velocity of the control trajectory at time \(t_i\), and \(\nabla\varphi_{t_i}^*\) is the tangent velocity of the counterfactual treated trajectory [2603.23736].

This shifts the target of comparison from averages to full evolving distributions. The paper explicitly presents the result as a genuine distributional generalization: it captures changes not only in location but also in spread, shape, multimodality, and other structural features of the distribution [2603.23736].

A useful antecedent in the DiD literature is entropy balancing of pre-intervention outcome trends. "Reducing bias in difference-in-differences models using entropy balancing" [2011.04826] argues that researchers may still recover credible causal effects by reweighting the comparison group so that its pre-treatment outcome trends match those of the treated group. That paper does not present the method as Wasserstein optimal transport, but it explicitly frames the method as close in spirit to distributional balancing and describes the weighting problem as a “transport” idea in which mass is moved in the comparison group so its pre-trend distribution matches the treated group’s pre-trend distribution as closely as possible, subject to moment constraints [2011.04826]. This suggests that Wasserstein Parallel Trends belongs to a broader shift from balancing static levels to balancing dynamic structure.

## 2. Geometric formulation on Wasserstein space

The framework is built on the Riemannian geometry of the \(2\)-Wasserstein space \((\mathcal P_2(M), W_2)\). The basic distance is
\[
W_2(\mu,\nu) = \inf_{\gamma\in \Gamma_{\mu,\nu}} \left(\int_{M\times M} d_M(x,y)^2\,\gamma(dx,dy)\right)^{1/2}.
\]
A measure-valued curve \((\mu_t)\) evolves under a velocity field \(v_t\) through the continuity equation
\[
\partial_t \mu_t + \operatorname{div}_g(\mu_t v_t)=0.
\]
Among all such velocity fields, the optimal one is the tangent vector to the Wasserstein geodesic, and the Benamou–Brenier theorem gives
\[
W_2^2(\mu_0,\mu_1) = \inf \left\{ \int_0^1 \|v_t\|^2_{L^2(\mu_t)}\,dt :\ (\mu_t,v_t)\text{ solves the continuity equation} \right\}.
\]
The tangent space at \(\mu\) is
\[
T_\mu\mathcal P_2(M) = \overline{\{\nabla\varphi:\varphi\in C_c^\infty(M)\}}^{L^2(\mu)},
\]
with inner product
\[
\langle \nabla\varphi_1,\nabla\varphi_2\rangle_\mu = \int_M \langle \nabla\varphi_1,\nabla\varphi_2\rangle_g\,d\mu.
\]
The Wasserstein tangent vector is the minimal-norm solution to the continuity equation, and it is the limit of gradient fields [2603.23736].

Parallel transport is defined through the Wasserstein Levi-Civita connection:
\[
\nabla^{W_2}_{(\nabla\varphi_t)} v_t = \Pi_{\mu_t}\big(\partial_t v_t + \nabla^M_{(\nabla\varphi_t)}v_t\big),
\]
where \(\Pi_{\mu_t}\) is orthogonal projection onto \(T_{\mu_t}\mathcal P_2(M)\). A field is parallel along \(\mu_t\) if
\[
\nabla^{W_2}_{(\nabla\varphi_t)} v_t=0,
\]
equivalently,
\[
\operatorname{div}_g\!\left( \mu_t\left(\partial_t v_t+\nabla^M_{(\nabla\varphi_t)}v_t\right) \right)=0.
\]
In this geometry, the “difference” between two evolving distributions is not a Euclidean subtraction but a transported tangent field [2603.23736].

The same paper also defines Wasserstein exponential and logarithmic maps. On \(\mathbb R^d\),
\[
\mathbf{exp}_\mu(u) = (\mathrm{id}+u)_\#\mu, \qquad \mathbf{log}_\mu(\nu)(x)=T_{\mu\to \nu}(x)-x.
\]
These maps supply the local coordinates used in counterfactual construction [2603.23736].

## 3. Fanning schemes and computational approximation

Exact Wasserstein parallel transport is hard to compute. The central algorithmic contribution of the 2026 paper is a fanning scheme: approximate Wasserstein parallel transport by transporting tangent fields along the base manifold \(M\) using Jacobi fields, then projecting back onto the Wasserstein tangent space [2603.23736].

The construction begins with the Lagrangian particle paths induced by the OT map. The paper uses a result of Gigli to link Wasserstein parallel transport to parallel transport of tangent vectors on \(M\) along those Lagrangian paths. On \(M\), parallel transport is then locally approximated by a Jacobi field. For a geodesic \(\gamma_p(s)=\exp_p(su)\), the relevant Jacobi field \(j_{p,u}(v,w)(s)\) is the unique solution of
\[
\nabla_{\dot\gamma}\nabla_{\dot\gamma}J(s)+R(J(s),\dot\gamma(s))\dot\gamma(s)=0,
\]
with prescribed initial conditions, and the approximation result is
\[
\left\|s^{-1}j_{p,u}(0,v)(s)- {PT}_{0\rightarrow s}^M(v)\right\|_g \le As^2\|v\|_g
\]
for sufficiently small \(s\), under a lower bound on the injectivity radius and compactness assumptions [2603.23736].

The paper then lifts this one-step approximation to Wasserstein space. If \(\nu_s\) is the measure after moving a small step along the geodesic from \(\nu\) to \(\mu\), and
\[
w_s=\Pi_{\nu_s}\left(s^{-1}j_{\nu,u}(0,v)(s)\right),
\]
then
\[
\|w_s-PT_{\nu\to\nu_s}(v)\|_{L^2(\nu_s)} \le As^2\|v\|_{L^2(\nu)} + \left(e^{\int_0^1\mathrm{Lip}(\nabla\psi_r)\,dr}-1\right)^2 \|v\|_{L^2(\nu)} \left(\int_0^s \mathrm{Lip}(\nabla\psi_r)\,dr\right)^2.
\]
Under strong regularity, this simplifies to
\[
\|w_s-PT_{\nu\to\nu_s}(v)\|_{L^2(\nu_s)} \le Cs^2.
\]
By composing many small steps of size \(s=1/N\), the paper defines an approximate transport operator \(\widehat{PT}\) and proves
\[
\|\hat v_N - v_N\|_{L^2(\mu)} = O(N^{-1}).
\]
This is the main approximation guarantee for the multi-step scheme [2603.23736].

The algorithm itself is presented in explicit steps: compute the Brenier map \(T_{\nu\to\mu}\); set \(u(x)=\log_x(T_{\nu\to\mu}(x))\), which generates the Wasserstein geodesic; discretize with \(s=1/N\); and then, at each step, form \(F_i(x)=\exp_x(isu(x))\), define \(\nu_i=(F_i)_\#\nu\), set \(S_i=F_i\circ F_{i-1}^{-1}\), compute the Jacobi field \(j_{(x,u_i(x))}(0,v_{i-1}(x))(s)\), and project the resulting field back to the tangent space,
\[
v_i=\Pi_{\nu_i}(\cdot).
\]
For the projection \(\Pi_\mu\), the paper also gives an RKHS-based Helmholtz-Hodge projection method and proves consistency:
\[
\|\nabla \hat f_{n,\lambda} - \Pi_\mu(v)\|_{L^2(\mu)} \xrightarrow{p} 0,
\]
under boundedness and density assumptions and if \(\lambda = O(n^{-\ell})\) for \(\ell\in(0,1/2)\) [2603.23736].

## 4. Theoretical consequences and special cases

A central structural result is that Wasserstein Parallel Trends implies equality of mean trends in \(\mathbb R^d\):
\[
\frac{d}{dt}\int_{\mathbb R^d} x\,d\nu_t(x) = \frac{d}{dt}\int_{\mathbb R^d} x\,d\mu_t^*(x) \qquad \text{a.e. } t.
\]
Thus the distributional statement strictly generalizes the classical equibias condition. The paper also uses the subresult that Wasserstein parallel transport preserves constant vector fields:
\[
PT_{\lambda_{t_0}\to\lambda_{t_1}}(a)=a \qquad \text{for constant }a\in\mathbb R^d.
\]
These statements formalize the relationship between classical mean-parallel trends and the Wasserstein formulation [2603.23736].

For Gaussian measures, the framework admits a closed form. If \(\mu_0=N(m_0,\Sigma_0)\) and \(\mu_1=N(m_1,\Sigma_1)\), with affine tangent vector
\[
v_0(x)=a_0 + A_0(x-m_0), \qquad A_0\in \mathbb S^d,
\]
then the parallel transported field along the Gaussian Wasserstein geodesic has the form
\[
v_t(x)=a_0 + A_t(x-m_t), \qquad m_t=(1-t)m_0+tm_1,
\]
with \(A_t\) governed by the continuous Lyapunov equation
\[
\dot A_tQ_t + Q_t\dot A_t = S_t^\top A_tQ_t + Q_tA_tS_t,
\]
where
\[
Q_t=M_t^{-\top}\Sigma_0^{-1}M_t^{-1},\quad M_t=(1-t)I_d+tB,\quad S_t=(I_d-B)M_t^{-1},
\]
and
\[
B=\Sigma_0^{-1/2}\left(\Sigma_0^{1/2}\Sigma_1\Sigma_0^{1/2}\right)^{1/2}\Sigma_0^{-1/2}.
\]
This gives an explicit affine transport rule and shows how covariance deformation is transported in tandem with mean motion [2603.23736].

The paper also proves a stability theorem:
\[
\|PT_{\nu\to\mu}(v)-PT_{\nu\to\mu'}(v)\|_{L^2(\nu)} \le C_{\rm WPT}\,\|v\|_{H^1(\nu)}\,W_2(\mu,\mu').
\]
For iterative counterfactual prediction, the one-step error satisfies
\[
W_2(\hat\mu_{i+1}^*, \mu_{i+1}^*) \le \left(1+\operatorname{Lip}(\nabla\varphi_i^*) + \|\nabla\varphi_i\|_{H^1(\mathbb T^d)}C_{\text{WPT}}\right) W_2(\hat\mu_i^*, \mu_i^*) +O(N^{-1}),
\]
and summing over time yields the cumulative bound reported in the paper [2603.23736].

## 5. Applications in causal inference, domain adaptation, and single-cell biology

The primary causal-inference use is a distributional DiD. Instead of subtracting control changes from treated changes in means, the method transports the control trajectory to the treated baseline and uses that as the counterfactual trajectory. This allows treatment effects that alter the shape of the outcome distribution, not just its mean, to be detected [2603.23736].

The same geometry is presented as a dynamic counterpart to OT-based domain adaptation. Traditional OT adaptation aligns source and target distributions at a single time point; here the goal is to transfer temporal dynamics from one domain to another by parallel-transporting the tangent flow. In controlled biological experiments, baseline differences may come from batch effects or technical shifts, and the paper argues that if these discrepancies are approximately stable across time, Wasserstein Parallel Trends gives a principled way to align the dynamics across baselines while respecting the distributional geometry [2603.23736].

The empirical evaluation includes synthetic Gaussian experiments and two single-cell RNA sequencing datasets. On synthetic time-evolving Gaussian measures, where ground-truth parallel transport is available in closed form, the paper compares **WPT**, **WPT\(^-\)**, **Brenier baseline**, **Mean-shift baseline**, and **Gaussian PT**. Evaluation uses \(W_2\) between predicted and true counterfactual distributions at each time step. The reported findings are conditional: when the covariance is stationary, mean-shift performs reasonably; when covariance changes over time, WPT outperforms naive baselines in capturing shape deformation; in low dimension, WPT\(^-\) is strong; the Gaussian baseline is best when the data are truly Gaussian; and in higher dimensions performance degrades, especially for the projection step [2603.23736].

The biological datasets are: human versus chimp cerebral organoids, with \(n_{\text{pcs}} \in \{2,3,5,7,10,15,20\}\), and mouse microglial cells over time in female versus male, both sham and SNI conditions. Each cell is treated as a point in \(\mathbb R^d\) and each time point as an empirical distribution over cells. The tasks are to impute chimp developmental dynamics onto human initial conditions, and to impute female dynamics onto male and compare against observed male trajectories, separately for sham and SNI. Performance is measured by Wasserstein distance between predicted and observed point clouds. The paper reports that WPT\(^-\) usually beats or matches the mean-shift baseline, with stronger gains as the prediction horizon increases, and that UMAP plots show predicted trajectories qualitatively following the observed developmental progression [2603.23736].

## 6. Relation to Wasserstein parallel transport theory, limitations, and common confusions

Wasserstein Parallel Trends is not identical to the general mathematical problem of parallel transport in Wasserstein space. Rather, it is a counterfactual assumption and computational framework built on that geometry. Earlier work had already developed several notions of parallel transport: along Wasserstein geodesics and tangent cones [1604.03504], via intrinsic metric constructions on \(P(M)\) [1701.02297], through stochastic regular curves on \(\mathbb P_2(M)\) [2309.08702], by a relaxed measured-valued tangent space on \(\mathcal P(X)\) [2512.09763], and by lifting the problem to the diffeomorphism group and constructing stochastic parallel transport on the smooth Wasserstein space \(P_\infty\) [2512.02975].

Those works differ substantially in geometric setup. The 2016 and 2017 papers focus on geodesic transport between tangent cones or linear tangent spaces and on agreement with earlier formal computations [1604.03504; 1701.02297]. The 2023 paper develops intrinsic Itô formulae, stochastic regular curves, and stochastic parallel translations, with a special existence result on \(\mathbb P_2(\mathbb T)\) [2309.08702]. The 2025 papers broaden the landscape further: one introduces tangent vectors as probability-measure-valued fields and defines Lagrangian parallel transport by freezing the tangent label along a path [2512.09763], while the other uses the principal-bundle structure \(\mathscr D \to P_\infty\) to establish existence and uniqueness of stochastic parallel transport along diffusions [2512.02975]. Within this broader literature, Wasserstein Parallel Trends uses parallel transport as an operational device for counterfactual prediction rather than as an end in itself.

Several limitations are explicit in the 2026 formulation. Statistical theory is incomplete: the convergence and error guarantees are population-level approximation results, not full finite-sample statistical guarantees. Regularity requirements are strong: parallel transport is only well-defined along regular geodesics, and the stability theory assumes substantial smoothness and boundedness of densities and velocities. High-dimensional estimation is hard: the Helmholtz projection via RKHS regression suffers from slow rates and deteriorates with dimension. Much of the detailed stability analysis is done on the flat torus \(\mathbb T^d\), avoiding boundary complications. In genomics applications, the authors present the results as evidence that Wasserstein Parallel Trends is a plausible assumption, not as definitive causal claims [2603.23736].

A common confusion is to treat the method as a mere distributional rebranding of mean-parallel trends. The theory does not do that: its core object is the transported tangent velocity, not the mean difference. Another confusion is to equate it with reweighting-based DiD corrections. That connection is conceptually suggestive, especially because entropy balancing on pre-intervention trends also targets dynamic comparability [2011.04826], but the formal machinery is different: Wasserstein Parallel Trends replaces vector subtraction by geodesic parallel transport on the space of measures [2603.23736].

Source: https://www.emergentmind.com/topics/wasserstein-parallel-trends