<p>The <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_209_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation>-linear projected barcode was recently introduced as an alternative to the well-known fibered barcode for multiparameter persistence, in which restrictions of the modules to lines are replaced by pushforwards of the modules along linear forms in the polar of some fixed cone&#xa0;<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_209_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation>. So far, the computation of the <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_209_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation>-linear projected barcode has only been studied in the functional setting, in which persistence modules come from the persistent cohomology of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_209_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>-valued functions. Here, we develop a method that works in the algebraic setting directly, for any multiparameter persistence module over&#xa0;<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_209_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> that is given via a finite free resolution. Our approach is similar to that of RIVET: first, it pre-processes the resolution to build an arrangement in the dual of&#xa0;<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_209_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> and a barcode template in each face of the arrangement; second, given any query linear form&#xa0;<i>u</i> in the polar of&#xa0;<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_209_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation>, it locates&#xa0;<i>u</i> within the arrangement to produce the corresponding barcode efficiently. While our theoretical complexity bounds are similar to the ones of RIVET, our arrangement turns out to be simpler thanks to the linear structure of the space of linear forms. Our theoretical analysis combines sheaf-theoretic and module-theoretic techniques, showing that multiparameter persistence modules can be converted into a special type of complexes of sheaves on vector spaces called <i>conic-complexes</i>, whose derived pushforwards by linear forms have predictable barcodes.</p>

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

Computation of gamma-linear projected barcodes for multiparameter persistence

  • Alex Fernandes,
  • Steve Oudot,
  • François Petit

摘要

The \(\gamma \) γ -linear projected barcode was recently introduced as an alternative to the well-known fibered barcode for multiparameter persistence, in which restrictions of the modules to lines are replaced by pushforwards of the modules along linear forms in the polar of some fixed cone  \(\gamma \) γ . So far, the computation of the \(\gamma \) γ -linear projected barcode has only been studied in the functional setting, in which persistence modules come from the persistent cohomology of \(\mathbb {R}^n\) R n -valued functions. Here, we develop a method that works in the algebraic setting directly, for any multiparameter persistence module over  \(\mathbb {R}^n\) R n that is given via a finite free resolution. Our approach is similar to that of RIVET: first, it pre-processes the resolution to build an arrangement in the dual of  \(\mathbb {R}^n\) R n and a barcode template in each face of the arrangement; second, given any query linear form u in the polar of  \(\gamma \) γ , it locates u within the arrangement to produce the corresponding barcode efficiently. While our theoretical complexity bounds are similar to the ones of RIVET, our arrangement turns out to be simpler thanks to the linear structure of the space of linear forms. Our theoretical analysis combines sheaf-theoretic and module-theoretic techniques, showing that multiparameter persistence modules can be converted into a special type of complexes of sheaves on vector spaces called conic-complexes, whose derived pushforwards by linear forms have predictable barcodes.