Skip to main content
Erschienen in: Foundations of Computational Mathematics 5/2015

01.10.2015

Zigzag Zoology: Rips Zigzags for Homology Inference

verfasst von: Steve Y. Oudot, Donald R. Sheehy

Erschienen in: Foundations of Computational Mathematics | Ausgabe 5/2015

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

For \(n\) points sampled near a compact set \(X\), the persistence barcode of the Rips filtration built from the sample contains information about the homology of \(X\) as long as \(X\) satisfies some geometric assumptions. The Rips filtration is prohibitively large; however, zigzag persistence can be used to keep the size linear in \(n\), with a constant factor depending only (exponentially) on the intrinsic dimension of \(X\). We present several species of Rips-like zigzags and compare them with respect to the signal-to-noise ratio, a measure of how well the underlying homology is represented in the persistence barcode relative to the noise in the barcode at the relevant scales. Some of these Rips-like zigzags have been available as part of the Dionysus library for several years while others are new. Interestingly, we show that some species of Rips zigzags will exhibit less noise than the (nonzigzag) Rips filtration itself. Thus, Rips zigzags can offer improvements in both size complexity and signal-to-noise ratio. Along the way, we develop new techniques for manipulating and comparing persistence barcodes from zigzag modules. In particular, we give methods for reversing arrows and removing spaces from a zigzag while controlling the changes occurring in its barcode. These techniques were developed to provide our theoretical analysis of the signal-to-noise ratio of Rips-like zigzags, but they are of independent interest as they apply to zigzag modules generally.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
See, for example, [13] for a proof. Our definition of the Rips complex differs from that in [13] by a factor of two in the parameter value. This explains the slight discrepancy between our chain of inclusions and the one in [13].
 
2
We are in fact using an extended version of the Persistent Nerve Lemma, stated in [9], where the index sets of the open covers may differ.
 
3
Note that we follow [5] and depart from the traditional persistence barcode representation by using closed intervals instead of half-open intervals.
 
4
Arbitrary orderings may lead to local oversampling and thus to an uncontrolled local growth of the complex, regardless of the zigzag considered.
 
5
This idea was suggested in [6], where it led to further tweaking of the data.
 
6
The analysis is even simpler in this case since Čech complexes of a suitable parameter carry the same homological information as \(X\), as opposed to the images of inclusions between Čech complexes.
 
7
With the notable exception of compositions as in Lemma 3.3, which canonically induce a functor.
 
Literatur
1.
Zurück zum Zitat D. Attali, A. Lieutier, and D. Salinas. Vietoris-Rips complexes also provide topologically correct reconstructions of sampled shapes. Computational Geometry: Theory and Applications, 46(4):448–465, 2012. D. Attali, A. Lieutier, and D. Salinas. Vietoris-Rips complexes also provide topologically correct reconstructions of sampled shapes. Computational Geometry: Theory and Applications, 46(4):448–465, 2012.
2.
Zurück zum Zitat I. N. Bernstein, I. M. Gelfand, and V. A. Ponomarev. Coxeter functors and Gabriel’s theorem. Russian Mathematical Surveys, 28(2):17–32, 1973. I. N. Bernstein, I. M. Gelfand, and V. A. Ponomarev. Coxeter functors and Gabriel’s theorem. Russian Mathematical Surveys, 28(2):17–32, 1973.
3.
Zurück zum Zitat D. Burago, Y. Burago, and S. Ivanov. A Course in Metric Geometry, volume 33 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2001. D. Burago, Y. Burago, and S. Ivanov. A Course in Metric Geometry, volume 33 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2001.
4.
Zurück zum Zitat G. Carlsson. Topology and data. Bulletin of the American Mathematical Society, 46(2):255–308, 2009. G. Carlsson. Topology and data. Bulletin of the American Mathematical Society, 46(2):255–308, 2009.
5.
Zurück zum Zitat G. Carlsson and V. de Silva. Zigzag persistence. Foundations of Computational Mathematics, 10(4):367–405, 2010. G. Carlsson and V. de Silva. Zigzag persistence. Foundations of Computational Mathematics, 10(4):367–405, 2010.
6.
Zurück zum Zitat G. Carlsson, T. Ishkhanov, V. de Silva, and A. Zomorodian. On the local behavior of spaces of natural images. Int. J. Comput. Vision, 76(1):1–12, January 2008. G. Carlsson, T. Ishkhanov, V. de Silva, and A. Zomorodian. On the local behavior of spaces of natural images. Int. J. Comput. Vision, 76(1):1–12, January 2008.
7.
Zurück zum Zitat F. Chazal and D. Cohen-Steiner. Geometric inference. In Tesselations in the Sciences. Springer-Verlag, 2013. F. Chazal and D. Cohen-Steiner. Geometric inference. In Tesselations in the Sciences. Springer-Verlag, 2013.
8.
Zurück zum Zitat F. Chazal, D. Cohen-Steiner, and A. Lieutier. A sampling theory for compact sets in Euclidean space. Discrete & Computational Geometry, 41:461–479, 2009. F. Chazal, D. Cohen-Steiner, and A. Lieutier. A sampling theory for compact sets in Euclidean space. Discrete & Computational Geometry, 41:461–479, 2009.
9.
Zurück zum Zitat F. Chazal, L. J. Guibas, S. Y. Oudot, and P. Skraba. Analysis of scalar fields over point cloud data. Discrete and Computational Geometry, 46(4):743–775, December 2011. F. Chazal, L. J. Guibas, S. Y. Oudot, and P. Skraba. Analysis of scalar fields over point cloud data. Discrete and Computational Geometry, 46(4):743–775, December 2011.
10.
Zurück zum Zitat F. Chazal and S. Y. Oudot. Towards persistence-based reconstruction in Euclidean spaces. In Proc. 24th ACM Symposium on Computational Geometry, pages 232–241, 2008. F. Chazal and S. Y. Oudot. Towards persistence-based reconstruction in Euclidean spaces. In Proc. 24th ACM Symposium on Computational Geometry, pages 232–241, 2008.
11.
Zurück zum Zitat V. de Silva. A weak characterisation of the Delaunay triangulation. Geometriae Dedicata, 135(1):39–64, August 2008. V. de Silva. A weak characterisation of the Delaunay triangulation. Geometriae Dedicata, 135(1):39–64, August 2008.
12.
Zurück zum Zitat V. de Silva and G. Carlsson. Topological estimation using witness complexes. IEEE Symposium on Point-based Graphic, pages 157–166, 2004. V. de Silva and G. Carlsson. Topological estimation using witness complexes. IEEE Symposium on Point-based Graphic, pages 157–166, 2004.
13.
Zurück zum Zitat V. de Silva and R. Ghrist. Coverage in sensor networks via persistent homology. Algebraic and Geometric Topology, 7:339–358, 2007. V. de Silva and R. Ghrist. Coverage in sensor networks via persistent homology. Algebraic and Geometric Topology, 7:339–358, 2007.
14.
Zurück zum Zitat T. K. Dey, F. Fan, and Y. Wang. Graph induced complex on point data. In Proc. 29th Annual Symposium on Computational Geometry, pages 107–116, New York, NY, USA, 2013. ACM. T. K. Dey, F. Fan, and Y. Wang. Graph induced complex on point data. In Proc. 29th Annual Symposium on Computational Geometry, pages 107–116, New York, NY, USA, 2013. ACM.
15.
Zurück zum Zitat Tamal K. Dey, Fengtao Fan, and Yusu Wang. Computing topological persistence for simplicial maps. In Proc. 30th Annual Symposium on Computational Geometry, 2014. Tamal K. Dey, Fengtao Fan, and Yusu Wang. Computing topological persistence for simplicial maps. In Proc. 30th Annual Symposium on Computational Geometry, 2014.
17.
Zurück zum Zitat H. Edelsbrunner, D. Letscher, and A. Zomorodian. Topological persistence and simplification. Discrete and Computational Geometry, 28:511–533, 2002. H. Edelsbrunner, D. Letscher, and A. Zomorodian. Topological persistence and simplification. Discrete and Computational Geometry, 28:511–533, 2002.
18.
Zurück zum Zitat P. Gabriel. Unzerlegbare Darstellungen I. Manuscripta Mathematica, 6:71–103, 1972. P. Gabriel. Unzerlegbare Darstellungen I. Manuscripta Mathematica, 6:71–103, 1972.
19.
Zurück zum Zitat L. J. Guibas and S. Y. Oudot. Reconstruction using witness complexes. Discrete and Computational Geometry, 40(3):325–356, 2008. L. J. Guibas and S. Y. Oudot. Reconstruction using witness complexes. Discrete and Computational Geometry, 40(3):325–356, 2008.
20.
Zurück zum Zitat A. Hatcher. Algebraic Topology. Cambridge Univ. Press, 2001. A. Hatcher. Algebraic Topology. Cambridge Univ. Press, 2001.
21.
Zurück zum Zitat J.-C. Hausmann. On the Vietoris-Rips complexes and a cohomology theory for metric spaces. Prospects in topology, Ann. of Math. Stud., 138:175–188, 1995. J.-C. Hausmann. On the Vietoris-Rips complexes and a cohomology theory for metric spaces. Prospects in topology, Ann. of Math. Stud., 138:175–188, 1995.
22.
Zurück zum Zitat B. Hudson, G. Miller, S. Y. Oudot, and D. Sheehy. Topological inference via meshing. In Proc. ACM Symposium on Computational geometry, pages 277–286. ACM, 2010. B. Hudson, G. Miller, S. Y. Oudot, and D. Sheehy. Topological inference via meshing. In Proc. ACM Symposium on Computational geometry, pages 277–286. ACM, 2010.
23.
Zurück zum Zitat M. Kashiwara and P. Schapira. Categories and Sheaves, volume 332 of Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 2006. M. Kashiwara and P. Schapira. Categories and Sheaves, volume 332 of Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 2006.
24.
Zurück zum Zitat J. Latschev. Vietoris-Rips complexes of metric spaces near a closed Riemannian manifold. Archiv der Mathematik, 77(6):522–528, 2001. J. Latschev. Vietoris-Rips complexes of metric spaces near a closed Riemannian manifold. Archiv der Mathematik, 77(6):522–528, 2001.
25.
Zurück zum Zitat A. B. Lee, K. S. Pedersen, and D. Mumford. The nonlinear statistics of high-contrast patches in natural images. Int. J. Comput. Vision, 54(1–3):83–103, August 2003. A. B. Lee, K. S. Pedersen, and D. Mumford. The nonlinear statistics of high-contrast patches in natural images. Int. J. Comput. Vision, 54(1–3):83–103, August 2003.
26.
27.
Zurück zum Zitat D. R. Sheehy. Linear-size approximations to the vietoris-rips filtration. In Proc. ACM Symposium on Computational Geometry, pages 239–248. ACM, 2012. D. R. Sheehy. Linear-size approximations to the vietoris-rips filtration. In Proc. ACM Symposium on Computational Geometry, pages 239–248. ACM, 2012.
28.
Zurück zum Zitat J. H. van Hateren and A. van der Schaaff. Independent component filters of natural images compared with simple cells in primary visual cortex. Proceedings of the Royal Society, London, B, 265:359–366, 1997. J. H. van Hateren and A. van der Schaaff. Independent component filters of natural images compared with simple cells in primary visual cortex. Proceedings of the Royal Society, London, B, 265:359–366, 1997.
29.
Zurück zum Zitat A. Zomorodian and G. Carlsson. Computing persistent homology. Discrete Comput. Geom., 33(2):249–274, 2005. A. Zomorodian and G. Carlsson. Computing persistent homology. Discrete Comput. Geom., 33(2):249–274, 2005.
Metadaten
Titel
Zigzag Zoology: Rips Zigzags for Homology Inference
verfasst von
Steve Y. Oudot
Donald R. Sheehy
Publikationsdatum
01.10.2015
Verlag
Springer US
Erschienen in
Foundations of Computational Mathematics / Ausgabe 5/2015
Print ISSN: 1615-3375
Elektronische ISSN: 1615-3383
DOI
https://doi.org/10.1007/s10208-014-9219-7

Weitere Artikel der Ausgabe 5/2015

Foundations of Computational Mathematics 5/2015 Zur Ausgabe

Premium Partner