On the Stability of Multigraded Betti Numbers and Hilbert Functions

DOI10.1137/22M1489150arXiv2112.11901OpenAlexW4391141186MaRDI QIDQ6202886FDOQ6202886

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)

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.

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

zbMATH Keywords

persistent homologytopological data analysisfree resolutionsstability theoremsmultigraded Betti numbersmultiparameter persistence

Mathematics Subject Classification ID

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

Cites Work

• The theory of multidimensional persistence
• The auction algorithm: A distributed relaxation method for the assignment problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ripser: efficient computation of Vietoris-Rips persistence barcodes
• Computing persistent homology
• Statistical topological data analysis using persistence landscapes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exact categories
• Algorithms for the Assignment and Transportation Problems
• Generalized persistence diagrams
• Title not available (Why is that?)
• Kantorovich-Rubinstein Norm and Its Application in the Theory of Lipschitz Spaces
• Title not available (Why is that?)
• Gradient flow of the Chapman-Rubinstein-Schatzman model for signed vortices
• Geometry helps in bottleneck matching and related problems
• 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
• Generalized persistence diagrams for persistence modules over posets
• On the stability of interval decomposable persistence modules
• Persistence Images: A Stable Vector Representation of Persistent Homology
• Edit Distance and Persistence Diagrams over Lattices
• Algebraic stability of zigzag persistence modules
• Geometry Helps to Compare Persistence Diagrams
• The rank invariant stability via interleavings
• Stratifying Multiparameter Persistent Homology
• Algebraic homotopy interleaving distance
• Fast Minimal Presentations of Bi-graded Persistence Modules
• Computing Minimal Presentations and Bigraded Betti Numbers of 2-Parameter Persistent Homology
• Efficient Approximation of the Matching Distance for 2-Parameter Persistence
• Virtual persistence diagrams, signed measures, Wasserstein distances, and Banach spaces

Cited In (2)

• On the bottleneck stability of rank decompositions of multi-parameter persistence modules
• Persistent transcendental Bézout theorems

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)