Abstract:Fréchet means of samples from a probability measure $\mu$ on any smoothly stratified metric space M with curvature bounded above are shown to satisfy a central limit theorem (CLT). The methods and results proceed by introducing and proving analytic properties of the "escape vector" of any finitely supported measure $\delta$ in M, which records infinitesimal variation of the Fréchet mean $\bar\mu$ of $\mu$ in response to perturbation of $\mu$ by adding the mass $t\delta$ for $t \to 0$. The CLT limiting distribution $N$ on the tangent cone $T$ at the Fréchet mean is characterized in four ways. The first uses tangential collapse $L$ to compare $T$ with a linear space and then applies a distortion map to the usual linear CLT to transfer back to $T$. Distortion is defined by applying escape after taking preimages under $L$. The second characterization constructs singular analogues of Gaussian measures on smoothly stratified spaces and expresses $N$ as the escape vector of any such "Gaussian mass". The third characterization expresses $N$ as the directional derivative, in the space of measures on $M$, of the barycenter map at $\mu$ in the (random) direction given by any Gaussian mass. The final characterization expresses $N$ as the directional derivative, in the space $C$ of continuous real-valued functions on $T$, of a minimizer map, with the derivative taken at the Fréchet function $F \in C$ along the (random) direction given by the negative of the Gaussian tangent field induced by $\mu$. Precise mild hypotheses on the measure $\mu$ guarantee these CLTs, whose convergence is proved via the second characterization of $N$ by formulating a duality between Gaussian masses and Gaussian tangent fields.

Uniform Consistency of Generalized Fréchet Means

Convergence Rates for the Generalized Fréchet Mean via the Quadruple Inequality

Strong law of large numbers for the generalized Fréchet means with random minimizing domains

Convex generalized Fréchet means in a metric tree

Fréchet Means in Infinite Dimensions

A Lower Bound for Estimating Fréchet Means

Poincaré Fréchet Mean

Central limit theorem for intrinsic Fréchet means in smooth compact Riemannian manifolds

Variance Inequalities for Transformed Fréchet Means in Hadamard Spaces

Central limit theorems for Fréchet means on stratified spaces

Means of unbounded sets

Central limit theorem for intrinsic Frechet means in smooth compact Riemannian manifolds

On the consistency of Fréchet means in deformable models for curve and image analysis

On the differentiability of $ϕ$-projections in the discrete finite case

Mean field approximations via log-concavity

A Comprehensive Definition of the Geometric Mean of Convex Bodies Based on Relations Between Their $p$-Means

Vague convergence and method of moments for random metric measure spaces

Concentration of empirical barycenters in metric spaces

On the homogenization of means

A Smeary Central Limit Theorem for Manifolds with Application to High Dimensional Spheres

Uniform Convergence of Metrics on Alexandrov Surfaces with Bounded Integral Curvature