A topological approach to inferring the intrinsic dimension of convex sensing data

We consider a common measurement paradigm, where an unknown subset of an affine space is measured by unknown continuous quasi-convex functions. Given the measurement data, can one determine the dimension of this space? In this paper, we develop a method for inferring the intrinsic dimension of the data from measurements by quasi-convex functions, under natural assumptions. The dimension inference problem depends only on discrete data of the ordering of the measured points of space, induced by the sensor functions. We construct a filtration of Dowker complexes, associated to measurements by quasi-convex functions. Topological features of these complexes are then used to infer the intrinsic dimension. We prove convergence theorems that guarantee obtaining the correct intrinsic dimension in the limit of large data, under natural assumptions. We also illustrate the usability of this method in simulations.

[1]  Rommel G. Regis,et al.  On the properties of positive spanning sets and positive bases , 2016 .

[2]  A. Cambini,et al.  Generalized Convexity and Optimization: Theory and Applications , 2008 .

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

[4]  Martin Grötschel,et al.  Handbook of combinatorics (vol. 1) , 1996 .

[5]  Nachum Ulanovsky,et al.  Representation of Three-Dimensional Space in the Hippocampus of Flying Bats , 2013, Science.

[6]  R. Graham,et al.  Handbook of Combinatorics , 1995 .

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

[8]  László Györfi,et al.  A Probabilistic Theory of Pattern Recognition , 1996, Stochastic Modelling and Applied Probability.

[9]  J. O'Keefe,et al.  The hippocampus as a spatial map. Preliminary evidence from unit activity in the freely-moving rat. , 1971, Brain research.

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

[11]  Steve Oudot,et al.  Persistence stability for geometric complexes , 2012, ArXiv.

[12]  Michael Lesnick,et al.  The Theory of the Interleaving Distance on Multidimensional Persistence Modules , 2011, Found. Comput. Math..

[13]  Samir Chowdhury,et al.  A functorial Dowker theorem and persistent homology of asymmetric networks , 2016, J. Appl. Comput. Topol..

[14]  Steve Oudot,et al.  Persistence Theory - From Quiver Representations to Data Analysis , 2015, Mathematical surveys and monographs.

[15]  C. H. Dowker.  HOMOLOGY GROUPS OF RELATIONS , 1952 .