English
Related papers

Related papers: Computing Persistent Homology within Coq/SSReflect

200 papers

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…

Computational Geometry · Computer Science 2025-02-19 Peter Bubenik , Michael Hull , Dhruv Patel , Benjamin Whittle

We characterize structures such as monotonicity, convexity, and modality in smooth regression curves using persistent homology. Persistent homology is a key tool in topological data analysis that detects higher-dimensional topological…

Algebraic Topology · Mathematics 2025-10-28 Satish Kumar , Subhra Sankar Dhar

We extend the methods developed in our earlier work to algorithmically compute the intersection cohomology Betti numbers of reductive varieties. These form a class of highly symmetric varieties that includes equivariant compactifications of…

Algebraic Geometry · Mathematics 2007-05-23 Michel Brion , Roy Joshua

One-dimensional persistent homology is arguably the most important and heavily used computational tool in topological data analysis. Additional information can be extracted from datasets by studying multi-dimensional persistence modules and…

Algebraic Topology · Mathematics 2023-08-31 Facundo Mémoli , Anastasios Stefanou , Ling Zhou

Persistent homology is a widely used tool in Topological Data Analysis that encodes multiscale topological information as a multi-set of points in the plane called a persistence diagram. It is difficult to apply statistical theory directly…

Statistics Theory · Mathematics 2013-12-03 Frédéric Chazal , Brittany Terese Fasy , Fabrizio Lecci , Alessandro Rinaldo , Larry Wasserman

A persistence diagram provides a compact summary of persistent homology, which captures the topological features of a space at different scales. However, due to its nature as a set, incorporating it as a feature into a machine learning…

Machine Learning · Computer Science 2024-11-15 Sehun Kim

Persistent homology has recently emerged as a powerful technique in topological data analysis for analyzing the emergence and disappearance of topological features throughout a filtered space, shown via persistence diagrams. Additionally,…

Algebraic Topology · Mathematics 2016-12-16 Nicholas A. Scoville , Karthik Yegnesh

We introduce and investigate notions of persistent homology for p-groups and for coclass trees of p-groups. Using computer techniques we show that persistent homology provides fairly strong homological invariants for p-groups of order at…

Group Theory · Mathematics 2012-10-25 Graham Ellis , Simon A. King

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…

Rings and Algebras · Mathematics 2014-02-03 Primož Škraba , João Pita Costa

Persistent homology provides a robust methodology to infer topological structures from point cloud data. Here we explore the persistent homology of point clouds embedded into a probabilistic setting, exploiting the theory of point…

Probability · Mathematics 2023-08-07 Daniel Spitz , Anna Wienhard

We introduce a novel set of observables associated to the rapidly developing field of persistent homology for the quantitative characterization of nuclear collisions and their evolution. Persistent homology allows for the identification of…

Nuclear Theory · Physics 2023-01-04 Greg Hamilton , Travis Dore , Christopher Plumberg

Developing an algorithm for computing the Betti numbers of semi-algebraic sets with singly exponential complexity has been a holy grail in algorithmic semi-algebraic geometry and only partial results are known. In this paper we consider the…

Algebraic Topology · Mathematics 2022-07-22 Saugata Basu , Negin Karisani

A potential advantage of quantum machine learning stems from the ability of encoding classical data into high dimensional complex Hilbert space using quantum circuits. Recent studies exhibit that not all encoding methods are the same when…

Quantum Physics · Physics 2024-01-24 Andrew Vlasic , Anh Pham

Persistent homology is a relatively new tool often used for \emph{qualitative} analysis of intrinsic topological features in images and data originated from scientific and engineering applications. In this paper, we report novel…

Biomolecules · Quantitative Biology 2014-12-09 Kelin Xia , Xin Feng , Yiying Tong , Guo Wei We

We discuss the algebra behind the matrix reduction algorithm for persistent homology, as presented in the paper ''Computing Persistent Homology'' by Afra Zomorodian and Gunnar Carlsson, in the lens of the more modern characterization of…

Algebraic Topology · Mathematics 2024-08-16 Jason Ranoa

Persistent homology is a popular and useful tool for analysing finite metric spaces, revealing features that can be used to distinguish sets of unlabeled points and as input into machine learning pipelines. The famous stability theorem of…

Computational Geometry · Computer Science 2024-05-10 Philip Smith , Vitaliy Kurlin

We propose a novel method for topological analysis of unweighted graphs which is based on \textit{persistent homology}. The proposed method maps the input graph to a complete weighted graph where the weighting function maps each edge to a…

Algebraic Topology · Mathematics 2020-07-31 Padraig Corcoran

This technical report introduces a novel approach to efficient computation in homological algebra over fields, with particular emphasis on computing the persistent homology of a filtered topological cell complex. The algorithms here…

Algebraic Topology · Mathematics 2017-10-18 Gregory Henselman , Robert Ghrist

In this paper, three Computational Topology methods (namely effective homology, persistent homology and discrete vector fields) are mixed together to produce algorithms for homological digital image processing. The algorithms have been…

Computer Vision and Pattern Recognition · Computer Science 2014-12-22 Ana Romero , Julio Rubio , Francis Sergeraert

We propose a functorial framework for persistent homology based on finite topological spaces and their associated posets. Starting from a finite metric space, we associate a filtration of finite topologies whose structure maps are…

Algebraic Topology · Mathematics 2026-02-24 Selçuk Kayacan
‹ Prev 1 4 5 6 7 8 10 Next ›