All Questions
Tagged with optimal-transportation pr.probability
114 questions
2
votes
1
answer
214
views
For diffeomorphism $f$, if $X$ and $f(X)$ are both Gaussian, then $f$ is affine
I am trying to prove the following.
Let $f:\mathbb{R}^{n}\to \mathbb{R}^n$ be a diffeomorphism. If $X$ and
$f(X)$ are both $n$ -dimensional Gaussian variables, then $f$ is
affine. That is, there ...
- 305
2
votes
1
answer
176
views
How to prove the limit of minimizing sequence of measures is again absolutely continuous(w.r.t. Lebesgue) in the minimizing movement scheme?
I am considering the minimizing movement scheme related to the gradient of entropy functional in 2-Wasserstein space. The problem is to minimize the following functional for each fixed $\eta$ which is ...
- 715
2
votes
1
answer
309
views
Density in Wasserstein space
I am wondering whether the following result is true:
Let $\mathcal W_p(\mathbb R^d)$ be the Wasserstein space of order $p$ and let $\eta$ and $\gamma$ be two probability measures in $\mathcal W_p(\...
- 325
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 ...
- 383
2
votes
1
answer
194
views
Strong convexity of internal energy with respect to Wasserstein metric
It is well known that the internal energy (see, e.g., Definition 3.32 in and Proposition 3.33 in 1) is geodesically convex with the 2-Wasserstein distance. I was wondering under what condition, the ...
- 422
2
votes
1
answer
257
views
Reference Request: 2-Wasserstein Metric on Wiener Space
Suppose that X is the subspace of the set of probability measures on the classical Wiener space $C[0,T]$, for some $T>0$, comprised of Gaussian measures.
In the finite-dimensional setting, the ...
- 5,405
2
votes
1
answer
222
views
Given iid samples from the joint distribution $P$ of pair of r.v.'s $(X,Y)$, how to get iid samples from independence coupling $P_X \otimes P_Y$?
Let $(X,Y)$ be a pair of random variables on a measure space $\mathcal T \subseteq \text{"subsets of }\mathbb R^2\text{"}$, with joint probability distribution $P$.
We don't assume $X$ and $Y$ are ...
- 6,853
2
votes
1
answer
304
views
An approximation problem w.r.t marginal distribution of coordinates of uniform random vector on high-dimensional unit-sphere
Let $X=(X_1,\ldots,X_d)$ be uniformly distributed on the sphere of radius $\sqrt{d}$ in $\mathbb R^d$. Fix a "sufficiently integrable" function $h:\mathbb R \to \mathbb R$, and define ...
- 6,853
2
votes
1
answer
114
views
Reweighting probability measures by convex potentials, and contraction in transport distance
Let $W: \mathbf{R}^d \to \mathbf{R}$ be a convex function such that $\int \exp(-W) = 1$, and define probability measures $\mu_y$ by
$$\mu_y (dx) = \exp( - W (x - y)) \,dx,$$
i.e. each $\mu_y$ is a ...
- 801
2
votes
1
answer
173
views
Is there an analogue of transportation-cost inequality under a weighted Log-Sobolev Inequality?
It is known that under the Log-Sobolev Inequality for $\pi$, i.e., if for all $\rho$,
$$H_\pi(\rho):=\int \rho(x)\log\frac{\rho(x)}{\pi(x)}dx \leq \frac{1}{2\beta}\int \rho(x)\left\|\nabla \log\frac{\...
- 21
2
votes
1
answer
210
views
Controlling Mean Difference Between Product and Joint Distributions Using Optimal Transportation
Suppose we have nonindependent random variables $X \sim P$ and $Y \sim Q$, where $P$ and $Q$ denote their marginal distributions. We are interested in upper bounding
$$
|\mathbf{E}_{X, Y\sim P \...
- 1,127
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:
$$...
- 345
2
votes
0
answers
106
views
When is there a Lipschitz Kantorovich Potential?
Let $c:\mathbb{R}^d\times \mathbb{R}^d\to [0,\infty)$ be a Lipschitz cost function and consider the optimal transport problem
$$
C(\mu,\nu):=\inf_{\pi}\, \int c(x,y)\,\pi(dxdy)
$$
where, as usual, the ...
2
votes
0
answers
92
views
Construct a 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 \...
- 503
2
votes
0
answers
49
views
$\sigma$-compactness of probability measures under a refined topology
Denote Polish spaces $(X, \tau_x)$ and $(Y, \tau_y)$, where $X$ and $Y$ are closed subsets of $\mathbb{R}$. Consider a Borel measurable function $f: (X \times Y, \tau_x \times \tau_y) \rightarrow \...
- 195
2
votes
0
answers
198
views
Optimal transport: how is the use of disintegration theorem valid in this construction of $\widetilde{\phi}$?
Let $X,Y$ be Polish spaces and $\mathcal P(X)$ the space of all Borel probability measures on $X$.
Fix $\mu\in \mathcal P(X), \nu \in \mathcal P(Y)$. Let $\pi \in \Pi(\mu, \nu)$, i.e., $\pi \in \...
- 825
2
votes
0
answers
131
views
Eigenvalues of Witten Laplacian induced by log-concave probability measure on manifold
Let $M$ be a closed $n$-dimensional Riemannian manifold and let $\mu=e^{-V}d\mathrm{vol}_M$ be a log-concave probability measure on $M$, such that the pair $(M,\mu)$ verifies the so-called Bakry-Emery ...
- 6,853
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
2
votes
0
answers
302
views
Simplify Kantorovich–Rubinstein duality when distributions share a common marginal
Consider the product of two metric spaces $X\times Y$, and two probability distributions $\mu$ and $\nu$ on this product space. By the Kantorovich-Rubinstein duality, I can write the Wasserstein-1-...
- 53
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 ...
2
votes
0
answers
75
views
existence of minimizer to the dual problem of a martingale optimal transport type problem
Let $\nu$ be a given probability measure on $\mathbb R^2$ and consider function of the following form:
$$L(f)(x_1,x_2)=\sup_{y\,=\,(y_1,y_2)\,\in\, \operatorname{Graph} (f)} \{ x_1 y_2 + x_2 y_1 - ...
- 325
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 ...
- 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
1
vote
1
answer
108
views
Iterated optimal transport
Suppose we are interested in two consecutive transport plans (in the Kantorovich formulation). That is, we are given finite sets $X$, $Y$ and $Z$, endowed with probability measures $\mu_X$, $\mu_Y$ ...
- 13
1
vote
1
answer
127
views
If $\pi$ is a coupling between $f_*\mu_X, g_*\mu_Y$ and $\pi = (f(x),g(y))_* \sigma$, then $\sigma$ is a coupling between $\mu_X,\mu_Y$
I am trying to read this paper: "The Gromov-Wasserstein distance between networks and stable network invariants" https://arxiv.org/abs/1808.04337. In this paper, they have the following ...
- 305
1
vote
2
answers
283
views
Building the Wasserstein space by pushforwards
Let $\mathbb{R}^d$ denote the $d$-dimensional Euclidean space, $\mathcal{W}_2(\mathbb{R}^d)$ denote the $2$-Wasserstein space with respect to the $d$-dimensional Euclidean space $\mathbb{R}^d$. Let $...
- 5,405
1
vote
1
answer
100
views
$L^p$-barycenters via continuous selectors
Let $\mathbb{P}$ be a Borel probability measure on $\mathbb{R}^n$ with $\int_{x \in \mathbb{R}^n} \|x\|^p\mathbb{P}(dx)<\infty$. For which $p\in [1,\infty)$ (other than $p=2$) is the following ...
- 5,405
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 ...
- 5,405
1
vote
1
answer
242
views
Barycenter Map on Wasserstein Space
Let $(X,d)$ be a complete separable metric space, $P_1(X,d)$ be the set of Radon probability measures on $X$ satisfying
$$
P_1(X,d)\triangleq \left\{
\nu:\,(\exists x_0\in X)\, \int_{x\in X} d(x,x_0)d\...
- 5,405
1
vote
1
answer
353
views
Is the Wasserstein distance to the empirical measure minimized by the underlying distribution?
Let $S$ be a metric space and denote the set of probability measures on $S$ by $\mathcal{P}(S)$. Fix $\mu\in \mathcal{P}(S)$ and denote the law of $N\geq 1$ i.i.d samples $X=(X_1,\ldots,X_N)$ from $\...
- 53
1
vote
1
answer
1k
views
Monotonicity, Convexity, and Smoothness of the KL-Divergence between Two Brownian Motions with Different Initializers
We consider the two distributions
$$
p_t = p_0 * N(0, tI),\quad q_t = q_0 * N(0, t I),
$$
where $*$ denotes the convolution between two densities, while $p_0$ and $q_0$ have the same mean and ...
- 1,127
1
vote
0
answers
169
views
Optimal transport-like problem where the objective depends on conditional probability distribution
$\DeclareMathOperator\marg{marg}$I would like to know if the following problem can be studied as an optimal transport problem, possibly imposing additional assumptions on the data.
Consider two sets $\...
1
vote
1
answer
433
views
Derivative of Wasserstein distance $W^p_p$ along solutions of the continuity equation (contradicting statements in different sources)
Let $(\rho^{(i)}_t,{\bf v}^{(i)}_t)$ for $i = 1,2$ be two solutions of the continuity equation $$\partial \rho^{(i)}_t + \nabla\cdot \left({\bf v}^{(i)}_t \rho^{(i)}_t\right) = 0 \label{1}\tag{1}$$ on ...
- 730
1
vote
0
answers
82
views
Conditions for existence of an optimal transport map between finitely supported probability measures
Let $E$ be a polish and let $P$ and $Q$ be finitely supported probability measures on $X$. What conditions are required to ensure that: for every $\delta>0$ there exists a $\delta$-optimal ...
- 11
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$, ...
- 63
1
vote
0
answers
45
views
Transport-type duality for preduals of $C^{k,1}$-functions
Let $\Omega$ be a non-empty, simply connected, and open subset of $\mathbb{R}^d$ for some positive integer $d$. Let $k$ be a non-negative integer. Consider the Banach space $C^{k,1}_0(\Omega)$ ...
- 5,405
1
vote
0
answers
256
views
Sobolev variant of Wasserstein space
Let $\mathcal{P}(\mathbb{R}^n)$ be the set of Borel probability measures on the Euclidean space $\mathbb{R}^n$ and consider thereof consisting of all probability measures $\mathbb{P}$ satisfying $\int\...
- 5,405
1
vote
0
answers
71
views
Hyperplanes which equalize the Radon transforms of two distributions
Let $p_1$ and $p_2$ be "nice" probability densities on $\mathbb R^m$, for example the densities of a multivariate Gaussians $N(\mu_1,\Sigma)$ and $N(\mu_2,\Sigma)$ with common covariance ...
- 6,853
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
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
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 ...
- 2,246
1
vote
1
answer
719
views
Transport of measure
Let's disintegrate $\mu$ and $\nu$, two probabilities on $\mathbb{R}^{d}$ , according to
$$
\pi_{k} (x_{1},...,x_{d}) = (x_{k},...,x_{d})
$$
We get a family of measures and each measure $\mu_{k,d}^{+...
- 179
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,\...
- 6,853
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
0
answers
121
views
$\mathbb{P}(d(X,Y)>\alpha)<\beta$ if $\mathbb{P}(X\in E)\leq \mathbb{P}(Y\in E^{\alpha})+\beta$ for all measurable E
Given two random variables X,Y with measures P,Q. Show that if $P(E) \le Q(E^\alpha) + \beta$ for all measurable $E\subset\mathbb{R}$ then $\mathbb{P}(d(X,Y)>\alpha)<\beta$.
Only hints please.
...
- 395
0
votes
2
answers
534
views
Wasserstein distance between $N(0,1/d)$ and the marginal distribution of $x_1$ when $x=(x_1,\ldots,x_d)$ is uniform on the unit-sphere in $R^d$
Let $x=(x_1,\ldots,x_d)$ be uniformly distributed on the unit-sphere in $\mathbb R^d$.
Question.
What is a good upper-bound for Wasserstein distance between $N(0,1/d)$ and the marginal distribution ...
- 6,853
0
votes
1
answer
90
views
Exchanging the integral and infimum on the space of couplings
Let $\mu,\nu$ be probability measures on $\mathbb{R}^d$ with finite $p$-th moment ($p\in [1,\infty)$) and define the set of couplings by $\mathcal{C}(\mu,\nu)$ i.e. the set of probability measures on ...
- 305
0
votes
2
answers
201
views
Couplings as generalized functions
I've been casually reading about optimal transport, and I was intrigued by the Wasserstein metric, in which we define the distance between two measures $\mu$ and $\nu$ on a metric space $X$ by
$$
W_p(\...
- 123
0
votes
1
answer
210
views
Some continuity issues of the optimal transport map (Brenier map)
Let $\mu$ and $\nu$ be two probability measures with finite moments (in $\mathcal{P}_2(\mathbb{R})$) equipped with 2-Wasserstein distance. Let $F_\mu$, $F_\nu$ be their cumulative distribution ...
- 54
0
votes
1
answer
54
views
How is this interpolating curve well-defined in the minimizing movement scheme?
Let $\Omega$ be a compact domain of $\mathbb R^d$. Let $\mathcal P (\Omega)$ be the space of probability measures on $\Omega$. For each $\tau >0$, let $(\varrho^\tau_{(k)})_{k \in \mathbb N} \...
- 825