The Topology of Probability Distributions on Manifolds

Let $P$ be a set of $n$ random points in $R^d$, generated from a probability measure on a $m$-dimensional manifold $M \subset R^d$. In this paper we study the homology of $U(P,r)$ -- the union of $d$-dimensional balls of radius $r$ around $P$, as $n \to \infty$, and $r \to 0$. In addition we study the critical points of $d_P$ -- the distance function from the set $P$. These two objects are known to be related via Morse theory. We present limit theorems for the Betti numbers of $U(P,r)$, as well as for number of critical points of index $k$ for $d_P$. Depending on how fast $r$ decays to zero as $n$ grows, these two objects exhibit different types of limiting behavior. In one particular case ($n r^m > C \log n$), we show that the Betti numbers of $U(P,r)$ perfectly recover the Betti numbers of the original manifold $M$, a result which is of significant interest in topological manifold learning

On moments-preserving cosine families and semigroups in C[0,1]C[0,1]

We use the newly developed Kelvin's method of images \cite{kosinusy,kelvin} to show existence of a unique cosine family generated by a restriction of the Laplace operator in $C[0,1]$, that preserves the first two moments. We characterize the domain of its generator by specifying its boundary conditions. Also, we show that it enjoys inherent symmetry properties, and in particular that it leaves the subspaces of odd and even functions invariant. Furthermore, we provide information on long-time behavior of the related semigroup.Comment: 20 pages, 2 figure