<p>We introduce the concept of a persistence diagram (PD) bundle, which is the space of PDs for a fibered filtration function (a set <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\{f_p: {\mathcal {X}}^p\rightarrow \mathbb {R}\}_{p\in B}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>f</mi> <mi>p</mi> </msub> <mo>:</mo> <msup> <mrow> <mi mathvariant="script">X</mi> </mrow> <mi>p</mi> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>p</mi> <mo>∈</mo> <mi>B</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of filtrations that is parameterized by a topological space <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation>). Special cases include vineyards, the persistent homology transform, and fibered barcodes for multiparameter persistence modules. We prove that if <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation> is a smooth compact manifold and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {X}^p \equiv \mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">X</mi> </mrow> <mi>p</mi> </msup> <mo>≡</mo> <mi mathvariant="script">X</mi> </mrow> </math></EquationSource> </InlineEquation> is a simplicial complex, then for a generic fibered filtration function, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation> is stratified such that within each stratum <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(Y \subseteq B\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Y</mi> <mo>⊆</mo> <mi>B</mi> </mrow> </math></EquationSource> </InlineEquation>, there is a single PD “template” (a list of “birth” and “death” simplices) that can be used to obtain the PD for the filtration <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>f</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> for any <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p\in Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mi>Y</mi> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation> is compact, then there are finitely many strata, so the PD bundle for a generic fibered filtration on <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation> is determined by the persistent homology at finitely many points in <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation>. We also show that not every local section can be extended to a global section (a continuous map <i>s</i> from <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation> to the total space <i>E</i> of PDs such that <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(s(p) \in \text {PD}(f_p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mtext>PD</mtext> <mrow> <mo stretchy="false">(</mo> <msub> <mi>f</mi> <mi>p</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(p\in B\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mi>B</mi> </mrow> </math></EquationSource> </InlineEquation>). Consequently, a PD bundle is not necessarily the union of “vines” <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\gamma : B\rightarrow E\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>:</mo> <mi>B</mi> <mo stretchy="false">→</mo> <mi>E</mi> </mrow> </math></EquationSource> </InlineEquation>; this is unlike a vineyard. When there is a stratification as described above, we construct a cellular sheaf that stores sufficient data to obtain the PDs for each <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(p \in B\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mi>B</mi> </mrow> </math></EquationSource> </InlineEquation>, to connect <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\text {PD}(f_p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>PD</mtext> <mo stretchy="false">(</mo> <msub> <mi>f</mi> <mi>p</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\text {PD}(f_{p'})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>PD</mtext> <mo stretchy="false">(</mo> <msub> <mi>f</mi> <msup> <mi>p</mi> <mo>′</mo> </msup> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for nearby <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(p, p'\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>,</mo> <msup> <mi>p</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, and to calculate sections when they exist.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Persistence Diagram Bundles: A Multidimensional Generalization of Vineyards

  • Abigail Hickok

摘要

We introduce the concept of a persistence diagram (PD) bundle, which is the space of PDs for a fibered filtration function (a set \(\{f_p: {\mathcal {X}}^p\rightarrow \mathbb {R}\}_{p\in B}\) { f p : X p R } p B of filtrations that is parameterized by a topological space \(B\) B ). Special cases include vineyards, the persistent homology transform, and fibered barcodes for multiparameter persistence modules. We prove that if \(B\) B is a smooth compact manifold and \(\mathcal {X}^p \equiv \mathcal {X}\) X p X is a simplicial complex, then for a generic fibered filtration function, \(B\) B is stratified such that within each stratum \(Y \subseteq B\) Y B , there is a single PD “template” (a list of “birth” and “death” simplices) that can be used to obtain the PD for the filtration \(f_p\) f p for any \(p\in Y\) p Y . If \(B\) B is compact, then there are finitely many strata, so the PD bundle for a generic fibered filtration on \(B\) B is determined by the persistent homology at finitely many points in \(B\) B . We also show that not every local section can be extended to a global section (a continuous map s from \(B\) B to the total space E of PDs such that \(s(p) \in \text {PD}(f_p)\) s ( p ) PD ( f p ) for all \(p\in B\) p B ). Consequently, a PD bundle is not necessarily the union of “vines” \(\gamma : B\rightarrow E\) γ : B E ; this is unlike a vineyard. When there is a stratification as described above, we construct a cellular sheaf that stores sufficient data to obtain the PDs for each \(p \in B\) p B , to connect \(\text {PD}(f_p)\) PD ( f p ) to \(\text {PD}(f_{p'})\) PD ( f p ) for nearby \(p, p'\) p , p , and to calculate sections when they exist.