Persistence and Stability of the $\mathbb{A}_n$ Quiver

区间可分解对象的逼近与持久模的区间分解

Approximation by interval-decomposables and interval resolutions of persistence modules

本文研究双参数持久模的区间逼近，提出区间分解同调逼近，证明有限偏序集上区间分解整体维数有限并给出其与 Auslander–Reiten 平移区间维数的等式。

Decomposition of exact pfd persistence bimodules

We characterize the class of persistence modules indexed over $\mathbb{R}^2$ that are decomposable into summands whose support have the shape of a {\em block}---i.e. a horizontal band, a vertical band, an upper-right quadrant, or a lower-left quadrant. Assuming the modules are pointwise finite dimensional (pfd), we show that they are decomposable into block summands if and only if they satisfy a certain local property called {\em exactness}. Our proof follows the same scheme as the proof of decomposition for pfd persistence modules indexed over $\mathbb{R}$, yet it departs from it at key stage…

The structure and stability of persistence modules

We give a self-contained treatment of the theory of persistence modules indexed over the real line. We give new proofs of the standard results. Persistence diagrams are constructed using measure theory. Linear algebra lemmas are simplified using a new notation for calculations on quiver representations. We show that the stringent finiteness conditions required by traditional methods are not necessary to prove the existence and stability of the persistence diagram. We introduce weaker hypotheses for taming persistence modules, which are met in practice and are strong enough for the theory still…

基于映射到拉格朗日格拉斯曼流形、箭图和博特周期性

Based maps to Lagrangian Grassmannians, Quivers, and Bott Periodicity

研究从射影直线到拉格朗日格拉斯曼流形的基于代数映射空间，通过箭图描述实现代数几何精细化，得到同构，其拓扑实现恢复经典同伦等价。

Convolution of Persistence Modules

We conduct a study of real-valued multi-parameter persistence modules as sheaves and cosheaves. Using the recent work on the homological algebra for persistence modules, we define two different convolution operations between derived complexes of persistence modules. We show that one of these operations is canonically isomorphic to the derived tensor product of graded modules. We give formulas for computing convolutions between single-parameter interval decomposable modules. Our convolution operations are analogous to the convolution of derived complexes of constructible sheaves on $\mathbb{R}^…

A new construction for sublevel set persistence

We construct a filtered simplicial complex $(X_L,f_L)$ associated to a subset $X\subset \mathbb{R}^d$, a function $f:X\rightarrow \mathbb{R}$ with compactly supported sublevel sets, and a collection of landmark points $L\subset \mathbb{R}^d$. The persistence values $f_L(Δ)$ are defined as the minimizing values of a family of constrained optimization problems, whose domains are certain higher order Voronoi cells associated to $L$. We prove that $H_k^{a,b}(X_L)\cong H^{a,b}_k(X)$ provided that $f$ is the restriction of a smooth function, the landmarks are sufficiently dense, and $a<b$ are generi…

A Comparison Framework for Interleaved Persistence Modules

We present a generalization of the induced matching theorem and use it to prove a generalization of the algebraic stability theorem for $\mathbb{R}$-indexed pointwise finite-dimensional persistence modules. Via numerous examples, we show how the generalized algebraic stability theorem enables the computation of rigorous error bounds in the space of persistence diagrams that go beyond the typical formulation in terms of bottleneck (or log bottleneck) distance.

Relative Interlevel Set Cohomology Categorifies Extended Persistence Diagrams

The extended persistence diagram introduced by Cohen-Steiner, Edelsbrunner, and Harer is an invariant of real-valued continuous functions, which are $\mathbb{F}$-tame in the sense that all open interlevel sets have degree-wise finite-dimensional cohomology with coefficients in a fixed field $\mathbb{F}$. We show that relative interlevel set cohomology (RISC), which is based on the Mayer--Vietoris pyramid by Carlsson, de Silva, and Morozov, categorifies this invariant. More specifically, we define an abelian Frobenius category $\mathrm{pres}(\mathcal{J})$ of presheaves, which are presentable in…

Contractibility of a persistence map preimage

This work is motivated by the following question in data-driven study of dynamical systems: given a dynamical system that is observed via time series of persistence diagrams that encode topological features of solutions snapshots, what conclusions can be drawn about solutions of the original dynamical system? In this paper we provide a definition of a persistence diagram for a point in $\mathbb{R}^N$ modeled on piecewise monotone functions. We then provide conditions under which time series of persistence diagrams can be used to guarantee the existence of a fixed point of the flow on $\mathbb{…

双分次 Betti 数与广义持续图

Bigraded Betti numbers and Generalized Persistence Diagrams

本文利用广义秩不变量的 Möbius 反演刻画二参数持续模的双分次 Betti 数，并证明区间可分解逼近具有同样编码作用，且结果不能推广至三维及以上参数。