Showing 1–13 of 13 results for author: Bubenik, P

Mixup Barcodes: Quantifying Geometric-Topological Interactions between Point Clouds

Authors: Hubert Wagner, Nickolas Arustamyan, Matthew Wheeler, Peter Bubenik

Abstract: We combine standard persistent homology with image persistent homology to define a novel way of characterizing shapes and interactions between them. In particular, we introduce: (1) a mixup barcode, which captures geometric-topological interactions (mixup) between two point sets in arbitrary dimension; (2) simple summary statistics, total mixup and total percentage mixup, which quantify the comple… ▽ More We combine standard persistent homology with image persistent homology to define a novel way of characterizing shapes and interactions between them. In particular, we introduce: (1) a mixup barcode, which captures geometric-topological interactions (mixup) between two point sets in arbitrary dimension; (2) simple summary statistics, total mixup and total percentage mixup, which quantify the complexity of the interactions as a single number; (3) a software tool for playing with the above. As a proof of concept, we apply this tool to a problem arising from machine learning. In particular, we study the disentanglement in embeddings of different classes. The results suggest that topological mixup is a useful method for characterizing interactions for low and high-dimensional data. Compared to the typical usage of persistent homology, the new tool is sensitive to the geometric locations of the topological features, which is often desirable. △ Less

Submitted 5 December, 2024; v1 submitted 22 February, 2024; originally announced February 2024.

Activation Landscapes as a Topological Summary of Neural Network Performance

Authors: Matthew Wheeler, Jose Bouza, Peter Bubenik

Abstract: We use topological data analysis (TDA) to study how data transforms as it passes through successive layers of a deep neural network (DNN). We compute the persistent homology of the activation data for each layer of the network and summarize this information using persistence landscapes. The resulting feature map provides both an informative visual- ization of the network and a kernel for statistic… ▽ More We use topological data analysis (TDA) to study how data transforms as it passes through successive layers of a deep neural network (DNN). We compute the persistent homology of the activation data for each layer of the network and summarize this information using persistence landscapes. The resulting feature map provides both an informative visual- ization of the network and a kernel for statistical analysis and machine learning. We observe that the topological complexity often increases with training and that the topological complexity does not decrease with each layer. △ Less

Submitted 19 October, 2021; originally announced October 2021.

Comments: 4 pages, 5 figures

Journal ref: 2021 IEEE International Conference on Big Data (Big Data), 2021, pp. 3865-3870

Universality of persistence diagrams and the bottleneck and Wasserstein distances

Authors: Peter Bubenik, Alex Elchesen

Abstract: We prove that persistence diagrams with the p-Wasserstein distance form the universal p-subadditive commutative monoid on an underlying metric space with a distinguished subset. This result applies to persistence diagrams, barcodes, and to multiparameter persistence modules. In addition, the 1-Wasserstein distance satisfies Kantorovich-Rubinstein duality. We prove that persistence diagrams with the p-Wasserstein distance form the universal p-subadditive commutative monoid on an underlying metric space with a distinguished subset. This result applies to persistence diagrams, barcodes, and to multiparameter persistence modules. In addition, the 1-Wasserstein distance satisfies Kantorovich-Rubinstein duality. △ Less

Submitted 27 October, 2021; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: 24 pages, v4: Made changes suggested by the referees

Journal ref: Comput. Geom. 105/106 (2022), Paper No. 101882, 18 pp

Persistent homology detects curvature

Authors: Peter Bubenik, Michael Hull, Dhruv Patel, Benjamin Whittle

Abstract: In topological data analysis, persistent homology is used to study the "shape of data". Persistent homology computations are completely characterized by a set of intervals called a bar code. It is often said that the long intervals represent the "topological signal" and the short intervals represent "noise". We give evidence to dispute this thesis, showing that the short intervals encode geometric… ▽ More In topological data analysis, persistent homology is used to study the "shape of data". Persistent homology computations are completely characterized by a set of intervals called a bar code. It is often said that the long intervals represent the "topological signal" and the short intervals represent "noise". We give evidence to dispute this thesis, showing that the short intervals encode geometric information. Specifically, we prove that persistent homology detects the curvature of disks from which points have been sampled. We describe a general computational framework for solving inverse problems using the average persistence landscape, a continuous mapping from metric spaces with a probability measure to a Hilbert space. In the present application, the average persistence landscapes of points sampled from disks of constant curvature results in a path in this Hilbert space which may be learned using standard tools from statistical and machine learning. △ Less

Submitted 19 September, 2019; v1 submitted 30 May, 2019; originally announced May 2019.

Comments: 22 pages, corrections thanks to anonymous referees

MSC Class: 55N99

Journal ref: Inverse Problems 36 (2020), no. 2, 025008, 23 pp

Embeddings of Persistence Diagrams into Hilbert Spaces

Authors: Peter Bubenik, Alexander Wagner

Abstract: Since persistence diagrams do not admit an inner product structure, a map into a Hilbert space is needed in order to use kernel methods. It is natural to ask if such maps necessarily distort the metric on persistence diagrams. We show that persistence diagrams with the bottleneck distance do not even admit a coarse embedding into a Hilbert space. As part of our proof, we show that any separable, b… ▽ More Since persistence diagrams do not admit an inner product structure, a map into a Hilbert space is needed in order to use kernel methods. It is natural to ask if such maps necessarily distort the metric on persistence diagrams. We show that persistence diagrams with the bottleneck distance do not even admit a coarse embedding into a Hilbert space. As part of our proof, we show that any separable, bounded metric space isometrically embeds into the space of persistence diagrams with the bottleneck distance. As corollaries, we obtain the generalized roundness, negative type, and asymptotic dimension of this space. △ Less

Submitted 22 March, 2020; v1 submitted 10 May, 2019; originally announced May 2019.

Comments: Improvements in exposition thanks to the anonymous referees. To appear in the Journal of Applied and Computational Topology

MSC Class: 55N31; 51F30; 46C05

Journal ref: Journal of Applied and Computational Topology, volume 4, pages 339-351 (2020)

Stabilizing the unstable output of persistent homology computations

Authors: Paul Bendich, Peter Bubenik, Alexander Wagner

Abstract: We propose a general technique for extracting a larger set of stable information from persistent homology computations than is currently done. The persistent homology algorithm is usually viewed as a procedure which starts with a filtered complex and ends with a persistence diagram. This procedure is stable (at least to certain types of perturbations of the input). This justifies the use of the di… ▽ More We propose a general technique for extracting a larger set of stable information from persistent homology computations than is currently done. The persistent homology algorithm is usually viewed as a procedure which starts with a filtered complex and ends with a persistence diagram. This procedure is stable (at least to certain types of perturbations of the input). This justifies the use of the diagram as a signature of the input, and the use of features derived from it in statistics and machine learning. However, these computations also produce other information of great interest to practitioners that is unfortunately unstable. For example, each point in the diagram corresponds to a simplex whose addition in the filtration results in the birth of the corresponding persistent homology class, but this correspondence is unstable. In addition, the persistence diagram is not stable with respect to other procedures that are employed in practice, such as thresholding a point cloud by density. We recast these problems as real-valued functions which are discontinuous but measurable, and then observe that convolving such a function with a suitable function produces a Lipschitz function. The resulting stable function can be estimated by perturbing the input and averaging the output. We illustrate this approach with a number of examples, including a stable localization of a persistent homology generator from brain imaging data. △ Less

Submitted 16 October, 2019; v1 submitted 5 December, 2015; originally announced December 2015.

Comments: 30 pages, 15 figures, added example producing a stable heat map visualizing representative cycles for persistent homology classes (see Figure 1), accepted, to appear in Journal of Applied and Computational Topology

MSC Class: 55N99; 62H99; 57R70

Journal ref: Journal of Applied and Computational Topology volume 4, pages 309-338 (2020)

A persistence landscapes toolbox for topological statistics

Authors: Peter Bubenik, Pawel Dlotko

Abstract: Topological data analysis provides a multiscale description of the geometry and topology of quantitative data. The persistence landscape is a topological summary that can be easily combined with tools from statistics and machine learning. We give efficient algorithms for calculating persistence landscapes, their averages, and distances between such averages. We discuss an implementation of these a… ▽ More Topological data analysis provides a multiscale description of the geometry and topology of quantitative data. The persistence landscape is a topological summary that can be easily combined with tools from statistics and machine learning. We give efficient algorithms for calculating persistence landscapes, their averages, and distances between such averages. We discuss an implementation of these algorithms and some related procedures. These are intended to facilitate the combination of statistics and machine learning with topological data analysis. We present an experiment showing that the low-dimensional persistence landscapes of points sampled from spheres (and boxes) of varying dimensions differ. △ Less

Submitted 28 August, 2015; v1 submitted 31 December, 2014; originally announced January 2015.

Comments: 24 pages

Journal ref: Journal of Symbolic Computation, Volume 78, January-February 2017, Pages 91-114

Metrics for generalized persistence modules

Authors: Peter Bubenik, Vin de Silva, Jonathan Scott

Abstract: We consider the question of defining interleaving metrics on generalized persistence modules over arbitrary preordered sets. Our constructions are functorial, which implies a form of stability for these metrics. We describe a large class of examples, inverse-image persistence modules, which occur whenever a topological space is mapped to a metric space. Several standard theories of persistence and… ▽ More We consider the question of defining interleaving metrics on generalized persistence modules over arbitrary preordered sets. Our constructions are functorial, which implies a form of stability for these metrics. We describe a large class of examples, inverse-image persistence modules, which occur whenever a topological space is mapped to a metric space. Several standard theories of persistence and their stability can be described in this framework. This includes the classical case of sublevelset persistent homology. We introduce a distinction between `soft' and `hard' stability theorems. While our treatment is direct and elementary, the approach can be explained abstractly in terms of monoidal functors. △ Less

Submitted 5 February, 2015; v1 submitted 13 December, 2013; originally announced December 2013.

Comments: Final version; no changes from previous version. Published online Oct 2014 in Foundations of Computational Mathematics. Print version to appear

MSC Class: 55U99; 68U05

Journal ref: Foundations of Computational Mathematics, December 2015, Volume 15, Issue 6, pp 1501-1531

Statistical topological data analysis using persistence landscapes

Authors: Peter Bubenik

Abstract: We define a new topological summary for data that we call the persistence landscape. Since this summary lies in a vector space, it is easy to combine with tools from statistics and machine learning, in contrast to the standard topological summaries. Viewed as a random variable with values in a Banach space, this summary obeys a strong law of large numbers and a central limit theorem. We show how a… ▽ More We define a new topological summary for data that we call the persistence landscape. Since this summary lies in a vector space, it is easy to combine with tools from statistics and machine learning, in contrast to the standard topological summaries. Viewed as a random variable with values in a Banach space, this summary obeys a strong law of large numbers and a central limit theorem. We show how a number of standard statistical tests can be used for statistical inference using this summary. We also prove that this summary is stable and that it can be used to provide lower bounds for the bottleneck and Wasserstein distances. △ Less

Submitted 23 January, 2015; v1 submitted 26 July, 2012; originally announced July 2012.

Comments: 26 pages, final version, to appear in Journal of Machine Learning Research, includes two additional examples not in the journal version: random geometric complexes and Erdos-Renyi random clique complexes

MSC Class: 55N99; 68W30; 62G99; 54E35

Journal ref: Journal of Machine Learning Research, 16 (2015), 77-102

Categorification of persistent homology

Authors: Peter Bubenik, Jonathan A. Scott

Abstract: We redevelop persistent homology (topological persistence) from a categorical point of view. The main objects of study are diagrams, indexed by the poset of real numbers, in some target category. The set of such diagrams has an interleaving distance, which we show generalizes the previously-studied bottleneck distance. To illustrate the utility of this approach, we greatly generalize previous stab… ▽ More We redevelop persistent homology (topological persistence) from a categorical point of view. The main objects of study are diagrams, indexed by the poset of real numbers, in some target category. The set of such diagrams has an interleaving distance, which we show generalizes the previously-studied bottleneck distance. To illustrate the utility of this approach, we greatly generalize previous stability results for persistence, extended persistence, and kernel, image and cokernel persistence. We give a natural construction of a category of interleavings of these diagrams, and show that if the target category is abelian, so is this category of interleavings. △ Less

Submitted 8 January, 2014; v1 submitted 16 May, 2012; originally announced May 2012.

Comments: 27 pages, v3: minor changes, to appear in Discrete & Computational Geometry

MSC Class: 55N99; 68W30; 18A25; 18E10; 54E35

Journal ref: Discrete Comput. Geom. 51 (2014) 600-627

Min-type Morse theory for configuration spaces of hard spheres

Authors: Yuliy Baryshnikov, Peter Bubenik, Matthew Kahle

Abstract: We study configuration spaces of hard spheres in a bounded region. We develop a general Morse-theoretic framework, and show that mechanically balanced configurations play the role of critical points. As an application, we find the precise threshold radius for a configuration space to be homotopy equivalent to the configuration space of points. We study configuration spaces of hard spheres in a bounded region. We develop a general Morse-theoretic framework, and show that mechanically balanced configurations play the role of critical points. As an application, we find the precise threshold radius for a configuration space to be homotopy equivalent to the configuration space of points. △ Less

Submitted 29 August, 2011; v1 submitted 15 August, 2011; originally announced August 2011.

Comments: Minor changes, new title

Journal ref: Int Math Res Notices (2014) 2014 (9): 2577-2592

Simplicial models for concurrency

Authors: Peter Bubenik

Abstract: We model both concurrent programs and the possible executions from one state to another in a concurrent program using simplices. The latter are calculated using necklaces of simplices in the former. We model both concurrent programs and the possible executions from one state to another in a concurrent program using simplices. The latter are calculated using necklaces of simplices in the former. △ Less

Submitted 29 March, 2011; v1 submitted 30 November, 2010; originally announced November 2010.

Comments: 12 pages, Section 4 from v1 omitted since quasi-category equivalences are too strong: they induce equivalences of path categories

MSC Class: 68Q85; 55U10; 18D20; 55U35

Journal ref: Electronic Notes in Theoretical Computer Science 283 (2012) 3-12

Context for models of concurrency

Authors: Peter Bubenik

Abstract: Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relevant computer-scientific information. That is, one wants to replace a given model with a simpler model with the same directed homotopy-type. Unfortunately, the obvious definition of directed homotopy equivalence is too… ▽ More Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relevant computer-scientific information. That is, one wants to replace a given model with a simpler model with the same directed homotopy-type. Unfortunately, the obvious definition of directed homotopy equivalence is too coarse. This paper introduces the notion of context to refine this definition. △ Less

Submitted 29 August, 2006; originally announced August 2006.

Comments: 18 pages, to appear in Electronic Notes in Theoretical Computer Science, preliminary version in Proceedings of the Workshop on Geometry and Topology in Concurrency and Distributed Computing, BRICS Notes NS-04-2, pp.33-49

Journal ref: Electron. Notes Theor. Comput. Sci. 230 (2009) 3-21