All Questions
10 questions with no upvoted or accepted answers
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 ...
- 1,675
3
votes
0
answers
243
views
Parametric distances on product spaces of measures
Disclaimer: Please excuse my loose language. I'm neither an expert in geometry nor probability. Please ask for clarification if something appears unclear or awkward to you.
Let $X$ be a topological ...
- 6,853
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
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
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
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
0
votes
0
answers
114
views
Some stability and estimate 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
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
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-...
user128095
0
votes
0
answers
184
views
Reference request: density of $C_c^{\infty}(\mathbb R^d)$ in $L^2(\mathbb R^d,d\rho)$
My question is motivated by an optimal transportation approach to PDE's and gradient flows in metric spaces (see e.g Otto's geometry of dissipative evolution equations: the porous media equation and ...
- 5,380