Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors establish sharp quantitative stability bounds in Wasserstein distance for quadratic optimal transport plans and Monge maps on compact subsets of $\mathbb{R}^d$ under marginal perturbations, requiring only that one marginal satisfies an upper Ahlfors regularity condition with exponent strictly greater than $d-1$. These results resolve open questions regarding non-asymptotic stability and coercivity in optimal transport without imposing strict density or smoothness assumptions. Crucially, the work delivers a quantitative analogue to Brenier's theorem, demonstrating that the diameter of the optimal plan set is explicitly controlled by the source measure's distance to regularity, with provably tight exponents.
Optimal transport maps and plans do not destabilize under marginal perturbations even
For probability measures on $\mathbb{R}^d$ supported in fixed compact sets, we prove that quadratic optimal transport plans are quantitatively stable in Wasserstein distance under perturbation of both marginal measures, assuming that one of the initial measures satisfies an upper Ahlfors regularity condition with exponent strictly greater than $d-1$. Under the same assumption, we also prove novel quantitative stability results for optimal transport maps. Furthermore, we prove a coercivity theorem which states that any probability measure on the product space must be quantitatively close to the set of optimal plans, if it has similar marginals and a similar transport cost to the optimal value. Finally, we prove a quantitative uniqueness theorem which acts as a quantitative counterpart to Brenier's theorem. The Wasserstein diameter of the set of optimal plans is controlled by the distance of one marginal measure to a regular measure for which uniqueness holds. In this way, "almost uniqueness" of optimal plans is quantified by the source measure being "almost regular". Examples are provided which prove that the exponents of all estimates are sharp.