Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
137 views

On the continuity with respect to the increasing convex order

For $p\ge 1$, let $\mathcal P_p(\mathbb R)$ be the set of probability measures on $\mathbb R$ of finite $p^{\rm th}$ moment. Denote by $W_p$ the Wasserstein metric of order $p$ and by $\preceq$ the ...
Fawen90's user avatar
  • 1,409
1 vote
1 answer
125 views

Approximation of two densities with a single transformation

Let $p_1$ and $p_2$ be two probability densities and $X_i\sim N(\mu_i,\Sigma_i)$. Write $w(X)\sim p$ if the law of the random variable $w(X)$ has a density equal to $p$. For general densities $p_i$, ...
jack412's user avatar
  • 63
3 votes
2 answers
206 views

Getting Wasserstein closeness from a derivative estimate

In my setting, $\mu$ and $\nu$ are probability measures on $\mathbb{R}^{2}$ with compact support. For any function $f\in{C^{2}_{b}(\mathbb{R}^{2})}$, I have the estimate: $$ |\mathbb{E}_{\mu}(f)-\...
David Pechersky's user avatar
0 votes
2 answers
176 views

How to compute the unique disintegration w.r.t. the first coordinate?

Set $\pi=\frac{1}{4}(\delta_{(1,0)}++\delta_{(1,3)}+\delta_{(1,1)}+\delta_{(2,2)})$. Suppose that $\pi\in\Pi(\mu,\nu)$. How to get the disintegration of $\pi$ with respect to $\mu$?
Hermi's user avatar
  • 288
6 votes
2 answers
763 views

How to control Wasserstein distance in terms of characteristic function

Let $\mathcal P(\Omega)$ be the set of probability measures supported on some compact subset $\Omega\subset\mathbb R^d$. For $\mu\in\mathcal P(\Omega)$, denote by $F_{\mu}$ its characteristic function,...
user avatar
3 votes
1 answer
989 views

About the metrizability of the space of Probability measures $\mathcal{P}(S)$

It is often proved in Books that the space of Probability measures $\mathcal{P}(S)$ on a Polish metric space $(S,\rho)$ endowed with the weak/narrow topology induced by declaring it to be be the ...
vaoy's user avatar
  • 309
1 vote
2 answers
889 views

Simplify Wasserstein distance between Gaussians with binary cost function

Let $\mu_1$ and $\mu_2$ be 1D gaussian distributions with means $m_1$ and $m_2$ respectively and common variance $\sigma$. Let $\Omega$ be a closed subset of $\mathbb R^2$, and consider the cost ...
dohmatob's user avatar
  • 6,853
2 votes
1 answer
289 views

On semi-discrete Wasserstein distance

Let $\mu(dx)=\sum_{i=1}^np_i\delta_{x_i}(dx)$ and $\nu(dy)=\rho(y)dy$ be two probability measures on $\mathbb R^d$, where $\nu$ has a bounded support. Consider the $2-$Wasserstein distance below: $$...
user111097's user avatar
0 votes
1 answer
141 views

Arbitrarily bad rates of convergence in Wasserstein metric

Suppose $W_p(\mu_n,\mu)\to 0$ and $d(E(\mu_n),E(\mu))<r_n$. Here, $W_p$ is the $p$th-order Wasserstein distance (with respect to the metric $d$) and $\mu_n,\mu$ are probability measures on some ...
user489304's user avatar
1 vote
0 answers
56 views

Moduli of continuity and Wasserstein differentiability of functions between measures

Let $X=\mathbb{R}^n$; I am also interested in the general case $X$ is a metric space but for simplicity let's focus on Euclidean space. Let $\mathcal{P}(X)$ denote the space of Borel probability ...
JeffHolder's user avatar
3 votes
1 answer
311 views

Kantorovich duality with pseudometrics

The usual framework for the Kantorovich duality in optimal transport theory uses Polish spaces as ground spaces for the distributions that should be transported. Are there results available that ...
Markus Holzleitner's user avatar