Skip to main content

All Questions

11 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 ...
Minkov's user avatar
  • 1,127
4 votes
0 answers
148 views

Exponential map for tangent space of space of distributions $\mathscr{P}_2(X)$

In Chapter 8 of the book Gradient Flows In Metric Spaces and in the Space of Probability Measures by Ambrosio et al., the tangent space to the space of distributions on $X$ (let's say $X=\mathbb{R}^d$)...
Juno Kim's user avatar
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 ...
leo monsaingeon's user avatar
4 votes
0 answers
343 views

Tangential boundary regularity for optimal transport maps

I'm interested in (and a bit confused by) the following theorem of Caffarelli, proven in section $4$ of his paper Boundary regularity of maps with convex potentials II: Assume $u$ is a convex ...
Connor Mooney's user avatar
3 votes
0 answers
66 views

Convex combination of cyclically monotone sets

I want to show the following statement, but I am not sure how. Proposition(?): Let $C \in \mathbb{R}^d$ be a compact convex set, and let $u, v : C \to \mathbb{R}$ be smooth convex functions. Suppose $$...
Paruru's user avatar
  • 51
2 votes
0 answers
110 views

relative entropy, Fisher information, and metric slope for non-convex domains

$\newcommand{\R}{\mathbb R}$ If $\Omega\subset \R^d$ is a convex domain it is well-known that the relative entropy $$ \mathcal H(\rho)= \int_{\Omega}\rho\log\rho \ \mathrm{d}x \qquad \mbox{for }\rho=...
leo monsaingeon's user avatar
2 votes
0 answers
141 views

Approximating solutions to Monge-Ampere from optimal transport plans

I am interested in finding numerical solutions to a Monge-Ampere type equation for applications in physics. Due to the close connection between Monge-Ampere and optimal transport and the well ...
Yly's user avatar
  • 956
1 vote
1 answer
433 views

Derivative of Wasserstein distance $W^p_p$ along solutions of the continuity equation (contradicting statements in different sources)

Let $(\rho^{(i)}_t,{\bf v}^{(i)}_t)$ for $i = 1,2$ be two solutions of the continuity equation $$\partial \rho^{(i)}_t + \nabla\cdot \left({\bf v}^{(i)}_t \rho^{(i)}_t\right) = 0 \label{1}\tag{1}$$ on ...
Fei Cao's user avatar
  • 730
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 (...
Gregor Samsa's user avatar
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,...
Tobsn's user avatar
  • 289
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 ...
leo monsaingeon's user avatar