Search arXiv⌕ Search

arXiv · 2511.19665

Change Action Derivatives in Persistent Homology

Abstract

Persistent homology is a popular technique in topological data analysis that tracks the lifespans of homological features in a nested sequence of spaces. This data is typically presented in a multi-set called a persistence diagram or a barcode. For single parameter filtrations with homology coefficient taken in a principal ideal domain, the persistence diagram/barcode can be computed using the presentation theorem for finitely generated modules over a PID. One way to reconstruct the persistence diagram/barcode is to consider the rank of the pair group at all intervals, as defined by Edelsbrunner and Harer, which counts the number of homology classes whose lifespans are precisely said intervals respectively. In this paper we generalize the rank of the pair group for suitably `tame' filtrations, described as functors from a partially ordered set to a category of chain complexes, and show how it can be captured by a categorical version of the calculus of finite-differences for abelian groups.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Deni Salja. 2025-11-24. Change Action Derivatives in Persistent Homology. https://arxiv.org/abs/2511.19665

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Galois Connections in Persistent Homology

We present a new language for persistent homology in terms of Galois connections. This language has two main advantages over traditional approaches. First, it simplifies and unifies central concepts such as interleavings and matchings. Second, it provides access to Rota's Galois connection theorem -- a powerful tool with many potential applications in applied topology. To illustrate this, we use Rota's Galois connection theorem to give a substantially easier proof of the bottleneck stability theorem. Finally, we use this language to establish relationships between various notions of multiparameter persistence diagrams.

math.AT↗

The Dold-Kan theorem for paracyclic modules

We study the Karoubi operator on the unnormalized chain complex of a paracyclic module; its restriction to the normalized chain complex has previously been considered by Dwyer and Kan, and in the cyclic case by Cuntz and Quillen. We obtain a direct proof of the Dold-Kan theorem for paracyclic modules of Dwyer and Kan, by directly relating the Karoubi operator to projection to the normalized subcomplex.

math.AT↗

Equivariant bordism rigidity for toric manifolds

In this paper, we develop a bordism-theoretic approach to rigidity problems for toric and quasitoric manifolds. We prove that two toric manifolds are isomorphic as varieties if and only if they are weakly equivariantly unitary bordant. We also establish a parallel rigidity result for omnioriented quasitoric manifolds satisfying the injectivity condition, showing that their equivariant unitary bordism classes completely determine their omniorientation-preserving equivariant homeomorphism types. Thus, equivariant bordism provides a topological framework for detecting geometric and combinatorial rigidity.

math.AT↗