Abstract:We establish quantitative stability bounds for the quadratic optimal transport map $T_\mu$ between a fixed probability density $\rho$ and a probability measure $\mu$ on $\mathbb{R}^d$. Under general assumptions on $\rho$, we prove that the map $\mu\mapsto T_\mu$ is bi-Hölder continuous, with dimension-free Hölder exponents. The linearized optimal transport metric $W_{2,\rho}(\mu,\nu)=\|T_\mu-T_\nu\|_{L^2(\rho)}$ is therefore bi-Hölder equivalent to the $2$-Wasserstein distance, which justifies its use in applications. We show this property in the following cases: (i) for any log-concave density $\rho$ with full support in $\mathbb{R}^d$, and any log-bounded perturbation thereof; (ii) for $\rho$ bounded away from $0$ and $+\infty$ on a John domain (e.g., on a bounded Lipschitz domain), while the only previously known result of this type assumed convexity of the domain; (iii) for some important families of probability densities on bounded domains which decay or blow-up polynomially near the boundary. Concerning the sharpness of point (ii), we also provide examples of non-John domains for which the Brenier potentials do not satisfy any Hölder stability estimate. Our proofs rely on local variance inequalities for the Brenier potentials in small convex subsets of the support of $\rho$, which are glued together to deduce a global variance inequality. This gluing argument is based on two different strategies of independent interest: one of them leverages the properties of the Whitney decomposition in bounded domains, the other one relies on spectral graph theory.

Hyperuniformity and optimal transport of point processes

Hyperuniform and rigid stable matchings

The link between hyperuniformity, Coulomb energy, and Wasserstein distance to Lebesgue for two-dimensional point processes

Annealed quantitative estimates for the quadratic 2D-discrete random matching problem

Riesz Energy, $L^2$ Discrepancy, and Optimal Transport of Determinantal Point Processes on the Sphere and the Flat Torus

Optimal transport between random measures

Riesz energy, L2 discrepancy, and optimal transport of determinantal point processes on the sphere and the flat torus

(Non)-hyperuniformity of perturbed lattices

Semi-discrete unbalanced optimal transport and quantization

A factor matching of optimal tail between Poisson processes

Stable matchings in high dimensions via the Poisson-weighted infinite tree

Greedy Matching in Optimal Transport with concave cost

Optimal transport maps, majorization, and log-subharmonic measures

The Brownian transport map

Regularity theory and geometry of unbalanced optimal transport

On the Wasserstein distance between a hyperuniform point process and its mean

Gluing methods for quantitative stability of optimal transport maps

Optimal Transport of Linear Systems over Equilibrium Measures

The Poisson transport map