Showing 1–4 of 4 results for author: Fluhr, B

Relative Interlevel Set Cohomology Categorifies Extended Persistence Diagrams

Authors: Ulrich Bauer, Benedikt Fluhr

Abstract: 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… ▽ More 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 a certain sense, such that the RISC $h(f)$ of an $\mathbb{F}$-tame function $f \colon X \rightarrow \mathbb{R}$ is an object of $\mathrm{pres}(\mathcal{J})$, and moreover the extended persistence diagram of $f$ uniquely determines - and is determined by - the corresponding element $[h(f)] \in K_0 (\mathrm{pres}(\mathcal{J}))$ in the Grothendieck group $K_0 (\mathrm{pres}(\mathcal{J}))$ of the abelian category $\mathrm{pres}(\mathcal{J})$. As an intermediate step we show that $\mathrm{pres}(\mathcal{J})$ is the abelianization of the (localized) category of complexes of $\mathbb{F}$-linear sheaves on $\mathbb{R}$, which are tame in the sense that sheaf cohomology of any open interval is finite-dimensional in each degree. This yields a close link between derived level set persistence by Curry, Kashiwara, and Schapira and the categorification of extended persistence diagrams. △ Less

Submitted 5 September, 2022; v1 submitted 30 May, 2022; originally announced May 2022.

Comments: 67 pages + 11 pages appendix, 15 figures, LaTeX; change of title, added graphic to section 2, simplified notions in section 3.1, several minor edits

MSC Class: 55N31 (Primary) 55N30; 16G20; 16G70; 16E20; 06B99; 62R40 (Secondary)

Tight quasi-universality of Reeb graph distances

Authors: Ulrich Bauer, Håvard Bakke Bjerkevik, Benedikt Fluhr

Abstract: We establish tight bi-Lipschitz bounds certifying quasi-universality (universality up to a constant factor) for various distances between Reeb graphs: the interleaving distance, the functional distortion distance, and the functional contortion distance. The definition of the latter distance is a novel contribution, and for the special case of contour trees we also prove strict universality of this… ▽ More We establish tight bi-Lipschitz bounds certifying quasi-universality (universality up to a constant factor) for various distances between Reeb graphs: the interleaving distance, the functional distortion distance, and the functional contortion distance. The definition of the latter distance is a novel contribution, and for the special case of contour trees we also prove strict universality of this distance. Furthermore, we prove that for the special case of merge trees the functional contortion distance coincides with the interleaving distance, yielding universality of all four distances in this case. △ Less

Submitted 13 September, 2023; v1 submitted 1 December, 2021; originally announced December 2021.

Comments: 28 pages, 8 figures. This version establishes the tightness of all the bounds shown in the conference paper for SoCG 2022

MSC Class: 62R40

Structure and Interleavings of Relative Interlevel Set Cohomology

Authors: Ulrich Bauer, Magnus Bakke Botnan, Benedikt Fluhr

Abstract: The relative interlevel set cohomology (RISC) is an invariant of real-valued continuous functions closely related to the Mayer--Vietoris pyramid introduced by Carlsson, de Silva, and Morozov. As such, the relative interlevel set cohomology is a parametrization of the cohomology vector spaces of all open interlevel sets relative complements of closed interlevel sets. We provide a structure theorem,… ▽ More The relative interlevel set cohomology (RISC) is an invariant of real-valued continuous functions closely related to the Mayer--Vietoris pyramid introduced by Carlsson, de Silva, and Morozov. As such, the relative interlevel set cohomology is a parametrization of the cohomology vector spaces of all open interlevel sets relative complements of closed interlevel sets. We provide a structure theorem, which applies to the RISC of real-valued continuous functions whose open interlevel sets have finite-dimensional cohomology in each degree. Moreover, we show this tameness assumption is in some sense equivalent to $q$-tameness as introduced by Chazal, de Silva, Glisse, and Oudot. Furthermore, we provide the notion of an interleaving for RISC and we show that it is stable in the sense that any space with two functions that are $δ$-close induces a $δ$-interleaving of the corresponding relative interlevel set cohomologies. Finally, we provide an elementary form of quantitative homotopy invariance for RISC. △ Less

Submitted 30 May, 2022; v1 submitted 20 August, 2021; originally announced August 2021.

Comments: 40 pages + 10 pages appendix, 22 figures; this paper shares an appendix with an earlier version of arXiv:2007.01834; corrected the caption of figure 2.3, added missing assumption to corollary 3.15 (formerly corollary 3.13), added figure 3.2, added a corollary to theorem 3.5, added details to remark 4.1, added missing assumption to lemma A.15, strengthened lemma 2.3, several minor edits

MSC Class: 55N31 (Primary); 62R40; 06B99 (Secondary)

Universal Distances for Extended Persistence

Authors: Ulrich Bauer, Magnus Bakke Botnan, Benedikt Fluhr

Abstract: The extended persistence diagram is an invariant of piecewise linear functions, which is known to be stable under perturbations of functions with respect to the bottleneck distance as introduced by Cohen-Steiner, Edelsbrunner, and Harer. We address the question of universality, which asks for the largest possible stable distance on extended persistence diagrams, showing that a more discriminative… ▽ More The extended persistence diagram is an invariant of piecewise linear functions, which is known to be stable under perturbations of functions with respect to the bottleneck distance as introduced by Cohen-Steiner, Edelsbrunner, and Harer. We address the question of universality, which asks for the largest possible stable distance on extended persistence diagrams, showing that a more discriminative variant of the bottleneck distance is universal. Our result applies more generally to settings where persistence diagrams are considered only up to a certain degree. We achieve our results by establishing a functorial construction and several characteristic properties of relative interlevel set homology, which mirror the classical Eilenberg--Steenrod axioms. Finally, we contrast the bottleneck distance with the interleaving distance of sheaves on the real line by showing that the latter is not intrinsic, let alone universal. This particular result has the further implication that the interleaving distance of Reeb graphs is not intrinsic either. △ Less

Submitted 11 March, 2024; v1 submitted 3 July, 2020; originally announced July 2020.

Comments: 30 pages + 15 pages appendix, 19 figures, LaTeX; moved an appendix to arXiv:2108.09298, generalization of results to restricted extended persistence diagrams, added discussion of relations to interleaving distances of sheaves and of Reeb graphs, correction of a sign mistake in the proof of lemma 3.2 with additional details in appendix D, updated references, several minor edits

MSC Class: 55N31 (Primary); 62R40 (Secondary)

Journal ref: Journal of Applied and Computational Topology - ATMCS10 Special Issue (2024)