arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2408.01065math.ATcs.CG
收藏

多参数持久性的γ-线性投影条形码计算

Computation of $γ$-linear projected barcodes for multiparameter persistence

Alex Fernandes, Steve Oudot, Francois Petit

AI总结:

本文提出了一种在代数设置下直接计算多参数持久性模的γ-线性投影条形码的方法,通过预处理有限自由分解构建排列和条形码模板,并利用锥形复形理论分析其结构,相比RIVET排列更简单。

摘要:

γ-线性投影条形码最近被引入,作为多参数持久性中众所周知的纤维条形码的替代方案,其中模对直线的限制被替换为模沿固定锥γ的极中线性形式的推出。迄今为止,γ-线性投影条形码的计算仅在函数设置中被研究,其中持久性模来自ℝⁿ值函数的持久上同调。本文开发了一种直接在代数设置中工作的方法,适用于任何通过有限自由分解给出的ℝⁿ上的多参数持久性模。我们的方法类似于RIVET的方法:首先,它预处理分解以在ℝⁿ的对偶中构建一个排列以及该排列每个面中的条形码模板;其次,给定γ的极中的任意查询线性形式u,它在排列中定位u以高效地生成相应的条形码。虽然我们的理论复杂度界限与RIVET的相似,但由于线性形式空间的线性结构,我们的排列更为简单。我们的理论分析结合了层论和模论技术,表明多参数持久性模可以转换为向量空间上一类特殊的层复形,称为锥形复形,其沿线性形式的导出推出具有可预测的条形码。

英文摘要:

The $γ$-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 $γ$. So far, the computation of the $γ$-linear projected barcode has only been studied in the functional setting, in which persistence modules come from the persistent cohomology of $\mathbb{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$ 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$ and a barcode template in each face of the arrangement; second, given any query linear form $u$ in the polar of $γ$, 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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑