Interval Replacements of Persistence Modules

TL;DR

This paper introduces a new framework for interval replacements in persistence modules over finite posets, preserving the interval rank invariant and generalizing previous invariants with explicit formulas and conditions.

Contribution

It defines rank compression systems and interval rank invariants, extending interval decompositions to all persistence modules over finite posets with explicit preservation properties.

Findings

Interval replacement preserves the interval rank invariant.

Provides a formula for the I-rank in terms of structure maps.

Offers an alternative proof of the Dey--Kim--Mémoli theorem.

Abstract

We define two notions. The first one is a $rank\ compression\ system$ $\xi$ for a finite poset $\mathbf{P}$ that assigns each interval subposet $I$ to an order-preserving map $\xi_I \colon I^{\xi} \to \mathbf{P}$ satisfying some conditions, where $I^{\xi}$ is a connected finite poset. An example is given by the $total$ compression system that assigns each $I$ to the inclusion of $I$ into $\mathbf{P}$. The second one is an $I$-$rank$ of a persistence module $M$ under $\xi$, the family of which is called the $interval\ rank\ invariant$ of $M$ under $\xi$. A compression system $\xi$ makes it possible to define the $interval\ replacement$ (also called the interval-decomposable approximation) not only for 2D persistence modules but also for any persistence modules over any finite poset. We will show that the forming of the interval replacement preserves the interval rank invariant, which is a stronger property than the preservation of the usual rank invariant. Moreover, to know what is preserved by the replacement explicitly, we will give a formula of the $I$-rank of $M$ under $\xi$ in terms of the structure linear maps of $M$ for any compression system $\xi$. The formula leads us to a concept of essential cover, which gives us a sufficient condition for the $I$-rank of $M$ under $\xi$ to coincide with that under another compression system $\zeta$. This is applied to the case where $\xi = \mathrm{tot}$, the value of $I$-rank under which is equal to the generalized rank invariant introduced by Kim--M\'emoli, to give an alternative proof of the Dey--Kim--M\'emoli theorem computing the generalized rank invariant by using a zigzag path.