All Questions
Tagged with optimal-transportation fa.functional-analysis
17 questions with no upvoted or accepted answers
13
votes
0
answers
483
views
Where to use differential calculus on space of measures?
One great inside of Felix Otto is that the Wasserstein metric from optimal transportation gives the space of (finite second moment, probability) measures on $\mathbb{R}^n$ (or a manifold) a kind of ...
7
votes
0
answers
433
views
(geodesic) smoothness of f-divergence with respect to the Wasserstein metric
We consider the f-divergence, which takes the form
$$
D_f(P \| Q) = \int_\Omega f\left(\frac{dP}{dQ}\right) dQ.
$$
For example, when $f(t) = t \log t$, we obtain the KL-divergence.
My question is ...
5
votes
0
answers
159
views
Log Sobolev inequality uniform in parameters
Fix a positive integer $N$. For $\theta \in [0,2\pi]$, set $\sigma_k(\theta) :=(\cos(k\theta),\sin(k\theta)) \in S^1$ for each integer $1\leq k\leq N$. Now for vectors $x_1,\ldots,x_N\in \mathbb{R}^2$,...
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 ...
4
votes
0
answers
117
views
Improving log-Sobolev inequalities via quadratic regularisation
Suppose that $\mu(dx) = \exp(-\psi(x)) \, \mathrm{dx}$ is a probability measure on $\mathbf{R}^d$.
For suitable functions $g \geqslant 0$, define
$$\text{Ent}(g) = \int \mu(dx) g(x) \log \left( \frac{...
4
votes
0
answers
220
views
improved regularization for $\lambda$-convex gradient flows
It is well-known that gradient-flows of convex functionals are "parabolic" in some vague sense, and accordingly solutions tend to regularize instataneously. In the abstract context of gradient flows ...
3
votes
0
answers
88
views
Instances of c-concavity outside of optimal transport?
Let $X$ and $Y$ be metric spaces, and let $c:X\times Y\rightarrow \mathbb{R}$ be a nonnegative function which we refer to as a cost. For any $\phi:X\rightarrow \mathbb{R}$ and $\psi:Y\rightarrow \...
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
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 ...
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
0
answers
266
views
Optimal transport between Gaussian mixtures and their centers
I have a question about bounding the Wasserstein loss between a continuous Gaussian mixture and a discrete uniform distribution of its centers. In particular, let $P=\frac 1 k \sum_{i=1}^k \mathcal{N}(...
1
vote
0
answers
96
views
Representation formula for the continuity equation on a separable Hilbert space
The following is an informal question for which I'd like to (ideally) find a reference. I'm quite a novice in this area but would be happy to find a reference to a theorem along the following lines (...
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\...
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 ...
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 ...
0
votes
0
answers
95
views
Empirical estimation of Brenier map from data
Let $f:\mathbb R^d \to \mathbb R$ be a "nice" (say, continuous) function define $A = A_f := \{x \in \mathbb R^d \mid f(x) \ge 0\}$ and $B =B_f:= \{x \in \mathbb R^d \mid f(x) \le 0\}$, and ...
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 ...