Pith. sign in

Jensen's inequality in geodesic spaces with lower bounded curvature

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
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 1

years

2024 1

verdicts

CONDITIONAL 1

representative citing papers

On the geometry of Wasserstein barycenter I

math.MG · 2024-12-02 · conditional · novelty 7.0

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.

citing papers explorer

Showing 1 of 1 citing paper.

  • On the geometry of Wasserstein barycenter I math.MG · 2024-12-02 · conditional · none · ref 2023 · internal anchor

    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.