Squared quadratic Wasserstein distance : optimal couplings and Lions differentiability

2018/11/19 by Aurélien Alfonsi, Benjamin Jourdain, Alfonsi, Aurélien +1 · 2 citations
Mathematics · #FOS: Mathematics #Probability (math.PR) #math.PR

paper · pdf · doi:10.48550/arxiv.1811.07787

arxiv created 2019/12/23 · arxiv updated 2019/12/24

Abstract

In this paper, we remark that any optimal coupling for the quadratic Wasserstein distance W²₂(μ,ν) between two probability measures μ and ν with finite second order moments on ℝ^d is the composition of a martingale coupling with an optimal transport map \mathcal T. We check the existence of an optimal coupling in which this map gives the unique optimal coupling between μ and \mathcal T#μ. Next, we give a direct proof that σ↦ W₂²(σ,ν) is differentiable at μ in the Lions sense iff there is a unique optimal coupling between μ and ν and this coupling is given by a map. It was known combining results by Ambrosio, Gigli and Savaré and Ambrosio and Gangbo that, under the latter condition, geometric differentiability holds. Moreover, the two notions of differentiability are equivalent according to the recent paper of Gangbo and Tudorascu. Besides, we give a self-contained probabilistic proof that mere Fréchet differentiability of a law invariant function F on L²(Ω,ℙ;ℝ^d) is enough for the Fréchet differential at X to be a measurable function of X.

Cited by

• Nonlinear weak error expansion of McKean-Vlasov stochastic differential equations
• Wasserstein projections in the convex order: regularity and characterization in the quadratic Gaussian case

Related

• A remark on the optimal transport between two probability measures sharing the same copula
• Measurability of optimal transportation and strong coupling of martingale measures
• Martingale Wasserstein inequality for probability measures in the convex order
• One dimensional martingale rearrangement couplings
• Adapted optimal transport between Gaussian processes in discrete time