Showing 1–27 of 27 results for author: Skraba, P

Universality in Random Persistent Homology and Scale-Invariant Functionals

Authors: Omer Bobrowski, Primoz Skraba

Abstract: In this paper, we prove a universality result for the limiting distribution of persistence diagrams arising from geometric filtrations over random point processes. Specifically, we consider the distribution of the ratio of persistence values (death/birth), and show that for fixed dimension, homological degree and filtration type (Cech or Vietoris-Rips), the limiting distribution is independent of… ▽ More In this paper, we prove a universality result for the limiting distribution of persistence diagrams arising from geometric filtrations over random point processes. Specifically, we consider the distribution of the ratio of persistence values (death/birth), and show that for fixed dimension, homological degree and filtration type (Cech or Vietoris-Rips), the limiting distribution is independent of the underlying point process distribution, i.e., universal. In proving this result, we present a novel general framework for universality in scale-invariant functionals on point processes. Finally, we also provide a number of new results related to Morse theory in random geometric complexes, which may be of an independent interest. △ Less

Submitted 4 July, 2024; v1 submitted 8 June, 2024; originally announced June 2024.

Probabilistic Analysis of Multiparameter Persistence Decompositions

Authors: Ángel Javier Alonso, Michael Kerber, Primoz Skraba

Abstract: Multiparameter persistence modules can be uniquely decomposed into indecomposable summands. Among these indecomposables, intervals stand out for their simplicity, making them preferable for their ease of interpretation in practical applications and their computational efficiency. Empirical observations indicate that modules that decompose into only intervals are rare. To support this observation,… ▽ More Multiparameter persistence modules can be uniquely decomposed into indecomposable summands. Among these indecomposables, intervals stand out for their simplicity, making them preferable for their ease of interpretation in practical applications and their computational efficiency. Empirical observations indicate that modules that decompose into only intervals are rare. To support this observation, we show that for numerous common multiparameter constructions, such as density- or degree-Rips bifiltrations, and across a general category of point samples, the probability of the homology-induced persistence module decomposing into intervals goes to zero as the sample size goes to infinity. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Computing 1-Periodic Persistent Homology with Finite Windows

Authors: Adam Onus, Primoz Skraba

Abstract: Let $K$ be a periodic cell complex endowed with a covering $q:K\to G$ where $G$ is a finite quotient space of equivalence classes under translations acting on $K$. We assume $G$ is embedded in a space whose homotopy type is a $d$-torus for some $d$, which introduces "toroidal cycles" in $G$ which do not lift to cycles in $K$ by $q$ . We study the behaviour of toroidal and non-toroidal cycles for t… ▽ More Let $K$ be a periodic cell complex endowed with a covering $q:K\to G$ where $G$ is a finite quotient space of equivalence classes under translations acting on $K$. We assume $G$ is embedded in a space whose homotopy type is a $d$-torus for some $d$, which introduces "toroidal cycles" in $G$ which do not lift to cycles in $K$ by $q$ . We study the behaviour of toroidal and non-toroidal cycles for the case $K$ is 1-periodic, i.e. $G=K/\mathbb{Z}$ for some free action of $\mathbb{Z}$ on $K$. We show that toroidal cycles can be entirely classified by endomorphisms on the homology of unit cells of $K$, and moreover that toroidal cycles have a sense of unimodality when studying the persistent homology of $G$. △ Less

Submitted 23 May, 2024; v1 submitted 1 December, 2023; originally announced December 2023.

Comments: 1st revised version, only major change is in Section 3 to the theory behind constructing the necessary endomorphisms

MSC Class: 55N31; 57Z25; 55-08

Cluster-Persistence for Weighted Graphs

Authors: Omer Bobrowski, Primoz Skraba

Abstract: Persistent homology is a natural tool for probing the topological characteristics of weighted graphs, essentially focusing on their $0$-dimensional homology. While this area has been substantially studied, we present a new approach to constructing a filtration for cluster analysis via persistent homology. The key advantages of the new filtration is that (a) it provides richer signatures for connec… ▽ More Persistent homology is a natural tool for probing the topological characteristics of weighted graphs, essentially focusing on their $0$-dimensional homology. While this area has been substantially studied, we present a new approach to constructing a filtration for cluster analysis via persistent homology. The key advantages of the new filtration is that (a) it provides richer signatures for connected components by introducing non-trivial birth times, and (b) it is robust to outliers. The key idea is that nodes are ignored until they belong to sufficiently large clusters. We demonstrate the computational efficiency of our filtration, its practical effectiveness, and explore into its properties when applied to random graphs. △ Less

Submitted 30 September, 2023; originally announced October 2023.

Möbius Homology

Authors: Amit Patel, Primoz Skraba

Abstract: This paper introduces Möbius homology, a homology theory for representations of finite posets into abelian categories. While the connection between poset topology and Möbius functions is classical, we establish a direct connection between poset topology and Möbius inversions. More precisely, the Möbius homology categorifies the Möbius inversion because its Euler characteristic is equal to the Möbi… ▽ More This paper introduces Möbius homology, a homology theory for representations of finite posets into abelian categories. While the connection between poset topology and Möbius functions is classical, we establish a direct connection between poset topology and Möbius inversions. More precisely, the Möbius homology categorifies the Möbius inversion because its Euler characteristic is equal to the Möbius inversion of the dimension function of the representation. We also introduce a homological version of Rota's Galois Connection Theorem which relates the Möbius homology over two posets connected by a Galois connection. Our main application is to persistent homology over general posets. We show that under one definition, the persistence diagram is an Euler characteristic over a poset of intervals and hence Möbius homology is a categorification of the persistence diagram. This provides a new invariant for persistent homology over general posets. Finally, we use our homological Rota's Galois Connection Theorem to prove several results about the persistence diagram. △ Less

Submitted 9 July, 2023; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: Fixed typos

On the Universality of Random Persistence Diagrams

Authors: Omer Bobrowski, Primoz Skraba

Abstract: One of the most elusive challenges within the area of topological data analysis is understanding the distribution of persistence diagrams. Despite much effort, this is still largely an open problem. In this paper, we present a series of novel conjectures regarding the behavior of persistence diagrams arising from random point-clouds. We claim that these diagrams obey a universal probability law, a… ▽ More One of the most elusive challenges within the area of topological data analysis is understanding the distribution of persistence diagrams. Despite much effort, this is still largely an open problem. In this paper, we present a series of novel conjectures regarding the behavior of persistence diagrams arising from random point-clouds. We claim that these diagrams obey a universal probability law, and include an explicit expression as a candidate for what this law is. We back these conjectures with an exhaustive set of experiments, including both simulated and real data. We demonstrate the power of these conjectures by proposing a new hypothesis testing framework for individual features within persistence diagrams. △ Less

Submitted 8 July, 2022; originally announced July 2022.

MSC Class: 62R40; 55N31; 68T09; 55U10

Central Limit Theorem for Euclidean Minimal Spanning Acycles

Authors: Primoz Skraba, D. Yogeshwaran

Abstract: We investigate asymptotics for the minimal spanning acycles of the (Alpha)-Delaunay complex on a stationary Poisson process on $\mathbb{R}^d, d \geq 2$. Minimal spanning acycles are topological (or higher-dimensional) generalization of minimal spanning trees. We establish a central limit theorem for total weight of the minimal spanning acycle on a Poisson-Delaunay complex. Our approach also allows… ▽ More We investigate asymptotics for the minimal spanning acycles of the (Alpha)-Delaunay complex on a stationary Poisson process on $\mathbb{R}^d, d \geq 2$. Minimal spanning acycles are topological (or higher-dimensional) generalization of minimal spanning trees. We establish a central limit theorem for total weight of the minimal spanning acycle on a Poisson-Delaunay complex. Our approach also allows us to establish central limit theorems for sum of birth times and lifetimes in the persistent diagram of the Delaunay complex. The key to our proof is in showing the so-called weak stabilization of minimal spanning acycles which proceeds by establishing suitable chain maps and uses matroidal properties of minimal spanning acycles. In contrast to the proof of weak-stabilization for Euclidean minimal spanning trees via percolation-theoretic estimates, our weak-stabilization proof is algebraic in nature and provides an alternative proof even in the case of minimal spanning trees. △ Less

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

Notes on an Elementary Proof for the Stability of Persistence Diagrams

Authors: Primoz Skraba, Katharine Turner

Abstract: These notes are a self-contained short proof of the stability of persistence diagrams. These notes are a self-contained short proof of the stability of persistence diagrams. △ Less

Submitted 19 March, 2021; originally announced March 2021.

Euler Characteristic Surfaces

Authors: Gabriele Beltramo, Rayna Andreeva, Ylenia Giarratano, Miguel O. Bernabeu, Rik Sarkar, Primoz Skraba

Abstract: We study the use of the Euler characteristic for multiparameter topological data analysis. Euler characteristic is a classical, well-understood topological invariant that has appeared in numerous applications, including in the context of random fields. The goal of this paper is to present the extension of using the Euler characteristic in higher-dimensional parameter spaces. While topological data… ▽ More We study the use of the Euler characteristic for multiparameter topological data analysis. Euler characteristic is a classical, well-understood topological invariant that has appeared in numerous applications, including in the context of random fields. The goal of this paper is to present the extension of using the Euler characteristic in higher-dimensional parameter spaces. While topological data analysis of higher-dimensional parameter spaces using stronger invariants such as homology continues to be the subject of intense research, Euler characteristic is more manageable theoretically and computationally, and this analysis can be seen as an important intermediary step in multi-parameter topological data analysis. We show the usefulness of the techniques using artificially generated examples, and a real-world application of detecting diabetic retinopathy in retinal images. △ Less

Submitted 16 February, 2021; originally announced February 2021.

Persistent Homology in $\ell_{\infty}$ Metric

Authors: Gabriele Beltramo, Primoz Skraba

Abstract: Proximity complexes and filtrations are central constructions in topological data analysis. Built using distance functions, or more generally metrics, they are often used to infer connectivity information from point clouds. Here we investigate proximity complexes and filtrations built over the Chebyshev metric, also known as the maximum metric or $\ell_{\infty}$ metric, rather than the classical E… ▽ More Proximity complexes and filtrations are central constructions in topological data analysis. Built using distance functions, or more generally metrics, they are often used to infer connectivity information from point clouds. Here we investigate proximity complexes and filtrations built over the Chebyshev metric, also known as the maximum metric or $\ell_{\infty}$ metric, rather than the classical Euclidean metric. Somewhat surprisingly, the $\ell_{\infty}$ case has not been investigated thoroughly. In this paper, we examine a number of classical complexes under this metric, including the Čech, Vietoris-Rips, and Alpha complexes. We define two new families of flag complexes, which we call the Alpha flag and Minibox complexes, and prove their equivalence to Čech complexes in homological degrees zero and one. Moreover, we provide algorithms for finding Minibox edges of two, three, and higher-dimensional points. Finally, we present computational experiments on random points, which shows that Minibox filtrations can often be used to speed up persistent homology computations in homological degrees zero and one by reducing the number of simplices in the filtration. △ Less

Submitted 4 June, 2021; v1 submitted 5 August, 2020; originally announced August 2020.

Comments: 36 pages, 15 figures

Wasserstein Stability for Persistence Diagrams

Authors: Primoz Skraba, Katharine Turner

Abstract: The stability of persistence diagrams is among the most important results in applied and computational topology. Most results in the literature phrase stability in terms of the bottleneck distance between diagrams and the $\infty$-norm of perturbations. This has two main implications: it makes the space of persistence diagrams rather pathological and it is often provides very pessimistic bounds wi… ▽ More The stability of persistence diagrams is among the most important results in applied and computational topology. Most results in the literature phrase stability in terms of the bottleneck distance between diagrams and the $\infty$-norm of perturbations. This has two main implications: it makes the space of persistence diagrams rather pathological and it is often provides very pessimistic bounds with respect to outliers. In this paper, we provide new stability results with respect to the $p$-Wasserstein distance between persistence diagrams. This includes an elementary proof for the setting of functions on sufficiently finite spaces in terms of the $p$-norm of the perturbations, along with an algebraic framework for $p$-Wasserstein distance which extends the results to wider class of modules. We also provide apply the results to a wide range of applications in topological data analysis (TDA) including topological summaries, persistence transforms and the special but important case of Vietoris-Rips complexes. △ Less

Submitted 20 September, 2023; v1 submitted 30 June, 2020; originally announced June 2020.

Comments: Typose fixed, results strengthened to include p.f.d. modules

Homological Percolation: The Formation of Giant k-Cycles

Authors: Omer Bobrowski, Primoz Skraba

Abstract: In this paper we introduce and study a higher-dimensional analogue of the giant component in continuum percolation. Using the language of algebraic topology, we define the notion of giant k-dimensional cycles (with 0-cycles being connected components). Considering a continuum percolation model in the flat d-dimensional torus, we show that all the giant k-cycles (k=1,...,d-1) appear in the regime k… ▽ More In this paper we introduce and study a higher-dimensional analogue of the giant component in continuum percolation. Using the language of algebraic topology, we define the notion of giant k-dimensional cycles (with 0-cycles being connected components). Considering a continuum percolation model in the flat d-dimensional torus, we show that all the giant k-cycles (k=1,...,d-1) appear in the regime known as the thermodynamic limit. We also prove that the thresholds for the emergence of the giant k-cycles are increasing in k and are tightly related to the critical values in continuum percolation. Finally, we provide bounds for the exponential decay of the probabilities of giant cycles appearing. △ Less

Submitted 28 May, 2020; originally announced May 2020.

MSC Class: 60K35; 82B43; 60D05; 55U10

Homological Percolation and the Euler Characteristic

Authors: Omer Bobrowski, Primoz Skraba

Abstract: In this paper we study the connection between the phenomenon of homological percolation (the formation of "giant" cycles in persistent homology), and the zeros of the expected Euler characteristic curve. We perform an experimental study that covers four different models: site-percolation on the cubical and permutahedral lattices, the Poisson-Boolean model, and Gaussian random fields. All the model… ▽ More In this paper we study the connection between the phenomenon of homological percolation (the formation of "giant" cycles in persistent homology), and the zeros of the expected Euler characteristic curve. We perform an experimental study that covers four different models: site-percolation on the cubical and permutahedral lattices, the Poisson-Boolean model, and Gaussian random fields. All the models are generated on the flat torus $T^d$, for $d=2,3,4$. The simulation results strongly indicate that the zeros of the expected Euler characteristic curve approximate the critical values for homological-percolation. Our results also provide some insight about the approximation error. Further study of this connection could have powerful implications both in the study of percolation theory, and in the field of Topological Data Analysis. △ Less

Submitted 22 October, 2019; originally announced October 2019.

MSC Class: 82B43; 62M30; 60K35; 55U10

Journal ref: Phys. Rev. E 101, 032304 (2020)

A Topology Layer for Machine Learning

Authors: Rickard Brüel-Gabrielsson, Bradley J. Nelson, Anjan Dwaraknath, Primoz Skraba, Leonidas J. Guibas, Gunnar Carlsson

Abstract: Topology applied to real world data using persistent homology has started to find applications within machine learning, including deep learning. We present a differentiable topology layer that computes persistent homology based on level set filtrations and edge-based filtrations. We present three novel applications: the topological layer can (i) regularize data reconstruction or the weights of mac… ▽ More Topology applied to real world data using persistent homology has started to find applications within machine learning, including deep learning. We present a differentiable topology layer that computes persistent homology based on level set filtrations and edge-based filtrations. We present three novel applications: the topological layer can (i) regularize data reconstruction or the weights of machine learning models, (ii) construct a loss on the output of a deep generative network to incorporate topological priors, and (iii) perform topological adversarial attacks on deep networks trained with persistence features. The code (www.github.com/bruel-gabrielsson/TopologyLayer) is publicly available and we hope its availability will facilitate the use of persistent homology in deep learning and other gradient based applications. △ Less

Submitted 24 April, 2020; v1 submitted 28 May, 2019; originally announced May 2019.

Topology-Aware Surface Reconstruction for Point Clouds

Authors: Rickard Brüel-Gabrielsson, Vignesh Ganapathi-Subramanian, Primoz Skraba, Leonidas J. Guibas

Abstract: We present an approach to inform the reconstruction of a surface from a point scan through topological priors. The reconstruction is based on basis functions which are optimized to provide a good fit to the point scan while satisfying predefined topological constraints. We optimize the parameters of a model to obtain likelihood function over the reconstruction domain. The topological constraints a… ▽ More We present an approach to inform the reconstruction of a surface from a point scan through topological priors. The reconstruction is based on basis functions which are optimized to provide a good fit to the point scan while satisfying predefined topological constraints. We optimize the parameters of a model to obtain likelihood function over the reconstruction domain. The topological constraints are captured by persistence diagrams which are incorporated in the optimization algorithm promote the correct topology. The result is a novel topology-aware technique which can: 1.) weed out topological noise from point scans, and 2.) capture certain nuanced properties of the underlying shape which could otherwise be lost while performing surface reconstruction. We showcase results reconstructing shapes with multiple potential topologies, compare to other classical surface construction techniques, and show the completion of real scan data. △ Less

Submitted 15 September, 2021; v1 submitted 29 November, 2018; originally announced November 2018.

Journal ref: Computer Graphics Forum 39 (5), 197-207, 2020

Randomly Weighted $d-$complexes: Minimal Spanning Acycles and Persistence Diagrams

Authors: Primoz Skraba, Gugan Thoppe, D. Yogeshwaran

Abstract: A weighted $d-$complex is a simplicial complex of dimension $d$ in which each face is assigned a real-valued weight. We derive three key results here concerning persistence diagrams and minimal spanning acycles (MSAs) of such complexes. First, we establish an equivalence between the MSA face-weights and \emph{death times} in the persistence diagram. Next, we show a novel stability result for the M… ▽ More A weighted $d-$complex is a simplicial complex of dimension $d$ in which each face is assigned a real-valued weight. We derive three key results here concerning persistence diagrams and minimal spanning acycles (MSAs) of such complexes. First, we establish an equivalence between the MSA face-weights and \emph{death times} in the persistence diagram. Next, we show a novel stability result for the MSA face-weights which, due to our first result, also holds true for the death and birth times, separately. Our final result concerns a perturbation of a mean-field model of randomly weighted $d-$complexes. The $d-$face weights here are perturbation of some i.i.d. distribution while all the lower-dimensional faces have a weight of $0$. If the perturbations decay sufficiently quickly, we show that suitably scaled extremal nearest face-weights, face-weights of the $d-$MSA, and the associated death times converge to an inhomogeneous Poisson point process. This result completely characterizes the extremal points of persistence diagrams and MSAs. The point process convergence and the asymptotic equivalence of three point processes are new for any weighted random complex model, including even the non-perturbed case. Lastly, as a consequence of our stability result, we show that Frieze's $ζ(3)$ limit for random minimal spanning trees and the recent extension to random MSAs by Hino and Kanazawa also hold in suitable noisy settings. △ Less

Submitted 22 March, 2020; v1 submitted 1 January, 2017; originally announced January 2017.

Comments: 42 Pages, 1 Figure. Streamlined introduction, modified Section 3 significantly

MSC Class: 60C05; 05E45 (Primary) 60G70; 60B99; 05C80 (Secondary)

An Approximate Nerve Theorem

Authors: Dejan Govc, Primoz Skraba

Abstract: The Nerve Theorem relates the topological type of a suitably nice space with the nerve of a good cover of that space. It has many variants, such as to consider acyclic covers and numerous applications in topology including applied and computational topology. The goal of this paper is to relax the notion of a good cover to an approximately good cover, or more precisely, we introduce the notion of a… ▽ More The Nerve Theorem relates the topological type of a suitably nice space with the nerve of a good cover of that space. It has many variants, such as to consider acyclic covers and numerous applications in topology including applied and computational topology. The goal of this paper is to relax the notion of a good cover to an approximately good cover, or more precisely, we introduce the notion of an $\varepsilon$-acyclic cover. We use persistent homology to make this rigorous and prove tight bounds between the persistent homology of a space endowed with a function and the persistent homology of the nerve of an $\varepsilon$-acyclic cover of the space. Using the Mayer-Vietoris spectral sequence, we upper bound how local non-acyclicity can affect the global homology. To prove the best possible bound we must introduce special cases of interleavings between persistence modules called left and right interleavings. Finally, we provide examples which achieve the bound proving the lower bound and tightness of the result. △ Less

Submitted 18 April, 2017; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: Typos and example achieving lower bound fixed, decomposition of interleaving added

News Across Languages - Cross-Lingual Document Similarity and Event Tracking

Authors: Jan Rupnik, Andrej Muhic, Gregor Leban, Primoz Skraba, Blaz Fortuna, Marko Grobelnik

Abstract: In today's world, we follow news which is distributed globally. Significant events are reported by different sources and in different languages. In this work, we address the problem of tracking of events in a large multilingual stream. Within a recently developed system Event Registry we examine two aspects of this problem: how to compare articles in different languages and how to link collections… ▽ More In today's world, we follow news which is distributed globally. Significant events are reported by different sources and in different languages. In this work, we address the problem of tracking of events in a large multilingual stream. Within a recently developed system Event Registry we examine two aspects of this problem: how to compare articles in different languages and how to link collections of articles in different languages which refer to the same event. Taking a multilingual stream and clusters of articles from each language, we compare different cross-lingual document similarity measures based on Wikipedia. This allows us to compute the similarity of any two articles regardless of language. Building on previous work, we show there are methods which scale well and can compute a meaningful similarity between articles from languages with little or no direct overlap in the training data. Using this capability, we then propose an approach to link clusters of articles across languages which represent the same event. We provide an extensive evaluation of the system as a whole, as well as an evaluation of the quality and robustness of the similarity measure and the linking algorithm. △ Less

Submitted 22 December, 2015; originally announced December 2015.

Comments: Accepted for publication in Journal of Artificial Intelligence Research, Special Track on Cross-language Algorithms and Applications

Maximally Persistent Cycles in Random Geometric Complexes

Authors: Omer Bobrowski, Matthew Kahle, Primoz Skraba

Abstract: We initiate the study of persistent homology of random geometric simplicial complexes. Our main interest is in maximally persistent cycles of degree-$k$ in persistent homology, for a either the \cech or the Vietoris--Rips filtration built on a uniform Poisson process of intensity $n$ in the unit cube $[0,1]^d$. This is a natural way of measuring the largest "$k$-dimensional hole" in a random point… ▽ More We initiate the study of persistent homology of random geometric simplicial complexes. Our main interest is in maximally persistent cycles of degree-$k$ in persistent homology, for a either the \cech or the Vietoris--Rips filtration built on a uniform Poisson process of intensity $n$ in the unit cube $[0,1]^d$. This is a natural way of measuring the largest "$k$-dimensional hole" in a random point set. This problem is in the intersection of geometric probability and algebraic topology, and is naturally motivated by a probabilistic view of topological inference. We show that for all $d \ge 2$ and $1 \le k \le d-1$ the maximally persistent cycle has (multiplicative) persistence of order $$ Θ\left(\left(\frac{\log n}{\log \log n} \right)^{1/k} \right),$$ with high probability, characterizing its rate of growth as $n \to \infty$. The implied constants depend on $k$, $d$, and on whether we consider the Vietoris--Rips or \cech filtration. △ Less

Submitted 15 May, 2016; v1 submitted 14 September, 2015; originally announced September 2015.

Comments: revised according to referee reports. 35 pages, 7 figures

MSC Class: Primary: 60B99; 60D05; 05E45; Secondary: 55U10

The principal bundles over an inverse semigroup

Authors: Ganna Kudryavtseva, Primož Škraba

Abstract: This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra. For the topos of sets, we show that torsion-free functors on Loganathan's category $L(S)$ of an inverse semigroup $S$ are equivalent to a special class of non-strict representations of $S$, which we call connected. We show that the… ▽ More This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra. For the topos of sets, we show that torsion-free functors on Loganathan's category $L(S)$ of an inverse semigroup $S$ are equivalent to a special class of non-strict representations of $S$, which we call connected. We show that the latter representations form a proper coreflective subcategory of the category of all non-strict representations of $S$. We describe the correspondence between directed and pullback preserving functors on $L(S)$ and transitive and effective representations of $S$, as well as between filtered such functors and universal representations introduced by Lawson, Margolis and Steinberg. We propose a definition of a universal representation of an inverse semigroup in the topos of sheaves ${\mathsf{Sh}}(X)$ on a topological space $X$ as well as outline an approach on how to define such a representation in an arbitrary topos. We prove that the category of filtered functors from $L(S)$ to the topos ${\mathsf{Sh}}(X)$ is equivalent to the category of universal representations of $S$ in ${\mathsf{Sh}}(X)$. △ Less

Submitted 25 November, 2016; v1 submitted 30 March, 2015; originally announced March 2015.

Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology

Authors: João Pita Costa, Mikael Vejdemo Johansson, Primož Škraba

Abstract: A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure of data through topology. The basic techniques have been extended in several different directions, permuting the encoding of topological features… ▽ More A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure of data through topology. The basic techniques have been extended in several different directions, permuting the encoding of topological features by so called barcodes or equivalently persistence diagrams. The set of points of all such diagrams determines a complete Heyting algebra that can explain aspects of the relations between persistent bars through the algebraic properties of its underlying lattice structure. In this paper, we investigate the topos of sheaves over such algebra, as well as discuss its construction and potential for a generalised simplicial homology over it. In particular we are interested in establishing a topos theoretic unifying theory for the various flavours of persistent homology that have emerged so far, providing a global perspective over the algebraic foundations of applied and computational topology. △ Less

Submitted 21 June, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

Comments: 20 pages, 12 figures, AAA88 Conference proceedings at Demonstratio Mathematica. The new version has restructured arguments, clearer intuition is provided, and several typos corrected

MSC Class: 03G30; 06D22; 18B25

Aspects of an internal logic for persistence

Authors: João Pita Costa, Primož Škraba, Mikael Vejdemo-Johansson

Abstract: The foundational character of certain algebraic structures as Boolean algebras and Heyting algebras is rooted in their potential to model classical and constructive logic, respectively. In this paper we discuss the contributions of algebraic logic to the study of persistence based on a new operation on the ordered structure of the input diagram of vector spaces and linear maps given by a filtratio… ▽ More The foundational character of certain algebraic structures as Boolean algebras and Heyting algebras is rooted in their potential to model classical and constructive logic, respectively. In this paper we discuss the contributions of algebraic logic to the study of persistence based on a new operation on the ordered structure of the input diagram of vector spaces and linear maps given by a filtration. Within the context of persistence theory, we give an analysis of the underlying algebra, derive universal properties and discuss new applications. We highlight the definition of the implication operation within this construction, as well as interpret its meaning within persistent homology, multidimensional persistence and zig-zag persistence. △ Less

Submitted 15 September, 2014; v1 submitted 12 September, 2014; originally announced September 2014.

MSC Class: 03G10

A Lattice for Persistence

Authors: Primož Škraba, João Pita Costa

Abstract: The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the most prominent areas of research in computational topology in the past 20 years. In this paper we will introduce an alternative interpretation of persistence based… ▽ More The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the most prominent areas of research in computational topology in the past 20 years. In this paper we will introduce an alternative interpretation of persistence based on the study of the order structure of its correspondent lattice. Its algorithmic construction leads to two operations on homology groups which describe a diagram of spaces as a complete Heyting algebra, which is a generalization of a Boolean algebra. We investigate some of the properties of this lattice, the algorithmic implications of it, and some possible applications. △ Less

Submitted 31 January, 2014; v1 submitted 16 July, 2013; originally announced July 2013.

Comments: 20 pages + appendix

MSC Class: 55N35; 06D20; 13P20

Persistence modules: Algebra and algorithms

Authors: Primoz Skraba, Mikael Vejdemo-Johansson

Abstract: Persistent homology was shown by Carlsson and Zomorodian to be homology of graded chain complexes with coefficients in the graded ring $\kk[t]$. As such, the behavior of persistence modules -- graded modules over $\kk[t]$ is an important part in the analysis and computation of persistent homology. In this paper we present a number of facts about persistence modules; ranging from the well-known b… ▽ More Persistent homology was shown by Carlsson and Zomorodian to be homology of graded chain complexes with coefficients in the graded ring $\kk[t]$. As such, the behavior of persistence modules -- graded modules over $\kk[t]$ is an important part in the analysis and computation of persistent homology. In this paper we present a number of facts about persistence modules; ranging from the well-known but under-utilized to the reconstruction of techniques to work in a purely algebraic approach to persistent homology. In particular, the results we present give concrete algorithms to compute the persistent homology of a simplicial complex with torsion in the chain complex. △ Less

Submitted 15 February, 2013; v1 submitted 8 February, 2013; originally announced February 2013.

Comments: 28 pages, submitted to Mathematics of Computation

MSC Class: 13P10; 55N35 ACM Class: I.1.2; I.3.5

A Comparison of Relaxations of Multiset Cannonical Correlation Analysis and Applications

Authors: Jan Rupnik, Primoz Skraba, John Shawe-Taylor, Sabrina Guettes

Abstract: Canonical correlation analysis is a statistical technique that is used to find relations between two sets of variables. An important extension in pattern analysis is to consider more than two sets of variables. This problem can be expressed as a quadratically constrained quadratic program (QCQP), commonly referred to Multi-set Canonical Correlation Analysis (MCCA). This is a non-convex problem and… ▽ More Canonical correlation analysis is a statistical technique that is used to find relations between two sets of variables. An important extension in pattern analysis is to consider more than two sets of variables. This problem can be expressed as a quadratically constrained quadratic program (QCQP), commonly referred to Multi-set Canonical Correlation Analysis (MCCA). This is a non-convex problem and so greedy algorithms converge to local optima without any guarantees on global optimality. In this paper, we show that despite being highly structured, finding the optimal solution is NP-Hard. This motivates our relaxation of the QCQP to a semidefinite program (SDP). The SDP is convex, can be solved reasonably efficiently and comes with both absolute and output-sensitive approximation quality. In addition to theoretical guarantees, we do an extensive comparison of the QCQP method and the SDP relaxation on a variety of synthetic and real world data. Finally, we present two useful extensions: we incorporate kernel methods and computing multiple sets of canonical vectors. △ Less

Submitted 5 February, 2013; originally announced February 2013.

Approximating Local Homology from Samples

Authors: Primoz Skraba, Bei Wang

Abstract: Recently, multi-scale notions of local homology (a variant of persistent homology) have been used to study the local structure of spaces around a given point from a point cloud sample. Current reconstruction guarantees rely on constructing embedded complexes which become difficult in high dimensions. We show that the persistence diagrams used for estimating local homology, can be approximated usin… ▽ More Recently, multi-scale notions of local homology (a variant of persistent homology) have been used to study the local structure of spaces around a given point from a point cloud sample. Current reconstruction guarantees rely on constructing embedded complexes which become difficult in high dimensions. We show that the persistence diagrams used for estimating local homology, can be approximated using families of Vietoris-Rips complexes, whose simple constructions are robust in any dimension. To the best of our knowledge, our results, for the first time, make applications based on local homology, such as stratification learning, feasible in high dimensions. △ Less

Submitted 22 April, 2013; v1 submitted 5 June, 2012; originally announced June 2012.

Comments: 23 pages, 14 figures

A spectral sequence for parallelized persistence

Authors: David Lipsky, Primoz Skraba, Mikael Vejdemo-Johansson

Abstract: We approach the problem of the computation of persistent homology for large datasets by a divide-and-conquer strategy. Dividing the total space into separate but overlap** components, we are able to limit the total memory residency for any part of the computation, while not degrading the overall complexity much. Locally computed persistence information is then merged from the components and thei… ▽ More We approach the problem of the computation of persistent homology for large datasets by a divide-and-conquer strategy. Dividing the total space into separate but overlap** components, we are able to limit the total memory residency for any part of the computation, while not degrading the overall complexity much. Locally computed persistence information is then merged from the components and their intersections using a spectral sequence generalizing the Mayer-Vietoris long exact sequence. We describe the Mayer-Vietoris spectral sequence and give details on how to compute with it. This allows us to merge local homological data into the global persistent homology. Furthermore, we detail how the classical topology constructions inherent in the spectral sequence adapt to a persistence perspective, as well as describe the techniques from computational commutative algebra necessary for this extension. The resulting computational scheme suggests a parallelization scheme, and we discuss the communication steps involved in this scheme. Furthermore, the computational scheme can also serve as a guideline for which parts of the boundary matrix manipulation need to co-exist in primary memory at any given time allowing for stratified memory access in single-core computation. The spectral sequence viewpoint also provides easy proofs of a homology nerve lemma as well as a persistent homology nerve lemma. In addition, the algebraic tools we develop to approch persistent homology provide a purely algebraic formulation of kernel, image and cokernel persistence (D. Cohen-Steiner, H. Edelsbrunner, J. Harer, and D. Morozov. Persistent homology for kernels, images, and cokernels. In Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1011-1020. Society for Industrial and Applied Mathematics, 2009.) △ Less

Submitted 6 December, 2011; originally announced December 2011.

Comments: 15 pages, 10 figures, submitted to the ACM Symposium on Computational Geometry

MSC Class: 55-04; 55T99; 55U10 ACM Class: D.1.3; G.4; I.1.2; J.2