A note on flatness of non separable tangent cone at a barycenter

DOI10.5802/CRMATH.66MaRDI QIDQ784233zbMATH OpenOpenAlexFDO

Authors Thibaut Le Gouic

Publication date 3 August 2020

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1906.11536

zbMATH Keywords

Alexandrov spaceprobability measure

Mathematics Subject Classification ID

Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces (53C23) Probability measures on topological spaces (60B05)

Abstract: Given a probability measure P on an Alexandrov space S with curvature bounded below, we prove that the support of the pushforward of P on the tangent cone at its (exponential) barycenter is a subset of a Hilbert space, without separability of the tangent cone.

Review text

Let \((S,d)\) be a metric space which is assumed to be an Alexandrov space with curvature bounded from below by \(\kappa\in\mathbb{R}\). One denotes by \(T_pS\) the tangent cone at any \(p\in S\), by \(\mathrm{Lin}_p\subseteq T_p S\) the set of all points that admit an opposite, and one fixes a logarithmic map \(\log_p\colon S\to T_p S\). Also let \(\mathbf{P}\) be a probability measure on \(S\) satisfying \(\int_S d(x,y)\mathrm d\mathbf{P}(y)<\infty\) for some \(x\in S\). The main result of the paper under review is that if \(b^\star\in S\) is an exponential barycenter of the measure \(\mathbf{P}\), then the support of the pushforward of \(\mathbf{P}\) through \(\log_p\) is contained in \(\mathrm{Lin}_p\), which has the structure of a Hilbert space. As a corollary, one obtains a result that is related to some technical aspects in the paper by \textit{A. Ahidar-Coutrix} et al. [Probab. Theory Relat. Fields 177, No. 1--2, 323--368 (2020; Zbl 1442.51004)].

Recommendations

• Barycenters in Alexandrov spaces of curvature bounded below
• The tangent cone of an Aleksandrov space of curvature K
• Convex functions and \(p\)-barycenter on CAT(1)-spaces of small radii
• scientific article; zbMATH DE number 2051142
• Absolute continuity of Wasserstein barycenters over Alexandrov spaces

Cites work

• A course in metric geometry
• A rigidity theorem in Alexandrov spaces with lower curvature bound
• An invitation to Alexandrov geometry. CAT(0) spaces
• Barycenters in Alexandrov spaces of curvature bounded below
• Kirszbraun's theorem and metric spaces of bounded curvature
• Metric spaces of lower bounded curvature
• On tangent cones of Alexandrov spaces with curvature bounded below

Cited in

(4)

• Convergence rates for empirical barycenters in metric spaces: curvature, convexity and extendable geodesics
• Barycenters in Alexandrov spaces of curvature bounded below
• Fast convergence of empirical barycenters in Alexandrov spaces and the Wasserstein space
• A geometric condition for uniqueness of Fréchet means of persistence diagrams

This page was built for publication: A note on flatness of non separable tangent cone at a barycenter

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784233)