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.

A Global Diffeomorphism Theorem for Fréchet spaces

Global Implicit Function Theorems and Critical Point Theory in Fréchet Spaces

Chang Palais-Smale condition and global inversion

A Generalized Mountain Pass Lemma with a Closed Subset for Locally Lipschitz Functionals

Conformal Circles and Local Diffeomorphisms

Corks for exotic diffeomorphisms

Convergence for global curve diffusion flows

Generalized maps between diffeological spaces

The mountain pass theorem in terms of tangencies

The Julia-Wolff-Carathéodory theorem in convex finite type domains

Diffusion equations with general nonlocal time and space derivatives

Central limit theorems for Fréchet means on stratified spaces

A Toponogov globalisation result for Lorentzian length spaces

A Local-To-Global Principle for Convexity in Metric Spaces

A generalization of the Schwarz lemma for transversally harmonic maps

Automorphisms of generic gradient vector fields with prescribed finite symmetries

The generalized Kähler Calabi-Yau problem

Two Characterizations of Diffeomorphisms of Euclidean Space

Morin singularities and global geometry in a class of ordinary differential operators

Classification of C1 Diffeomorphisms of the Real Line under C1 Conjugacy

Minimal Diffeomorphisms with L1 Hopf Differentials