Sequents, barcodes, and homology

08/02/2022
by   Saugata Basu, et al.
0

We consider the problem of generating hypothesis from data based on ideas from logic. We introduce a notion of barcodes, which we call sequent barcodes, that mirrors the barcodes in persistent homology theory in topological data analysis. We prove a theoretical result on the stability of these barcodes in analogy with similar results in persistent homology theory. Additionally we show that our new notion of barcodes can be interpreted in terms of a persistent homology of a particular filtration of topological spaces induced by the data. Finally, we discuss a concrete application of the sequent barcodes in a discovery problem arising from the area of cancer genomics.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/31/2019

A Primer on Persistent Homology of Finite Metric Spaces

TDA (topological data analysis) is a relatively new area of research rel...
research
08/11/2021

Accelerating Iterated Persistent Homology Computations with Warm Starts

Persistent homology is a topological feature used in a variety of applic...
research
08/03/2019

Topological Interpretation of Interactive Computation

It is a great pleasure to write this tribute in honor of Scott A. Smolka...
research
01/21/2020

Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The Filling Radius

In the applied algebraic topology community, the persistent homology ind...
research
11/25/2019

Persistent and Zigzag Homology: A Matrix Factorization Viewpoint

Over the past two decades, topological data analysis has emerged as a yo...
research
09/29/2020

Topological feature study of slope failure process via persistent homology-based machine learning

Using software UDEC to simulate the instability failure process of slope...
research
11/13/2019

Coarse-Refinement Dilemma: On Generalization Bounds for Data Clustering

The Data Clustering (DC) problem is of central importance for the area o...

Please sign up or login with your details

Forgot password? Click here to reset