Questions tagged [wasserstein]
The wasserstein tag has no usage guidance.
66
questions
1
vote
1
answer
61
views
Is the space of probability measure dense in the space of probability measure with density?
Let $\mathcal{P}_2(\mathbb{R}^n)$ be the set of all probability measures with finite second moment. Let $\mathcal{P}_2^*(\mathbb{R}^n)$ be the subset of $\mathcal{P}_2(\mathbb{R}^n)$ such that any ...
1
vote
0
answers
122
views
Relationship between optimal transport and gaussian kernel
Let's say P and Q be two different dirac delta probability measure, and suppose that $K_\sigma$ is a gaussian kernel. Let D be the wasserstein-2 distance.
It is known that $D(P,Q)=D(K_\sigma *P, K_\...
0
votes
1
answer
214
views
Wasserstein distance between a distribution of a random variable and the distribution of its projection onto a subset of its sample space
Consider a random variable $x$ with a distribution $p_x$ supported on whole of $\mathbb{R}^n$ ($n$ being a natural number). Let $S \subset \mathbb{R}^n$. Let $y = {\rm proj}_S(x)$ denote the ...
2
votes
1
answer
106
views
Does the reverse triangle inequality holds for Wasserstein-1 distance?
Let $(X,d)$ be a separable metric space with associated Borel $\sigma$-algebra $\mathcal{B}(X)$ and the set of Borel probability measures $\mathcal{P}(X)$. For $\mu,\mu'\in\mathcal{P}(X)$ Wasserstein-...
1
vote
1
answer
556
views
Wasserstein distance inequality
Suppose $(\Omega, \mathcal F, \mathbb P)$ is a probability space. Suppose $X, X', Y, Y'$ are random variables.
Denote $W_1$ the Wasserstein-1 distance between $\mathbb P_X$ and $\mathbb P_{X'}$
and $...
1
vote
1
answer
337
views
An inequality about the 2-Wasserstein distance
Let $W_2(\mu,\nu)$ denote the $2$-Wasserstein distance between two given probability measures $\mu$ and $\nu$ on $\mathbb R^n$. For a probability measure $\mu$ and $f:\mathbb R^n\to \mathbb R^n$, let $...
3
votes
1
answer
123
views
Scaling property of the Wasserstein metric
I would need help with this example.
Let $(S, ||\cdot||)$ denote a normed vector space over $K =\mathbb R$ or $K =\mathbb C$. Let $X$ and $Y$ be $S$-valued random vectors with $E~[~||X||~] < \infty$...
5
votes
1
answer
130
views
Advection reaction equation is solved by projection of solution of continuity equation
Suppose an absolutely continuous curve $\mu \colon (0, \infty) \to P_2(\Omega)$, where $P_2$ is the Wasserstein-2-space, fulfils the continuity equation
$$ \label{eq:CE} \tag{CE}
\partial_t \mu_t = \...
2
votes
0
answers
45
views
Wasserstein-1 distance, $W(A\cdot B \| C\cdot D)=W(A \| C) + W(B \| D)$
For 4 independent random variables $A, B, C, D$ and Wasserstein-1 distance $W^1$,
$W^1(P_{A,B} \parallel P_{C,D})=W^1(P_A \parallel P_C)+W^1(P_B \parallel P_D)$
Does the above equation generally ...
2
votes
1
answer
449
views
Optimal Transport between two Gaussians
Consider the optimal transport map $T$ between $N(\mu_0,\Sigma_0)$ and $N(\mu_1,\Sigma_1)$. I believed that the optimal transport was given by:
$$ T(x) = \mu_1 + \Sigma_1^{1/2} \Sigma_0^{-1/2}(x-\mu_0)...
1
vote
1
answer
24
views
Why does it suffice to define the homogeneous projection operator by only testing with continuous instead of measurable functions?
In Lenaic Chizat's "Sparse Optimization on Measures with Overparametrized Gradient Descent" one finds the following definition: for a measure $\mu \in \mathcal P_2(\Omega)$ (the Wasserstein-...
6
votes
1
answer
367
views
Can we bound the L1 distance between densities by Wasserstein distance of measures
Let $\mu_1$ and $\mu_2$ be two probability measures over a closed interval $[a, b]$, with respective density functions $\phi_1$ and $\phi_2$. Is there a way to bound the $L^1$ distance of the ...
3
votes
1
answer
222
views
Absolutely continuous curves in Wasserstein distance and measurability.
Let $(X, d, \mu)$ be a metric measure space. Let $P^1(X)$ denote the space of probability measures on $(X,d)$, which have finite first moments, that is:
\begin{equation}
\nu \in P^1(X) \implies \int d(...
0
votes
1
answer
27
views
Weighted median of distribution functions
I am working on the following barycenter problem: Suppose we are given $N>1$ probability measures on $\mathbb{R}$ with cumulative distribution functions $F_1,\dots,F_N$ and weights $a_1, \dots, a_N ...
1
vote
1
answer
88
views
Is the median of CDFs again a CDF?
I am working on the following barycenter problem: Suppose we are given $N$ probability measures on $\mathbb{R}$ with cumulative distribution functions $F_1,\dots,F_N$ and we are interested in the ...