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.

Weak convergence of probability measures on hyperspaces with the upper Fell-topology

Weak convergence of topological measures

The Linear Topology Associated with Weak Convergence of Probability Measures

Topology and convergence on the space of measure-valued functions

Relative weak compactness in infinite-dimensional Fefferman-Meyer duality

Fatou's Lemma for Weakly Converging Measures under the Uniform Integrability Condition

On a weak topology for Hadamard spaces

Tightness and weak convergence in the topology of local uniform convergence for stochastic processes in the dual of a nuclear space

Weak$^{\ast }$ Hypertopologies with Application to Genericity of Convex Sets

On $\mathrm{F}$-spaces of almost-Lebesgue functions

Stable functions and Følner's Theorem

Local dimensions of measures of finite type II - Measures without full support and with non-regular probabilities

A Tauberian theorem for strong Feller semigroups

μ-Integrable Functions and Weak Convergence of Probability Measures in Complete Paranormed Spaces

Summability of Fourier Transforms on Mixed-Norm Lebesgue Spaces Via Associated Herz Spaces

Vague convergence and method of moments for random metric measure spaces

Generalized Fejér monotone sequences and their finitary content

Weak Hausdorff separation axiom in I-fuzzy topological spaces and its application

Central limit theorems for Fréchet means on stratified spaces