Pith. sign in

REVIEW 1 cited by

Jensen's inequality in geodesic spaces with lower bounded curvature

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2011.08597 v2 pith:UUKLNBL3 submitted 2020-11-17 math.MG math.DGmath.PR

classification math.MGmath.DGmath.PR
keywords alphaboundedcurvaturelowermathbbgeodesicinequalityspaces
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On the geometry of Wasserstein barycenter I

    math.MG 2024-12 conditional novelty 7.0 of 10

    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.

Pith tools