Questions tagged [optimal-transportation]
The optimal-transportation tag has no usage guidance.
260 questions
2
votes
0
answers
123
views
Closure of finite support measures in the Wasserstein metric
This is a follow-up question to this question:
Closure Wasserstein for pointmasses
Let $(X,d)$ be a metric space, and let $W_1(X)$ be the space of probability measures $\mu$ on $X$ having finite first ...
- 11.1k
1
vote
0
answers
85
views
Producing a minimiser for the Kantorovich problem from a minimiser of the Beckmann flow problem
Notation: We denote by $\mathcal M$ the set of vector valued measures on $\mathbb R^d$ whose divergence is a scalar measure (in the weak sense).
Definitions: Consider the Beckmann flow minimisation ...
- 66.3k
4
votes
1
answer
396
views
Is the optimal transport of radially symmetric measures also radially symmetric?
Let $\mu$ and $\nu$ be radially symmetric probability measures on $\mathbb R^d$. Consider the Kantorovich optimal transport problem between $\mu$ and $\nu$, with convex, nonnegative cost. Suppose ...
- 45k
0
votes
1
answer
86
views
Is integration against an indicator Wasserstein-Continuous
Let $\mathcal{P}_p(X)$ denote the Wasserstein space over a compact metric space $X$, and $1\leq p<\infty$. Fix a non-empty closed subset $C\subseteq X$. Then is the map:
$$
\mathbb{P} \mapsto \...
- 42.8k
3
votes
0
answers
82
views
Semiconcavity estimate for the squared distance on a compact Riemannian manifold
I am currently reading this paper on the Riemannian structure of the Wasserstein space over a compact Riemannian manifold (my question doesn't concern the Wasserstein metric), specifically Section 4.1,...
- 31
0
votes
1
answer
223
views
A problem with the dual form of semi-discrete optimal transport
Consider the uniform distribution $\lambda$ on $[0,1]$, and a point measure $\rho$ with density $\frac{1}{2} (\delta_{x_1} + \delta_{x_2})$, where we have $0\le x_1 \le x_2 < 1/2$.
If our cost is ...
1
vote
1
answer
241
views
Continuity of pushforward operation
Let $X$ and $Y$ be compact metric spaces and let $f,g:X\rightarrow Y$ be $\epsilon$-uniformly close; i.e.:
$$
\sup_{x \in X} d_Y(f(x),g(x))<\epsilon.
$$
Then, are their push-forwards close in ...
- 63.9k
0
votes
0
answers
87
views
How does one define weak convergence of probability measures in $L^{\infty}(\Omega)$?
I am reading the following article and on page 9/17 (above Eqn (4.9)) the authors state that if $\gamma_{\epsilon_k}|\_G_{\delta}\times \Omega\to \gamma|\_G_{\delta}\times \Omega$ as $\epsilon_k\to 0$ ...
- 547
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 ...
- 128k
1
vote
0
answers
113
views
Statistical analysis of optimization solution involving Brenier potentials?
I'm reading the paper https://arxiv.org/pdf/1905.10812.pdf where strongly convex approximations to Brenier potentials are approximated.
Let $\mathcal{E}$ be a partition of $\mathbb{R}^{d}$ and $ 0\leq ...
- 383
3
votes
2
answers
783
views
Relation between optimal transport cost and difference between topological invariants?
I was working on some mathematics of Wasserstein GAN and found out a seemingly interesting research problem but I am not quite sure whether it has already been studied in some recent literature of ...
- 2,274
1
vote
0
answers
96
views
Relationship between Wasserstein projections and metric projections in a linear space
Let $(X,d)$ be a metric space, $x\in X$, and $Y\subset X$ is a closed set. Assume that $X$ is also a real vector space, so that we can form linear combinations over $\mathbb{R}$, but I do not assume ...
- 13
5
votes
2
answers
953
views
Comparison of Information and Wasserstein Topologies
There are many possible metrics one can place on the space of Gaussian probability measures on $\mathbb{R}^n$, with strictly positive definite co-variance matrices. Let's denote this space by $X$.
I'...
0
votes
0
answers
72
views
Optimal transport mapping between sets with a common subset
What would the optimal transport mapping between two sets with a common subset be? The problem I'm thinking about is the following:
I'm in $\mathbb{C}^n$ and I have two distributions $\mu$ and $\nu$ ...
- 383
5
votes
0
answers
140
views
What kinds of gradient-flows on $\mathbb R^d$ preserve the log-concavity of the distribution $\mu_0$ of starting point $x_0$
Let $\mu_0$ be a log-concave distribution on $\mathbb R^d$ and let $f:\mathbb R^d \to \mathbb R$ be $C^2$. Let $x_0$ be sampled uniformly at random from a log-concave distribution $\mu_0$, meaning ...
- 6,853
1
vote
1
answer
1k
views
Closed-form upper-bounds for Wasserstein distance between finite measures
Let $x_1,\dots,x_n,y_1,\dots,y_n\in \mathbb{R}$ and such that $x_i\neq x_j$ and $y_i\neq y_j$ if $i\neq j$. Let $a,b$ be elements of the probability n-simplex. Define the measures $\mu\triangleq \...
- 5,405
2
votes
0
answers
101
views
$CD(K,N)$ condition for non complete metric measure spaces
That's basically it. I would like to know if it's possible to define the ${\sf CD}(K,N)$ condition for metric measure spaces that are not necessarily complete. The references I have found on this ...
- 21
4
votes
1
answer
430
views
Optimal transport: find cost function given observed transport
Could you advise me please on what to read on the "inverse" problem: suppose I have a source measure, a target measure and I observe the solution to optimal transport problem -- can I "back out" the ...
CommunityBot
- 1
2
votes
1
answer
767
views
Integer solution of optimal transport
Let us consider two vectors $\mathbf{a}=(a_1,...,a_n)$ and $\mathbf{b}=(b_1,...,b_m)$ so that each quantity is an integer $a_i,b_j \in \mathbb{N}$. It represents for example supply and demand. Let $\...
- 12.7k
0
votes
1
answer
267
views
Intersection of projection of sets
Suppose that we have two arbitrary sets $\mathcal{X}$, $\mathcal{Y}$ and are given a function $c : \mathcal{X} \times \mathcal{Y} \rightarrow \mathbb{R}$
Consider the following inequality for ...
1
vote
0
answers
56
views
Lax CD(K, $\infty)$ space in the sense of Sturm
In K.T. Sturm's "On the geometry of metric measure spaces. I", Definition 4.5, he introduces a "lax" version of the usual CD(K,$\infty$) lower bound. Namely, one allows for $\...
- 660
1
vote
1
answer
247
views
Scaling behavior of Wasserstein distances
Let $p>1$ and $\mu\neq \nu$ be two probability measures on $\Omega\subset \mathbb{R}^d$ a bounded set. For $\alpha \geq 0$, we let $$C_\alpha(\mu,\nu) = \inf_\sigma \frac{W_p(\mu+\sigma,\nu+\sigma)}...
- 83
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 ...
- 11
2
votes
1
answer
228
views
Ideas on how to prove Pythagorean identity involving Wasserstein distances?
I conjectured earlier that if $P$ and $Q$ were two probability measures, then we could show
$$W^2(P,Q) = \min_{T} [d^2(P,T_{\#}P) + W^2(T_{\#}P,Q)]$$ where $W^2(P,Q)$ denotes the squared Wasserstein-2 ...
- 128k
7
votes
1
answer
504
views
Stability of displacement interpolation in optimal transport
Let $(X,d)$ be a complete separable metric space, and let $(\mathcal{P}_2 (X), W_2)$ be the space of probability measures on $X$ with finite second moments, equipped with the 2-Wasserstein distance. ...
- 660
1
vote
1
answer
270
views
Wasserstein space with strictly non-positive sectional curvature
Let $(X,d)$ be a (separable, complete) metric space with uniformly strictly non-positive curvature in the sense of Alexandrov, i.e. $(X,d)$ satisfies a $CAT(K)$ inequality for some $K<0$.
Does it ...
- 45k
3
votes
1
answer
988
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 ...
- 660
8
votes
1
answer
623
views
Completion of spaces of measures w.r.t. weak norms
For the sake of concreteness denote by $M_0(X)$ the linear space of all signed Borel measures $\sigma$ with $\sigma(X)=0$ on some metric space $(X,d)$ and fix some base point $x_0\in X$. On this space ...
- 42.8k
6
votes
2
answers
2k
views
Wasserstein distance and the Kantorovich-Rubinstein duality
The only few references I could find on this topic are either amateur blog posts (http://n.ethz.ch/~gbasso/download/A%20Hitchhikers%20guide%20to%20Wasserstein/A%20Hitchhikers%20guide%20to%...
- 42.8k
4
votes
2
answers
225
views
Are there alternative regularizations for optimal transport problems besides entropic regularization?
I see that most of the regularization done involves an entropy term.
Has there been any work done on other regularization methods? In particular, I'm wondering if anyone has done a regularization ...
- 2,281
4
votes
0
answers
107
views
Upper bound $\tau_C := \int_{\|x\| \le 1}(vol(C \cap (x + C))/vol(C))dx$ for a convex body $C \subseteq \mathbb R^n$, by reducing to a ball
Let $C$ be a convex body in $\mathbb R^n$, i.e a bounded convex subset of $\mathbb R^n$ which has nonempty interior, and which is (A) open, or (B) closed (I'm not sure one makes more sense; choose the ...
- 6,853
5
votes
2
answers
422
views
Bounding probability densities on a Wasserstein-2 geodesic
Consider two probability measures which are supported on a bounded domain $\Omega$ with density functions $p_0$ and $p_1$. It is well-known that for the Wasserstein-2 distance, there exists uniquely a ...
CommunityBot
- 1
2
votes
1
answer
1k
views
Wasserstein interpolation between two probability measures on a metric space
Question 1
Given probability measures $\mu$ and $\nu$ on the same metric space $X=(X,d)$, and $\alpha \in [0, 1]$, is it always possible to find another probability measure $\lambda_\alpha$ on $X$ ...
- 5,380
1
vote
0
answers
543
views
Variational derivative of Wasserstein distance using Benaumou-Brenier formulation
I learned from the gradient flow theory in Wasserstein space that an equation of gradient flow type
$$\partial_t \rho + \nabla \cdot (\rho \nabla \frac{\delta F}{\delta \rho})=0,$$
can be derived as ...
- 5,380
1
vote
0
answers
113
views
Metrics on the space of distributions in terms of p.d.fs
If two probability distributions (on the same measure space) are s.t they have p.d.fs and the $L^1$ distance between the p.d.f.s is large, then is there a choice of a ``nice" metric $d_{\rm ...
CommunityBot
- 1
4
votes
0
answers
220
views
improved regularization for $\lambda$-convex gradient flows
It is well-known that gradient-flows of convex functionals are "parabolic" in some vague sense, and accordingly solutions tend to regularize instataneously. In the abstract context of gradient flows ...
- 5,380
2
votes
0
answers
328
views
Explicit formula for this distance between positive semi-definite matrices?
Let $A$ and $B$ in $\mathbb{R}^{d\times d}$ be positive semi-definite (psd) matrices and let $d\tau$ be the uniform probability distribution on the unit sphere $\mathbb{S}^{d-1}$ in $\mathbb{R}^d$. I ...
- 1,513
3
votes
0
answers
163
views
A new "adversarial" Wasserstein distance?
Let us consider $\mu_1, \mu_2$ and $\mu_3$ three probability measures living on $[0,1]^{k_1}, [0,1]^{k_2}$ and $[0,1]^k$respectively, with $k_1 +k_2=k$. Let us denote by $\Gamma(\mu,\nu)$ the set of ...
- 555
3
votes
1
answer
142
views
Is the Wasserstein kernel positive definite?
Define a point cloud $X=\{x_i\}_{1\leq i\leq n}$, for $x_i\in\mathbb R^d$. Define the Wasserstein kernel as $$W(X,Y)=\max_{T}\frac{1}{n}\sum_{kl}T_{kl}\langle x_k,y_l \rangle$$
where $T$ is any doubly ...
- 63.9k
2
votes
1
answer
261
views
Existence of solution to a martingale optimal transport type problem
I encounter the following problem during the course of my research: Given a random variable $Y=(Y_1,Y_2)$ with values in $\mathbb R^2$ and the cost function $c(x,y)=(x_1-y_1)(x_2-y_2)$ where $x=(x_1,...
CommunityBot
- 1
2
votes
0
answers
146
views
Prove the equicontinuity of a maximizing sequence
Let $X$ be a compact subset of $\mathbb{R}$ and $c(x_1,x_2,x_3,x_4)$ be a fixed bounded continuous functions on $X^4$. Assume $\mu,\nu$ are probability measures on $X^2$, and $\mu\otimes\nu$ is the ...
- 323
3
votes
2
answers
734
views
Maximum cost optimal transport
Kantorovich's optimal transportation problem
\begin{equation}
\tau_c(\mu,\nu)=\min\limits_{\pi\in\Pi(\nu,\mu)} \int_{X\times Y}c(x,y)d\pi(x,y)
\end{equation}
where $\Pi(\mu,\nu) = \{\pi\in P(X\times ...
- 138
4
votes
1
answer
2k
views
Is an ambiguity set with Wasserstein distance of order 1 is convex?
I have a question about the convexity of an Wasserstein ambiguity set.
Let $W_1(\mu, \nu)$ be the Wasserstein distance of order 1 between $\mu$ and $\nu$, defined as
$$W_1(\mu, \nu) := \min\limits_{\...
CommunityBot
- 1
0
votes
1
answer
211
views
Relationship between a certain binary optimal transport and total-variation of modified distributions
Let $\mathcal X$ be a Polish space, and let $(N_x)_{x \in \mathcal X}$ be a system of closed neighborhoods in $\mathcal X$. Define $\Omega := \{(x,x') \in \mathcal X^2 \mid N_x \cap N_{x'} = \emptyset\...
- 6,853
1
vote
0
answers
81
views
Empirical estimation of $\inf_{\gamma \in \Pi(\mu,\nu)}\gamma(\Omega)$, given i.i.d samples from $\mu$ and $\nu$
Let $\mathcal X$ be a Polish space and $\Omega \subseteq \mathcal X^2$ be open. Let $\mu$ and $\nu$ be probability measures, and consider the quantity $c_\Omega(\mu,\nu)$ defined by
$$
c_\Omega(\mu,\...
- 660
1
vote
1
answer
124
views
Finding $P$ points among $N$ to approximate a probability density function?
Let $f$ be a probability density function (positive such that $\int_{\mathbb{R}} f(x) \mathrm{d} x = 1$) and $X_0 = \{x_n\}_{1\leq n \leq N}$ be $N$ given real points. We also fix $1 \leq P \leq N$ ...
CommunityBot
- 1
0
votes
0
answers
75
views
Optimizer of a semi-discrete optimal transport problem
Provided two probability distributions $\mu(dx)=\rho(x)dx$ and $\nu(dx)=\sum_{i=1}^n p_i\delta_{y_i}(dx)$ that are supported on some measurable set $\Omega\subset\mathbb R^d$, we consider the semi-...
CommunityBot
- 1
1
vote
0
answers
176
views
Rate of convergence of empirical distribution with respect to Wasserstein distance induced by binary cost function
Let $\mathcal X=(\mathcal X, d)$ be a Polish space (i.e complete metric space), and let $\Omega$ be a non-empty subset. Consider the binary cost function $c_\Omega$ on $\mathcal X^2$ defined by $c_\...
- 6,853
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 ...
- 128k
2
votes
1
answer
571
views
Semi-discrete Wasserstein distance to uniform
Does the $p$-Wasserstein distance have a simpler expression when applied to these two distributions :
A uniform distribution on $[0,1]^d$
A discrete distribution with $N$ equally-weighted point mass ...
- 128k