Showing 1–50 of 52 results for author: Bauer, U

Inferring a Cell Structure on the Space of Cyclooctane Conformations

Authors: Ulrich Bauer, Fabian Lenzen

Abstract: The conformation space of cyclooctane, a ringlike organic molecule comprising eight carbon atoms, is a two-dimensional algebraic variety, which has been studied extensively for more than 90 years. We propose a cell structure representing this space, which arises naturally by partitioning the space into subsets of conformations that admit particular symmetries. We do so both for the labeled conform… ▽ More The conformation space of cyclooctane, a ringlike organic molecule comprising eight carbon atoms, is a two-dimensional algebraic variety, which has been studied extensively for more than 90 years. We propose a cell structure representing this space, which arises naturally by partitioning the space into subsets of conformations that admit particular symmetries. We do so both for the labeled conformation space, in which the carbon atoms are considered as distinct, and for the actual, unlabeled, conformation space. The proposed cell structure is obtained by identifying subspaces of conformations based on symmetry patterns and studying the geometry and topology of these subsets using methods from dimensionality reduction and topological data analysis. Our findings suggest that, in contrast to the labeled variant, the conformation space of cyclooctane is contractible. △ Less

Submitted 27 February, 2025; originally announced February 2025.

MSC Class: 57-08; 14-04

On the additive image of 0th persistent homology

Authors: Ulrich Bauer, Magnus Bakke Botnan, Steffen Oppermann, Johan Steen

Abstract: For $X$ a finite category and $F$ a finite field, we study the additive image of the functor $\operatorname{H}_0(-,F) \colon \operatorname{rep}(X, \mathbf{Top}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$, or equivalently, of the free functor $\operatorname{rep}(X, \mathbf{Set}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$. We characterize all finite categories $X$ for which the indecomposables i… ▽ More For $X$ a finite category and $F$ a finite field, we study the additive image of the functor $\operatorname{H}_0(-,F) \colon \operatorname{rep}(X, \mathbf{Top}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$, or equivalently, of the free functor $\operatorname{rep}(X, \mathbf{Set}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$. We characterize all finite categories $X$ for which the indecomposables in the additive image coincide with the indecomposable indicator representations and provide examples of quivers of wild representation type where the additive image contains only finitely many indecomposables. Motivated by questions in topological data analysis, we conduct a detailed analysis of the additive image for finite grids. In particular, we show that for grids of infinite representation type, there exist infinitely many indecomposables both within and outside the additive image. We develop an algorithm for determining if a representation of a finite category is in the additive image. In addition, we investigate conditions for realizability and the effect of modifications of the source category and the underlying field. The paper concludes with a discussion of the additive image of $\operatorname{H}_n(-,F)$ for an arbitrary field $F$, extending previous work for prime fields. △ Less

Submitted 7 February, 2025; v1 submitted 15 January, 2025; originally announced January 2025.

Comments: Added a new section on edge contractions and polished the manuscript

Generating Cofaces in Vietoris--Rips Filtration Order

Authors: Ulrich Bauer, Jordan Matuszewski, Mikael Vejdemo-Johansson

Abstract: Cofaces -- simplices that contain a given simplex -- have multiple important uses in generating and using a Vietoris-Rips filtration: both in creating the coboundary matrix for computing persistent cohomology, and for generating the ordered sequence of simplices in the first place. Traditionally, most methods have generated simplices first, and then sorted them in filtration order after the genera… ▽ More Cofaces -- simplices that contain a given simplex -- have multiple important uses in generating and using a Vietoris-Rips filtration: both in creating the coboundary matrix for computing persistent cohomology, and for generating the ordered sequence of simplices in the first place. Traditionally, most methods have generated simplices first, and then sorted them in filtration order after the generation step. In this paper, we propose fast algorithms for generating the sequence of simplices by generating cofaces of a given simplex with the same diameter, which by construction produces simplices in filtration order, and for generating additional cofaces in filtration order using sorted neighborhood lists in order to generate coboundaries directly in filtration order. △ Less

Submitted 4 December, 2024; v1 submitted 8 November, 2024; originally announced November 2024.

Topograph: An efficient Graph-Based Framework for Strictly Topology Preserving Image Segmentation

Authors: Laurin Lux, Alexander H. Berger, Alexander Weers, Nico Stucki, Daniel Rueckert, Ulrich Bauer, Johannes C. Paetzold

Abstract: Topological correctness plays a critical role in many image segmentation tasks, yet most networks are trained using pixel-wise loss functions, such as Dice, neglecting topological accuracy. Existing topology-aware methods often lack robust topological guarantees, are limited to specific use cases, or impose high computational costs. In this work, we propose a novel, graph-based framework for topol… ▽ More Topological correctness plays a critical role in many image segmentation tasks, yet most networks are trained using pixel-wise loss functions, such as Dice, neglecting topological accuracy. Existing topology-aware methods often lack robust topological guarantees, are limited to specific use cases, or impose high computational costs. In this work, we propose a novel, graph-based framework for topologically accurate image segmentation that is both computationally efficient and generally applicable. Our method constructs a component graph that fully encodes the topological information of both the prediction and ground truth, allowing us to efficiently identify topologically critical regions and aggregate a loss based on local neighborhood information. Furthermore, we introduce a strict topological metric capturing the homotopy equivalence between the union and intersection of prediction-label pairs. We formally prove the topological guarantees of our approach and empirically validate its effectiveness on binary and multi-class datasets. Our loss demonstrates state-of-the-art performance with up to fivefold faster loss computation compared to persistent homology methods. △ Less

Submitted 17 April, 2025; v1 submitted 5 November, 2024; originally announced November 2024.

Efficient Betti Matching Enables Topology-Aware 3D Segmentation via Persistent Homology

Authors: Nico Stucki, Vincent Bürgin, Johannes C. Paetzold, Ulrich Bauer

Abstract: In this work, we propose an efficient algorithm for the calculation of the Betti matching, which can be used as a loss function to train topology aware segmentation networks. Betti matching loss builds on techniques from topological data analysis, specifically persistent homology. A major challenge is the computational cost of computing persistence barcodes. In response to this challenge, we propo… ▽ More In this work, we propose an efficient algorithm for the calculation of the Betti matching, which can be used as a loss function to train topology aware segmentation networks. Betti matching loss builds on techniques from topological data analysis, specifically persistent homology. A major challenge is the computational cost of computing persistence barcodes. In response to this challenge, we propose a new, highly optimized implementation of Betti matching, implemented in C++ together with a python interface, which achieves significant speedups compared to the state-of-the-art implementation Cubical Ripser. We use Betti matching 3D to train segmentation networks with the Betti matching loss and demonstrate improved topological correctness of predicted segmentations across several datasets. The source code is available at https://github.com/nstucki/Betti-Matching-3D. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Topologically Faithful Multi-class Segmentation in Medical Images

Authors: Alexander H. Berger, Nico Stucki, Laurin Lux, Vincent Buergin, Suprosanna Shit, Anna Banaszak, Daniel Rueckert, Ulrich Bauer, Johannes C. Paetzold

Abstract: Topological accuracy in medical image segmentation is a highly important property for downstream applications such as network analysis and flow modeling in vessels or cell counting. Recently, significant methodological advancements have brought well-founded concepts from algebraic topology to binary segmentation. However, these approaches have been underexplored in multi-class segmentation scenari… ▽ More Topological accuracy in medical image segmentation is a highly important property for downstream applications such as network analysis and flow modeling in vessels or cell counting. Recently, significant methodological advancements have brought well-founded concepts from algebraic topology to binary segmentation. However, these approaches have been underexplored in multi-class segmentation scenarios, where topological errors are common. We propose a general loss function for topologically faithful multi-class segmentation extending the recent Betti matching concept, which is based on induced matchings of persistence barcodes. We project the N-class segmentation problem to N single-class segmentation tasks, which allows us to use 1-parameter persistent homology, making training of neural networks computationally feasible. We validate our method on a comprehensive set of four medical datasets with highly variant topological characteristics. Our loss formulation significantly enhances topological correctness in cardiac, cell, artery-vein, and Circle of Willis segmentation. △ Less

Submitted 9 October, 2024; v1 submitted 16 March, 2024; originally announced March 2024.

Journal ref: MICCAI 2024, Lecture Notes in Computer Science, vol. 15008, pp. 721-731, 2024

Cycling Signatures: Identifying Cycling Motions in Time Series using Algebraic Topology

Authors: Ulrich Bauer, David Hien, Oliver Junge, Konstantin Mischaikow

Abstract: Recurrence is a fundamental characteristic of dynamical systems with complicated behavior. Understanding the inner structure of recurrence is challenging, especially if the system has many degrees of freedom and is subject to noise. We develop algebraic topological notions for identifying and classifying elementary recurrent motions -- called cycling -- and the transitions between those. Statistic… ▽ More Recurrence is a fundamental characteristic of dynamical systems with complicated behavior. Understanding the inner structure of recurrence is challenging, especially if the system has many degrees of freedom and is subject to noise. We develop algebraic topological notions for identifying and classifying elementary recurrent motions -- called cycling -- and the transitions between those. Statistics on these cycling motions can be computed from sampled trajectories (time series data), providing coarse global information on the structure of the recurrent behavior. We demonstrate this through three examples; in particular, we identify and analyze six cycling motions in a four dimensional system with a hyperchaotic attractor. We see this as a promising approach to reveal coarse-grained dynamical information on high-dimensional systems. △ Less

Submitted 13 December, 2024; v1 submitted 7 December, 2023; originally announced December 2023.

Comments: main paper: 30 pages, appendix: 10 pages; reorganized and expanded version of the previous submission

Efficient two-parameter persistence computation via cohomology

Authors: Ulrich Bauer, Fabian Lenzen, Michael Lesnick

Abstract: Clearing is a simple but effective optimization for the standard algorithm of persistent homology (PH), which dramatically improves the speed and scalability of PH computations for Vietoris--Rips filtrations. Due to the quick growth of the boundary matrices of a Vietoris--Rips filtration with increasing dimension, clearing is only effective when used in conjunction with a dual (cohomological) vari… ▽ More Clearing is a simple but effective optimization for the standard algorithm of persistent homology (PH), which dramatically improves the speed and scalability of PH computations for Vietoris--Rips filtrations. Due to the quick growth of the boundary matrices of a Vietoris--Rips filtration with increasing dimension, clearing is only effective when used in conjunction with a dual (cohomological) variant of the standard algorithm. This approach has not previously been applied successfully to the computation of two-parameter PH. We introduce a cohomological algorithm for computing minimal free resolutions of two-parameter PH that allows for clearing. To derive our algorithm, we extend the duality principles which underlie the one-parameter approach to the two-parameter setting. We provide an implementation and report experimental run times for function-Rips filtrations. Our method is faster than the current state-of-the-art by a factor of up to 20. △ Less

Submitted 3 August, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: This is an extended version of a conference paper that appeared at SoCG 2023, see https://drops.dagstuhl.de/opus/volltexte/2023/17865

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

Wrapping Cycles in Delaunay Complexes: Bridging Persistent Homology and Discrete Morse Theory

Authors: Ulrich Bauer, Fabian Roll

Abstract: We study the connection between discrete Morse theory and persistent homology in the context of shape reconstruction methods. Specifically, we consider the construction of Wrap complexes, introduced by Edelsbrunner as a subcomplex of the Delaunay complex, and the construction of lexicographic optimal homologous cycles, also considered by Cohen-Steiner, Lieutier, and Vuillamy in a similar setting.… ▽ More We study the connection between discrete Morse theory and persistent homology in the context of shape reconstruction methods. Specifically, we consider the construction of Wrap complexes, introduced by Edelsbrunner as a subcomplex of the Delaunay complex, and the construction of lexicographic optimal homologous cycles, also considered by Cohen-Steiner, Lieutier, and Vuillamy in a similar setting. We show that for any cycle in a Delaunay complex for a given radius parameter, the lexicographically optimal homologous cycle is supported on the Wrap complex for the same parameter, thereby establishing a close connection between the two methods. We obtain this result by establishing a fundamental connection between reduction of cycles in the computation of persistent homology and gradient flows in the algebraic generalization of discrete Morse theory. △ Less

Submitted 21 March, 2024; v1 submitted 5 December, 2022; originally announced December 2022.

Comments: 22 pages. Full version of SoCG 2024 paper

Journal ref: 40th International Symposium on Computational Geometry (SoCG 2024), Article No. 15

Generic Multi-Parameter Persistence Modules are Nearly Indecomposable

Authors: Ulrich Bauer, Luis Scoccola

Abstract: We study the interplay between algebraic and metric properties of multi-parameter persistence modules (linear representations of the poset $\mathbf{R}^n$ with $n \geq 2$). In the context of topological data analysis and inference, a fundamental property of one-parameter persistence modules (linear representations of $\mathbf{R}$) is that the operation of decomposing them into their indecomposable… ▽ More We study the interplay between algebraic and metric properties of multi-parameter persistence modules (linear representations of the poset $\mathbf{R}^n$ with $n \geq 2$). In the context of topological data analysis and inference, a fundamental property of one-parameter persistence modules (linear representations of $\mathbf{R}$) is that the operation of decomposing them into their indecomposable summands is Lipschitz continuous, under suitable choices of metrics on modules and on collections of indecomposables. This is far from true of multi-parameter persistence modules: We show that any finitely presentable multi-parameter persistence module can be approximated arbitrarily well by an indecomposable module, and that modules that are sufficiently close to an indecomposable decompose as a direct sum of an indecomposable and a nearly trivial module. These results have several consequences of interest, which provide strong motivation for approaching multi-parameter persistence in a way that does not rely on directly decomposing modules by indecomposables. △ Less

Submitted 11 October, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 30 pages, 3 figures; v2: generalize results to n>1, add corollaries, fix gap in tacking lemma, improve exposition

Topologically faithful image segmentation via induced matching of persistence barcodes

Authors: Nico Stucki, Johannes C. Paetzold, Suprosanna Shit, Bjoern Menze, Ulrich Bauer

Abstract: Image segmentation is a largely researched field where neural networks find vast applications in many facets of technology. Some of the most popular approaches to train segmentation networks employ loss functions optimizing pixel-overlap, an objective that is insufficient for many segmentation tasks. In recent years, their limitations fueled a growing interest in topology-aware methods, which aim… ▽ More Image segmentation is a largely researched field where neural networks find vast applications in many facets of technology. Some of the most popular approaches to train segmentation networks employ loss functions optimizing pixel-overlap, an objective that is insufficient for many segmentation tasks. In recent years, their limitations fueled a growing interest in topology-aware methods, which aim to recover the correct topology of the segmented structures. However, so far, none of the existing approaches achieve a spatially correct matching between the topological features of ground truth and prediction. In this work, we propose the first topologically and feature-wise accurate metric and loss function for supervised image segmentation, which we term Betti matching. We show how induced matchings guarantee the spatially correct matching between barcodes in a segmentation setting. Furthermore, we propose an efficient algorithm to compute the Betti matching of images. We show that the Betti matching error is an interpretable metric to evaluate the topological correctness of segmentations, which is more sensitive than the well-established Betti number error. Moreover, the differentiability of the Betti matching loss enables its use as a loss function. It improves the topological performance of segmentation networks across six diverse datasets while preserving the volumetric performance. Our code is available in https://github.com/nstucki/Betti-matching. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Keeping it sparse: Computing Persistent Homology revisited

Authors: Ulrich Bauer, Talha Bin Masood, Barbara Giunti, Guillaume Houry, Michael Kerber, Abhishek Rathod

Abstract: In this work, we study several variants of matrix reduction via Gaussian elimination that try to keep the reduced matrix sparse. The motivation comes from the growing field of topological data analysis where matrix reduction is the major subroutine to compute barcodes, the main invariant therein. We propose two novel variants of the standard algorithm, called swap and retrospective reductions. We… ▽ More In this work, we study several variants of matrix reduction via Gaussian elimination that try to keep the reduced matrix sparse. The motivation comes from the growing field of topological data analysis where matrix reduction is the major subroutine to compute barcodes, the main invariant therein. We propose two novel variants of the standard algorithm, called swap and retrospective reductions. We test them on a large collection of data against other known variants to compare their efficiency, and we find that sometimes they provide a considerable speed-up. We also present novel output-sensitive bounds for the retrospective variant which better explain the discrepancy between the cubic worst-case complexity bound and the almost linear practical behavior of matrix reduction. Finally, we provide several constructions on which one of the variants performs strictly better than the others. △ Less

Submitted 13 June, 2024; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: 26 pages, 6 tables

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)

A Unified View on the Functorial Nerve Theorem and its Variations

Authors: Ulrich Bauer, Michael Kerber, Fabian Roll, Alexander Rolle

Abstract: The nerve theorem is a basic result of algebraic topology that plays a central role in computational and applied aspects of the subject. In topological data analysis, one often needs a nerve theorem that is functorial in an appropriate sense, and furthermore one often needs a nerve theorem for closed covers as well as for open covers. While the techniques for proving such functorial nerve theorems… ▽ More The nerve theorem is a basic result of algebraic topology that plays a central role in computational and applied aspects of the subject. In topological data analysis, one often needs a nerve theorem that is functorial in an appropriate sense, and furthermore one often needs a nerve theorem for closed covers as well as for open covers. While the techniques for proving such functorial nerve theorems have long been available, there is unfortunately no general-purpose, explicit treatment of this topic in the literature. We address this by proving a variety of functorial nerve theorems. First, we show how one can use elementary techniques to prove nerve theorems for covers by closed convex sets in Euclidean space, and for covers of a simplicial complex by subcomplexes. Then, we establish a more general, "unified" nerve theorem that subsumes many of the variants, using standard techniques from abstract homotopy theory. △ Less

Submitted 2 June, 2025; v1 submitted 7 March, 2022; originally announced March 2022.

Comments: 57 pages. Updated proofs for Lemma 3.2 and Proposition 4.4

MSC Class: 55N31 (Primary) 55-02; 55P10 (Secondary)

Journal ref: Expo. Math. 41:4 (2023), 125503

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

Gromov Hyperbolicity, Geodesic Defect, and Apparent Pairs in Vietoris-Rips Filtrations

Authors: Ulrich Bauer, Fabian Roll

Abstract: Motivated by computational aspects of persistent homology for Vietoris-Rips filtrations, we generalize a result of Eliyahu Rips on the contractibility of Vietoris-Rips complexes of geodesic spaces for a suitable parameter depending on the hyperbolicity of the space. We consider the notion of geodesic defect to extend this result to general metric spaces in a way that is also compatible with the fi… ▽ More Motivated by computational aspects of persistent homology for Vietoris-Rips filtrations, we generalize a result of Eliyahu Rips on the contractibility of Vietoris-Rips complexes of geodesic spaces for a suitable parameter depending on the hyperbolicity of the space. We consider the notion of geodesic defect to extend this result to general metric spaces in a way that is also compatible with the filtration. We further show that for finite tree metrics the Vietoris-Rips complexes collapse to their corresponding subforests. We relate our result to modern computational methods by showing that these collapses are induced by the apparent pairs gradient, which is used as an algorithmic optimization in Ripser, explaining its particularly strong performance on tree-like metric data. △ Less

Submitted 22 March, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: 18 pages. Extended version of SoCG 2022 paper

Journal ref: 38th International Symposium on Computational Geometry (SoCG 2022), Article No. 15

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

Parameterized inapproximability of Morse matching

Authors: Ulrich Bauer, Abhishek Rathod

Abstract: We study the problem of minimizing the number of critical simplices from the point of view of inapproximability and parameterized complexity. We first show inapproximability of Min-Morse Matching within a factor of $2^{\log^{(1-ε)}n}$. Our second result shows that Min-Morse Matching is ${\bf W{[P]}}$-hard with respect to the standard parameter. Next, we show that Min-Morse Matching with standard p… ▽ More We study the problem of minimizing the number of critical simplices from the point of view of inapproximability and parameterized complexity. We first show inapproximability of Min-Morse Matching within a factor of $2^{\log^{(1-ε)}n}$. Our second result shows that Min-Morse Matching is ${\bf W{[P]}}$-hard with respect to the standard parameter. Next, we show that Min-Morse Matching with standard parameterization has no FPT approximation algorithm for any approximation factor $ρ$. The above hardness results are applicable to complexes of dimension $\ge 2$. On the positive side, we provide a factor $O(\frac{n}{\log n})$ approximation algorithm for Min-Morse Matching on $2$-complexes, noting that no such algorithm is known for higher dimensional complexes. Finally, we devise discrete gradients with very few critical simplices for typical instances drawn from a fairly wide range of parameter values of the Costa-Farber model of random complexes. △ Less

Submitted 19 June, 2022; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: Improved exposition in Section 4.3

The complexity of high-dimensional cuts

Authors: Ulrich Bauer, Abhishek Rathod, Meirav Zehavi

Abstract: Cut problems form one of the most fundamental classes of problems in algorithmic graph theory. For instance, the minimum cut, the minimum $s$-$t$ cut, the minimum multiway cut, and the minimum $k$-way cut are some of the commonly encountered cut problems. Many of these problems have been extensively studied over several decades. In this paper, we initiate the algorithmic study of some cut problems… ▽ More Cut problems form one of the most fundamental classes of problems in algorithmic graph theory. For instance, the minimum cut, the minimum $s$-$t$ cut, the minimum multiway cut, and the minimum $k$-way cut are some of the commonly encountered cut problems. Many of these problems have been extensively studied over several decades. In this paper, we initiate the algorithmic study of some cut problems in high dimensions. The first problem we study, namely, Topological Hitting Set (THS), is defined as follows: Given a nontrivial $r$-cycle $ζ$ in a simplicial complex $\mathsf{K}$, find a set $\mathcal{S}$ of $r$-dimensional simplices of minimum cardinality so that $\mathcal{S}$ meets every cycle homologous to $ζ$. Our main result is that this problem admits a polynomial-time solution on triangulations of closed surfaces. Interestingly, the optimal solution is given in terms of the cocycles of the surface. For general complexes, we show that THS is W[1]-hard with respect to the solution size $k$. On the positive side, we show that THS admits an FPT algorithm with respect to $k+d$, where $d$ is the maximum degree of the Hasse graph of the complex $\mathsf{K}$. We also define a problem called Boundary Nontrivialization (BNT): Given a bounding $r$-cycle $ζ$ in a simplicial complex $\mathsf{K}$, find a set $\mathcal{S}$ of $(r+1)$-dimensional simplices of minimum cardinality so that the removal of $\mathcal{S}$ from $\mathsf{K}$ makes $ζ$ non-bounding. We show that BNT is W[1]-hard with respect to the solution size as the parameter, and has an $O(\log n)$-approximation FPT algorithm for $(r+1)$-dimensional complexes with the $(r+1)$-th Betti number $β_{r+1}$ as the parameter. Finally, we provide randomized (approximation) FPT algorithms for the global variants of THS and BNT. △ Less

Submitted 23 August, 2021; originally announced August 2021.

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)

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

Topological data analysis identifies emerging adaptive mutations in SARS-CoV-2

Authors: Michael Bleher, Lukas Hahn, Maximilian Neumann, Juan Angel Patino-Galindo, Mathieu Carriere, Ulrich Bauer, Raul Rabadan, Andreas Ott

Abstract: The COVID-19 pandemic has initiated an unprecedented worldwide effort to characterize its evolution through the mapping of mutations of the coronavirus SARS-CoV-2. The early identification of mutations that could confer adaptive advantages to the virus, such as higher infectivity or immune evasion, is of paramount importance. However, the large number of currently available genomes precludes the e… ▽ More The COVID-19 pandemic has initiated an unprecedented worldwide effort to characterize its evolution through the mapping of mutations of the coronavirus SARS-CoV-2. The early identification of mutations that could confer adaptive advantages to the virus, such as higher infectivity or immune evasion, is of paramount importance. However, the large number of currently available genomes precludes the efficient use of phylogeny-based methods. Here we present CoVtRec, a fast and scalable Topological Data Analysis approach for the surveillance of emerging adaptive mutations in large genomic datasets. Our method overcomes limitations of state-of-the-art phylogeny-based approaches by quantifying the potential adaptiveness of mutations merely by their topological footprint in the genome alignment, without resorting to the reconstruction of a single optimal phylogenetic tree. Analyzing millions of SARS-CoV-2 genomes from GISAID, we find a correlation between topological signals and adaptation to the human host. By leveraging the stratification by time in sequence data, our method enables the high-resolution longitudinal analysis of topological signals of adaptation. We characterize the convergent evolution of the coronavirus throughout the whole pandemic to date, report on emerging potentially adaptive mutations, and pinpoint mutations in Variants of Concern that are likely associated with positive selection. Our approach can improve the surveillance of mutations of concern and guide experimental studies. △ Less

Submitted 25 August, 2023; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: Major revisions; new analyses added

MSC Class: 62R40; 55N31; 68U05; 68T09; 92-08; 92C60; 92D15

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

Homology of configuration spaces of hard squares in a rectangle

Authors: Hannah Alpert, Ulrich Bauer, Matthew Kahle, Robert MacPherson, Kelly Spendlove

Abstract: We study ordered configuration spaces $C(n;p,q)$ of $n$ hard squares in a $p \times q$ rectangle, a generalization of the well-known "15 Puzzle". Our main interest is in the topology of these spaces. Our first result is to describe a cubical cell complex and prove that is homotopy equivalent to the configuration space. We then focus on determining for which $n$, $j$, $p$, and $q$ the homology grou… ▽ More We study ordered configuration spaces $C(n;p,q)$ of $n$ hard squares in a $p \times q$ rectangle, a generalization of the well-known "15 Puzzle". Our main interest is in the topology of these spaces. Our first result is to describe a cubical cell complex and prove that is homotopy equivalent to the configuration space. We then focus on determining for which $n$, $j$, $p$, and $q$ the homology group $H_j [ C(n;p,q) ]$ is nontrivial. We prove three homology-vanishing theorems, based on discrete Morse theory on the cell complex. Then we describe several explicit families of nontrivial cycles, and a method for interpolating between parameters to fill in most of the picture for "large-scale" nontrivial homology. △ Less

Submitted 11 January, 2022; v1 submitted 27 October, 2020; originally announced October 2020.

Comments: Final version, to appear in "Algebraic & Geometric Topology"

Journal ref: Algebr. Geom. Topol. 23 (2023) 2593-2626

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)

clDice -- A Novel Topology-Preserving Loss Function for Tubular Structure Segmentation

Authors: Suprosanna Shit, Johannes C. Paetzold, Anjany Sekuboyina, Ivan Ezhov, Alexander Unger, Andrey Zhylka, Josien P. W. Pluim, Ulrich Bauer, Bjoern H. Menze

Abstract: Accurate segmentation of tubular, network-like structures, such as vessels, neurons, or roads, is relevant to many fields of research. For such structures, the topology is their most important characteristic; particularly preserving connectedness: in the case of vascular networks, missing a connected vessel entirely alters the blood-flow dynamics. We introduce a novel similarity measure termed cen… ▽ More Accurate segmentation of tubular, network-like structures, such as vessels, neurons, or roads, is relevant to many fields of research. For such structures, the topology is their most important characteristic; particularly preserving connectedness: in the case of vascular networks, missing a connected vessel entirely alters the blood-flow dynamics. We introduce a novel similarity measure termed centerlineDice (short clDice), which is calculated on the intersection of the segmentation masks and their (morphological) skeleta. We theoretically prove that clDice guarantees topology preservation up to homotopy equivalence for binary 2D and 3D segmentation. Extending this, we propose a computationally efficient, differentiable loss function (soft-clDice) for training arbitrary neural segmentation networks. We benchmark the soft-clDice loss on five public datasets, including vessels, roads and neurons (2D and 3D). Training on soft-clDice leads to segmentation with more accurate connectivity information, higher graph similarity, and better volumetric scores. △ Less

Submitted 15 July, 2022; v1 submitted 16 March, 2020; originally announced March 2020.

Comments: * The authors Suprosanna Shit and Johannes C. Paetzold contributed equally to the work

Report number: CVPR 2021

Combinatorial models of global dynamics: learning cycling motion from data

Authors: Ulrich Bauer, David Hien, Oliver Junge, Konstantin Mischaikow, Max Snijders

Abstract: We describe a computational method for constructing a coarse combinatorial model of some dynamical system in which the macroscopic states are given by elementary cycling motions of the system. Our method is in particular applicable to time series data. We illustrate the construction by a perturbed double well Hamiltonian as well as the Lorenz system. We describe a computational method for constructing a coarse combinatorial model of some dynamical system in which the macroscopic states are given by elementary cycling motions of the system. Our method is in particular applicable to time series data. We illustrate the construction by a perturbed double well Hamiltonian as well as the Lorenz system. △ Less

Submitted 28 July, 2021; v1 submitted 20 January, 2020; originally announced January 2020.

Comments: Replacement of the accidentally submitted v2

MSC Class: 37M99

Parametrized Complexity of Expansion Height

Authors: Ulrich Bauer, Abhishek Rathod, Jonathan Spreer

Abstract: Deciding whether two simplicial complexes are homotopy equivalent is a fundamental problem in topology, which is famously undecidable. There exists a combinatorial refinement of this concept, called simple-homotopy equivalence: two simplicial complexes are of the same simple-homotopy type if they can be transformed into each other by a sequence of two basic homotopy equivalences, an elementary col… ▽ More Deciding whether two simplicial complexes are homotopy equivalent is a fundamental problem in topology, which is famously undecidable. There exists a combinatorial refinement of this concept, called simple-homotopy equivalence: two simplicial complexes are of the same simple-homotopy type if they can be transformed into each other by a sequence of two basic homotopy equivalences, an elementary collapse and its inverse, an elementary expansion. In this article we consider the following related problem: given a 2-dimensional simplicial complex, is there a simple-homotopy equivalence to a 1-dimensional simplicial complex using at most p expansions? We show that the problem, which we call the erasability expansion height, is W[P]-complete in the natural parameter p. △ Less

Submitted 21 October, 2019; originally announced October 2019.

Comments: 15 pages, 2 figures

Journal ref: 27th Annual European Symposium on Algorithms (ESA 2019), Leibniz International Proceedings in Informatics (LIPIcs) vol. 144, 2019, p. 13:1-15

Ripser: efficient computation of Vietoris-Rips persistence barcodes

Authors: Ulrich Bauer

Abstract: We present an algorithm for the computation of Vietoris-Rips persistence barcodes and describe its implementation in the software Ripser. The method relies on implicit representations of the coboundary operator and the filtration order of the simplices, avoiding the explicit construction and storage of the filtration coboundary matrix. Moreover, it makes use of apparent pairs, a simple but powerfu… ▽ More We present an algorithm for the computation of Vietoris-Rips persistence barcodes and describe its implementation in the software Ripser. The method relies on implicit representations of the coboundary operator and the filtration order of the simplices, avoiding the explicit construction and storage of the filtration coboundary matrix. Moreover, it makes use of apparent pairs, a simple but powerful method for constructing a discrete gradient field from a total order on the simplices of a simplicial complex, which is also of independent interest. Our implementation shows substantial improvements over previous software both in time and memory usage. △ Less

Submitted 26 February, 2021; v1 submitted 7 August, 2019; originally announced August 2019.

Comments: 26 pages. Software available at http://ripser.org

MSC Class: 55N31; 55-04

Journal ref: Journal of Applied and Computational Topology (2021)

Cotorsion torsion triples and the representation theory of filtered hierarchical clustering

Authors: Ulrich Bauer, Magnus B. Botnan, Steffen Oppermann, Johan Steen

Abstract: We give a full classification of representation types of the subcategories of representations of an $m \times n$ rectangular grid with monomorphisms (dually, epimorphisms) in one or both directions, which appear naturally in the context of clustering as two-parameter persistent homology in degree zero. We show that these subcategories are equivalent to the category of all representations of a smal… ▽ More We give a full classification of representation types of the subcategories of representations of an $m \times n$ rectangular grid with monomorphisms (dually, epimorphisms) in one or both directions, which appear naturally in the context of clustering as two-parameter persistent homology in degree zero. We show that these subcategories are equivalent to the category of all representations of a smaller grid, modulo a finite number of indecomposables. This equivalence is constructed from a certain cotorsion torsion triple, which is obtained from a tilting subcategory generated by said indecomposables. △ Less

Submitted 21 January, 2020; v1 submitted 15 April, 2019; originally announced April 2019.

Comments: 39 pages; corrected the lists appearing in Cor. 1.6 and minor changes throughout

MSC Class: 16G20; 16S90 (primary); 55N99 (secondary)

Journal ref: Adv. Math. 369 (2020), 107171

On the Metric Distortion of Embedding Persistence Diagrams into separable Hilbert spaces

Authors: Mathieu Carriere, Ulrich Bauer

Abstract: Persistence diagrams are important descriptors in Topological Data Analysis. Due to the nonlinearity of the space of persistence diagrams equipped with their {\em diagram distances}, most of the recent attempts at using persistence diagrams in machine learning have been done through kernel methods, i.e., embeddings of persistence diagrams into Reproducing Kernel Hilbert Spaces, in which all comput… ▽ More Persistence diagrams are important descriptors in Topological Data Analysis. Due to the nonlinearity of the space of persistence diagrams equipped with their {\em diagram distances}, most of the recent attempts at using persistence diagrams in machine learning have been done through kernel methods, i.e., embeddings of persistence diagrams into Reproducing Kernel Hilbert Spaces, in which all computations can be performed easily. Since persistence diagrams enjoy theoretical stability guarantees for the diagram distances, the {\em metric properties} of the feature map, i.e., the relationship between the Hilbert distance and the diagram distances, are of central interest for understanding if the persistence diagram guarantees carry over to the embedding. In this article, we study the possibility of embedding persistence diagrams into separable Hilbert spaces, with bi-Lipschitz maps. In particular, we show that for several stable embeddings into infinite-dimensional Hilbert spaces defined in the literature, any lower bound must depend on the cardinalities of the persistence diagrams, and that when the Hilbert space is finite dimensional, finding a bi-Lipschitz embedding is impossible, even when restricting the persistence diagrams to have bounded cardinalities. △ Less

Submitted 7 August, 2019; v1 submitted 18 June, 2018; originally announced June 2018.

Comments: Small change in proof of Lemma 3.4

Journal ref: 35th International Symposium on Computational Geometry (SoCG 2019), 21:1-15

Hardness of Approximation for Morse Matching

Authors: Ulrich Bauer, Abhishek Rathod

Abstract: Discrete Morse theory has emerged as a powerful tool for a wide range of problems, including the computation of (persistent) homology. In this context, discrete Morse theory is used to reduce the problem of computing a topological invariant of an input simplicial complex to computing the same topological invariant of a (significantly smaller) collapsed cell or chain complex. Consequently, devising… ▽ More Discrete Morse theory has emerged as a powerful tool for a wide range of problems, including the computation of (persistent) homology. In this context, discrete Morse theory is used to reduce the problem of computing a topological invariant of an input simplicial complex to computing the same topological invariant of a (significantly smaller) collapsed cell or chain complex. Consequently, devising methods for obtaining gradient vector fields on complexes to reduce the size of the problem instance has become an emerging theme over the last decade. While computing the optimal gradient vector field on a simplicial complex is NP-hard, several heuristics have been observed to compute near-optimal gradient vector fields on a wide variety of datasets. Understanding the theoretical limits of these strategies is therefore a fundamental problem in computational topology. In this paper, we consider the approximability of maximization and minimization variants of the Morse matching problem, posed as open problems by Joswig and Pfetsch. We establish hardness results for Max-Morse matching and Min-Morse matching. In particular, we show that, for a simplicial complex with n simplices and dimension $d \leq 3$, it is NP-hard to approximate Min-Morse matching within a factor of $O(n^{1-ε})$, for any $ε> 0$. Moreover, using an L-reduction from Degree 3 Max-Acyclic Subgraph to Max-Morse matching, we show that it is both NP-hard and UGC-hard to approximate Max-Morse matching for simplicial complexes of dimension $d \leq 2$ within certain explicit constant factors. △ Less

Submitted 13 July, 2018; v1 submitted 25 January, 2018; originally announced January 2018.

Comments: 20 pages, 1 figure

Journal ref: SODA '19: Proceedings of the 30th ACM-SIAM Symposium on Discrete Algorithms, 2019, p. 2663-2774

Persistent Betti numbers of random Čech complexes

Authors: Ulrich Bauer, Florian Pausinger

Abstract: We study the persistent homology of random Čech complexes. Generalizing a method of Penrose for studying random geometric graphs, we first describe an appropriate theoretical framework in which we can state and address our main questions. Then we define the kth persistent Betti number of a random Čech complex and determine its asymptotic order in the subcritical regime. This extends a result of Ka… ▽ More We study the persistent homology of random Čech complexes. Generalizing a method of Penrose for studying random geometric graphs, we first describe an appropriate theoretical framework in which we can state and address our main questions. Then we define the kth persistent Betti number of a random Čech complex and determine its asymptotic order in the subcritical regime. This extends a result of Kahle on the asymptotic order of the ordinary kth Betti number of such complexes to the persistent setting. △ Less

Submitted 25 January, 2018; originally announced January 2018.

Comments: 11 pages, 1 figure

The Reeb Graph Edit Distance is Universal

Authors: Ulrich Bauer, Claudia Landi, Facundo Memoli

Abstract: We consider the setting of Reeb graphs of piecewise linear functions and study distances between them that are stable, meaning that functions which are similar in the supremum norm ought to have similar Reeb graphs. We define an edit distance for Reeb graphs and prove that it is stable and universal, meaning that it provides an upper bound to any other stable distance. In contrast, via a specific… ▽ More We consider the setting of Reeb graphs of piecewise linear functions and study distances between them that are stable, meaning that functions which are similar in the supremum norm ought to have similar Reeb graphs. We define an edit distance for Reeb graphs and prove that it is stable and universal, meaning that it provides an upper bound to any other stable distance. In contrast, via a specific construction, we show that the interleaving distance and the functional distortion distance on Reeb graphs are not universal. △ Less

Submitted 5 January, 2018; originally announced January 2018.

Comments: 13 pages, 1 figure

Journal ref: Found. Comput. Math. (2020)

Čech-Delaunay gradient flow and homology inference for self-maps

Authors: Ulrich Bauer, Herbert Edelsbrunner, Grzegorz Jablonski, Marian Mrozek

Abstract: We call a continuous self-map that reveals itself through a discrete set of point-value pairs a sampled dynamical system. Capturing the available information with chain maps on Delaunay complexes, we use persistent homology to quantify the evidence of recurrent behavior. We establish a sampling theorem to recover the eigenspace of the endomorphism on homology induced by the self-map. Using a combi… ▽ More We call a continuous self-map that reveals itself through a discrete set of point-value pairs a sampled dynamical system. Capturing the available information with chain maps on Delaunay complexes, we use persistent homology to quantify the evidence of recurrent behavior. We establish a sampling theorem to recover the eigenspace of the endomorphism on homology induced by the self-map. Using a combinatorial gradient flow arising from the discrete Morse theory for Čech and Delaunay complexes, we construct a chain map to transform the problem from the natural but expensive Čech complexes to the computationally efficient Delaunay triangulations. The fast chain map algorithm has applications beyond dynamical systems. △ Less

Submitted 13 January, 2020; v1 submitted 12 September, 2017; originally announced September 2017.

Comments: 22 pages, 8 figures

Journal ref: J Appl. and Comput. Topology 4, 455-480 (2020)

Persistence Diagrams as Diagrams: A Categorification of the Stability Theorem

Authors: Ulrich Bauer, Michael Lesnick

Abstract: Persistent homology, a central tool of topological data analysis, provides invariants of data called barcodes (also known as persistence diagrams). A barcode is simply a multiset of real intervals. Recent work of Edelsbrunner, Jablonski, and Mrozek suggests an equivalent description of barcodes as functors R -> Mch, where R is the poset category of real numbers and Mch is the category whose object… ▽ More Persistent homology, a central tool of topological data analysis, provides invariants of data called barcodes (also known as persistence diagrams). A barcode is simply a multiset of real intervals. Recent work of Edelsbrunner, Jablonski, and Mrozek suggests an equivalent description of barcodes as functors R -> Mch, where R is the poset category of real numbers and Mch is the category whose objects are sets and whose morphisms are matchings (i.e., partial injective functions). Such functors form a category Mch^R whose morphisms are the natural transformations. Thus, this interpretation of barcodes gives us a hitherto unstudied categorical structure on barcodes. The aim of this note is to show that this categorical structure leads to surprisingly simple reformulations of both the well-known stability theorem for persistent homology and a recent generalization called the induced matching theorem. △ Less

Submitted 10 June, 2019; v1 submitted 31 October, 2016; originally announced October 2016.

Comments: 22 pages, 7 figures. Extended version, to appear in Proceedings of the 2018 Abel Symposium. Significant edits since last version to improve exposition. Added illustrations of algebraic stability and induced matchings

MSC Class: 13P20; 55U99

Journal ref: Topological Data Analysis. Abel Symposia, vol 15. Springer, 2020

A Stable Multi-Scale Kernel for Topological Machine Learning

Authors: Jan Reininghaus, Stefan Huber, Ulrich Bauer, Roland Kwitt

Abstract: Topological data analysis offers a rich source of valuable information to study vision problems. Yet, so far we lack a theoretically sound connection to popular kernel-based learning techniques, such as kernel SVMs or kernel PCA. In this work, we establish such a connection by designing a multi-scale kernel for persistence diagrams, a stable summary representation of topological features in data.… ▽ More Topological data analysis offers a rich source of valuable information to study vision problems. Yet, so far we lack a theoretically sound connection to popular kernel-based learning techniques, such as kernel SVMs or kernel PCA. In this work, we establish such a connection by designing a multi-scale kernel for persistence diagrams, a stable summary representation of topological features in data. We show that this kernel is positive definite and prove its stability with respect to the 1-Wasserstein distance. Experiments on two benchmark datasets for 3D shape classification/retrieval and texture recognition show considerable performance gains of the proposed method compared to an alternative approach that is based on the recently introduced persistence landscapes. △ Less

Submitted 21 December, 2014; originally announced December 2014.

Strong Equivalence of the Interleaving and Functional Distortion Metrics for Reeb Graphs

Authors: Ulrich Bauer, Elizabeth Munch, Yusu Wang

Abstract: The Reeb graph is a construction that studies a topological space through the lens of a real valued function. It has widely been used in applications, however its use on real data means that it is desirable and increasingly necessary to have methods for comparison of Reeb graphs. Recently, several methods to define metrics on the space of Reeb graphs have been presented. In this paper, we focus on… ▽ More The Reeb graph is a construction that studies a topological space through the lens of a real valued function. It has widely been used in applications, however its use on real data means that it is desirable and increasingly necessary to have methods for comparison of Reeb graphs. Recently, several methods to define metrics on the space of Reeb graphs have been presented. In this paper, we focus on two: the functional distortion distance and the interleaving distance. The former is based on the Gromov--Hausdorff distance, while the latter utilizes the equivalence between Reeb graphs and a particular class of cosheaves. However, both are defined by constructing a near-isomorphism between the two graphs of study. In this paper, we show that the two metrics are strongly equivalent on the space of Reeb graphs. In particular, this gives an immediate proof of bottleneck stability for persistence diagrams in terms of the Reeb graph interleaving distance. △ Less

Submitted 20 December, 2014; originally announced December 2014.

Journal ref: 31st International Symposium on Computational Geometry (SoCG 2015), LIPIcs 34 (2015), 461-475

Large voltage-induced modification of spin-orbit torques in Pt/Co/GdOx

Authors: Satoru Emori, Uwe Bauer, Seonghoon Woo, Geoffrey S. D. Beach

Abstract: We report on large modifications of current-induced spin-orbit torques in a gated Pt/Co/Gd-oxide microstrip due to voltage-driven O$^{2-}$ migration. The Slonczewski-like and field-like torques are quantified using a low-frequency harmonic technique based on the polar magneto-optical Kerr effect. Voltage-induced oxidation of Co enhances the Slonczewski-like torque by as much as an order of magnitu… ▽ More We report on large modifications of current-induced spin-orbit torques in a gated Pt/Co/Gd-oxide microstrip due to voltage-driven O$^{2-}$ migration. The Slonczewski-like and field-like torques are quantified using a low-frequency harmonic technique based on the polar magneto-optical Kerr effect. Voltage-induced oxidation of Co enhances the Slonczewski-like torque by as much as an order of magnitude, and simultaneously reduces the anisotropy energy barrier by a factor of ~5. Such magneto-ionic tuning of interfacial spin-orbit effects may significantly enhance the efficiency of magnetization switching and provide additional degrees of freedom in spintronic devices. △ Less

Submitted 22 November, 2014; originally announced November 2014.

Journal ref: Appl. Phys. Lett. 105, 222401 (2014)

Magneto-ionic Control of Interfacial Magnetism

Authors: Uwe Bauer, Lide Yao, Satoru Emori, Harry L. Tuller, Sebastiaan van Dijken, Geoffrey S. D. Beach

Abstract: In metal/oxide heterostructures, rich chemical, electronic, magnetic and mechanical properties can emerge from interfacial chemistry and structure. The possibility to dynamically control interface characteristics with an electric field paves the way towards voltage control of these properties in solid-state devices. Here we show that electrical switching of the interfacial oxidation state allows f… ▽ More In metal/oxide heterostructures, rich chemical, electronic, magnetic and mechanical properties can emerge from interfacial chemistry and structure. The possibility to dynamically control interface characteristics with an electric field paves the way towards voltage control of these properties in solid-state devices. Here we show that electrical switching of the interfacial oxidation state allows for voltage control of magnetic properties to an extent never before achieved through conventional magnetoelectric coupling mechanisms. We directly observe, for the first time, in situ voltage driven O$^{2-}$ migration in a Co/metal-oxide bilayer, which we use to toggle the interfacial magnetic anisotropy energy by >0.6 erg/cm$^2$. We exploit the thermally-activated nature of ion migration to dramatically increase the switching efficiency and to demonstrate reversible patterning of magnetic properties through local activation of ionic migration. These results suggest a path towards voltage-programmable materials based on solid-state switching of interface oxygen chemistry. △ Less

Submitted 5 September, 2014; originally announced September 2014.

Persistence Barcodes versus Kolmogorov Signatures: Detecting Modes of One-Dimensional Signals

Authors: Ulrich Bauer, Axel Munk, Hannes Sieling, Max Wardetzky

Abstract: We investigate the problem of estimating the number of modes (i.e., local maxima) - a well known question in statistical inference - and we show how to do so without presmoothing the data. To this end, we modify the ideas of persistence barcodes by first relating persistence values in dimension one to distances (with respect to the supremum norm) to the sets of functions with a given number of mod… ▽ More We investigate the problem of estimating the number of modes (i.e., local maxima) - a well known question in statistical inference - and we show how to do so without presmoothing the data. To this end, we modify the ideas of persistence barcodes by first relating persistence values in dimension one to distances (with respect to the supremum norm) to the sets of functions with a given number of modes, and subsequently working with norms different from the supremum norm. As a particular case we investigate the Kolmogorov norm. We argue that this modification has certain statistical advantages. We offer confidence bands for the attendant Kolmogorov signatures, thereby allowing for the selection of relevant signatures with a statistically controllable error. As a result of independent interest, we show that taut strings minimize the number of critical points for a very general class of functions. We illustrate our results by several numerical examples. △ Less

Submitted 27 January, 2015; v1 submitted 4 April, 2014; originally announced April 2014.

The Morse theory of Čech and Delaunay complexes

Authors: Ulrich Bauer, Herbert Edelsbrunner

Abstract: Given a finite set of points in $\mathbb R^n$ and a radius parameter, we study the Čech, Delaunay-Čech, Delaunay (or Alpha), and Wrap complexes in the light of generalized discrete Morse theory. Establishing the Čech and Delaunay complexes as sublevel sets of generalized discrete Morse functions, we prove that the four complexes are simple-homotopy equivalent by a sequence of simplicial collapses,… ▽ More Given a finite set of points in $\mathbb R^n$ and a radius parameter, we study the Čech, Delaunay-Čech, Delaunay (or Alpha), and Wrap complexes in the light of generalized discrete Morse theory. Establishing the Čech and Delaunay complexes as sublevel sets of generalized discrete Morse functions, we prove that the four complexes are simple-homotopy equivalent by a sequence of simplicial collapses, which are explicitly described by a single discrete gradient field. △ Less

Submitted 30 April, 2016; v1 submitted 4 December, 2013; originally announced December 2013.

Comments: 21 pages, 2 figures, improved exposition

MSC Class: 52C99; 51F99; 55U10; 57Q10

Journal ref: Trans. Amer. Math. Soc. 369 (2017), 3741-3762

Induced Matchings and the Algebraic Stability of Persistence Barcodes

Authors: Ulrich Bauer, Michael Lesnick

Abstract: We define a simple, explicit map sending a morphism $f:M \rightarrow N$ of pointwise finite dimensional persistence modules to a matching between the barcodes of $M$ and $N$. Our main result is that, in a precise sense, the quality of this matching is tightly controlled by the lengths of the longest intervals in the barcodes of $\ker f$ and $\mathop{\mathrm{coker}} f$. As an immediate corollary, w… ▽ More We define a simple, explicit map sending a morphism $f:M \rightarrow N$ of pointwise finite dimensional persistence modules to a matching between the barcodes of $M$ and $N$. Our main result is that, in a precise sense, the quality of this matching is tightly controlled by the lengths of the longest intervals in the barcodes of $\ker f$ and $\mathop{\mathrm{coker}} f$. As an immediate corollary, we obtain a new proof of the algebraic stability of persistence, a fundamental result in the theory of persistent homology. In contrast to previous proofs, ours shows explicitly how a $δ$-interleaving morphism between two persistence modules induces a $δ$-matching between the barcodes of the two modules. Our main result also specializes to a structure theorem for submodules and quotients of persistence modules, and yields a novel "single-morphism" characterization of the interleaving relation on persistence modules. △ Less

Submitted 30 April, 2016; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: Expanded journal version, to appear in Journal of Computational Geometry. Includes a proof that no definition of induced matching can be fully functorial (Proposition 5.10), and an extension of our single-morphism characterization of the interleaving relation to multidimensional persistence modules (Remark 6.7). Exposition is improved throughout. 11 Figures added

MSC Class: 13P20; 55U99

Journal ref: Journal of Computational Geometry 6:2 (2015), 162-191

Distributed computation of persistent homology

Authors: Ulrich Bauer, Michael Kerber, Jan Reininghaus

Abstract: Persistent homology is a popular and powerful tool for capturing topological features of data. Advances in algorithms for computing persistent homology have reduced the computation time drastically -- as long as the algorithm does not exhaust the available memory. Following up on a recently presented parallel method for persistence computation on shared memory systems, we demonstrate that a simple… ▽ More Persistent homology is a popular and powerful tool for capturing topological features of data. Advances in algorithms for computing persistent homology have reduced the computation time drastically -- as long as the algorithm does not exhaust the available memory. Following up on a recently presented parallel method for persistence computation on shared memory systems, we demonstrate that a simple adaption of the standard reduction algorithm leads to a variant for distributed systems. Our algorithmic design ensures that the data is distributed over the nodes without redundancy; this permits the computation of much larger instances than on a single machine. Moreover, we observe that the parallelism at least compensates for the overhead caused by communication between nodes, and often even speeds up the computation compared to sequential and even parallel shared memory algorithms. In our experiments, we were able to compute the persistent homology of filtrations with more than a billion (10^9) elements within seconds on a cluster with 32 nodes using less than 10GB of memory per node. △ Less

Submitted 2 October, 2013; originally announced October 2013.

Spin Hall torque magnetometry of Dzyaloshinskii domain walls

Authors: Satoru Emori, Eduardo Martinez, Kyung-Jin Lee, Hyun-Woo Lee, Uwe Bauer, Sung-Min Ahn, Parnika Agrawal, David C. Bono, Geoffrey S. D. Beach

Abstract: Current-induced domain wall motion in the presence of the Dzyaloshinskii-Moriya interaction (DMI) is experimentally and theoretically investigated in heavy-metal/ferromagnet bilayers. The angular dependence of the current-induced torque and the magnetization structure of Dzyaloshinskii domain walls are described and quantified simultaneously in the presence of in-plane fields. We show that the DMI… ▽ More Current-induced domain wall motion in the presence of the Dzyaloshinskii-Moriya interaction (DMI) is experimentally and theoretically investigated in heavy-metal/ferromagnet bilayers. The angular dependence of the current-induced torque and the magnetization structure of Dzyaloshinskii domain walls are described and quantified simultaneously in the presence of in-plane fields. We show that the DMI strength depends strongly on the heavy metal, varying by a factor of 20 between Ta and Pa, and that strong DMI leads to wall distortions not seen in conventional materials. These findings provide essential insights for understanding and exploiting chiral magnetism for emerging spintronics applications. △ Less

Submitted 5 November, 2014; v1 submitted 6 August, 2013; originally announced August 2013.

Journal ref: Phys. Rev. B 90, 184427 (2014)

Measuring Distance between Reeb Graphs

Authors: Ulrich Bauer, Xiaoyin Ge, Yusu Wang

Abstract: One of the prevailing ideas in geometric and topological data analysis is to provide descriptors that encode useful information about hidden objects from observed data. The Reeb graph is one such descriptor for a given scalar function. The Reeb graph provides a simple yet meaningful abstraction of the input domain, and can also be computed efficiently. Given the popularity of the Reeb graph in a… ▽ More One of the prevailing ideas in geometric and topological data analysis is to provide descriptors that encode useful information about hidden objects from observed data. The Reeb graph is one such descriptor for a given scalar function. The Reeb graph provides a simple yet meaningful abstraction of the input domain, and can also be computed efficiently. Given the popularity of the Reeb graph in applications, it is important to understand its stability and robustness with respect to changes in the input function, as well as to be able to compare the Reeb graphs resulting from different functions. In this paper, we propose a metric for Reeb graphs, called the functional distortion distance. Under this distance measure, the Reeb graph is stable against small changes of input functions. At the same time, it remains discriminative at differentiating input functions. In particular, the main result is that the functional distortion distance between two Reeb graphs is bounded from below by (and thus more discriminative than) the bottleneck distance between both the ordinary and extended persistence diagrams for appropriate dimensions. As an application of our results, we analyze a natural simplification scheme for Reeb graphs, and show that persistent features in Reeb graph remains persistent under simplification. Understanding the stability of important features of the Reeb graph under simplification is an interesting problem on its own right, and critical to the practical usage of Reeb graphs. △ Less

Submitted 28 September, 2016; v1 submitted 10 July, 2013; originally announced July 2013.

Comments: Updated to match the modified definitions of the conference version. Improved and simplified bounds for the Gromov-Hausdorff distance. New section on interleaving distance for merge trees. Further changes and improvements throughout the paper

Clear and Compress: Computing Persistent Homology in Chunks

Authors: Ulrich Bauer, Michael Kerber, Jan Reininghaus

Abstract: We present a parallelizable algorithm for computing the persistent homology of a filtered chain complex. Our approach differs from the commonly used reduction algorithm by first computing persistence pairs within local chunks, then simplifying the unpaired columns, and finally applying standard reduction on the simplified matrix. The approach generalizes a technique by Günther et al., which uses d… ▽ More We present a parallelizable algorithm for computing the persistent homology of a filtered chain complex. Our approach differs from the commonly used reduction algorithm by first computing persistence pairs within local chunks, then simplifying the unpaired columns, and finally applying standard reduction on the simplified matrix. The approach generalizes a technique by Günther et al., which uses discrete Morse Theory to compute persistence; we derive the same worst-case complexity bound in a more general context. The algorithm employs several practical optimization techniques which are of independent interest. Our sequential implementation of the algorithm is competitive with state-of-the-art methods, and we improve the performance through parallelized computation. △ Less

Submitted 3 March, 2013; originally announced March 2013.

Comments: This result was presented at TopoInVis 2013 (http://www.sci.utah.edu/topoinvis13.html)

Current-driven dynamics of chiral ferromagnetic domain walls

Authors: Satoru Emori, Uwe Bauer, Sung-Min Ahn, Eduardo Martinez, Geoffrey S. D. Beach

Abstract: In most ferromagnets the magnetization rotates from one domain to the next with no preferred handedness. However, broken inversion symmetry can lift the chiral degeneracy, leading to topologically-rich spin textures such as spin-spirals and skyrmions via the Dzyaloshinskii-Moriya interaction (DMI). Here we show that in ultrathin metallic ferromagnets sandwiched between a heavy metal and an oxide,… ▽ More In most ferromagnets the magnetization rotates from one domain to the next with no preferred handedness. However, broken inversion symmetry can lift the chiral degeneracy, leading to topologically-rich spin textures such as spin-spirals and skyrmions via the Dzyaloshinskii-Moriya interaction (DMI). Here we show that in ultrathin metallic ferromagnets sandwiched between a heavy metal and an oxide, the DMI stabilizes chiral domain walls (DWs) whose spin texture enables extremely efficient current-driven motion. We show that spin torque from the spin Hall effect drives DWs in opposite directions in Pt/CoFe/MgO and Ta/CoFe/MgO, which can be explained only if the DWs assume a Néel configuration with left-handed chirality. We directly confirm the DW chirality and rigidity by examining current-driven DW dynamics with magnetic fields applied perpendicular and parallel to the spin spiral. This work resolves the origin of controversial experimental results and highlights a new path towards interfacial design of spintronic devices. △ Less

Submitted 9 February, 2013; originally announced February 2013.

Journal ref: Nature Materials 12, 611 (2013)

Voltage-Gated Modulation of Domain Wall Velocity in an Ultrathin Metallic Ferromagnet

Authors: Uwe Bauer, Satoru Emori, Geoffrey S. D. Beach

Abstract: The influence of gate voltage, temperature and magnetic field on domain wall (DW) creep dynamics is investigated in Pt/Co/GdOx films with perpendicular magnetic anisotropy and imaged by a scanning magneto-optical Kerr effect technique. The DW creep velocity can be controlled by an electric field applied to the Co/GdOx interface via a linear modulation of the activation energy barrier with gate vol… ▽ More The influence of gate voltage, temperature and magnetic field on domain wall (DW) creep dynamics is investigated in Pt/Co/GdOx films with perpendicular magnetic anisotropy and imaged by a scanning magneto-optical Kerr effect technique. The DW creep velocity can be controlled by an electric field applied to the Co/GdOx interface via a linear modulation of the activation energy barrier with gate voltage. At low speeds, the DW velocity can be changed significantly by a gate voltage, but the effect is diminished as the DW velocity increases, which limits electric field control of fast DW motion. △ Less

Submitted 12 July, 2012; originally announced July 2012.

Journal ref: Appl. Phys. Lett. 101, 172403 (2012)

Optimal topological simplification of discrete functions on surfaces

Authors: Ulrich Bauer, Carsten Lange, Max Wardetzky

Abstract: We solve the problem of minimizing the number of critical points among all functions on a surface within a prescribed distance δ from a given input function. The result is achieved by establishing a connection between discrete Morse theory and persistent homology. Our method completely removes homological noise with persistence less than 2δ, constructively proving the tightness of a lower bound on… ▽ More We solve the problem of minimizing the number of critical points among all functions on a surface within a prescribed distance δ from a given input function. The result is achieved by establishing a connection between discrete Morse theory and persistent homology. Our method completely removes homological noise with persistence less than 2δ, constructively proving the tightness of a lower bound on the number of critical points given by the stability theorem of persistent homology in dimension two for any input function. We also show that an optimal solution can be computed in linear time after persistence pairs have been computed. △ Less

Submitted 26 July, 2010; v1 submitted 8 January, 2010; originally announced January 2010.

Comments: 27 pages, 8 figures

ACM Class: F.2.2; G.2.1

Journal ref: Discrete and Computational Geometry 47:2 (2012), 347-377