On rectangle-decomposable 2-parameter persistence modules

02/20/2020
by   Magnus Bakke Botnan, et al.
0

This paper addresses two questions: (1) can we identify a sensible class of 2-parameter persistence modules on which the rank invariant is complete? (2) can we determine efficiently whether a given 2-parameter persistence module belongs to this class? We provide positive answers to both questions, and our class of interest is that of rectangle-decomposable modules. Our contributions include: (a) a proof that the rank invariant is complete on rectangle-decomposable modules, together with an inclusion-exclusion formula for counting the multiplicities of the summands; (b) algorithms to check whether a module induced in homology by a bifiltration is rectangle-decomposable, and to decompose it in the affirmative, with a better complexity than state-of-the-art decomposition methods for general 2-parameter persistence modules. Our algorithms are backed up by a new structure theorem, whereby a 2-parameter persistence module is rectangle-decomposable if, and only if, its restrictions to squares are. This local condition is key to the efficiency of our algorithms, and it generalizes previous conditions from the class of block-decomposable modules to the larger one of rectangle-decomposable modules. It also admits an algebraic formulation that turns out to be a weaker version of the one for block-decomposability. Our analysis focuses on the case of modules indexed over finite grids, the more general cases are left as future work.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/30/2022

On the bottleneck stability of rank decompositions of multi-parameter persistence modules

The notion of rank decomposition of a multi-parameter persistence module...
research
10/26/2018

Rank invariant for Zigzag Modules

The rank invariant is of great interest in studying both one-dimensional...
research
07/14/2021

Signed Barcodes for Multi-Parameter Persistence via Rank Decompositions and Rank-Exact Resolutions

In this paper we introduce the signed barcode, a new visual representati...
research
11/30/2020

Morse-based Fibering of the Persistence Rank Invariant

Although there is no doubt that multi-parameter persistent homology is a...
research
11/30/2021

Computing Generalized Rank Invariant for 2-Parameter Persistence Modules via Zigzag Persistence and its Applications

The notion of generalized rank invariant in the context of multiparamete...
research
06/22/2021

Parallel decomposition of persistence modules through interval bases

We introduce an algorithm to decompose any finite-type persistence modul...
research
06/17/2022

Projected distances for multi-parameter persistence modules

We introduce the new notions of projected distances and projected barcod...

Please sign up or login with your details

Forgot password? Click here to reset