Wasserstein projections in the convex order: regularity and characterization in the quadratic Gaussian case

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Alfonsi, Aurélien, Jourdain, Benjamin
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911029976367104
author Alfonsi, Aurélien
Jourdain, Benjamin
author_facet Alfonsi, Aurélien
Jourdain, Benjamin
contents In this paper, we first show continuity of both Wasserstein projections in the convex order when they are unique. We also check that, in arbitrary dimension $d$, the quadratic Wasserstein projection of a probability measure $μ$ on the set of probability measures dominated by $ν$ in the convex order is non-expansive in $μ$ and Hölder continuous with exponent $1/2$ in $ν$. When $μ$ and $ν$ are Gaussian, we check that this projection is Gaussian and also consider the quadratic Wasserstein projection on the set of probability measures $ν$ dominating $μ$ in the convex order. In the case when $d\ge 2$ and $ν$ is not absolutely continuous with respect to the Lebesgue measure where uniqueness of the latter projection was not known, we check that there is always a unique Gaussian projection and characterize when non Gaussian projections with the same covariance matrix also exist. Still for Gaussian distributions, we characterize the covariance matrices of the two projections. It turns out that there exists an orthogonal transformation of space under which the computations are similar to the easy case when the covariance matrices of $μ$ and $ν$ are diagonal.
format Preprint
id arxiv_https___arxiv_org_abs_2506_23981
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Wasserstein projections in the convex order: regularity and characterization in the quadratic Gaussian case
Alfonsi, Aurélien
Jourdain, Benjamin
Probability
In this paper, we first show continuity of both Wasserstein projections in the convex order when they are unique. We also check that, in arbitrary dimension $d$, the quadratic Wasserstein projection of a probability measure $μ$ on the set of probability measures dominated by $ν$ in the convex order is non-expansive in $μ$ and Hölder continuous with exponent $1/2$ in $ν$. When $μ$ and $ν$ are Gaussian, we check that this projection is Gaussian and also consider the quadratic Wasserstein projection on the set of probability measures $ν$ dominating $μ$ in the convex order. In the case when $d\ge 2$ and $ν$ is not absolutely continuous with respect to the Lebesgue measure where uniqueness of the latter projection was not known, we check that there is always a unique Gaussian projection and characterize when non Gaussian projections with the same covariance matrix also exist. Still for Gaussian distributions, we characterize the covariance matrices of the two projections. It turns out that there exists an orthogonal transformation of space under which the computations are similar to the easy case when the covariance matrices of $μ$ and $ν$ are diagonal.
title Wasserstein projections in the convex order: regularity and characterization in the quadratic Gaussian case
topic Probability
url https://arxiv.org/abs/2506.23981