Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
209 views

Riemannian submanifolds of $2$-Wasserstein space

In the article "Wasserstein Geometry Of Gaussian Measures" by Asuka Takatsu the author shows how the space of d-dimensional Gaussian probability measures with non-singular covariance ...
1 vote
1 answer
262 views

What does $g_x^{-1}$ mean where $g$ is a Riemannian metric?

I am reading this paper about the Wasserstein-Fisher-Rao distance and they define the Wasserstein-Fisher-Rao distance on a manifold as follows (page 9): Here, $M$ is a compact Riemannian manifold, $\...
4 votes
0 answers
148 views

Exponential map for tangent space of space of distributions $\mathscr{P}_2(X)$

In Chapter 8 of the book Gradient Flows In Metric Spaces and in the Space of Probability Measures by Ambrosio et al., the tangent space to the space of distributions on $X$ (let's say $X=\mathbb{R}^d$)...
3 votes
0 answers
66 views

Continuous trajectory of midpoints of length-minimizing geodesics

Let $M$ be a smooth Riemannian manifold, $x$ be a point in $M$, and $\lambda:[0,1]\to M$ be a continuous path. Can we find a family of length-minimizing constant speed geodesics $\gamma_t:[0,1]\to M$ ...
1 vote
1 answer
193 views

Are convex functions on manifolds the same as $c$-convex functions, where $c(x,y)=d(x,y)^2/2$?

I am reading the following book on optimal transport. While reading I came across the following definition of $c-$convexity. Given $X$ and $Y$ metric spaces, $c: X \times Y \rightarrow \mathbb{R}$, ...
1 vote
0 answers
170 views

$L^2$ metric on $\textrm{Diff}(M)$ and geodesics

The paper Geometry of diffeomorphism groups, complete integrability and optimal transport mentions the following: The group $\textrm{Diff}(M)$ carries a natural $L^2$-metric $\displaystyle \langle\...
39 votes
3 answers
4k views

Manifold of probability measures: connections between two types of metrics

The space of probability measures could be viewed as an infinite-dimensional manifold, equipped with two possible types of metrics — (1) Wasserstein and (2) Fisher-Rao. Metric (1) is connected with ...
1 vote
0 answers
130 views

Orthogonality in Wasserstein tangent space for discrete measures with equal mass

Let say I have $N$ discrete probability measures $(\mu_1,...,\mu_N)$ where each of them has $n$ points in $\mathbb{R}^2$ of equal mass. Let $P(\mathcal{X})$ be the space of these probability measures ...
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 ...
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 ...
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 \...
4 votes
0 answers
757 views

Tangent space and gradient on subspace of Wasserstein space given by finitely supported measures

Let $\mathcal{P}_2(M)$ be the 2-Wasserstein space over some Riemannian manifold $(M,g)$ (connected, complete, and without boundary). Let $\mathcal{FP}_2(M,n)$ be the subspace of probability measures ...
7 votes
1 answer
438 views

An isoperimetric type of inequality in terms of Wasserstein distance/Optimal transport

Let $A \subset \mathbb{R}^n$ be a region having the same volume as an $n$ dimensional ball $B^n_R$ with radius $R$ centring at the origin. Isoperimetric inequality says: $ Vol_{n-1} \partial A \geq ...