Preprint
Inserted: 23 may 2026
Last Updated: 23 may 2026
Pages: 26
Year: 2026
Notes:
Comments are welcome!
Abstract:
The sliced Wasserstein distance $SW_2(\mu,\nu)$ compares high-dimensional probability measures by averaging one-dimensional optimal transport distances over linear projections. Although sliced Wasserstein distances are now standard computational tools in statistics, imaging, and machine learning, the rigidity behind the elementary comparison \[ SW_2^2(\mu,\nu)\leq \frac1d W_2^2(\mu,\nu) \] has not been systematically studied.
Let $\mu,\nu\in\mathcal P_2(\mathbb R^d)$, $d\ge2$, with $\mu\ll\mathcal L^d$, and define the sliced Wasserstein deficit by \[ {\rm D}(\mu,\nu):=\frac1d W_2^2(\mu,\nu)-SW_2^2(\mu,\nu)\geq 0. \] We prove that ${\rm D}(\mu,\nu)=0$ if and only if the Brenier map $T=\nabla\varphi$ from $\mu$ to $\nu$ is homothetic affine, \[ T(x)=\lambda x+b \qquad \mu\text{-a.e.}, \] for some $\lambda\ge0$ and $b\in\mathbb R^d$.
For quantitative stability, we introduce the sliced Poincar\'e--Korn constant $\kappa_{\mathrm{SPK}}(\mu)$, defined as the spectral gap of an averaged ridge-projection quadratic form on gradient fields modulo the family $\{\lambda x+b\}$. Whenever this constant is positive, we prove a stability estimate for the sliced Wasserstein deficit, up to a one-dimensional Lipschitz scale for the projected monotone transports. We establish positive SPK bounds for the standard Gaussian, isotropic Gaussian measures, bounded perturbations of the Gaussian, and compact classes of gradient fields for fixed source measures.
Finally, we show that anisotropic Gaussians give a sharp obstruction: neither a Bakry--\'Emery lower curvature bound nor a usual Poincar\'e inequality alone can imply a global sliced Poincar\'e--Korn inequality.
Keywords: Optimal transport, stability, rigidity, Sliced Wasserstein distance, sliced Poincar\'e--Korn inequality
Download: