Computing invariants for multipersistence via spectral systems and effective homology. (May 2021)

• Record Type: Journal Article
• Authors: Guidolin, Andrea; Divasón, Jose; Romero, Ana; Vaccarino, Francesco
• Is Part Of: Journal of symbolic computation. Volume 104(2021)
• Page Start: 724
• Page End: 753
• Publication Date: 2021-05
• Subjects: Symbolic computation -- Constructive algebraic topology -- Multipersistence -- Spectral systems -- Effective homology; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2020.09.007
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: Both spectral sequences and persistent homology are tools in algebraic topology defined from filtrations of objects (e.g. topological spaces or simplicial complexes) indexed over the set Z of integer numbers. A recent work has shown the details of the relation between both concepts. Moreover, generalizations of both concepts have been proposed which originate from a different choice of the set of indices of the filtration, producing the new notions of multipersistence and spectral system . In this paper, we show that these notions are also related, generalizing results valid in the case of filtrations over Z . By using this relation and some previous programs for computing spectral systems, we have developed a new module for the Kenzo system computing multipersistence. We also present a birth-death descriptor and a new invariant providing information on multifiltrations. This new invariant, in some cases, is able to provide more information than the rank invariant. We show some applications of our algorithms to spaces of infinite type via the effective homology technique, where the performance has also been improved by means of discrete vector fields.