An Approximate Nerve Theorem
- 264 Downloads
The nerve theorem relates the topological type of a suitably nice space with the nerve of a good cover of that space. It has many variants, such as to consider acyclic covers and numerous applications in topology including applied and computational topology. The goal of this paper is to relax the notion of a good cover to an approximately good cover, or more precisely, we introduce the notion of an \(\varepsilon \)-acyclic cover. We use persistent homology to make this rigorous and prove tight bounds between the persistent homology of a space endowed with a function and the persistent homology of the nerve of an \(\varepsilon \)-acyclic cover of the space. Our approximations are stated in terms of interleaving distance between persistence modules. Using the Mayer–Vietoris spectral sequence, we prove upper bounds on the interleaving distance between the persistence module of the underlying space and the persistence module of the nerve of the cover. To prove the best possible bound, we must introduce special cases of interleavings between persistence modules called left and right interleavings. Finally, we provide examples which achieve the bound proving the lower bound and tightness of the result.
KeywordsPersistence modules Mayer–Vietoris Spectral sequences Approximation
Mathematics Subject ClassificationPrimary 55 55T 18
The authors would like to thank Don Sheehy for introducing them to the problem and to Petar Pavešić for suggesting the proof of Proposition 4.7. The first author was supported by the Slovenian Research Agency Grant P1-0292-0101. The second author was supported by the Slovenian Research Agency Grant TopRep N1-0058.
- 3.Ulrich Bauer and Michael Lesnick. Induced matchings of barcodes and the algebraic stability of persistence. In Proceedings 30th Annual Symposium on Computational Geometry, page 355. ACM, 2014.Google Scholar
- 5.Magnus Bakke Botnan and Gard Spreemann. Approximating persistent homology in euclidean space through collapses. arXiv preprint arXiv:1403.0533 2014.
- 6.Raoul Bott and Loring W Tu. Differential forms in algebraic topology, volume 82. Springer, 2013.Google Scholar
- 7.Kenneth S Brown. Cohomology of groups, volume 87. Springer, 2012.Google Scholar
- 10.Nicholas J Cavanna and Donald R Sheehy. Persistent nerves revisited.Google Scholar
- 11.Frédéric Chazal, David Cohen-Steiner, Marc Glisse, Leonidas J. Guibas, and Steve Y. Oudot. Proximity of persistence modules and their diagrams. Proceedings 25th Annual Symposium on Computational Geometry, pages 237–246, 2009.Google Scholar
- 14.Frédéric Chazal, Vin De Silva, Marc Glisse, and Steve Oudot. The structure and stability of persistence modules. Springer, 2016.Google Scholar
- 15.Frédéric Chazal, Leonidas J Guibas, Steve Y Oudot, and Primoz Skraba. Analysis of scalar fields over point cloud data. In Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1021–1030. Society for Industrial and Applied Mathematics, 2009.Google Scholar
- 17.Frédéric Chazal and Steve Yann Oudot. Towards persistence-based reconstruction in euclidean spaces. In Proceedings 24th Annual Symposium on Computational Geometry, pages 232–241. ACM, 2008.Google Scholar
- 20.Herbert Edelsbrunner and John Harer. Computational Topology. American Mathematical Society, 2010.Google Scholar
- 21.David Eisenbud. Commutative Algebra: with a view toward algebraic geometry, volume 150. Springer, 2013.Google Scholar
- 23.Roger Godement. Topologie algébrique et théorie des faisceaux, volume 13. Hermann Paris, 1958.Google Scholar
- 26.David Lipsky, Primoz Skraba, and Mikael Vejdemo-Johansson. A spectral sequence for parallelized persistence. arXiv preprint arXiv:1112.1245, 2011.
- 27.John McCleary. A user’s guide to spectral sequences. Number 58. Cambridge University Press, 2001.Google Scholar
- 28.Constantin Nastasescu and Freddy Van Oystaeyen. Graded and filtered rings and modules, volume 758. Springer, 1979.Google Scholar
- 30.Amit Patel. Semicontinuity of persistence diagrams. arXiv preprint arXiv:1601.03107, 2016.
- 31.Joseph Rotman. An introduction to homological algebra. Springer, 2008.Google Scholar
- 32.Martina Scolamiero, Wojciech Chachólski, Anders Lundman, Ryan Ramanujam, and Sebastian Öberg. Multidimensional persistence and noise. Foundations of Computational Mathematics, pages 1–40, 2016.Google Scholar
- 33.Donald Sheehy. A multicover nerve for geometric inference. In Proceedings of the Canadian Conference of Computational Geometry, pages 309–314, 2012.Google Scholar
- 35.Mikael Vejdemo-Johansson. Interleaved equivalence of categories of persistence modules. arXiv preprint arXiv:1210.7913, 2012.
- 36.Shmuel Weinberger. What is... persistent homology? Notices of the AMS, 58(1):36–39, 2011.Google Scholar