License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.SoCG.2020.22
URN: urn:nbn:de:0030-drops-121802
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/12180/
Go to the corresponding LIPIcs Volume Portal

Botnan, Magnus Bakke ; Lebovici, Vadim ; Oudot, Steve

On Rectangle-Decomposable 2-Parameter Persistence Modules

pdf-format:
LIPIcs-SoCG-2020-22.pdf (0.6 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{botnan_et_al:LIPIcs:2020:12180,
  author =	{Magnus Bakke Botnan and Vadim Lebovici and Steve Oudot},
  title =	{{On Rectangle-Decomposable 2-Parameter Persistence Modules}},
  booktitle =	{36th International Symposium on Computational Geometry (SoCG 2020)},
  pages =	{22:1--22:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-143-6},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{164},
  editor =	{Sergio Cabello and Danny Z. Chen},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/12180},
  URN =		{urn:nbn:de:0030-drops-121802},
  doi =		{10.4230/LIPIcs.SoCG.2020.22},
  annote =	{Keywords: topological data analysis, multiparameter persistence, rank invariant}
}

Keywords: topological data analysis, multiparameter persistence, rank invariant
Collection: 36th International Symposium on Computational Geometry (SoCG 2020)
Issue Date: 2020
Date of publication: 08.06.2020

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI