Random Čech complexes on manifolds with boundary

Let $M$ be a compact, unit volume, Riemannian manifold with boundary. In this paper we study the homology of a random Cech-complex generated by a homogeneous Poisson process in $M$. Our main results are two asymptotic threshold formulas, an upper threshold above which the Cech complex recovers the $k$-th homology of $M$ with high probability, and a lower threshold below which it almost certainly does not. These thresholds are close together in the sense that they have the same leading term. Here $k$ is positive and strictly less than the dimension $d$ of the manifold. This extends work of Bobrowski and Weinberger in [BW17] and Bobrowski and Oliveira [BO19] who establish similar formulas when $M$ is a torus and, more generally, is closed and has no boundary. We note that the cases with and without boundary lead to different answers: The corresponding common leading terms for the upper and lower thresholds differ being $\log (n) $ when $M$ is closed and $(2-2/d)\log (n)$ when $M$ has boundary; here $n$ is the expected number of sample points. Our analysis identifies a special type of homological cycle, which we call a $\Theta$-like-cycle, which occur close to the boundary and establish that the first order term of the lower threshold is $(2-2/d)\log (n)$.

[1]  J. Nash.  The imbedding problem for Riemannian manifolds , 1956 .

[2]  A. Hurwitz,et al.  über die Erzeugung der Invarianten durch Integration , 1963 .

[3]  J. Milnor.  Lectures on the h-cobordism theorem , 1965 .

[4]  R. E. Miles.  Isotropic random simplices , 1971, Advances in Applied Probability.

[5]  V. Gershkovich,et al.  MORSE THEORY FOR MIN-TYPE FUNCTIONS* , 1997 .

[6]  Jesse Freeman,et al.  in Morse theory, , 1999 .

[7]  J. Tenenbaum,et al.  A global geometric framework for nonlinear dimensionality reduction. , 2000, Science.

[8]  Mathew D. Penrose,et al.  Random Geometric Graphs , 2003 .

[9]  Afra Zomorodian,et al.  Computing Persistent Homology , 2004, SCG '04.

[10]  Nathan Linial,et al.  Homological Connectivity Of Random 2-Complexes , 2006, Comb..

[11]  V. Robins.  Betti number signatures of homogeneous Poisson point processes. , 2006, Physical review. E, Statistical, nonlinear, and soft matter physics.

[12]  Adrian Baddeley,et al.  Spatial Point Processes and their Applications , 2007 .

[13]  Stephen Smale,et al.  Finding the Homology of Submanifolds with High Confidence from Random Samples , 2008, Discret. Comput. Geom..

[14]  W. Weil,et al.  Stochastic and Integral Geometry , 2008 .

[15]  Herbert Edelsbrunner,et al.  Computational Topology - an Introduction , 2009 .

[16]  Frédéric Chazal,et al.  A Sampling Theory for Compact Sets in Euclidean Space , 2009, Discret. Comput. Geom..

[17]  Ravi P. Agarwal,et al.  On Random Topological Structures , 2011 .

[18]  Matthew Kahle,et al.  Sharp vanishing thresholds for cohomology of random flag complexes , 2012, 1207.0149.

[19]  Persi Diaconis,et al.  A. Hurwitz and the origins of random matrix theory in mathematics , 2015, 1512.09229.

[20]  P. Skraba,et al.  Maximally Persistent Cycles in Random Geometric Complexes , 2015, 1509.04347.

[21]  Omer Bobrowski,et al.  On the vanishing of homology in random Čech complexes , 2015, Random Struct. Algorithms.

[22]  Stephan K. Chalup,et al.  A study on validating non-linear dimensionality reduction using persistent homology , 2017, Pattern Recognit. Lett..

[23]  Mason A. Porter,et al.  A roadmap for the computation of persistent homology , 2015, EPJ Data Science.

[24]  Matthew Kahle,et al.  Topology of random geometric complexes: a survey , 2014, J. Appl. Comput. Topol..

[25]  Omer Bobrowski,et al.  Random Čech complexes on Riemannian manifolds , 2018, Random Struct. Algorithms.

[26]  Yuan Wang,et al.  Topological Inference of Manifolds with Boundary , 2018, Comput. Geom..

[27]  R. Ho.  Algebraic Topology , 2022 .