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

Relative Optimal Transport

Authors: Peter Bubenik, Alex Elchesen

Abstract: We develop a theory of optimal transport relative to a distinguished subset, which acts as a reservoir of mass, allowing us to compare measures of different total variation. This relative transportation problem has an optimal solution and we obtain relative versions of the Kantorovich-Rubinstein norm, Wasserstein distance, Kantorovich-Rubinstein duality and Monge-Kantorovich duality. We also prove… ▽ More We develop a theory of optimal transport relative to a distinguished subset, which acts as a reservoir of mass, allowing us to compare measures of different total variation. This relative transportation problem has an optimal solution and we obtain relative versions of the Kantorovich-Rubinstein norm, Wasserstein distance, Kantorovich-Rubinstein duality and Monge-Kantorovich duality. We also prove relative versions of the Riesz-Markov-Kakutani theorem, which connect the spaces of measures arising from the relative optimal transport problem to spaces of Lipschitz functions. For a boundedly compact Polish space, we show that our relative 1-finite real-valued Radon measures with relative Kantorovich-Rubinstein norm coincide with the sequentially order continuous dual of relative Lipschitz functions with the operator norm. As part of our work we develop a theory of Riesz cones that may be of independent interest. △ Less

Submitted 17 February, 2025; v1 submitted 8 November, 2024; originally announced November 2024.

Comments: 37 pages

MSC Class: Primary: 49Q22; 28C05; Secondary: 51F99; 46A40; 55N31

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.

Exact weights and path metrics for triangulated categories and the derived category of persistence modules

Authors: Peter Bubenik, Jose A. Velez-Marulanda

Abstract: We define exact weights on a triangulated category to be nonnegative functions on objects satisfying a subadditivity condition with respect to exact triangles. Such weights induce a metric on objects in the triangulated category, which we call a path metric. Our exact weights generalize the rank functions of J.\ Chuang and A.\ Lazarev and are analogous to the exact weights for an exact category gi… ▽ More We define exact weights on a triangulated category to be nonnegative functions on objects satisfying a subadditivity condition with respect to exact triangles. Such weights induce a metric on objects in the triangulated category, which we call a path metric. Our exact weights generalize the rank functions of J.\ Chuang and A.\ Lazarev and are analogous to the exact weights for an exact category given by the first author and J.\ Scott and D.\ Stanley. We show that cohomological functors from a triangulated category to an abelian category with an additive weight induce an exact weight on the triangulated category. We prove that triangle equivalences induce an isometry for the path metrics induced by cohomological functors. In the perfectly generated or compactly generated case, we use Brown representability to express the exact weight on the triangulated category. We give three characterizations of exactness for a weight on a triangulated category and show that they are equivalent. We also define Wasserstein distances for triangulated categories. Finally, we apply our work to derived categories of persistence modules and to representations of continuous quivers of type $\mathbb{A}$. △ Less

Submitted 5 February, 2025; v1 submitted 6 February, 2024; originally announced February 2024.

Comments: accepted to Journal of Pure and Applied Algebra, no changes from previous version

MSC Class: 55N31; 18E10; 18G80

Relative cell complexes in closure spaces

Authors: Peter Bubenik

Abstract: We give necessary and sufficient conditions for certain pushouts of topological spaces in the category of Cech's closure spaces to agree with their pushout in the category of topological spaces. We prove that in these two categories, the constructions of cell complexes by a finite sequence of closed cell attachments, which attach arbitrarily many cells at a time, agree. Likewise, the constructions… ▽ More We give necessary and sufficient conditions for certain pushouts of topological spaces in the category of Cech's closure spaces to agree with their pushout in the category of topological spaces. We prove that in these two categories, the constructions of cell complexes by a finite sequence of closed cell attachments, which attach arbitrarily many cells at a time, agree. Likewise, the constructions of CW complexes relative to a compactly generated weak Hausdorff space that attach only finitely many cells, also agree. On the other hand, we give examples showing that the constructions of finite-dimensional CW complexes, CW complexes of finite type, and relative CW complexes that attach only finitely many cells, need not agree. △ Less

Submitted 27 May, 2025; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: 11 pages, accepted to Canadian Mathematical Bulletin (CMB)

MSC Class: 54A05; 18A30; 54B17; 55N31

Topological feature selection for time series data

Authors: Peter Bubenik, Johnathan Bush

Abstract: We use tools from applied topology for feature selection on time series data. Given a multivariate time series, we employ persistent homology to assign weights to individual components and construct weighted embeddings whose topological features are optimized according to a chosen objective. We show that, along affine paths in the space of weights, the persistence diagram evolves piecewise linearl… ▽ More We use tools from applied topology for feature selection on time series data. Given a multivariate time series, we employ persistent homology to assign weights to individual components and construct weighted embeddings whose topological features are optimized according to a chosen objective. We show that, along affine paths in the space of weights, the persistence diagram evolves piecewise linearly. This enables explicit and efficient computation of directional derivatives and gradient-based optimization. We prove that for objective functions on persistence diagrams that are Lipschitz with respect to a $p$-Wasserstein distance, the evaluation of the function along a gradient-descent path is Lipschitz. We apply our method to synthetic and biological data sets and demonstrate that our approach selects informative combinations of variables that recover the coordinated dynamics. △ Less

Submitted 11 July, 2025; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 22 pages. Substantial revision with new results

MSC Class: 55N31

Topological and metric properties of spaces of generalized persistence diagrams

Authors: Peter Bubenik, Iryna Hartsock

Abstract: Motivated by persistent homology and topological data analysis, we consider formal sums on a metric space with a distinguished subset. These formal sums, which we call persistence diagrams, have a canonical 1-parameter family of metrics called Wasserstein distances. We study the topological and metric properties of these spaces. Some of our results are new even in the case of persistence diagrams… ▽ More Motivated by persistent homology and topological data analysis, we consider formal sums on a metric space with a distinguished subset. These formal sums, which we call persistence diagrams, have a canonical 1-parameter family of metrics called Wasserstein distances. We study the topological and metric properties of these spaces. Some of our results are new even in the case of persistence diagrams on the half-plane. Under mild conditions, no persistence diagram has a compact neighborhood. If the underlying metric space is $σ$-compact then so is the space of persistence diagrams. However, under mild conditions, the space of persistence diagrams is not hemicompact and the space of functions from this space to a topological space is not metrizable. Spaces of persistence diagrams inherit completeness and separability from the underlying metric space. Some spaces of persistence diagrams inherit being path connected, being a length space, and being a geodesic space, but others do not. We give criteria for a set of persistence diagrams to be totally bounded and relatively compact. We also study the curvature and dimension of spaces of persistence diagrams and their embeddability into a Hilbert space. As an important technical step, which is of independent interest, we give necessary and sufficient conditions for the existence of optimal matchings of persistence diagrams. △ Less

Submitted 12 September, 2023; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: 40 pages, v3: improvements based on referees' comments

MSC Class: 55N31

Journal ref: J. Appl. Comput. Topol. 8 (2024), no. 2, 347-399

Discussion of 'Event History and Topological Data Analysis'

Authors: Peter Bubenik

Abstract: Garside et al. use event history methods to analyze topological data. We provide additional background on persistent homology to contrast the hazard estimators used by Garside et al. with traditional approaches in topological data analysis. In particular, the former is a local method, which has advantages and disadvantages, while homology is a global. We also provide more background on persistence… ▽ More Garside et al. use event history methods to analyze topological data. We provide additional background on persistent homology to contrast the hazard estimators used by Garside et al. with traditional approaches in topological data analysis. In particular, the former is a local method, which has advantages and disadvantages, while homology is a global. We also provide more background on persistence landscapes and show how a more complete use of this statistic improves its performance. △ Less

Submitted 17 May, 2022; v1 submitted 6 May, 2022; originally announced May 2022.

Comments: 4 pages, added citation to Garside et al

MSC Class: 62R40; 55N31

Journal ref: Biometrika, Volume 108, Issue 4, December 2021, Pages 785-788

Eilenberg-Steenrod homology and cohomology theories for Čech's closure spaces

Authors: Peter Bubenik, Nikola Milićević

Abstract: We generalize some of the fundamental results of algebraic topology from topological spaces to Čech's closure spaces, also known as pretopological spaces. Using simplicial sets and cubical sets with connections, we define three distinct singular (relative) simplicial and six distinct singular (relative) cubical (co)homology groups of closure spaces. Using acyclic models we show that the three simp… ▽ More We generalize some of the fundamental results of algebraic topology from topological spaces to Čech's closure spaces, also known as pretopological spaces. Using simplicial sets and cubical sets with connections, we define three distinct singular (relative) simplicial and six distinct singular (relative) cubical (co)homology groups of closure spaces. Using acyclic models we show that the three simplicial groups have isomorphic cubical analogues among the six cubical groups. Thus, we obtain a total of six distinct singular (co)homology groups of closure spaces. Each of these is shown to have a compatible homotopy theory that depends on the choice of a product operation and an interval object. We give axioms for an Eilenberg-Steenrod (co)homology theory with respect to a product operation and an interval object. We verify these axioms for three of our six (co)homology groups. For the other three, we verify all of the axioms except excision, which remains open for future work. We also show the existence of long exact sequences of (co)homology groups coming from Künneth theorems and short exact (co)chain complex sequences of pairs of closure spaces. △ Less

Submitted 26 December, 2021; originally announced December 2021.

Comments: 39 pages

MSC Class: 55N10; 55N35; 54E99; 55P99

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

Multiparameter persistent homology via generalized Morse theory

Authors: Peter Bubenik, Michael J. Catanzaro

Abstract: We define a class of multiparameter persistence modules that arise from a one-parameter family of functions on a topological space and prove that these persistence modules are stable. We show that this construction can produce indecomposable persistence modules with arbitrarily large dimension. In the case of smooth functions on a compact manifold, we apply cobordism theory and Cerf theory to stud… ▽ More We define a class of multiparameter persistence modules that arise from a one-parameter family of functions on a topological space and prove that these persistence modules are stable. We show that this construction can produce indecomposable persistence modules with arbitrarily large dimension. In the case of smooth functions on a compact manifold, we apply cobordism theory and Cerf theory to study the resulting persistence modules. We give examples in which we obtain a complete description of the persistence module as a direct sum of indecomposable summands and provide a corresponding visualization. △ Less

Submitted 6 May, 2022; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: 21 pages, added proof of stability, added statistical motivation, improvements in exposition thanks to referee's comments

MSC Class: 55N31; 57R45

Journal ref: Fields Institute Communications, 2022

Homotopy, homology, and persistent homology using closure spaces

Authors: Peter Bubenik, Nikola Milićević

Abstract: We develop persistent homology in the setting of filtrations of (Cech) closure spaces. Examples of filtrations of closure spaces include metric spaces, weighted graphs, weighted directed graphs, and filtrations of topological spaces. We use various products and intervals for closure spaces to obtain six homotopy theories, six cubical singular homology theories, and three simplicial singular homolo… ▽ More We develop persistent homology in the setting of filtrations of (Cech) closure spaces. Examples of filtrations of closure spaces include metric spaces, weighted graphs, weighted directed graphs, and filtrations of topological spaces. We use various products and intervals for closure spaces to obtain six homotopy theories, six cubical singular homology theories, and three simplicial singular homology theories. Applied to filtrations of closure spaces, these homology theories produce persistence modules. We extend the definition of Gromov-Hausdorff distance from metric spaces to filtrations of closure spaces and use it to prove that any persistence module obtained from a homotopy-invariant functor on closure spaces is stable. △ Less

Submitted 22 March, 2024; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 56 pages, to appear in Journal of Applied and Computational Topology

MSC Class: Primary 55N31; Secondary 54A05; 05C20

Journal ref: J. Appl. Comput. Topol. 8 (2024), no. 3, 579-641

Topological data analysis of C. elegans locomotion and behavior

Authors: Ashleigh Thomas, Kathleen Bates, Alex Elchesen, Iryna Hartsock, Hang Lu, Peter Bubenik

Abstract: We apply topological data analysis to the behavior of C. elegans, a widely-studied model organism in biology. In particular, we use topology to produce a quantitative summary of complex behavior which may be applied to high-throughput data. Our methods allow us to distinguish and classify videos from various environmental conditions and we analyze the trade-off between accuracy and interpretabilit… ▽ More We apply topological data analysis to the behavior of C. elegans, a widely-studied model organism in biology. In particular, we use topology to produce a quantitative summary of complex behavior which may be applied to high-throughput data. Our methods allow us to distinguish and classify videos from various environmental conditions and we analyze the trade-off between accuracy and interpretability. Furthermore, we present a novel technique for visualizing the outputs of our analysis in terms of the input. Specifically, we use representative cycles of persistent homology to produce synthetic videos of stereotypical behaviors. △ Less

Submitted 21 July, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: 27 pages, 15 figures/tables

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

Journal ref: Front. Artif. Intell. 4:668395 (2021)

Virtual persistence diagrams, signed measures, Wasserstein distances, and Banach spaces

Authors: Peter Bubenik, Alex Elchesen

Abstract: Persistence diagrams, an important summary in topological data analysis, consist of a set of ordered pairs, each with positive multiplicity. Persistence diagrams are obtained via Mobius inversion and may be compared using a one-parameter family of metrics called Wasserstein distances. In certain cases, Mobius inversion produces sets of ordered pairs which may have negative multiplicity. We call th… ▽ More Persistence diagrams, an important summary in topological data analysis, consist of a set of ordered pairs, each with positive multiplicity. Persistence diagrams are obtained via Mobius inversion and may be compared using a one-parameter family of metrics called Wasserstein distances. In certain cases, Mobius inversion produces sets of ordered pairs which may have negative multiplicity. We call these virtual persistence diagrams. Divol and Lacombe recently showed that there is a Wasserstein distance for Radon measures on the half plane of ordered pairs that generalizes both the Wasserstein distance for persistence diagrams and the classical Wasserstein distance from optimal transport theory. Following this work, we define compatible Wasserstein distances for persistence diagrams and Radon measures on arbitrary metric spaces. We show that the 1-Wasserstein distance extends to virtual persistence diagrams and to signed measures. In addition, we characterize the Cauchy completion of persistence diagrams with respect to the Wasserstein distances. We also give a universal construction of a Banach space with a 1-Wasserstein norm. Persistence diagrams with the 1-Wasserstein distance isometrically embed into this Banach space. △ Less

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

Comments: 33 pages, accepted to the Journal of Applied and Computational Topology

Journal ref: J. Appl. Comput. Topol. 6 (2022), no. 4, 429-474

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

Homological Algebra for Persistence Modules

Authors: Peter Bubenik, Nikola Milicevic

Abstract: We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module and sheaf tensor product and Hom bifunctors as well as their derived functors, Tor and Ext, and give explicit computations for interval modules. We give a clas… ▽ More We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module and sheaf tensor product and Hom bifunctors as well as their derived functors, Tor and Ext, and give explicit computations for interval modules. We give a classification of injective, projective, and flat interval modules. We state Kunneth theorems and universal coefficient theorems for the homology and cohomology of chain complexes of persistence modules in both the sheaf and graded modules settings and show how these theorems can be applied to persistence modules arising from filtered cell complexes. We also give a Gabriel-Popescu theorem for persistence modules. Finally, we examine categories enriched over persistence modules. We show that the graded module point of view produces a closed symmetric monoidal category that is enriched over itself. △ Less

Submitted 29 October, 2020; v1 submitted 14 May, 2019; originally announced May 2019.

Comments: 41 pages, accepted by Foundations of Computational Mathematics

MSC Class: 55N31; 18G15; 13D07; 18F20; 55U20

Journal ref: Foundations of Computational Mathematics, volume 21, pages 1233-1278 (2021)

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)

Graded persistence diagrams and persistence landscapes

Authors: Leo Betthauser, Peter Bubenik, Parker B. Edwards

Abstract: We introduce a refinement of the persistence diagram, the graded persistence diagram. It is the Mobius inversion of the graded rank function, which is obtained from the rank function using the unary numeral system. Both persistence diagrams and graded persistence diagrams are integer-valued functions on the Cartesian plane. Whereas the persistence diagram takes non-negative values, the graded pers… ▽ More We introduce a refinement of the persistence diagram, the graded persistence diagram. It is the Mobius inversion of the graded rank function, which is obtained from the rank function using the unary numeral system. Both persistence diagrams and graded persistence diagrams are integer-valued functions on the Cartesian plane. Whereas the persistence diagram takes non-negative values, the graded persistence diagram takes values of 0, 1, or -1. The sum of the graded persistence diagrams is the persistence diagram. We show that the positive and negative points in the k-th graded persistence diagram correspond to the local maxima and minima, respectively, of the k-th persistence landscape. We prove a stability theorem for graded persistence diagrams: the 1-Wasserstein distance between k-th graded persistence diagrams is bounded by twice the 1-Wasserstein distance between the corresponding persistence diagrams, and this bound is attained. In the other direction, the 1-Wasserstein distance is a lower bound for the sum of the 1-Wasserstein distances between the k-th graded persistence diagrams. In fact, the 1-Wasserstein distance for graded persistence diagrams is more discriminative than the 1-Wasserstein distance for the corresponding persistence diagrams. △ Less

Submitted 28 January, 2021; v1 submitted 29 April, 2019; originally announced April 2019.

Comments: accepted for publication in Discrete and Computational Geometry

MSC Class: 55N31; 06A07

Journal ref: Discrete & Computational Geometry volume 67, pages 203-230 (2022)

The persistence landscape and some of its properties

Authors: Peter Bubenik

Abstract: Persistence landscapes map persistence diagrams into a function space, which may often be taken to be a Banach space or even a Hilbert space. In the latter case, it is a feature map and there is an associated kernel. The main advantage of this summary is that it allows one to apply tools from statistics and machine learning. Furthermore, the mapping from persistence diagrams to persistence landsca… ▽ More Persistence landscapes map persistence diagrams into a function space, which may often be taken to be a Banach space or even a Hilbert space. In the latter case, it is a feature map and there is an associated kernel. The main advantage of this summary is that it allows one to apply tools from statistics and machine learning. Furthermore, the mapping from persistence diagrams to persistence landscapes is stable and invertible. We introduce a weighted version of the persistence landscape and define a one-parameter family of Poisson-weighted persistence landscape kernels that may be useful for learning. We also demonstrate some additional properties of the persistence landscape. First, the persistence landscape may be viewed as a tropical rational function. Second, in many cases it is possible to exactly reconstruct all of the component persistence diagrams from an average persistence landscape. It follows that the persistence landscape kernel is characteristic for certain generic empirical measures. Finally, the persistence landscape distance may be arbitrarily small compared to the interleaving distance. △ Less

Submitted 26 January, 2019; v1 submitted 11 October, 2018; originally announced October 2018.

Comments: 18 pages, to appear in the Proceedings of the 2018 Abel Symposium

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

Exact weights, path metrics, and algebraic Wasserstein distances

Authors: Peter Bubenik, Jonathan Scott, Donald Stanley

Abstract: We use weights on objects in an abelian category to define what we call a path metric. We introduce three special classes of weight: those compatible with short exact sequences; those induced by their path metric; and those which bound their path metric. We prove that these conditions are in fact equivalent, and call such weights exact. As a special case of a path metric, we obtain a distance for… ▽ More We use weights on objects in an abelian category to define what we call a path metric. We introduce three special classes of weight: those compatible with short exact sequences; those induced by their path metric; and those which bound their path metric. We prove that these conditions are in fact equivalent, and call such weights exact. As a special case of a path metric, we obtain a distance for generalized persistence modules whose indexing category is a measure space. We use this distance to define Wasserstein distances, which coincide with the previously defined Wasserstein distances for one-parameter persistence modules. For one-parameter persistence modules, we also describe maps to and from an interval module, and we give a matrix reduction for monomorphisms and epimorphisms. △ Less

Submitted 26 August, 2022; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: accepted to Journal of Applied and Computational Topology, 33 pages, v4: made changes suggested by referees

Journal ref: J. Appl. Comput. Topol. 7 (2023), no. 2, 185-219

Topological Data Analysis for Object Data

Authors: Vic Patrangenaru, Peter Bubenik, Robert L. Paige, Daniel Osborne

Abstract: Statistical analysis on object data presents many challenges. Basic summaries such as means and variances are difficult to compute. We apply ideas from topology to study object data. We present a framework for using persistence landscapes to vectorize object data and perform statistical analysis. We apply to this pipeline to some biological images that were previously shown to be challenging to st… ▽ More Statistical analysis on object data presents many challenges. Basic summaries such as means and variances are difficult to compute. We apply ideas from topology to study object data. We present a framework for using persistence landscapes to vectorize object data and perform statistical analysis. We apply to this pipeline to some biological images that were previously shown to be challenging to study using shape theory. Surprisingly, the most persistent features are shown to be "topological noise" and the statistical analysis depends on the less persistent features which we refer to as the "geometric signal". We also describe the first steps to a new approach to using topology for object data analysis, which applies topology to distributions on object spaces. △ Less

Submitted 26 April, 2018; originally announced April 2018.

Comments: 16 pages, 12 figures

Journal ref: Sankhya A, 2019, Volume 81-A, Part 1, pp. 244-271

Topological spaces of persistence modules and their properties

Authors: Peter Bubenik, Tane Vergili

Abstract: Persistence modules are a central algebraic object arising in topological data analysis. The notion of interleaving provides a natural way to measure distances between persistence modules. We consider various classes of persistence modules, including many of those that have been previously studied, and describe the relationships between them. In the cases where these classes are sets, interleaving… ▽ More Persistence modules are a central algebraic object arising in topological data analysis. The notion of interleaving provides a natural way to measure distances between persistence modules. We consider various classes of persistence modules, including many of those that have been previously studied, and describe the relationships between them. In the cases where these classes are sets, interleaving distance induces a topology. We undertake a systematic study the resulting topological spaces and their basic topological properties. △ Less

Submitted 25 October, 2018; v1 submitted 22 February, 2018; originally announced February 2018.

Comments: 32 pages, to appear in Journal of Applied and Computational Topology

MSC Class: 55N99; 54A05; 18A25

Journal ref: Journal of Applied and Computational Topology (2018) 2:233-269

Interleaving and Gromov-Hausdorff distance

Authors: Peter Bubenik, Vin de Silva, Jonathan Scott

Abstract: One of the central notions to emerge from the study of persistent homology is that of interleaving distance. It has found recent applications in symplectic and contact geometry, sheaf theory, computational geometry, and phylogenetics. Here we present a general study of this topic. We define interleaving of functors with common codomain as solutions to an extension problem. In order to define inter… ▽ More One of the central notions to emerge from the study of persistent homology is that of interleaving distance. It has found recent applications in symplectic and contact geometry, sheaf theory, computational geometry, and phylogenetics. Here we present a general study of this topic. We define interleaving of functors with common codomain as solutions to an extension problem. In order to define interleaving distance in this setting we are led to categorical generalizations of Hausdorff distance, Gromov-Hausdorff distance, and the space of metric spaces. We obtain comparisons with previous notions of interleaving via the study of future equivalences. As an application we recover a definition of shift equivalences of discrete dynamical systems. △ Less

Submitted 26 April, 2018; v1 submitted 19 July, 2017; originally announced July 2017.

Comments: 35 pages, v3: changed title and added references to uses of interleaving (Section 1.3)

MSC Class: 55U99; 18A25

Higher interpolation and extension for persistence modules

Authors: Peter Bubenik, Vin de Silva, Vidit Nanda

Abstract: The use of topological persistence in contemporary data analysis has provided considerable impetus for investigations into the geometric and functional-analytic structure of the space of persistence modules. In this paper, we isolate a coherence criterion which guarantees the extensibility of non-expansive maps into this space across embeddings of the domain to larger ambient metric spaces. Our co… ▽ More The use of topological persistence in contemporary data analysis has provided considerable impetus for investigations into the geometric and functional-analytic structure of the space of persistence modules. In this paper, we isolate a coherence criterion which guarantees the extensibility of non-expansive maps into this space across embeddings of the domain to larger ambient metric spaces. Our coherence criterion is category-theoretic, allowing Kan extensions to provide the desired extensions. Our main construction gives an isometric embedding of a metric space into the metric space of persistence modules with values in the spacetime of this metric space. As a consequence of such "higher interpolation", it becomes possible to compare Vietoris-Rips and Čech complexes built within the space of persistence modules. △ Less

Submitted 20 March, 2017; v1 submitted 23 March, 2016; originally announced March 2016.

Comments: 12 Pages, 2 Figures

MSC Class: 55N99; 46A22; 18A40

Journal ref: SIAM Journal on Applied Algebra and Geometry, 2017, 1(1), 272-284

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

Using persistent homology and dynamical distances to analyze protein binding

Authors: Violeta Kovacev-Nikolic, Peter Bubenik, Dragan Nikolić, Giseon Heo

Abstract: Persistent homology captures the evolution of topological features of a model as a parameter changes. The most commonly used summary statistics of persistent homology are the barcode and the persistence diagram. Another summary statistic, the persistence landscape, was recently introduced by Bubenik. It is a functional summary, so it is easy to calculate sample means and variances, and it is strai… ▽ More Persistent homology captures the evolution of topological features of a model as a parameter changes. The most commonly used summary statistics of persistent homology are the barcode and the persistence diagram. Another summary statistic, the persistence landscape, was recently introduced by Bubenik. It is a functional summary, so it is easy to calculate sample means and variances, and it is straightforward to construct various test statistics. Implementing a permutation test we detect conformational changes between closed and open forms of the maltose-binding protein, a large biomolecule consisting of 370 amino acid residues. Furthermore, persistence landscapes can be applied to machine learning methods. A hyperplane from a support vector machine shows the clear separation between the closed and open proteins conformations. Moreover, because our approach captures dynamical properties of the protein our results may help in identifying residues susceptible to ligand binding; we show that the majority of active site residues and allosteric pathway residues are located in the vicinity of the most persistent loop in the corresponding filtered Vietoris-Rips complex. This finding was not observed in the classical anisotropic network model. △ Less

Submitted 30 July, 2015; v1 submitted 3 December, 2014; originally announced December 2014.

Comments: 27 pages, various improvements based on referees' comments

Journal ref: Statistical Applications in Genetics and Molecular Biology. January 2016, Volume 15, Issue 1, Pages 19-38

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

Statistical topology via Morse theory, persistence and nonparametric estimation

Authors: Peter Bubenik, Gunnar Carlsson, Peter T. Kim, Zhiming Luo

Abstract: In this paper we examine the use of topological methods for multivariate statistics. Using persistent homology from computational algebraic topology, a random sample is used to construct estimators of persistent homology. This estimation procedure can then be evaluated using the bottleneck distance between the estimated persistent homology and the true persistent homology. The connection to stat… ▽ More In this paper we examine the use of topological methods for multivariate statistics. Using persistent homology from computational algebraic topology, a random sample is used to construct estimators of persistent homology. This estimation procedure can then be evaluated using the bottleneck distance between the estimated persistent homology and the true persistent homology. The connection to statistics comes from the fact that when viewed as a nonparametric regression problem, the bottleneck distance is bounded by the sup-norm loss. Consequently, a sharp asymptotic minimax bound is determined under the sup-norm risk over Holder classes of functions for the nonparametric regression problem on manifolds. This provides good convergence properties for the persistent homology estimator in terms of the expected bottleneck distance. △ Less

Submitted 4 March, 2010; v1 submitted 25 August, 2009; originally announced August 2009.

Comments: 23 pages, 7 figures, minor corrections

MSC Class: 62C10 (Primary); 62G08; 41A15 (Secondary); 55N99; 58J90

Journal ref: Contemporary Mathematics, Vol. 516 (2010), pp. 75-92

Graph products of spheres, associative graded algebras and Hilbert series

Authors: Peter Bubenik, Leah H. Gold

Abstract: Given a finite, simple, vertex-weighted graph, we construct a graded associative (non-commutative) algebra, whose generators correspond to vertices and whose ideal of relations has generators that are graded commutators corresponding to edges. We show that the Hilbert series of this algebra is the inverse of the clique polynomial of the graph. Using this result it easy to recognize if the ideal… ▽ More Given a finite, simple, vertex-weighted graph, we construct a graded associative (non-commutative) algebra, whose generators correspond to vertices and whose ideal of relations has generators that are graded commutators corresponding to edges. We show that the Hilbert series of this algebra is the inverse of the clique polynomial of the graph. Using this result it easy to recognize if the ideal is inert, from which strong results on the algebra follow. Non-commutative Grobner bases play an important role in our proof. There is an interesting application to toric topology. This algebra arises naturally from a partial product of spheres, which is a special case of a generalized moment-angle complex. We apply our result to the loop-space homology of this space. △ Less

Submitted 8 March, 2010; v1 submitted 28 January, 2009; originally announced January 2009.

Comments: 19 pages, v3: elaborated on connections to related work, added more citations, to appear in Mathematische Zeitschrift

MSC Class: 16S15; 55P35 (Primary); 05C69; 16E30; 16E45; 16W50 (Secondary)

Journal ref: Mathematische Zeitschrift, Vol. 268 (2011) pp. 821-836

Models and van Kampen theorems for directed homotopy theory

Authors: Peter Bubenik

Abstract: We study topological spaces with a distinguished set of paths, called directed paths. Since these directed paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, and there is no direct analog of the fundamental group. However, they do assemble into a category, called the fundamental category. We define models of the fundamental catego… ▽ More We study topological spaces with a distinguished set of paths, called directed paths. Since these directed paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, and there is no direct analog of the fundamental group. However, they do assemble into a category, called the fundamental category. We define models of the fundamental category, such as the fundamental bipartite graph, and minimal extremal models which are shown to generalize the fundamental group. In addition, we prove van Kampen theorems for subcategories, retracts, and models of the fundamental category. △ Less

Submitted 22 October, 2008; originally announced October 2008.

Comments: 20 pages, 10 figures

MSC Class: 55P99; 68Q85; 18A40; 18A30; 55U99

Journal ref: Homology, Homotopy and Applications, Vol. 11 (2009), No. 1, pp.185-202

Densities for random balanced sampling

Authors: Peter Bubenik, John Holbrook

Abstract: A random balanced sample (RBS) is a multivariate distribution with n components X_1,...,X_n, each uniformly distributed on [-1, 1], such that the sum of these components is precisely 0. The corresponding vectors X lie in an (n-1)-dimensional polytope M(n). We present new methods for the construction of such RBS via densities over M(n) and these apply for arbitrary n. While simple densities had b… ▽ More A random balanced sample (RBS) is a multivariate distribution with n components X_1,...,X_n, each uniformly distributed on [-1, 1], such that the sum of these components is precisely 0. The corresponding vectors X lie in an (n-1)-dimensional polytope M(n). We present new methods for the construction of such RBS via densities over M(n) and these apply for arbitrary n. While simple densities had been known previously for small values of n (namely 2,3 and 4), for larger n the known distributions with large support were fractal distributions (with fractal dimension asymptotic to n as n approaches infinity). Applications of RBS distributions include sampling with antithetic coupling to reduce variance, and the isolation of nonlinearities. We also show that the previously known densities (for n<5) are in fact the only solutions in a natural and very large class of potential RBS densities. This finding clarifies the need for new methods, such as those presented here. △ Less

Submitted 29 August, 2006; originally announced August 2006.

Comments: 20 pages, 6 figures, to appear in Journal of Multivariate Analysis

MSC Class: 62D05; 62H11; 62H12; 62H20; 62K99

Journal ref: J. Multivariate Anal. 98 (2007), no. 2, 350--369.

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

A statistical approach to persistent homology

Authors: Peter Bubenik, Peter T. Kim

Abstract: Assume that a finite set of points is randomly sampled from a subspace of a metric space. Recent advances in computational topology have provided several approaches to recovering the geometric and topological properties of the underlying space. In this paper we take a statistical approach to this problem. We assume that the data is randomly sampled from an unknown probability distribution. We de… ▽ More Assume that a finite set of points is randomly sampled from a subspace of a metric space. Recent advances in computational topology have provided several approaches to recovering the geometric and topological properties of the underlying space. In this paper we take a statistical approach to this problem. We assume that the data is randomly sampled from an unknown probability distribution. We define two filtered complexes with which we can calculate the persistent homology of a probability distribution. Using statistical estimators for samples from certain families of distributions, we show that we can recover the persistent homology of the underlying distribution. △ Less

Submitted 1 August, 2007; v1 submitted 25 July, 2006; originally announced July 2006.

Comments: 30 pages, 2 figures, minor changes, to appear in Homology, Homotopy and Applications

MSC Class: 55N99; 62H11

Journal ref: Homology, Homotopy and Applications, Vol. 9 (2007), No. 2, pp.337-362

Cell attachments and the homology of loop spaces and differential graded algebras

Authors: Peter Bubenik

Abstract: The cell-attachment problem, perhaps first studied by J.H.C. Whitehead around 1940, asks one to describe the effect of attaching one or more cells, on the algebraic invariants of a topological space. This thesis studies the effect of cell attachments on loop space homology. It generalizes previous work by D. Anick on spherical 2-cones, and S. Halperin, J.-M. Lemaire and others on inert attaching… ▽ More The cell-attachment problem, perhaps first studied by J.H.C. Whitehead around 1940, asks one to describe the effect of attaching one or more cells, on the algebraic invariants of a topological space. This thesis studies the effect of cell attachments on loop space homology. It generalizes previous work by D. Anick on spherical 2-cones, and S. Halperin, J.-M. Lemaire and others on inert attaching maps. It is assumed that the loop space homology of the base space is torsion-free. Two classes of attaching maps are introduced: free and semi-inert attaching maps. For these cases, the loop space homology is calculated as a module and as an algebra, respectively, and is shown to have a surprisingly simple form. These results are also presented in terms of extensions of differential graded algebras. The second part of the thesis uses Adams-Hilton models and the previous results to prove that the loop space homology of certain CW complexes is generated by Hurewicz images. This can sometimes be used to show that the loop space of a finite complex is, after localizing away from finitely many primes, homotopy equivalent to a product of spheres and loops on spheres. A lemma, which may of independent interest, generalizes the Schreier property, which states that a Lie subalgebra of a free (graded) Lie algebra is also a free Lie algebra. △ Less

Submitted 17 January, 2006; originally announced January 2006.

Comments: 108 pages. This is my Ph.D. thesis written under the direction of Paul Selick at the University of Toronto (accepted: July 2003)

MSC Class: 55P35 (Primary); 16E45 (Secondary)

A model category for local po-spaces

Authors: Peter Bubenik, Krzysztof Worytkiewicz

Abstract: Locally partial-ordered spaces (local po-spaces) have been used to model concurrent systems. We provide equivalences for these spaces by constructing a model category containing the category of local po-spaces. We show the category of simplicial presheaves on local po-spaces can be given Jardine's model structure, in which we identify the weak equivalences between local po-spaces. In the process… ▽ More Locally partial-ordered spaces (local po-spaces) have been used to model concurrent systems. We provide equivalences for these spaces by constructing a model category containing the category of local po-spaces. We show the category of simplicial presheaves on local po-spaces can be given Jardine's model structure, in which we identify the weak equivalences between local po-spaces. In the process we give an equivalence between the category of sheaves on a local po-space and the category of etale bundles over a local po-space. Finally we describe a localization that should provide a good framework for studying concurrent systems. △ Less

Submitted 10 January, 2006; v1 submitted 17 June, 2005; originally announced June 2005.

Comments: 26 pages, minor changes, to appear in Homology, Homotopy and Applications

MSC Class: 55U35; 18G55; 68Q85 (Primary) 18F20; 55U10 (Secondary)

Journal ref: Homology, Homotopy Appl. 8 (2006), no. 1, 263-292

Separated Lie models and the homotopy Lie algebra

Authors: Peter Bubenik

Abstract: A simply connected topological space X has homotopy Lie algebra $π_*(ΩX) \tensor \Q$. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property we call separa… ▽ More A simply connected topological space X has homotopy Lie algebra $π_*(ΩX) \tensor \Q$. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property we call separated. The homology of a separated dgL has a particular form which lends itself to calculations. △ Less

Submitted 7 May, 2007; v1 submitted 21 June, 2004; originally announced June 2004.

Comments: Final version. To appear in the Journal of Pure and Applied Algebra. Added connections to the radical of the homotopy Lie algebra and the Avramov-Felix conjecture. Added examples of wedges of spheres of any "thickness" and connected sums of products of spheres. 15 pages

MSC Class: 55P62; 17B55

Journal ref: J. Pure and Appl. Algebra, 212 (2008), no.2, 401--410

Free and semi-inert cell attachments

Authors: Peter Bubenik

Abstract: Let $Y$ be the space obtained by attaching a finite-type wedge of cells to a simply-connected, finite-type CW-complex. We introduce the free and semi-inert conditions on the attaching map which broadly generalize the previously studied inert condition. Under these conditions we determine $H_*(ΩY;R)$ as an $R$-module and as an $R$-algebra respectively. Under a further condition we show that… ▽ More Let $Y$ be the space obtained by attaching a finite-type wedge of cells to a simply-connected, finite-type CW-complex. We introduce the free and semi-inert conditions on the attaching map which broadly generalize the previously studied inert condition. Under these conditions we determine $H_*(ΩY;R)$ as an $R$-module and as an $R$-algebra respectively. Under a further condition we show that $H_*(ΩY;R)$ is generated by Hurewicz images. As an example we study an infinite family of spaces constructed using only semi-inert cell attachments. △ Less

Submitted 19 December, 2003; originally announced December 2003.

Comments: 20 pages

MSC Class: 55P35 (Primary) 16E45 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 357 (2005), no. 11, 4533--4553

Closed Model Categories for Presheaves of Simplicial Groupoids and Presheaves of 2-Groupoids

Authors: Zhi-Ming Luo, Peter Bubenik, Peter T. Kim

Abstract: It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively. It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively. △ Less

Submitted 5 February, 2009; v1 submitted 6 January, 2003; originally announced January 2003.

Comments: 17 pages