Abstract:The Generalized Persistence Diagram (GPD) for multi-parameter persistence naturally extends the classical notion of persistence diagram for one-parameter persistence. However, unlike its classical counterpart, computing the GPD remains a significant challenge. The main hurdle is that, while the GPD is defined as the Möbius inversion of the Generalized Rank Invariant (GRI), computing the GRI is intractable due to the formidable size of its domain, i.e., the set of all connected and convex subsets in a finite grid in $\mathbb{R}^d$ with $d \geq 2$. This computational intractability suggests seeking alternative approaches to computing the GPD. In order to study the complexity associated to computing the GPD, it is useful to consider its classical one-parameter counterpart, where for a filtration of a simplicial complex with $n$ simplices, its persistence diagram contains at most $n$ points. This observation leads to the question: 'Given a $d$-parameter simplicial filtration, could the cardinality of its GPD (specifically, the support of the GPD) also be bounded by a polynomial in the number of simplices in the filtration?' This is the case for $d=1$, where we compute the persistence diagram directly at the simplicial filtration level. If this were also the case for $d\geq2$, it might be possible to compute the GPD directly and much more efficiently without relying on the GRI. We show that the answer to the question above is negative, demonstrating the inherent difficulty of computing the GPD. More specifically, we construct a sequence of $d$-parameter simplicial filtrations where the cardinalities of their GPDs are not bounded by any polynomial in the the number of simplices. Furthermore, we show that several commonly used methods for constructing multi-parameter filtrations can give rise to such "wild" filtrations.

Persistence Diagram Bundles: A Multidimensional Generalization of Vineyards

Computing Persistence Diagram Bundles

Bigraded Betti numbers and Generalized Persistence Diagrams

Super-Polynomial Growth of the Generalized Persistence Diagram

Persistent Cup Product Structures and Related Invariants

A flat persistence diagram for improved visualization of persistent homology

The Fiber of Persistent Homology for simplicial complexes

Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The Filling Radius

Properties and Stability of Persistence Matching Diagrams

Representing Vineyard Modules

Edit Distance and Persistence Diagrams Over Lattices

The fiber of persistent homology for trees

Topological and metric properties of spaces of generalized persistence diagrams

Graded persistence diagrams and persistence landscapes

Fibers of point cloud persistence

Ladder Decomposition for Morphisms of Persistence Modules

Universal Distances for Extended Persistence

Multiparameter Persistence Landscapes

Persistence B-spline grids: stable vector representation of persistence diagrams based on data fitting

Curvature Sets Over Persistence Diagrams

Bipath Persistence