Extended Persistence: Capturing Topology Across the Full Range
Published:
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:
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:
| Type | Born | Dies | Dimension |
|---|---|---|---|
| Ordinary | sub-level ascending | sub-level ascending | \(n\) |
| Relative | relative (descending) | relative (descending) | \(n\) |
| Extended | sub-level ascending | relative (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.
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.
