Abstract
This paper lays the foundations of an approach to applying Gromov’s ideas on quantitative topology to topological data analysis. We introduce the “contiguity complex”, a simplicial complex of maps between simplicial complexes defined in terms of the combinatorial notion of contiguity. We generalize the Simplicial Approximation Theorem to show that the contiguity complex approximates the homotopy type of the mapping space as we subdivide the domain. We describe algorithms for approximating the rate of growth of the components of the contiguity complex under subdivision of the domain; this procedure allows us to computationally distinguish spaces with isomorphic homology but different homotopy types.
Similar content being viewed by others
References
G. Carlsson, A. Zomorodian, The theory of multidimensional persistence, Discrete Comput. Geom. 42, 71–93 (2009).
H. Edelsbrunner, D. Letscher, A. Zomorodian, Topological persistence and simplification, Discrete Comput. Geom. 28, 511–533 (2002).
M. Gromov, Quantitative homotopy theory, in Prospects in Mathematics, Princeton, NJ, 1996 (Am. Math. Soc., Providence, 1999), pp. 45–49.
S. Mac Lane, Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics, vol. 5 (Springer, New York, 1998).
J. Milnor, The geometric realization of a semi-simplicial complex, Ann. Math. 65, 357–362 (1957).
J. Milnor, On spaces having the homotopy type of a \({\rm CW}\)-complex, Trans. Am. Math. Soc. 90, 272–280 (1959).
J.R. Munkres, Topology, 2nd edn. (Prentice Hall, New York, 2000).
E.H. Spanier, Algebraic Topology (Springer, New York, 1981).
A. Zomorodian, G. Carlsson, Computing persistent homology, Discrete Comput. Geom. 33, 249–274 (2005).
Acknowledgements
This research supported in part by DARPA YFA award N66001-10-1-4043.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Gunnar Carlsson.
Rights and permissions
About this article
Cite this article
Blumberg, A.J., Mandell, M.A. Quantitative Homotopy Theory in Topological Data Analysis. Found Comput Math 13, 885–911 (2013). https://doi.org/10.1007/s10208-013-9177-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10208-013-9177-5
Keywords
- Simplicial complex
- Contiguity
- Subdivision
- Mesh size
- Mapping space
- Simplicial approximation theorem
- Persistent homology