# On the stability of multigraded Betti numbers and Hilbert functions

arXiv: https://arxiv.org/abs/2112.11901 · HTML: https://mlsanity.com/paper/2112.11901/

## Key facts

- Cited by 5 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 22 Dec 2021.

## Built on by (most cited first, 5 of 5)

- [Stable Vectorization of Multiparameter Persistent Homology using Signed Barcodes as Measures](https://mlsanity.com/paper/2306.03801/) (2023)
- [Euler Characteristic Tools For Topological Data Analysis](https://mlsanity.com/paper/2303.14040/) (2023)
- [EMP: Effective Multidimensional Persistence for Graph Representation Learning](https://mlsanity.com/paper/2401.13713/) (2024)
- [CuMPerLay: Learning Cubical Multiparameter Persistence Vectorizations](https://mlsanity.com/paper/2510.12795/) (2025)
- [MCbiF: Measuring Topological Autocorrelation in Multiscale Clusterings via 2-Parameter Persistent Homology](https://mlsanity.com/paper/2510.14710/) (2025)

## Abstract (arXiv)

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.
