Elder-Rule-Staircodes for Augmented Metric Spaces

by   Chen Cai, et al.

An augmented metric space is a metric space (X, d_X) equipped with a function f_X: X →ℝ. This type of data arises commonly in practice, e.g, a point cloud X in ℝ^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 𝒦. However, the resulting 2-parameter persistent homology H_∙(𝒦) 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 H_0(𝒦). Specifically, if n = |X|, the elder-rule-staircode consists of n number of staircase-like blocks in the plane. We show that if H_0(𝒦) is interval decomposable, then the barcode of H_0(𝒦) 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 H_0(𝒦) 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 O(n^2log n) time, which can be improved to O(n^2α(n)) if X is from a fixed dimensional Euclidean space ℝ^d, where α(n) is the inverse Ackermann function.


page 1

page 2

page 3

page 4


Invariance Properties of the Natural Gradient in Overparametrised Systems

The natural gradient field is a vector field that lives on a model equip...

Vietoris-Rips and Cech Complexes of Metric Gluings

We study Vietoris-Rips and Cech complexes of metric wedge sums and metri...

On universal covers for carpenter's rule folding

We present improved universal covers for carpenter's rule folding in the...

Universal consistency of the k-NN rule in metric spaces and Nagata dimension

The k nearest neighbour learning rule (under the uniform distance tie br...

Plurality in Spatial Voting Games with constant β

Consider a set of voters V, represented by a multiset in a metric space ...

On Vietoris-Rips complexes of planar curves

A Vietoris--Rips complex is a way to thicken a (possibly discrete) metri...

Gromov Hyperbolicity, Geodesic Defect, and Apparent Pairs in Vietoris-Rips Filtrations

Motivated by computational aspects of persistent homology for Vietoris-R...