An approximate nerve theorem

DOI10.1007/S10208-017-9368-6MaRDI QIDQ1785011zbMATH OpenOpenAlexFDO

Authors Dejan Govc, Primoz Skraba

Publication date 27 September 2018

Published in Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.06956

zbMATH Keywords

approximationbarcodeinterleavingMayer-Vietorispersistence modulesspectral sequences

Mathematics Subject Classification ID

Homology and cohomology theories in algebraic topology (55N99) Spectral sequences in algebraic topology (55T99)

Abstract: 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. Using the Mayer-Vietoris spectral sequence, we upper bound how local non-acyclicity can affect the global homology. 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.

Review text

This paper describes a generalization of the classical theorem on the nerve of the cover of a topological space. This theorem says that under appropriate conditions the nerve of a cover where every non-empty intersection of finitely many sets in the cover is contractible, is homotopy equivalent to the space. The authors are interested in the case of the persistent homology of a space, motivated by the idea of using a set of sample points to approximate the space. Specifically the paper considers the persistent homology of a space as having the structure of a \(k[t]\)-module where \(k\) is a field. From this viewpoint \(t\) represents the time at which elements appear or disappear. The main theorem requires the notion of an \(\epsilon\)-acyclic cover, which is defined by the authors as an approximation to an acyclic cover. The main theorem relates the persistent homology of a space endowed with a function and the persistent homology of the nerve of an \(\epsilon\)-acyclic cover of the space. The notion of approximation in this context is based on the idea of interleaving distance between the persistence module of the underlying space and the persistence module of the nerve of the cover. The proof works by working through the Mayer-Vietoris spectral sequence to relate the persistent homology of the nerve to that of the space. The paper contains examples that show that the bounds on the interleaving distance in the main theorem are tight. There is also an application of the results to the case of a cover by small balls centered at sample points.

Recommendations

• Triangulating Topological Spaces
• Simple homotopy theory and nerve theorem for categories
• Proximity of persistence modules and their diagrams
• Approximating persistent homology in Euclidean space through collapses
• The Morse Theory of Čech and Delaunay Filtrations

Cites work

• A sampling theory for compact sets in Euclidean space
• Approximating persistent homology in Euclidean space through collapses
• Barcodes: The persistent topology of data
• Categorification of persistent homology
• Computational topology. An introduction
• Computing persistent homology
• Extreme elevation on a 2-manifold
• Finding the homology of submanifolds with high confidence from random samples
• Graded and filtered rings and modules
• scientific article; zbMATH DE number 5984526 (Why is no real title available?)
• scientific article; zbMATH DE number 3131597 (Why is no real title available?)
• scientific article; zbMATH DE number 3687601 (Why is no real title available?)
• scientific article; zbMATH DE number 3782042 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 1565334 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• Induced matchings of barcodes and the algebraic stability of persistence
• Multidimensional persistence and noise
• Proximity of persistence modules and their diagrams
• Scalar field analysis over point cloud data
• Stability of persistence diagrams
• The observable structure of persistence modules
• The structure and stability of persistence modules
• The theory of the interleaving distance on multidimensional persistence modules
• The topology of probability distributions on manifolds
• Topology and data
• Towards persistence-based reconstruction in euclidean spaces

Cited in

(16)

• The cylinder of a relation and generalized versions of the nerve theorem
• Simple homotopy theory and nerve theorem for categories
• Sparse Dowker nerves
• Rips complexes as nerves and a functorial Dowker-nerve diagram
• Computational approximations of compact metric spaces
• Morse inequalities for the Koszul complex of multi-persistence
• Certified mapper: repeated testing for acyclicity and obstructions to the nerve lemma
• The genuine operadic nerve
• Nerves, minors, and piercing numbers
• Distributing persistent homology via spectral sequences
• A unified view on the functorial nerve theorem and its variations
• Discussions on the Connectedness of a Random Closed Set
• Comparison of persistent singular and Čech homology for locally connected filtrations
• Interleaving Mayer-Vietoris spectral sequences
• From the Mayer-Vietoris spectral sequence to überhomology
• On the connectedness of a random closed set of a Euclidean space

This page was built for publication: An approximate nerve theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1785011)