Questions tagged [optimal-transportation]
The optimal-transportation tag has no usage guidance.
260 questions
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\...
- 305
1
vote
0
answers
70
views
$c$-cyclical monotonicity: does this proof hold if $f \equiv +\infty$ or $\int c \mathrm d \gamma = +\infty$?
I'm reading the proof of Theorem 1.38. from section 1.6.2 $c$-cyclical monotonicity and duality of Santambrogio's Optimal transport for applied mathematicians.
My understanding: It seems for the ...
- 825
1
vote
0
answers
82
views
Conditions for existence of an optimal transport map between finitely supported probability measures
Let $E$ be a polish and let $P$ and $Q$ be finitely supported probability measures on $X$. What conditions are required to ensure that: for every $\delta>0$ there exists a $\delta$-optimal ...
- 11
1
vote
1
answer
125
views
Approximation of two densities with a single transformation
Let $p_1$ and $p_2$ be two probability densities and $X_i\sim N(\mu_i,\Sigma_i)$. Write $w(X)\sim p$ if the law of the random variable $w(X)$ has a density equal to $p$. For general densities $p_i$, ...
- 63
1
vote
0
answers
45
views
Transport-type duality for preduals of $C^{k,1}$-functions
Let $\Omega$ be a non-empty, simply connected, and open subset of $\mathbb{R}^d$ for some positive integer $d$. Let $k$ be a non-negative integer. Consider the Banach space $C^{k,1}_0(\Omega)$ ...
- 5,405
1
vote
0
answers
193
views
What is the role of of continuity in this proof of Kantorovich duality?
I'm reading the proof of Kantorovich duality from Villani's book Topics in Optimal Transportation.
Let $X$ and $Y$ be Polish spaces. Let $P(X), P(Y)$ be the spaces of all Borel probability measures ...
- 825
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\...
- 5,405
1
vote
0
answers
71
views
Hyperplanes which equalize the Radon transforms of two distributions
Let $p_1$ and $p_2$ be "nice" probability densities on $\mathbb R^m$, for example the densities of a multivariate Gaussians $N(\mu_1,\Sigma)$ and $N(\mu_2,\Sigma)$ with common covariance ...
- 6,853
1
vote
0
answers
37
views
Sufficient condition for an $n$-tuple to be a convex conjugate
We say $(f_1,f_2,\dotsc,f_N)$ is a convex conjugate if for any $i=1,2,\dotsc,N$ and any $x_i\in\Bbb R^d$, we have:
$$f_i(x_i)=\sup\left\{\sum_{k=1}^{N}\sum_{j=k+1}^N x_k x_j - \sum_{j=1,j\neq i}^N f_j(...
- 183
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 ...
- 19
1
vote
0
answers
85
views
Producing a minimiser for the Kantorovich problem from a minimiser of the Beckmann flow problem
Notation: We denote by $\mathcal M$ the set of vector valued measures on $\mathbb R^d$ whose divergence is a scalar measure (in the weak sense).
Definitions: Consider the Beckmann flow minimisation ...
- 6,313
1
vote
0
answers
113
views
Statistical analysis of optimization solution involving Brenier potentials?
I'm reading the paper https://arxiv.org/pdf/1905.10812.pdf where strongly convex approximations to Brenier potentials are approximated.
Let $\mathcal{E}$ be a partition of $\mathbb{R}^{d}$ and $ 0\leq ...
- 383
1
vote
0
answers
96
views
Relationship between Wasserstein projections and metric projections in a linear space
Let $(X,d)$ be a metric space, $x\in X$, and $Y\subset X$ is a closed set. Assume that $X$ is also a real vector space, so that we can form linear combinations over $\mathbb{R}$, but I do not assume ...
- 13
1
vote
0
answers
56
views
Lax CD(K, $\infty)$ space in the sense of Sturm
In K.T. Sturm's "On the geometry of metric measure spaces. I", Definition 4.5, he introduces a "lax" version of the usual CD(K,$\infty$) lower bound. Namely, one allows for $\...
- 660
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 ...
- 11
1
vote
1
answer
247
views
Scaling behavior of Wasserstein distances
Let $p>1$ and $\mu\neq \nu$ be two probability measures on $\Omega\subset \mathbb{R}^d$ a bounded set. For $\alpha \geq 0$, we let $$C_\alpha(\mu,\nu) = \inf_\sigma \frac{W_p(\mu+\sigma,\nu+\sigma)}...
- 83
1
vote
0
answers
113
views
Metrics on the space of distributions in terms of p.d.fs
If two probability distributions (on the same measure space) are s.t they have p.d.fs and the $L^1$ distance between the p.d.f.s is large, then is there a choice of a ``nice" metric $d_{\rm ...
- 2,246
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
1
vote
0
answers
543
views
Variational derivative of Wasserstein distance using Benaumou-Brenier formulation
I learned from the gradient flow theory in Wasserstein space that an equation of gradient flow type
$$\partial_t \rho + \nabla \cdot (\rho \nabla \frac{\delta F}{\delta \rho})=0,$$
can be derived as ...
- 429
1
vote
0
answers
81
views
Empirical estimation of $\inf_{\gamma \in \Pi(\mu,\nu)}\gamma(\Omega)$, given i.i.d samples from $\mu$ and $\nu$
Let $\mathcal X$ be a Polish space and $\Omega \subseteq \mathcal X^2$ be open. Let $\mu$ and $\nu$ be probability measures, and consider the quantity $c_\Omega(\mu,\nu)$ defined by
$$
c_\Omega(\mu,\...
- 6,853
1
vote
0
answers
176
views
Rate of convergence of empirical distribution with respect to Wasserstein distance induced by binary cost function
Let $\mathcal X=(\mathcal X, d)$ be a Polish space (i.e complete metric space), and let $\Omega$ be a non-empty subset. Consider the binary cost function $c_\Omega$ on $\mathcal X^2$ defined by $c_\...
- 6,853
1
vote
0
answers
60
views
Euler-Lagrange Equation for Kantorovich Dual Problem
Given two probability measures $\mu$ and $\nu$, the Kantorovich Dual problem for quadratic cost is to
$$
\text{minimize} \quad \int \phi(x)d\mu + \int \psi(y)d\nu
$$
over pairs $(\phi,\psi)\in L^1(d\...
- 325
1
vote
0
answers
97
views
Dependency of the Wasserstein metric on its parameters
Let the population on some region $\Omega\subset\mathbb R^d$ be modeled by a density function $\rho:\Omega\to (0,+\infty)$. Provided $n\ge 1$ food trucks labeled by their capacity $p_1,\ldots, p_n\in (...
user128095
1
vote
0
answers
48
views
Negative Definiteness of Hopf-Lax-Oleinik Semigroup
Denote by $H_{t}$ the Hopf-Lax semigroup, i.e.\begin{equation}
H_{t}f(x)=\inf_{y\in\mathbb{R}}\left\lbrace f(y)+\frac{(x-y)^{2}}{2t}\right\rbrace.\end{equation} Is $H_{t}$ negative definite on bounded,...
- 289
1
vote
0
answers
121
views
$\mathbb{P}(d(X,Y)>\alpha)<\beta$ if $\mathbb{P}(X\in E)\leq \mathbb{P}(Y\in E^{\alpha})+\beta$ for all measurable E
Given two random variables X,Y with measures P,Q. Show that if $P(E) \le Q(E^\alpha) + \beta$ for all measurable $E\subset\mathbb{R}$ then $\mathbb{P}(d(X,Y)>\alpha)<\beta$.
Only hints please.
...
- 395
1
vote
0
answers
51
views
Constructing a family of domains for application of method of continuity in optimal transportation
Anyway can help me about this paper?
http://arxiv.org/pdf/math/0601086v4.pdf
I want to ask page 20, The author want to construct a family of subdomain for using method of continuity. But I can't ...
0
votes
2
answers
534
views
Wasserstein distance between $N(0,1/d)$ and the marginal distribution of $x_1$ when $x=(x_1,\ldots,x_d)$ is uniform on the unit-sphere in $R^d$
Let $x=(x_1,\ldots,x_d)$ be uniformly distributed on the unit-sphere in $\mathbb R^d$.
Question.
What is a good upper-bound for Wasserstein distance between $N(0,1/d)$ and the marginal distribution ...
- 6,853
0
votes
1
answer
89
views
Exchanging the integral and infimum on the space of couplings
Let $\mu,\nu$ be probability measures on $\mathbb{R}^d$ with finite $p$-th moment ($p\in [1,\infty)$) and define the set of couplings by $\mathcal{C}(\mu,\nu)$ i.e. the set of probability measures on ...
- 305
0
votes
1
answer
87
views
Why is $\Xi \equiv 0$ if $E=C_{0}(X \times Y)$?
I'm reading the proof of Kantorovich duality from Villani's book Topics in Optimal Transportation. In page 28, the author said that
Exercise 1.11. Let us try to extend this proof to the non-compact ...
- 825
0
votes
2
answers
201
views
Couplings as generalized functions
I've been casually reading about optimal transport, and I was intrigued by the Wasserstein metric, in which we define the distance between two measures $\mu$ and $\nu$ on a metric space $X$ by
$$
W_p(\...
- 123
0
votes
2
answers
275
views
The uniqueness of Barycenters in the Wasserstein space
I am reading the paper Barycenters in the Wasserstein space by Martial Agueh and Guillaume Carlier. In Proposition 3.5, they prove the existence and uniqueness of
$$\nu \mapsto \sum_{i=1}^p \frac{\...
- 288
0
votes
1
answer
210
views
Some continuity issues 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
1
answer
54
views
How is this interpolating curve well-defined in the minimizing movement scheme?
Let $\Omega$ be a compact domain of $\mathbb R^d$. Let $\mathcal P (\Omega)$ be the space of probability measures on $\Omega$. For each $\tau >0$, let $(\varrho^\tau_{(k)})_{k \in \mathbb N} \...
- 825
0
votes
1
answer
88
views
Can we lower bound this entropy by $\int_{\mathbb R^d} \rho^k (x) \, \mathrm d x$ and $\int_{\mathbb R^d} |x|^2\rho (x) \, \mathrm d x$?
We define $U : [0, \infty) \to [0, \infty)$ by $U(0) := 1$ and $U (s) := s \log s + (1-s)$ for $s >0$. Then $U$ is strictly convex. The minimum of $U$ is $0$ and is attained at $s=1$. Let $\mathcal ...
- 825
0
votes
1
answer
93
views
Continuity of generalised Legendre transform
Let $X$ and $Y$ be $\sigma$-compact spaces, and $\mu$ [resp. $\nu$] be a regular Borel probability measure on $X$ [resp. $Y$].
For a bounded continuous $c:X\times Y\rightarrow\mathbb{R}$, we consider ...
- 463
0
votes
2
answers
176
views
How to compute the unique disintegration w.r.t. the first coordinate?
Set $\pi=\frac{1}{4}(\delta_{(1,0)}++\delta_{(1,3)}+\delta_{(1,1)}+\delta_{(2,2)})$. Suppose that $\pi\in\Pi(\mu,\nu)$.
How to get the disintegration of $\pi$ with respect to $\mu$?
- 288
0
votes
1
answer
86
views
Is integration against an indicator Wasserstein-Continuous
Let $\mathcal{P}_p(X)$ denote the Wasserstein space over a compact metric space $X$, and $1\leq p<\infty$. Fix a non-empty closed subset $C\subseteq X$. Then is the map:
$$
\mathbb{P} \mapsto \...
- 5,405
0
votes
1
answer
104
views
Sequential compactness of a sequence of curves of Borel probability measures
$
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\DeclareMathOperator*{\supp}{supp}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bP}{\mathbb{...
- 825
0
votes
1
answer
379
views
Uniqueness of maximizer of dual Kantorovich problem with quadratic(or any strictly convex) cost
I am considering the optimal transport problem under the setting $X=\mathbb{R}^n$, $\mu,\nu\in\mathcal{P}(X)$ be two probability measures, and the cost function is $c(x,y)=|x-y|^2$. We know from ...
- 715
0
votes
1
answer
275
views
Upper bound on the $p$-Wasserstein distance $\mathcal{W}_p(\xi,a\,\xi)$ for some constant $a \neq 0$
Let $\xi$ be a random vector taking values in $\mathbb{R}^d$. Is there an upper bound on the $p$-Wasserstein distance $\mathcal{W}_p(\xi,a\,\xi)$ for some constant $a \neq 0$?
I have seen that if $p=...
0
votes
1
answer
267
views
Intersection of projection of sets
Suppose that we have two arbitrary sets $\mathcal{X}$, $\mathcal{Y}$ and are given a function $c : \mathcal{X} \times \mathcal{Y} \rightarrow \mathbb{R}$
Consider the following inequality for ...
- 143
0
votes
1
answer
406
views
Computing discrete optimal transport
I am trying to find a combinatorial approach to solve the following optimization problem.
\begin{align}
&\max_{x_{ij}} C_{ij} x_{ij}, \\
&\text{such that},\\
&\sum_{j} x_{ij} \leq r_i~\...
- 133
0
votes
1
answer
211
views
Relationship between a certain binary optimal transport and total-variation of modified distributions
Let $\mathcal X$ be a Polish space, and let $(N_x)_{x \in \mathcal X}$ be a system of closed neighborhoods in $\mathcal X$. Define $\Omega := \{(x,x') \in \mathcal X^2 \mid N_x \cap N_{x'} = \emptyset\...
- 6,853
0
votes
0
answers
52
views
Path-homotopy in Wasserstein space
Consider two vector fields $b_0,b_1\in C^2([0,1]\times\mathbb{R}^d;\mathbb{R}^d)$ and the solutions $\rho_0,\rho_1\in AC([0,1];\mathcal{P}_2(\mathbb{R}^d))$ to the associated Fokker-Planck equations
$$...
- 33
0
votes
0
answers
54
views
How to deal with minimizing a flat objective function
Problematic (Debiased Sinkhorn barycenter, proposed by H.Janti et al.): Let $\alpha_1, \ldots, \alpha_K \in \Delta_n$ and $\mathbf{K}=e^{-\frac{\mathrm{C}}{\varepsilon}}$. Let $\pi$ denote a sequence ...
- 121
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
55
views
Any useful bases for the topology induced by the $t$-Wasserstein distance?
I am working on $\mathbb R ^d$ equipped with the usual Euclidean metric. I know of one nice base for $\mathcal W _t$, namely: $$\left\{ B_p (r) : r>0, p=\sum_{i=1} ^n \alpha_i \delta_{x_i},\text{ ...
- 291
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
114
views
Wasserstein compactness of sublevel sets of relative entropy
Let $\mathcal{P}({\mathbb{R}^d})$ denote the set of Borel probability measures on $\mathbb{R}^d$, and let $\pi \in \mathcal{P} (\mathbb{R}^d)$. It is known that the sets $\{ \mu \in \mathcal{P}(\...
- 660
0
votes
0
answers
55
views
"More" cyclical monotonicity
Let $X$ and $Y$ be some finite sets. For a given function $f:X\times Y\rightarrow \mathbb{R}$, we say a set $S\subset X\times Y$ is $f$-cyclically monotone if for any sequence $(x_1,y_1),...,(x_n,y_n)\...
- 1