Table of Contents
Fetching ...

Stabilizing Localization of Representative cycles

Himanshu Yadav, Alexander Wagner, Peter Bubenik

TL;DR

This work addresses the instability of visualizing representative cycles from persistence diagrams by introducing the persistence heatmap, a parametrized, interpretable heat distribution over a simplicial complex. The core idea is to compute an annotated persistence diagram and then average across filtrations to form the expected persistence heatmap, ensuring stability through kernel smoothing and Lipschitz bounds. The authors establish uniform continuity and Lipschitz stability for several kernels (triangular, Epanechnikov, Gaussian) and integrate machine learning (SVM) to learn task-specific parameterizations that emphasize discriminative topological features. Computational experiments on synthetic examples and dynamical systems demonstrate that the resulting stable heatmaps improve explainability and localization of topological structure for classification and regression tasks in TDA.

Abstract

We introduce the persistence heatmap, a parametrized summary based on representative cycles in persistence diagrams, designed to enhance stability and explainability in topological data analysis. Algorithms to compute persistence diagrams produce representative cycles and boundaries. These chains are difficult to use because they are unstable to perturbations of the input. Instead, we average to produce chains with real-valued coefficients. We prove Lipschitz stability and uniform continuity of our heatmap. Moreover, we use machine learning to learn a task-specific parametrization of the heatmap.

Stabilizing Localization of Representative cycles

TL;DR

This work addresses the instability of visualizing representative cycles from persistence diagrams by introducing the persistence heatmap, a parametrized, interpretable heat distribution over a simplicial complex. The core idea is to compute an annotated persistence diagram and then average across filtrations to form the expected persistence heatmap, ensuring stability through kernel smoothing and Lipschitz bounds. The authors establish uniform continuity and Lipschitz stability for several kernels (triangular, Epanechnikov, Gaussian) and integrate machine learning (SVM) to learn task-specific parameterizations that emphasize discriminative topological features. Computational experiments on synthetic examples and dynamical systems demonstrate that the resulting stable heatmaps improve explainability and localization of topological structure for classification and regression tasks in TDA.

Abstract

We introduce the persistence heatmap, a parametrized summary based on representative cycles in persistence diagrams, designed to enhance stability and explainability in topological data analysis. Algorithms to compute persistence diagrams produce representative cycles and boundaries. These chains are difficult to use because they are unstable to perturbations of the input. Instead, we average to produce chains with real-valued coefficients. We prove Lipschitz stability and uniform continuity of our heatmap. Moreover, we use machine learning to learn a task-specific parametrization of the heatmap.
Paper Structure (35 sections, 11 theorems, 25 equations, 15 figures, 1 table)

This paper contains 35 sections, 11 theorems, 25 equations, 15 figures, 1 table.

Key Result

Theorem 1

If $\|\eta\|_{\infty} < M$, then $\eta * \mathbf{K}$ is uniformly continuous.

Figures (15)

  • Figure 1: (a) A totally ordered simplicial complex with simplices ordered by lexicographical order. (b) Simplicial complex with an associated monotone weight function. (c) Filtered simplicial complex constructed using the monotone weight function.
  • Figure 2: Boundary matrix and reduced boundary matrix for filtered simplicial complex described in \ref{['fig:sc_order_weighted']}. Each bold $1$ corresponds to unique pairing of non-zero columns of reduced boundary matrix with a row. Also, observe that we had to add original columns of boundary matrix to perform reduction, this information is saved as addition operation over each column.
  • Figure 3: Persistence diagram for the filtered simplicial complex given by \ref{['subfig:sc_filtered']}
  • Figure 4: Filtered simplicial complexes.
  • Figure 5: Pipeline to visualize the persistence heatmap. (a) Persistence heatmap with different weights associated to simplices. (b) A square grid containing the simplicial complex. (c) Heatmap visualizing the persistence heatmap
  • ...and 10 more figures

Theorems & Definitions (31)

  • Example 2.1
  • Example 2.2
  • Example 2.3
  • Example 2.4
  • Example 2.5
  • Definition 2.6
  • Definition 3.1: Annotated persistence diagram
  • Definition 3.2: Persistence heatmap
  • Definition 3.3
  • Example 3.4
  • ...and 21 more