Elder-rule-staircodes for augmented metric spaces

C Cai, W Kim, F Mémoli, Y Wang - SIAM Journal on Applied Algebra and …, 2021 - SIAM
SIAM Journal on Applied Algebra and Geometry, 2021SIAM
An augmented metric space is a metric space (X,d_X) equipped with a function f_X:X→R.
This type of data arises commonly in practice, eg, a point cloud X in R^D where each point
x∈X has a density function value f_X(x) associated to it. An augmented metric space
(X,d_X,f_X) naturally gives rise to a 2-parameter filtration K. However, the resulting 2-
parameter persistent homology H_∙(K) could still be of wild representation type and may not
have simple indecomposables. In this paper, motivated by the elder-rule for the zeroth …
An augmented metric space is a metric space equipped with a function . This type of data arises commonly in practice, e.g., a point cloud in where each point has a density function value associated to it. An augmented metric space naturally gives rise to a 2-parameter filtration . However, the resulting 2-parameter persistent homology could still be of wild representation type and may not have simple indecomposables. In this paper, motivated by the elder-rule for the zeroth homology of 1-parameter filtration, we propose a barcode-like summary, called the elder-rule-staircode, as a way to encode . Specifically, if , the elder-rule-staircode consists of number of staircase-like blocks in the plane. We show that if is interval decomposable, then the barcode of is equal to the elder-rule-staircode. Furthermore, regardless of the interval decomposability, the fibered barcode, the dimension function (a.k.a. the Hilbert function), and the graded Betti numbers of can all be efficiently computed once the elder-rule-staircode is given. Finally, we develop and implement an efficient algorithm to compute the elder-rule-staircode in time, which can be improved to if is from a fixed dimensional Euclidean space , where is the inverse Ackermann function.
Society for Industrial and Applied Mathematics