A gradient-flow proof yields Wasserstein Jensen's inequality, barycenter well-posedness on RCD and extended metric measure spaces, and a new Barycenter-Curvature-Dimension condition with stability and geometric applications.
Jensen's inequality in geodesic spaces with lower bounded curvature
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Let $(M,d)$ be a separable and complete geodesic space with curvature lower bounded, by $\kappa\in \mathbb R$, in the sense of Alexandrov. Let $\mu$ be a Borel probability measure on $M$, such that $\mu\in\mathcal P_2(M)$, and that has at least one barycenter $x^{*}\in M$. We show that for any geodesically $\alpha$-convex function $f:M\to \mathbb R$, for $\alpha\in \mathbb R$, the inequality \[f(x^*)\le \int_M (f -\frac{\alpha}{2}d^2(x^*,.))\,{\rm d}\mu,\] holds provided $f$ is locally Lipschitz at $x^*$ and either positive or in $L^1(\mu)$. Our proof relies on the properties of tangent cones at barycenters and on the existence of gradients for semi-concave functions in spaces with lower bounded curvature.
fields
math.MG 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
On the geometry of Wasserstein barycenter I
A gradient-flow proof yields Wasserstein Jensen's inequality, barycenter well-posedness on RCD and extended metric measure spaces, and a new Barycenter-Curvature-Dimension condition with stability and geometric applications.