Showing 1–7 of 7 results for author: Leygonie, J

Fibers of point cloud persistence

Authors: David Beers, Heather A Harrington, Jacob Leygonie, Uzu Lim, Louis Theran

Abstract: Persistent homology (PH) studies the topology of data across multiple scales by building nested collections of topological spaces called filtrations, computing homology and returning an algebraic object that can be vizualised as a barcode--a multiset of intervals. The barcode is stable and interpretable, leading to applications within mathematics and data science. We study the spaces of point clou… ▽ More Persistent homology (PH) studies the topology of data across multiple scales by building nested collections of topological spaces called filtrations, computing homology and returning an algebraic object that can be vizualised as a barcode--a multiset of intervals. The barcode is stable and interpretable, leading to applications within mathematics and data science. We study the spaces of point clouds with the same barcode by connecting persistence with real algebraic geometry and rigidity theory. Utilizing a semi-algebraic setup of point cloud persistence, we give lower and upper bounds on its dimension and provide combinatorial conditions in terms of the local and global rigidity properties of graphs associated with point clouds and filtrations. We prove that for generic point clouds in $\mathbb{R}^d$ ($d \geq 2$), a point cloud is identifiable up to isometry from its VR persistence if the associated graph is globally rigid, and locally identifiable up to isometry from its Čech persistence if the associated hypergraph is rigid. △ Less

Submitted 12 November, 2024; originally announced November 2024.

Comments: 33 pages, 8 figures

The fiber of persistent homology for trees

Authors: David Beers, Jacob Leygonie

Abstract: Consider the space of continuous functions on a geometric tree $X$ whose persistent homology gives rise to a finite generic barcode $D$. We show that there are exactly as many path connected components in this space as there are merge trees whose barcode is $D$. We find that each component is homotopy equivalent to a configuration space on $X$ with specialized constraints encoded by the merge tree… ▽ More Consider the space of continuous functions on a geometric tree $X$ whose persistent homology gives rise to a finite generic barcode $D$. We show that there are exactly as many path connected components in this space as there are merge trees whose barcode is $D$. We find that each component is homotopy equivalent to a configuration space on $X$ with specialized constraints encoded by the merge tree. For barcodes $D$ with either one or two intervals, our method also allows us to compute the homotopy type of this space of functions. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Algorithmic Reconstruction of the Fiber of Persistent Homology on Cell Complexes

Authors: Jacob Leygonie, Gregory Henselman-Petrusek

Abstract: Let $K$ be a finite simplicial, cubical, delta or CW complex. The persistence map $\mathrm{PH}$ takes a filter $f:K \rightarrow \mathbb{R}$ as input and returns the barcodes $\mathrm{PH}(f)$ of the associated sublevel set persistent homology modules. We address the inverse problem: given a target barcode $D$, computing the fiber $\mathrm{PH}^{-1}(D)$. For this, we use the fact that… ▽ More Let $K$ be a finite simplicial, cubical, delta or CW complex. The persistence map $\mathrm{PH}$ takes a filter $f:K \rightarrow \mathbb{R}$ as input and returns the barcodes $\mathrm{PH}(f)$ of the associated sublevel set persistent homology modules. We address the inverse problem: given a target barcode $D$, computing the fiber $\mathrm{PH}^{-1}(D)$. For this, we use the fact that $\mathrm{PH}^{-1}(D)$ decomposes as complex of polyhedra when $K$ is a simplicial complex, and we generalise this result to arbitrary based chain complexes. We then design and implement a depth first search algorithm that recovers the polyhedra forming the fiber $\mathrm{PH}^{-1}(D)$. As an application, we solve a corpus of 120 sample problems, providing a first insight into the statistical structure of these fibers, for general CW complexes. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Comments: 22 pages. 15 figures

A Gradient Sampling Algorithm for Stratified Maps with Applications to Topological Data Analysis

Authors: Jacob Leygonie, Mathieu Carrière, Théo Lacombe, Steve Oudot

Abstract: We introduce a novel gradient descent algorithm extending the well-known Gradient Sampling methodology to the class of stratifiably smooth objective functions, which are defined as locally Lipschitz functions that are smooth on some regular pieces-called the strata-of the ambient Euclidean space. For this class of functions, our algorithm achieves a sub-linear convergence rate. We then apply our m… ▽ More We introduce a novel gradient descent algorithm extending the well-known Gradient Sampling methodology to the class of stratifiably smooth objective functions, which are defined as locally Lipschitz functions that are smooth on some regular pieces-called the strata-of the ambient Euclidean space. For this class of functions, our algorithm achieves a sub-linear convergence rate. We then apply our method to objective functions based on the (extended) persistent homology map computed over lower-star filters, which is a central tool of Topological Data Analysis. For this, we propose an efficient exploration of the corresponding stratification by using the Cayley graph of the permutation group. Finally, we provide benchmark and novel topological optimization problems, in order to demonstrate the utility and applicability of our framework. △ Less

Submitted 3 September, 2021; v1 submitted 1 September, 2021; originally announced September 2021.

Fiber of Persistent Homology on Morse functions

Authors: Jacob Leygonie, David Beers

Abstract: Let $f$ be a Morse function on a smooth compact manifold $M$ with boundary. The path component $\mathrm{PH}_f^{-1}(D)$ containing $f$ of the space of Morse functions giving rise to the same Persistent Homology $D=\mathrm{PH}(f))$ is shown to be the same as the orbit of $f$ under pre-composition $φ\mapsto f\circ φ$ by diffeomorphisms of $M$ which are isotopic to the identity. Consequently we derive… ▽ More Let $f$ be a Morse function on a smooth compact manifold $M$ with boundary. The path component $\mathrm{PH}_f^{-1}(D)$ containing $f$ of the space of Morse functions giving rise to the same Persistent Homology $D=\mathrm{PH}(f))$ is shown to be the same as the orbit of $f$ under pre-composition $φ\mapsto f\circ φ$ by diffeomorphisms of $M$ which are isotopic to the identity. Consequently we derive topological properties of the fiber $\mathrm{PH}_f^{-1}(D)$: In particular we compute its homotopy type for many compact surfaces $M$. In the $1$-dimensional settings where $M$ is the unit interval or the circle we extend the analysis to continuous functions and show that the fibers are made of contractible and circular components respectively. △ Less

Submitted 11 November, 2022; v1 submitted 17 August, 2021; originally announced August 2021.

Comments: Version accepted in the Journal of Applied and Computational Topology

The Fiber of Persistent Homology for simplicial complexes

Authors: Jacob Leygonie, Ulrike Tillmann

Abstract: We study the inverse problem for persistent homology: For a fixed simplicial complex $K$, we analyse the fiber of the continuous map $\mathrm{PH}$ on the space of filters that assigns to a filter $f: K \to \mathbb R$ the total barcode of its associated sublevel set filtration of $K$. We find that $\mathrm{PH}$ is best understood as a map of stratified spaces. Over each stratum of the barcode space… ▽ More We study the inverse problem for persistent homology: For a fixed simplicial complex $K$, we analyse the fiber of the continuous map $\mathrm{PH}$ on the space of filters that assigns to a filter $f: K \to \mathbb R$ the total barcode of its associated sublevel set filtration of $K$. We find that $\mathrm{PH}$ is best understood as a map of stratified spaces. Over each stratum of the barcode space, the map $\mathrm{PH}$ restricts to a (trivial) fiber bundle with fiber a polyhedral complex. Amongst other we derive a bound for the dimension of the fiber depending on the number of distinct endpoints in the barcode. Furthermore, taking the inverse image $\mathrm{PH}^{-1}$ can be extended to a monodromy functor on the (entrance path) category of barcodes. We demonstrate our theory on the example of the simplicial triangle giving a complete description of all fibers and monodromy maps. This example is rich enough to have a Möbius band as one of its fibers. △ Less

Submitted 10 April, 2022; v1 submitted 3 April, 2021; originally announced April 2021.

Comments: 40 pages, 17 Figures. This version was accepted in the Journal of Pure and Applied Algebra and includes revisions suggested by the reviewer

A Framework for Differential Calculus on Persistence Barcodes

Authors: Jacob Leygonie, Steve Oudot, Ulrike Tillmann

Abstract: We define notions of differentiability for maps from and to the space of persistence barcodes. Inspired by the theory of diffeological spaces, the proposed framework uses lifts to the space of ordered barcodes, from which derivatives can be computed. The two derived notions of differentiability (respectively from and to the space of barcodes) combine together naturally to produce a chain rule that… ▽ More We define notions of differentiability for maps from and to the space of persistence barcodes. Inspired by the theory of diffeological spaces, the proposed framework uses lifts to the space of ordered barcodes, from which derivatives can be computed. The two derived notions of differentiability (respectively from and to the space of barcodes) combine together naturally to produce a chain rule that enables the use of gradient descent for objective functions factoring through the space of barcodes. We illustrate the versatility of this framework by showing how it can be used to analyze the smoothness of various parametrized families of filtrations arising in topological data analysis. △ Less

Submitted 4 May, 2021; v1 submitted 2 October, 2019; originally announced October 2019.

Comments: This is the version accepted for publication in the journal Foundations of Computational Mathematics, which includes the minor revisions suggested by the reviewers