On the structural theorem of persistent homology

DOI10.1007/S00454-018-0042-9zbMATH Open1471.55007arXiv1701.02055OpenAlexW2962824555WikidataQ128984960 ScholiaQ128984960MaRDI QIDQ2334510FDOQ2334510

Authors: Killian Meehan, Andrei Pavlichenko, Jan Segert 

Publication date: 7 November 2019

Published in: Discrete \& Computational Geometry (Search for Journal in Brave)

Abstract: We study the categorical framework for the computation of persistent homology, without reliance on a particular computational algorithm. The computation of persistent homology is commonly summarized as a matrix theorem, which we call the Matrix Structural Theorem. Any of the various algorithms for computing persistent homology constitutes a constructive proof of the Matrix Structural Theorem. We showthat the Matrix Structural Theorem is equivalent to the Krull-Schmidt property of the category of filtered chain complexes. We separately establish the Krull-Schmidt property by abstract categorical methods, yielding a novel nonconstructive proof of the Matrix Structural Theorem. These results provide the foundation for an alternate categorical framework for decomposition in persitent homology, bypassing the usual persistence vector spaces and quiver representations.

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

Recommendations

• Persistent homology and Auslander-Reiten theory
• Persistent homology and applied homotopy theory
• Persistent homology -- a survey
• Persistent homology: theory and practice
• Persistent Homology and Nested Dissection
• The persistent homology of a self-map
• The persistence space in multidimensional persistent homology
• Categorification of persistent homology
• Persistent intersection homology
• Persistent Homology of Semialgebraic Sets

zbMATH Keywords

persistent homologyKrull-Schmidt categorymatrix reduction

Mathematics Subject Classification ID

Persistent homology and applications, topological data analysis (55N31) Applied homological algebra and category theory in algebraic topology (55U99) Homological algebra in category theory, derived categories and functors (18G99)

Cites Work

• Topology and data
• Title not available (Why is that?)
• Barcodes: The persistent topology of data
• Stability of persistence diagrams
• Title not available (Why is that?)
• Computing persistent homology
• Topological persistence and simplification
• Dualities in persistent (co)homology
• Zigzag persistence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topology for Computing
• Topological pattern recognition for point cloud data
• Title not available (Why is that?)
• Title not available (Why is that?)
• Zigzag persistent homology and real-valued functions
• Persistent homology for kernels, images, and cokernels
• Quiver representations.
• Localized homology
• On the Krull-Schmidt theorem with application to sheaves
• Title not available (Why is that?)
• Auslander-Reiten theory in a Krull-Schmidt category
• Krull-Schmidt categories and projective covers
• Geometric and topological inference
• Title not available (Why is that?)
• On the structural theorem of persistent homology
• Persistence theory. From quiver representations to data analysis
• Zigzag Persistence via Reflections and Transpositions

Cited In (17)

• Decomposition of persistence modules
• Magnitude meets persistence: homology theories for filtered simplicial sets
• Matrix method for persistence modules on commutative ladders of finite type
• Parametrized homology via zigzag persistence
• Title not available (Why is that?)
• On the structural theorem of persistent homology
• Nori diagrams and persistent homology
• On the persistent homology of almost surely \(C^0\) stochastic processes
• Exact weights, path metrics, and algebraic Wasserstein distances
• Lifespan functors and natural dualities in persistent homology
• Persistent Homology and Nested Dissection
• Homological algebra for persistence modules
• Title not available (Why is that?)
• Persistence diagrams as diagrams: a categorification of the stability theorem
• \(p\)-cyclic persistent homology and Hofer distance
• Title not available (Why is that?)
• Decomposing filtered chain complexes: geometry behind barcoding algorithms

This page was built for publication: On the structural theorem of persistent homology

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