Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
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 ...
3 votes
0 answers
278 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{\...
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 ...
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{\...
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 ...
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: \...
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 ...
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 $\...