Orthogonal Möbius Inversion and Grassmannian Persistence Diagrams
Abstract
We introduce the notion of Orthogonal Möbius Inversion, a custommade analog to Möbius inversion on the poset of intervals $\mathsf{Int}(P)$ of a linear poset $P$. This notion is applicable to functions $\bar{\mathsf{F}}:\mathsf{Int}(P)\to\mathsf{Gr}(V)$ whose target space is the Grassmannian of a given inner product space $V$. When this notion of inversion is applied to such a function $\bar{\mathsf{F}}$, we obtain another function $\mathsf{OI}\bar{\mathsf{F}}:\mathsf{Int}(P)\to\mathsf{Gr}(V)$, the Grassmannian persistence diagram (GPD) induced by $\bar{\mathsf{F}}$, which assigns to every interval a subspace of $V$ by "compressing" the information contained in $\bar{\mathsf{F}}$. Given a $1$parameter filtration $\mathsf{F}$ of a finite simplicial complex $K$, and an inner product on the $q$th chain group $C_q^K$ of $K$, we consider two chain group invariants (as functions $\bar{\mathsf{F}}:\mathsf{Int}(P) \to \mathsf{Gr}(C_q^K)$): birthdeath spaces, and the space of harmonic persistent cycles (i.e. persistent Laplacian kernels). By applying Orthogonal Möbius Inversion to these invariants (with respective compatible choices of partial orders on $\mathsf{Int}(P)$), we obtain two, a priori, different GPDs associated to the filtration $\mathsf{F}$. Each of these two particular GPDs assigns a vector subspace of the $q$th chain group to each interval in the classical persistence diagram. Interestingly, we prove that not only do these two GPDs coincide on nonephemeral intervals but that they also both refine the standard persistence diagram in the sense that (1) all supports coincide (away from the diagonal) and (2) GPDs carry extra information in terms of cycle representatives. We also show that Orthogonal Möbius Inversion satisfies a certain type of functoriality. As a result of this functoriality, we prove that GPDs are stable with respect to a suitable notion of distance.
 Publication:

arXiv eprints
 Pub Date:
 November 2023
 DOI:
 10.48550/arXiv.2311.06870
 arXiv:
 arXiv:2311.06870
 Bibcode:
 2023arXiv231106870B
 Keywords:

 Mathematics  Combinatorics;
 Mathematics  Algebraic Topology