Extended Persistence: Capturing Topology Across the Full Range

2 minute read

Published:

TL;DR: In a sub-level set filtration on a compact manifold, the top homological class is born but never dies — it has infinite persistence. Extended persistence fixes this by concatenating the ascending filtration with a descending one (using relative homology). Every birth is now paired with a death, yielding a finite complete descriptor. Proved stable under the same bottleneck distance.

The Problem with Infinite Bars

Consider a height function \(f: M \to \mathbb{R}\) on a compact manifold \(M\). In the sub-level set filtration \(M^a = f^{-1}((-\infty, a])\):

  • When \(a\) passes the global maximum, the full \(M\) becomes connected — but the top fundamental class \([M] \in H_d(M)\) was born earlier and never dies: there is no higher simplex to kill it.
  • Standard persistence gives it an interval \([b, \infty)\).

This infinite bar makes comparison between functions awkward and wastes information about when and how the global feature was created.

The Extended Filtration

Extended persistence (Cohen-Steiner, Edelsbrunner, Harer 2009) extends the filtration beyond \(M = M^{\infty}\) by a dual descent:

$$\emptyset = M^{a_0} \subseteq \cdots \subseteq M^{a_n} = M \supseteq M^{a_n,b_1} \supseteq \cdots \supseteq M^{a_n, b_n} = \emptyset$$

where \(M^{a,b} = f^{-1}((b, \infty)) \cap M\) is a super-level set (relative to \(M\)). Technically, the second half uses relative homology \(H_*(M, M^{a,b})\).

The combined extended filtration has four types of feature intervals:

TypeBornDiesDimension
Ordinarysub-level ascendingsub-level ascending\(n\)
Relativerelative (descending)relative (descending)\(n\)
Extendedsub-level ascendingrelative (descending)\(n\)

Poincaré Duality and Pairing

On a compact oriented \(d\)-manifold, Poincaré duality gives \(H_k(M) \cong H^{d-k}(M)\). Extended persistence uses this duality to pair each ascending \(H_k\) birth with a descending \(H_{d-k-1}\) death. The extended pairing is:

  • Every local minimum of \(f\) is paired with a saddle (or vice versa, by Morse theory).
  • Every \(k\)-cycle birth has a matching \((k)\)-cycle death, even for the top class.
Key Insight: Extended persistence is particularly useful for shape analysis on surfaces (triangulated meshes) and for comparing functions on manifolds. Since all bars are now finite, the standard bottleneck and Wasserstein distances apply without modification. Extended persistence is also the foundation for Reeb graph analysis and for proving tight stability bounds.

References

  • D. Cohen-Steiner, H. Edelsbrunner, J. Harer, “Extending Persistence Using Poincaré and Lefschetz Duality,” Foundations of Computational Mathematics, 2009. arXiv:0901.3012.
  • H. Edelsbrunner & J. Harer, Computational Topology, Chapter VII.