On the Stability of Multigraded Betti Numbers and Hilbert Functions

DOI10.1137/22M1489150MaRDI QIDQ6202886zbMATH OpenOpenAlexFDO

Authors Steve Y. Oudot, Luis Nerio Scoccola

Publication date 27 February 2024

Published in SIAM Journal on Applied Algebra and Geometry (Search for Journal in Brave)

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

zbMATH Keywords

free resolutionsmultigraded Betti numbersmultiparameter persistencepersistent homologystability theoremstopological data analysis

Mathematics Subject Classification ID

Persistent homology and applications, topological data analysis (55N31) Topological data analysis (62R40)

Abstract: Multigraded Betti numbers are one of the simplest invariants of multiparameter persistence modules. This invariant is useful in theory -- it completely determines the Hilbert function of the module and the isomorphism type of the free modules in its minimal free resolution -- as well as in practice -- it is easy to visualize and it is one of the main outputs of current multiparameter persistent homology software, such as RIVET. However, to the best of our knowledge, no bottleneck stability result with respect to the interleaving distance has been established for this invariant so far, and this potential lack of stability limits its practical applications. We prove a stability result for multigraded Betti numbers, using an efficiently computable bottleneck-type dissimilarity function we introduce. Our notion of matching is inspired by recent work on signed barcodes, and allows matching bars of the same module in homological degrees of different parity, in addition to matchings bars of different modules in homological degrees of the same parity. Our stability result is a combination of Hilbert's syzygy theorem, Bjerkevik's bottleneck stability for free modules, and a novel stability result for projective resolutions. We also prove, in the $2$-parameter case, a $1$-Wasserstein stability result for Hilbert functions with respect to the $1$-presentation distance of Bjerkevik and Lesnick.

Recommendations

• Betti numbers in multidimensional persistent homology are stable functions
• Stratifying multiparameter persistent homology
• Algebraic homotopy interleaving distance
• Stability of 2-Parameter Persistent Homology
• Computing invariants for multipersistence via spectral systems and effective homology

Cites work

• Algebraic homotopy interleaving distance
• Algebraic stability of zigzag persistence modules
• Algorithms for the Assignment and Transportation Problems
• Computing minimal presentations and bigraded Betti numbers of 2-parameter persistent homology
• Computing persistent homology
• Edit Distance and Persistence Diagrams over Lattices
• Efficient Approximation of the Matching Distance for 2-Parameter Persistence
• Exact categories
• Fast Minimal Presentations of Bi-graded Persistence Modules
• Generalized persistence diagrams
• Generalized persistence diagrams for persistence modules over posets
• Geometry helps in bottleneck matching and related problems
• Geometry helps to compare persistence diagrams
• Gradient flow of the Chapman-Rubinstein-Schatzman model for signed vortices
• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 3133048 (Why is no real title available?)
• scientific article; zbMATH DE number 4049531 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• scientific article; zbMATH DE number 3231692 (Why is no real title available?)
• Kantorovich-Rubinstein Norm and Its Application in the Theory of Lipschitz Spaces
• On the stability of interval decomposable persistence modules
• Persistence images: a stable vector representation of persistent homology
• Ripser: efficient computation of Vietoris-Rips persistence barcodes
• Statistical topological data analysis using persistence landscapes
• Stratifying multiparameter persistent homology
• The auction algorithm: A distributed relaxation method for the assignment problem
• The rank invariant stability via interleavings
• The theory of multidimensional persistence
• The theory of the interleaving distance on multidimensional persistence modules
• Understanding the topology and the geometry of the space of persistence diagrams via optimal partial transport
• Virtual persistence diagrams, signed measures, Wasserstein distances, and Banach spaces

Cited in

(11)

• On the bottleneck stability of rank decompositions of multi-parameter persistence modules
• Persistent transcendental Bézout theorems
• Confidence bands for multiparameter persistence landscapes
• Euler characteristic surfaces: a stable multiscale topological summary of time series data
• Signed barcodes for multi-parameter persistence via rank decompositions and rank-exact resolutions
• Multi-parameter persistence modules are generically indecomposable
• Koszul complexes and relative homological algebra of functors over posets
• Exact structures for persistence modules
• Stabilizing decomposition of multiparameter persistence modules
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)

This page was built for publication: On the Stability of Multigraded Betti Numbers and Hilbert Functions

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