Questions tagged [wasserstein]
The wasserstein tag has no usage guidance.
66
questions
0
votes
0
answers
7
views
Can a finite Wasserstein metric on Euclidean support be embedded in a Euclidean space?
Thanks for everyone's help with understanding finite metric embeddings in Euclidean space. I have a follow-up question.
Say we have the Wasserstein distance between $n$ distributions in Euclidean ...
0
votes
0
answers
27
views
There is a unique coupling between a probability distribution $\mu$ and a degenerate distribution $\mu_0$. [duplicate]
By degenerate distribution I intend https://en.wikipedia.org/wiki/Degenerate_distribution.
I cannot see why the set of couplings between some probability measure and a constant would be a singleton. ...
0
votes
0
answers
22
views
1D-Wasserstein-Barycenter closed form
I just want to verify that my reasoning here is correct. It feels very basic but I can't seem to find this result in any textbook. It is well-known that the 1-Wasserstein distance in 1D can be ...
0
votes
0
answers
27
views
Does this relation between Wasserstein distances hold: $W_1(\mu,\nu)\leq W_2(\mu,\nu) \leq ... \leq W_\infty(\mu,\nu)$?
I stumbled upon this interesting statement in this paper:
"One interesting observation is that the Wasserstein ambiguity
set with the Wasserstein order p = 2 is less conservative, because the 2-...
1
vote
1
answer
24
views
Bound for expected value under Wasserstein metric
I'm reading a paper and the following result is presented:
$$ (\mathbb{E}_{F}[\|\mathbf{X}\|^k])^{1/k} \leq (\mathbb{E}_{F_{0}}[\|\mathbf{X}\|^k])^{1/k} + \epsilon, \ \forall F\in\mathcal{B}_{p}(F_{0},...
0
votes
0
answers
21
views
Regularity of Kantorovich potentials for general cost function
I know De Philippis and Figalli have a paper studying the regularity of the Kantorovich potential. In Theorem 3.3, the authors show that the potential is $C^{k+2, \beta}$ if the density functions of ...
1
vote
0
answers
34
views
proof that the wasserstein space is no manifold
This is my first question on this platform, I appreciate any suggestions on how to improve my question.
why is the Wasserstein space no manifold and in which way is its structure somehow similar to a ...
0
votes
0
answers
31
views
Understanding different norms in the p-Wasserstein distance
The generalized p-Wasserstein distance, for $p\geq 1$, is given by
$$d_W(Q_1,Q_2):=inf \left\{\int_{\Xi_2}||\xi_1-\xi_2||^p \Pi(d\xi_1,d\xi_2)\right\}$$
where $\Pi$ is the joint distribution of $\xi_1$...
1
vote
1
answer
46
views
Connect definition of 1st-order Wasserstein distance given CDFs and general definition of Wasserstein distance
In this post, the definition of the 1st-order Wasserstein distance is
$\int_{-\infty}^{\infty} |F_1 (x)-F_2(x)| dx$
In Wikipedia, I see something completely different.
How do I connect the 2 ...
0
votes
0
answers
18
views
Showing that a minimzing sequence for the Wasserstein Variance functional must be tight
I am trying to understand this 2011 paper by Agueh & Carlier [https://www.ceremade.dauphine.fr/~carlier/AC_bary_Aug11_10.pdf] where they introduce the notion of barycenter in the 2-Wasserstein ...
1
vote
0
answers
17
views
What is the image of a transference plan?
Let $\mu, \nu$ be two positive Borel measures on $\mathbb{R}^d$ with the same mass. A probability measure $\pi$ on $\mathbb{R}^d\times\mathbb{R}^d$ is called a transference plan from $\mu$ to $\nu$ if:...
3
votes
1
answer
477
views
Quantitative bound on Wasserstein distances by $L^p$ distances?
Given two smooth probability densities $f$ and $g$ on $\mathbb{R}$ (or $\mathbb{R}_+$) with finite $p$-th moments. I am wondering if anyone is aware of some explicit upper bound on $W_p(f,g)$ in terms ...
2
votes
1
answer
86
views
What is a wasserstein barycenter?
I am currently studying a paper on Wasserstein Fair Classification. Several places they mention the Wasserstein barycenter, weighted barycenter distribution or the Wasserstein barycenter distribution. ...
2
votes
0
answers
55
views
Bregman divergence from Wasserstein distance
I was wondering whether one has studied the Bregman divergence arising from a squared Wasserstein distance.
More precisely, let $\Omega\subset \mathbb{R}^d$ be a compact set and $c\in \Omega\times \...
0
votes
0
answers
31
views
Functional E convex and lower semicontinuous implies weakly lower semicontinuous in Wasserstein space
I have a certain functional $E : W_2 \rightarrow \mathbb{R}$, where $W_2$ is the 2-Wasserstein space (metric and separable).
Such functional is convex.
Now, can I state that if $E$ is strongly lower ...
0
votes
0
answers
37
views
Sufficient Conditions on Metric Space for Wasserstein Distance?
For a metric space $M$ and the Wasserstein 1-distance $W_1$, what qualifying assumptions do we need for $M$? I have seen we only need $M$ be compact, $M$ be a Polish space, or $M$ be a Radon space. ...
1
vote
2
answers
156
views
Wasserstein Metric Inequality
This is the exercise:
This exercise shows that “spreading out” probability measures makes them closer together. Define the convolution of a measure by: for any probability density function $\phi$, let ...
0
votes
0
answers
108
views
Intuition of Wasserstein and Information geometry geodesics
Two important geometries that can be given to the space of multivariate Gaussian distributions are given by the Wasserstein distance and by the Fisher metric (ie. Information geometry).
Although there'...
1
vote
1
answer
196
views
Are linear interpolation curves on Wasserstein spaces absolutely continuous?
Let $\mathcal{P}_2$ the space of absolutely continuous probability measures on $\mathbb{R}^d$ with finite second moment equipped with the $2$-Wasserstein metric.
Fix $\mu_0, \mu_1 \in \mathcal{P}_2.$
...
0
votes
0
answers
21
views
how to solve for wasserstein duality easily in a special case when 2-Wasserstein inequality constraint is binding
I was going through this nice paper ” A Simple and General Duality Proof for
Wasserstein Distributionally Robust Optimization”, and one quick qu on applying Theorem 1 to my poject:
What if in my ...
0
votes
0
answers
47
views
What is the conventional definition of $d(x,y)^{p}$?
In Optimal transportation, and more precisely in
"Optimal Transport: Old and New" (Definition. 6.1, on page 106 - actually on page 111 out of 998, in this link), the Wasserstein distance $...
0
votes
0
answers
85
views
How to intuitively view Wasserstein distance dual as moving earth
The Wasserstein-1 distance can be viewed as the minimum amount of work needed to move one distribution to another distribution, as if the distributions were like piles of earth. The typical definition ...
1
vote
0
answers
171
views
How to derive the $W_1$ Wasserstein distance written with the quantile functions (i.e. with inverse cumulative distribution functions) [closed]
INTRODUCTION. Either downloading the slides on Optimal Transport (OT) from the Marco Cuturi website (go to section "Teaching ENSAE --> OT --> Optimal Transport (Spring 2023)
[slides]" ...
0
votes
0
answers
23
views
Optimal Mass Distribution Minimizing Average 2-Wasserstein Distance to a Set of Mass Distributions
Given a fixed set of $n$ points in 2D (Earth Movers distance Prpblem), $P = \{p_1, p_2, ..., p_n\}$, I am trying to find the mass distribution $\bar{M}$ that minimizes the average 2-Wasserstein ...
2
votes
0
answers
244
views
Derive the $d=1$ form of the Wasserstein distance
QUESTION
Given
How to pass from the general definition of the Wasserstein distance (let's call it Equation (1)):
to the closed forms with d=1, here below (let's call them Equation (2) and Equation(3)...
0
votes
1
answer
181
views
Is there a meaning of distances for 0<p<1 for Wasserstein distance?
The wikipedia link for Wasserstein metric is defined for $p\in[1,\infty)$.
https://en.wikipedia.org/wiki/Wasserstein_metric Given some data the distance can be calculated using an optimization ...
3
votes
1
answer
299
views
Boundedness of $\dfrac{W_2(\mu_1+\varepsilon (\mu_2-\mu_1),\mu_1)}{\varepsilon}$ for 2 -Wasserstein metric
Let $\mathcal{P}_2(\mathbb{R}^{n})$ the space of Borel probability measures of finite second moment in $\mathbb{R}^{n}$ equipped with the $2$-Wasserstein metric $W_2$. Let $\mu_1$, $\mu_2 \in \mathcal{...
3
votes
1
answer
186
views
Relations between Kolmogorov-Smirnov distance and Wasserstain distance
Let's have $X,Y \in \mathbb{R}$ with probability measures $\mu, \nu$, then the Kolmogorov-Smirnov distance is defined as follows
$$ d_K(X,Y)=\underset{x \in \mathbb{R}}{sup}\{|F_X(x) - F_Y(x)|\} $$
...
2
votes
1
answer
810
views
Relation between Wasserstein distance and distribution convergence
Let's have a succession $X_n$ of real value random variable and another real value random variable X, then
$$ X_n \overset{d}{\xrightarrow{}} X \iff \lim_{n \to \infty}{}d_K(X_n,X) = 0 $$
where $d_K(X,...
1
vote
1
answer
129
views
Proof of Lipschitz continuity of Wasserstein distance in WGAN paper
I'm reading the Wasserstein GAN paper(https://arxiv.org/abs/1701.07875)
by Martin Arjovsky et al.
My question is about the proof of the statement 2 of Theorem 1 in the paper.
Please see the appendix C....