-
Decomposing the Persistent Homology Transform of Star-Shaped Objects
Authors:
Shreya Arya,
Barbara Giunti,
Abigail Hickok,
Lida Kanari,
Sarah McGuire,
Katharine Turner
Abstract:
In this paper, we study the geometric decomposition of the degree-$0$ Persistent Homology Transform (PHT) as viewed as a persistence diagram bundle. We focus on star-shaped objects as they can be segmented into smaller, simpler regions known as ``sectors''. Algebraically, we demonstrate that the degree-$0$ persistence diagram of a star-shaped object in $\mathbb{R}^2$ can be derived from the degree…
▽ More
In this paper, we study the geometric decomposition of the degree-$0$ Persistent Homology Transform (PHT) as viewed as a persistence diagram bundle. We focus on star-shaped objects as they can be segmented into smaller, simpler regions known as ``sectors''. Algebraically, we demonstrate that the degree-$0$ persistence diagram of a star-shaped object in $\mathbb{R}^2$ can be derived from the degree-$0$ persistence diagrams of its sectors. Using this, we then establish sufficient conditions for star-shaped objects in $\mathbb{R}^2$ so that they have ``trivial geometric monodromy''. Consequently, the PHT of such a shape can be decomposed as a union of curves parameterized by $S^1$, where the curves are given by the continuous movement of each point in the persistence diagrams that are parameterized by $S^{1}$. Finally, we discuss the current challenges of generalizing these results to higher dimensions.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Pruning vineyards: updating barcodes and representative cycles by removing simplices
Authors:
Barbara Giunti,
Jānis Lazovskis
Abstract:
The barcode of a filtration and its representative cycles encode rich information often useful in data analysis. However, obtaining them can be computationally expensive. Therefore, it is useful to have methods that update them if the associated filtration undergoes small changes. There are already efficient algorithms updating a barcode if simplices exchange entrance order or are added, but not i…
▽ More
The barcode of a filtration and its representative cycles encode rich information often useful in data analysis. However, obtaining them can be computationally expensive. Therefore, it is useful to have methods that update them if the associated filtration undergoes small changes. There are already efficient algorithms updating a barcode if simplices exchange entrance order or are added, but not if simplices are removed. We provide an implementation to update a reduced boundary matrix when simplices in the filtration are removed. Our algorithm, the Simplicial Removal Update Procedure (SiRUP), intrinsically updates also the representative cycles, and is compatible with the twist optimizations. We show that the complexity of our algorithm is lower than recomputing the barcode from scratch and that the number of executed matrix column additions is minimal, with both theoretical and experimental methods.
△ Less
Submitted 22 May, 2025; v1 submitted 6 December, 2023;
originally announced December 2023.
-
Topological Data Analysis in smart manufacturing: State of the art and futuredirections
Authors:
Martin Uray,
Barbara Giunti,
Michael Kerber,
Stefan Huber
Abstract:
Topological Data Analysis (TDA) is a discipline that applies algebraic topology techniques to analyze complex, multi-dimensional data. Although it is a relatively new field, TDA has been widely and successfully applied across various domains, such as medicine, materials science, and biology. This survey provides an overview of the state of the art of TDA within a dynamic and promising application…
▽ More
Topological Data Analysis (TDA) is a discipline that applies algebraic topology techniques to analyze complex, multi-dimensional data. Although it is a relatively new field, TDA has been widely and successfully applied across various domains, such as medicine, materials science, and biology. This survey provides an overview of the state of the art of TDA within a dynamic and promising application area: industrial manufacturing and production, particularly within the Industry 4.0 context. We have conducted a rigorous and reproducible literature search focusing on TDA applications in industrial production and manufacturing settings. The identified works are categorized based on their application areas within the manufacturing process and the types of input data. We highlight the principal advantages of TDA tools in this context, address the challenges encountered and the future potential of the field. Furthermore, we identify TDA methods that are currently underexploited in specific industrial areas and discuss how their application could be beneficial, with the aim of stimulating further research in this field. This work seeks to bridge the theoretical advancements in TDA with the practical needs of industrial production. Our goal is to serve as a guide for practitioners and researchers applying TDA in industrial production and manufacturing systems. We advocate for the untapped potential of TDA in this domain and encourage continued exploration and research.
△ Less
Submitted 25 July, 2024; v1 submitted 13 October, 2023;
originally announced October 2023.
-
DONUT -- Creation, Development, and Opportunities of a Database
Authors:
Barbara Giunti,
Jānis Lazovskis,
Bastian Rieck
Abstract:
DONUT is a database of papers about practical, real-world uses of Topological Data Analysis (TDA). Its original seed was planted in a group chat formed during the HIM Spring School on Applied and Computational Algebraic Topology in April 2017. This document describes the creation, curation, and maintenance process of the database.
DONUT is a database of papers about practical, real-world uses of Topological Data Analysis (TDA). Its original seed was planted in a group chat formed during the HIM Spring School on Applied and Computational Algebraic Topology in April 2017. This document describes the creation, curation, and maintenance process of the database.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Abelian and model structures on tame functors
Authors:
Wojciech Chachólski,
Barbara Giunti,
Claudia Landi,
Francesca Tombari
Abstract:
In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a structure theorem for cofibrant objects in the category of tame functors indexed by realizations of posets of dimension $1$ with values in the category of chain co…
▽ More
In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a structure theorem for cofibrant objects in the category of tame functors indexed by realizations of posets of dimension $1$ with values in the category of chain complexes in an abelian category whose all objects are projectives. Moreover, we introduce a general technique to generate indecomposable objects in the abelian category of functors indexed by finite posets.
△ Less
Submitted 23 March, 2024; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Keeping it sparse: Computing Persistent Homology revisited
Authors:
Ulrich Bauer,
Talha Bin Masood,
Barbara Giunti,
Guillaume Houry,
Michael Kerber,
Abhishek Rathod
Abstract:
In this work, we study several variants of matrix reduction via Gaussian elimination that try to keep the reduced matrix sparse. The motivation comes from the growing field of topological data analysis where matrix reduction is the major subroutine to compute barcodes, the main invariant therein. We propose two novel variants of the standard algorithm, called swap and retrospective reductions. We…
▽ More
In this work, we study several variants of matrix reduction via Gaussian elimination that try to keep the reduced matrix sparse. The motivation comes from the growing field of topological data analysis where matrix reduction is the major subroutine to compute barcodes, the main invariant therein. We propose two novel variants of the standard algorithm, called swap and retrospective reductions. We test them on a large collection of data against other known variants to compare their efficiency, and we find that sometimes they provide a considerable speed-up. We also present novel output-sensitive bounds for the retrospective variant which better explain the discrepancy between the cubic worst-case complexity bound and the almost linear practical behavior of matrix reduction. Finally, we provide several constructions on which one of the variants performs strictly better than the others.
△ Less
Submitted 13 June, 2024; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Expected Complexity of Barcode Computation via Matrix Reduction
Authors:
Barbara Giunti,
Guillaume Houry,
Michael Kerber,
Matthias Söls
Abstract:
We study the algorithmic complexity of computing persistent homology of a randomly generated filtration. We prove upper bounds for the average fill-in (number of non-zero entries) of the boundary matrix on Čech, Vietoris--Rips and Erdős--Rényi filtrations after matrix reduction, which in turn provide bounds on the expected complexity of the barcode computation. Our method is based on previous resu…
▽ More
We study the algorithmic complexity of computing persistent homology of a randomly generated filtration. We prove upper bounds for the average fill-in (number of non-zero entries) of the boundary matrix on Čech, Vietoris--Rips and Erdős--Rényi filtrations after matrix reduction, which in turn provide bounds on the expected complexity of the barcode computation. Our method is based on previous results on the expected Betti numbers of the corresponding complexes, which we link to the fill-in of the boundary matrix. Our fill-in bounds for Čech and Vietoris--Rips complexes are asymptotically tight up to a logarithmic factor. In particular, both our fill-in and computation bounds are better than the worst-case estimates. We also provide an Erdős--Rényi filtration realising the worst-case fill-in and computation.
△ Less
Submitted 12 February, 2025; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Amplitudes in persistence theory
Authors:
Barbara Giunti,
John S. Nolan,
Nina Otter,
Lukas Waas
Abstract:
The use of persistent homology in applications is justified by the validity of certain stability results. At the core of such results is a notion of distance between the invariants that one associates with data sets. Here we introduce a general framework to compare distances and invariants in multiparameter persistence, where there is no natural choice of invariants and distances between them. We…
▽ More
The use of persistent homology in applications is justified by the validity of certain stability results. At the core of such results is a notion of distance between the invariants that one associates with data sets. Here we introduce a general framework to compare distances and invariants in multiparameter persistence, where there is no natural choice of invariants and distances between them. We define amplitudes, monotone, and subadditive invariants that arise from assigning a non-negative real number to objects of an abelian category. We then present different ways to associate distances to such invariants, and we provide a classification of classes of amplitudes relevant to topological data analysis. In addition, we study the the relationships as well as the discriminitative power of such amplitude distances arising in topological data analysis scenarios.
△ Less
Submitted 12 July, 2024; v1 submitted 19 July, 2021;
originally announced July 2021.
-
Notes on pivot pairings
Authors:
Barbara Giunti
Abstract:
We present a row reduction algorithm to compute the barcode decomposition of persistence modules. This algorithm dualises the standard persistence one and clarifies the symmetry between clear and compress optimisations.
We present a row reduction algorithm to compute the barcode decomposition of persistence modules. This algorithm dualises the standard persistence one and clarifies the symmetry between clear and compress optimisations.
△ Less
Submitted 11 March, 2021; v1 submitted 2 January, 2021;
originally announced January 2021.
-
Decomposing filtered chain complexes: geometry behind barcoding algorithms
Authors:
Wojciech Chachólski,
Barbara Giunti,
Alvin Jin,
Claudia Landi
Abstract:
In Topological Data Analysis, filtered chain complexes enter the persistence pipeline between the initial filtering of data and the final persistence invariants extraction. It is known that they admit a tame class of indecomposables, called interval spheres. In this paper, we provide an algorithm to decompose filtered chain complexes into such interval spheres. This algorithm provides geometric in…
▽ More
In Topological Data Analysis, filtered chain complexes enter the persistence pipeline between the initial filtering of data and the final persistence invariants extraction. It is known that they admit a tame class of indecomposables, called interval spheres. In this paper, we provide an algorithm to decompose filtered chain complexes into such interval spheres. This algorithm provides geometric insights into various aspects of the standard persistence algorithm and two of its run-time optimizations. Moreover, since it works for any filtered chain complexes, our algorithm can be applied in more general cases. As an application, we show how to decompose filtered kernels with it.
△ Less
Submitted 9 February, 2022; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Invariants for tame parametrised chain complexes
Authors:
Wojciech Chachólski,
Barbara Giunti,
Claudia Landi
Abstract:
We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes several cases that usually TDA handles separately, such as persistence modules, zigzag modules, and commutative ladders. We extract new invariants in this categor…
▽ More
We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes several cases that usually TDA handles separately, such as persistence modules, zigzag modules, and commutative ladders. We extract new invariants in this category using a model structure and various minimal cofibrant approximations. Such approximations and their invariants retain some of the topological, and not just homological, aspects of the objects they approximate.
△ Less
Submitted 16 November, 2020; v1 submitted 9 March, 2020;
originally announced March 2020.
-
Dynamical systems on graphs through the signless Laplacian matrix
Authors:
Barbara Giunti,
Vincenzo Perri
Abstract:
There is a deep and interesting connection between the topological properties of a graph and the behaviour of the dynamical system defined on it. We analyse various kind of graphs, with different contrasting connectivity or degree characteristics, using the signless Laplacian matrix. We expose the theoretical results about the eigenvalue of the matrix and how they are related to the dynamical syst…
▽ More
There is a deep and interesting connection between the topological properties of a graph and the behaviour of the dynamical system defined on it. We analyse various kind of graphs, with different contrasting connectivity or degree characteristics, using the signless Laplacian matrix. We expose the theoretical results about the eigenvalue of the matrix and how they are related to the dynamical system. Then, we perform numerical computations on real-like graphs and observe the resulting system. Comparing the theoretical and numerical results we found a perfect consistency. Furthermore, we define a metric which takes in account the "rigidity" of the graph and enables us to relate all together the topological properties of the graph, the signless Laplacian matrix and the dynamical system.
△ Less
Submitted 10 March, 2017;
originally announced March 2017.
