Sequents, barcodes, and homology
Algebraic Topology
2022-08-03 v1 Computational Geometry
Databases
Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.2208.01450,
title = {Sequents, barcodes, and homology},
author = {Saugata Basu and Negin Karisani and Laxmi Parida},
journal= {arXiv preprint arXiv:2208.01450},
year = {2022}
}
Comments
26 pages, 10 figures