Persistence barcode

Let ${\displaystyle \mathbb {F} }$ be a fixed field. Then a persistence module ${\displaystyle M}$ indexed over ${\displaystyle \mathbb {R} }$ consists of a family of ${\displaystyle \mathbb {F} }$-vector spaces ${\displaystyle \{M_{t}\}_{t\in \mathbb {R} }}$ and linear maps ${\displaystyle \varphi _{s,t}:M_{s}\to M_{t}}$ for each ${\displaystyle s\leq t}$ such that ${\displaystyle \varphi _{s,t}\circ \varphi _{r,s}=\varphi _{r,t}}$ for all ${\displaystyle r\leq s\leq t}$.[4] This construction is not specific to ${\displaystyle \mathbb {R} }$; indeed, it works identically with any totally-ordered set.

A series of four nested simplicial complexes and the 0-dimensional persistence barcode of the resulting filtration.

A persistence module ${\displaystyle M}$ is said to be of finite type if it contains a finite number of unique finite-dimensional vector spaces. The latter condition is sometimes referred to as pointwise finite-dimensional.[5]

Let ${\displaystyle I}$ be an interval in ${\displaystyle \mathbb {R} }$. Define a persistence module ${\displaystyle Q(I)}$ via ${\displaystyle Q(I_{s})={\begin{cases}0,&{\text{if }}s\notin I;\\\mathbb {F} ,&{\text{otherwise}}\end{cases}}}$, where the linear maps are the identity map inside the interval. The module ${\displaystyle Q(I)}$ is sometimes referred to as an interval module.[6]

Then for any ${\displaystyle \mathbb {R} }$-indexed persistence module ${\displaystyle M}$ of finite type, there exists a multiset ${\displaystyle {\mathcal {B}}_{M}}$ of intervals such that ${\displaystyle M\cong \bigoplus _{I\in {\mathcal {B}}_{M}}Q(I)}$, where the direct sum of persistence modules is carried out index-wise. The multiset ${\displaystyle {\mathcal {B}}_{M}}$ is called the barcode of ${\displaystyle M}$, and it is unique up to a reordering of the intervals.[3]

This result was extended to the case of pointwise finite-dimensional persistence modules indexed over an arbitrary totally-ordered set by William Crawley-Boevey and Magnus Botnan in 2020,[7] building upon known results from the structure theorem for finitely generated modules over a PID, as well as the work of Cary Webb for the case of the integers.[8]