Extending Persistence Using Poincaré and Lefschetz Duality

  title={Extending Persistence Using Poincar{\'e} and Lefschetz Duality},
  author={David Cohen-Steiner and Herbert Edelsbrunner and John Harer},
  journal={Foundations of Computational Mathematics},
Persistent homology has proven to be a useful tool in a variety of contexts, including the recognition and measurement of shape characteristics of surfaces in ℝ3. Persistence pairs homology classes that are born and die in a filtration of a topological space, but does not pair its actual homology classes. For the sublevelset filtration of a surface in ℝ3, persistence has been extended to a pairing of essential classes using Reeb graphs. In this paper, we give an algebraic formulation that… 
Homological illusions of persistence and stability
In this thesis we explore and extend the theory of persistent homology, which captures topological features of a function by pairing its critical values. The result is represented by a collection of
Correspondence modules and persistence sheaves: a unifying perspective on one-parameter persistent homology
  • Haibin Hang, W. Mio
  • Mathematics
    Japan Journal of Industrial and Applied Mathematics
  • 2022
We develop a unifying framework for the treatment of various persistent homology architectures using the notion of correspondence modules. In this formulation, morphisms between vector spaces are
Defining and Computing Topological Persistence for 1-cocycles
It turns out that, instead of the standard persistence, one of its variants which the authors call level persistence can be leveraged for this purpose and it is worth mentioning that 1-cocyles appear in practice such as in data ranking or in discrete vector fields.
Correspondence Modules and Persistence Sheaves: A Unifying Framework for One-Parameter Persistent Homology
We develop a unifying framework for the treatment of various persistent homology architectures using the notion of correspondence modules. In this formulation, morphisms between vector spaces are
Proximity of persistence modules and their diagrams
This paper presents new stability results that do not suffer from the restrictions of existing stability results, and makes it possible to compare the persistence diagrams of functions defined over different spaces, thus enabling a variety of new applications of the concept of persistence.
On Association between Absolute and Relative Zigzag Persistence
A weak duality is found for the so-called non-repetitive zigzag filtration of a simplicial p-manifold in which a simplex is never added again after being deleted.
Categorification of Persistent Homology
This work redevelops persistent homology (topological persistence) from a categorical point of view and gives a natural construction of a category of ε-interleavings of $\mathbf {(\mathbb {R},\leq)}$-indexed diagrams in some target category and shows that if the target category is abelian, so is this category of interleavments.
Alexander duality for parametrized homology
This paper extends Alexander duality to the setting of parametrized homology. Let X with be a compact subset of R^n x R (n \geq 2) satisfying certain conditions, let Y be its complement, and let p be
Persistence-sensitive simplication of functions on surfaces in linear time
Persistence provides a way of grading the importance of homological features in the sublevel sets of a real-valued function. Following the definition given by Edelsbrunner, Morozov and Pascucci, an
Topological Persistence for Circle-Valued Maps
A finite collection of computable invariants are provided which answer the basic questions on persistence and in addition encode the topology of the source space and its relevant subspaces with these invariants.


Computing persistent homology
The analysis establishes the existence of a simple description of persistent homology groups over arbitrary fields and derives an algorithm for computing individual persistent homological groups over an arbitrary principal ideal domain in any dimension.
Vines and vineyards by updating persistence in linear time
The main result of this paper is an algorithm that maintains the pairing in worst-case linear time per transposition in the ordering and uses the algorithm to compute 1-parameter families of diagrams which are applied to the study of protein folding trajectories.
Stability of persistence diagrams
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the persistence diagram
Elements of algebraic topology
Elements of Algebraic Topology provides the most concrete approach to the subject. With coverage of homology and cohomology theory, universal coefficient theorems, Kunneth theorem, duality in
Topology matching for fully automatic similarity estimation of 3D shapes
A novel technique is proposed, called Topology Matching, in which similarity between polyhedral models is quickly, accurately, and automatically calculated by comparing Multiresolutional Reeb Graphs (MRGs), which operates well as a search key for 3D shape data sets.
Robust global registration
This work presents an algorithm for the automatic alignment of two 3D shapes ( data and model), without any assumptions about their initial positions, and develops a fast branch-and-bound algorithm based on distance matrix comparisons to select the optimal correspondence set and bring the two shapes into a coarse alignment.
Coarse and Reliable Geometric Alignment for Protein Docking
An efficient algorithm is presented for generating a small set of coarse alignments between interacting proteins using meaningful features on their surfaces that can serve as input to local improvement algorithms that allow for protein flexibility.
Shape complementarity at the hemoglobin α1β1 subunit interface
A computational method for attempting to predict protein complexes from the coordinates of the individual proteins has been developed and correctly and uniquely predicts the association of the alpha and beta subunits to form the αβ dimer corresponding to the α1β1 interface in the hemoglobin tetramer.
Shape complementarity at the hemoglobin alpha 1 beta 1 subunit interface.
On the cohomology of 3D digital images