Showing 1–5 of 5 results for author: Schmahl, M

Comparison of persistent singular and Čech homology for locally connected filtrations

Authors: Maximilian Schmahl

Abstract: We show that the interleaving distance between the persistent singular homology and the persistent Čech homology of a homologically locally connected filtration consisting of paracompact Hausdorff spaces is 0. We show that the interleaving distance between the persistent singular homology and the persistent Čech homology of a homologically locally connected filtration consisting of paracompact Hausdorff spaces is 0. △ Less

Submitted 2 July, 2022; originally announced July 2022.

Comments: 15 pages

MSC Class: 55N05; 55N10; 55N31

Efficient Computation of Image Persistence

Authors: Ulrich Bauer, Maximilian Schmahl

Abstract: We present an algorithm for computing the barcode of the image of a morphisms in persistent homology induced by an inclusion of filtered finite-dimensional chain complexes. These algorithms make use of the clearing optimization and can be applied to inclusion-induced maps in persistent absolute homology and persistent relative cohomology for filtrations of pairs of simplicial complexes. They form… ▽ More We present an algorithm for computing the barcode of the image of a morphisms in persistent homology induced by an inclusion of filtered finite-dimensional chain complexes. These algorithms make use of the clearing optimization and can be applied to inclusion-induced maps in persistent absolute homology and persistent relative cohomology for filtrations of pairs of simplicial complexes. They form the basis for our implementation for Vietoris-Rips complexes in the framework of the software Ripser. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Comments: 16 pages

Persistent homology for functionals

Authors: Ulrich Bauer, Anibal M. Medina-Mardones, Maximilian Schmahl

Abstract: We introduce topological conditions on a broad class of functionals that ensure that the persistent homology modules of their associated sublevel set filtration admit persistence diagrams, which, in particular, implies that they satisfy generalized Morse inequalities. We illustrate the applicability of these results by recasting the original proof of the Unstable Minimal Surface Theorem given by M… ▽ More We introduce topological conditions on a broad class of functionals that ensure that the persistent homology modules of their associated sublevel set filtration admit persistence diagrams, which, in particular, implies that they satisfy generalized Morse inequalities. We illustrate the applicability of these results by recasting the original proof of the Unstable Minimal Surface Theorem given by Morse and Tompkins in a modern and rigorous framework. △ Less

Submitted 24 May, 2022; v1 submitted 29 July, 2021; originally announced July 2021.

Comments: 29 pages, 1 figure

MSC Class: 55N31; 58E05; 58E12; 54D05; 55N05

Lifespan Functors and Natural Dualities in Persistent Homology

Authors: Ulrich Bauer, Maximilian Schmahl

Abstract: We introduce lifespan functors, which are endofunctors on the category of persistence modules that filter out intervals from barcodes according to their boundedness properties. They can be used to classify injective and projective objects in the category of barcodes and the category of pointwise finite-dimensional persistence modules. They also naturally appear in duality results for absolute and… ▽ More We introduce lifespan functors, which are endofunctors on the category of persistence modules that filter out intervals from barcodes according to their boundedness properties. They can be used to classify injective and projective objects in the category of barcodes and the category of pointwise finite-dimensional persistence modules. They also naturally appear in duality results for absolute and relative versions of persistent (co)homology, generalizing previous results in terms of barcodes. Due to their functoriality, we can apply these results to morphisms in persistent homology that are induced by morphisms between filtrations. This lays the groundwork for the efficient computation of barcodes for images, kernels, and cokernels of such morphisms. △ Less

Submitted 18 October, 2021; v1 submitted 23 December, 2020; originally announced December 2020.

Comments: 32 pages, 1 figure

MSC Class: 55N31; 55U10; 16G20; 18G05

Journal ref: Homology, Homotopy and Applications, vol. 25(2), 2023, pp.297-327

Structure of semi-continuous q-tame persistence modules

Authors: Maximilian Schmahl

Abstract: Using a result by Chazal, Crawley-Boevey and de Silva concerning radicals of persistence modules, we show that every lower semi-continuous q-tame persistence module can be decomposed as a direct sum of interval modules and that every upper semi-continuous q-tame persistence module can be decomposed as a product of interval modules. Using a result by Chazal, Crawley-Boevey and de Silva concerning radicals of persistence modules, we show that every lower semi-continuous q-tame persistence module can be decomposed as a direct sum of interval modules and that every upper semi-continuous q-tame persistence module can be decomposed as a product of interval modules. △ Less

Submitted 2 July, 2022; v1 submitted 21 August, 2020; originally announced August 2020.

Comments: 11 pages, small updates as suggested by a referee

MSC Class: 16G20; 55N31

Journal ref: Homology, Homotopy and Applications, Vol. 24, No. 1 (2022), pp. 117-128