-
Sparse Higher Order Čech Filtrations
Authors:
Mickaël Buchet,
Bianca B. Dornelas,
Michael Kerber
Abstract:
For a finite set of balls of radius $r$, the $k$-fold cover is the space covered by at least $k$ balls. Fixing the ball centers and varying the radius, we obtain a nested sequence of spaces that is called the $k$-fold filtration of the centers. For $k=1$, the construction is the union-of-balls filtration that is popular in topological data analysis. For larger $k$, it yields a cleaner shape recons…
▽ More
For a finite set of balls of radius $r$, the $k$-fold cover is the space covered by at least $k$ balls. Fixing the ball centers and varying the radius, we obtain a nested sequence of spaces that is called the $k$-fold filtration of the centers. For $k=1$, the construction is the union-of-balls filtration that is popular in topological data analysis. For larger $k$, it yields a cleaner shape reconstruction in the presence of outliers. We contribute a sparsification algorithm to approximate the topology of the $k$-fold filtration. Our method is a combination and adaptation of several techniques from the well-studied case $k=1$, resulting in a sparsification of linear size that can be computed in expected near-linear time with respect to the number of input points. Our method also extends to the multicover bifiltration, composed of the $k$-fold filtrations for several values of $k$, with the same size and complexity bounds.
△ Less
Submitted 17 May, 2023; v1 submitted 12 March, 2023;
originally announced March 2023.
-
The Whole in the Parts: Putting $n$D Persistence Modules Inside Indecomposable $(n + 1)$D Ones
Authors:
Mickaël Buchet,
Emerson G. Escolar
Abstract:
Multidimensional persistence has been proposed to study the persistence of topological features in data indexed by multiple parameters. In this work, we further explore its algebraic complications from the point of view of higher dimensional indecomposable persistence modules containing lower dimensional ones as hyperplane restrictions. Our previous work constructively showed that any finite recta…
▽ More
Multidimensional persistence has been proposed to study the persistence of topological features in data indexed by multiple parameters. In this work, we further explore its algebraic complications from the point of view of higher dimensional indecomposable persistence modules containing lower dimensional ones as hyperplane restrictions. Our previous work constructively showed that any finite rectangle-decomposable $n$D persistence module is the hyperplane restriction of some indecomposable $(n+1)$D persistence module, as a corollary of the result for $n=1$. Here, we extend this by dropping the requirement of rectangle-decomposability. Furthermore, in the case that the underlying field is countable, we construct an indecomposable $(n+1)$D persistence module containing all $n$D persistence modules, up to isomorphism, as hyperplane restrictions. Finally, in the case $n=1$, we present a minimal construction that improves our previous construction.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
Every 1D Persistence Module is a Restriction of Some Indecomposable 2D Persistence Module
Authors:
Mickaël Buchet,
Emerson G. Escolar
Abstract:
A recent work by Lesnick and Wright proposed a visualisation of $2$D persistence modules by using their restrictions onto lines, giving a family of $1$D persistence modules. We give a constructive proof that any $1$D persistence module with finite support can be found as a restriction of some indecomposable $2$D persistence module with finite support. As consequences of our construction, we are ab…
▽ More
A recent work by Lesnick and Wright proposed a visualisation of $2$D persistence modules by using their restrictions onto lines, giving a family of $1$D persistence modules. We give a constructive proof that any $1$D persistence module with finite support can be found as a restriction of some indecomposable $2$D persistence module with finite support. As consequences of our construction, we are able to exhibit indecomposable $2$D persistence modules whose support has holes as well as an indecomposable $2$D persistence module containing all $1$D persistence modules with finite support as line restrictions. Finally, we also show that any finite-rectangle-decomposable $n$D persistence module can be found as a restriction of some indecomposable $(n+1)$D persistence module.
△ Less
Submitted 23 March, 2020; v1 submitted 20 February, 2019;
originally announced February 2019.
-
On Interval Decomposability of 2D Persistence Modules
Authors:
Hideto Asashiba,
Mickaël Buchet,
Emerson G. Escolar,
Ken Nakashima,
Michio Yoshiwaki
Abstract:
In the persistent homology of filtrations, the indecomposable decompositions provide the persistence diagrams. However, in almost all cases of multidimensional persistence, the classification of all indecomposable modules is known to be a wild problem. One direction is to consider the subclass of interval-decomposable persistence modules, which are direct sums of interval representations. We intro…
▽ More
In the persistent homology of filtrations, the indecomposable decompositions provide the persistence diagrams. However, in almost all cases of multidimensional persistence, the classification of all indecomposable modules is known to be a wild problem. One direction is to consider the subclass of interval-decomposable persistence modules, which are direct sums of interval representations. We introduce the definition of pre-interval representations, a more natural algebraic definition, and study the relationships between pre-interval, interval, and indecomposable thin representations. We show that over the ``equioriented'' commutative $2$D grid, these concepts are equivalent. Moreover, we provide a criterion for determining whether or not an $n$D persistence module is interval/pre-interval/thin-decomposable without having to explicitly compute decompositions. For $2$D persistence modules, we provide an algorithm together with a worst-case complexity analysis that uses the total number of intervals in an equioriented commutative $2$D grid. We also propose several heuristics to speed up the computation.
△ Less
Submitted 23 May, 2021; v1 submitted 12 December, 2018;
originally announced December 2018.
-
Realizations of Indecomposable Persistence Modules of Arbitrarily Large Dimension
Authors:
Mickaël Buchet,
Emerson G. Escolar
Abstract:
While persistent homology has taken strides towards becoming a wide-spread tool for data analysis, multidimensional persistence has proven more difficult to apply. One reason is the serious drawback of no longer having a concise and complete descriptor analogous to the persistence diagrams of the former. We propose a simple algebraic construction to illustrate the existence of infinite families of…
▽ More
While persistent homology has taken strides towards becoming a wide-spread tool for data analysis, multidimensional persistence has proven more difficult to apply. One reason is the serious drawback of no longer having a concise and complete descriptor analogous to the persistence diagrams of the former. We propose a simple algebraic construction to illustrate the existence of infinite families of indecomposable persistence modules over regular grids of sufficient size. On top of providing a constructive proof of representation infinite type, we also provide realizations by topological spaces and Vietoris-Rips filtrations, showing that they can actually appear in real data and are not the product of degeneracies.
△ Less
Submitted 19 December, 2018; v1 submitted 15 March, 2018;
originally announced March 2018.
