All Questions
10 questions
2
votes
1
answer
141
views
(Sub)Optimality of random transport
Problem Setup: Consider the intervals $I_R = [a_R, b_R]$ and $I_B = [a_B,b_B]$. Let $F_R$ and $F_B$ denote the CDF of distributions with support on the intervals $I_R$ and $I_B$. I draw $k$ red and ...
- 25
0
votes
0
answers
39
views
Comonotone solution for Optimal Transport problems with supermodular surplus
In Alfred Galichon's book Optimal Transport Methods in Economics the foollowing result is stated for OT problems on the real line.
Theorem 4.3.(i) Assume that $\Phi$ is supermodular. Then the primal ...
4
votes
0
answers
197
views
Compactness of the unit ball in the space of Radon measures w.r.t. the Kantorovich-Rubinstein norm
This question was posted previously but has not attracted any responses so I am repharising it in a slightly different language hoping to reach a wider community
Let $(X,d)$ be a pointed metric space ...
- 437
3
votes
0
answers
277
views
Radon-Nikodym derivative of vector-valued measure with respect to another vector-valued measure
Let $(X, | \cdot |)$ be a Banach space.
I am interested in whether one can extend the definition of the Kullback-Leibler divergence
$$
\text{KL}(\mu \ \Vert \ \nu)
:= \int_{\Omega} \ln\left(\frac{\...
- 67
2
votes
0
answers
82
views
Estimate of Wasserstein distance and flow of vector fields under particular assumptions
Let $\mu$ be a compactly supported absolutely continuous probability measure. Let $v,u$ be Lipschitz vector fields. For a vector field $w$ recall that $\Phi_t^w$ denotes its flow.
A classical estimate ...
- 303
2
votes
1
answer
172
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
6
votes
1
answer
580
views
Why is it difficult to solve the Monge problem directly?
I'm trying to understand something about the Monge problem. The Monge problem is:
Let $c(x,y): \mathbb{R}^d \times \mathbb{R}^d \rightarrow \mathbb{R}^d$ and $$\mathcal{T}(\mu_1,\mu_2) = \{ T: \...
- 427
8
votes
1
answer
622
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 ...
- 12.7k
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
4
votes
1
answer
444
views
PDE-Based Triangle Inequality for Optimal Transportation
Suppose $\Omega$ is a suitably regular domain in $\mathbb{R}^n$ and $\rho_0,\rho_1\in\textrm{Prob}(\Omega)$. Benamou and Brenier showed that the $L_2$ transportation distance between $\rho_0$ and $\...
- 705