English
Related papers

Related papers: Computing Persistent Homology within Coq/SSReflect

200 papers

Topological invariants of a dataset, such as the number of holes that survive from one length scale to another (persistent Betti numbers) can be used to analyze and classify data in machine learning applications. We present an improved…

Quantum Physics · Physics 2026-04-15 Sam McArdle , András Gilyén , Mario Berta

A multicomplex structure is defined from an ordered lattice of multigraphs. This structure will help us to observe the features of Persistent Homology in this context, its interaction with the ordering and the repercussions of the process…

Algebraic Topology · Mathematics 2025-02-05 Joaquin Diaz Boils

Persistent (co)homology is a central construction in topological data analysis, where it is used to quantify prominence of features in data to produce stable descriptors suitable for downstream analysis. Persistence is challenging to…

Computational Geometry · Computer Science 2024-10-23 Arnur Nigmetov , Dmitriy Morozov

Computational topology provides a tool, persistent homology, to extract quantitative descriptors from structured objects (images, graphs, point clouds, etc). These descriptors can then be involved in optimization problems, typically as a…

Computational Geometry · Computer Science 2026-03-27 Mathieu Carriere , Yuichi Ike , Théo Lacombe , Naoki Nishikawa

Zigzag persistent homology is a powerful generalisation of persistent homology that allows one not only to compute persistence diagrams with less noise and using less memory, but also to use persistence in new fields of application.…

Computational Geometry · Computer Science 2016-08-23 Clément Maria , Steve Oudot

Persistent Homology is a fairly new branch of Computational Topology which combines geometry and topology for an effective shape description of use in Pattern Recognition. In particular it registers through "Betti Numbers" the presence of…

Quantitative Methods · Quantitative Biology 2016-06-01 Massimo Ferri , Ivan Tomba , Andrea Visotti , Ignazio Stanganelli

We propose a refinement of the Betti numbers and of the homology with coefficients in a field of a compact ANR in the presence of a continuous real valued function. The refinement of Betti numbers consists of finite configurations of points…

Algebraic Topology · Mathematics 2018-03-16 Dan Burghelea

We describe and analyze a numerical algorithm for computing the homology (Betti numbers and torsion coefficients) of real projective varieties. Here numerical means that the algorithm is numerically stable (in a sense to be made precise).…

Algebraic Geometry · Mathematics 2017-05-16 Felipe Cucker , Teresa Krick , Michael Shub

Biomolecular structure comparison not only reveals evolutionary relationships, but also sheds light on biological functional properties. However, traditional definitions of structure or sequence similarity always involve superposition or…

Quantitative Methods · Quantitative Biology 2017-07-13 Kelin Xia

We introduce several new quantum algorithms for estimating homological invariants, specifically Betti numbers and persistent Betti numbers, of a simplicial complex given via a structured classical input. At the core of our algorithm lies…

Quantum Physics · Physics 2026-04-28 Nhat A. Nghiem

Computational topology has recently known an important development toward data analysis, giving birth to the field of topological data analysis. Topological persistence, or persistent homology, appears as a fundamental tool in this field.…

Statistics Theory · Mathematics 2013-05-28 Frédéric Chazal , Marc Glisse , Catherine Labruère , Bertrand Michel

Persistent homology is a popular and powerful tool for capturing topological features of data. Advances in algorithms for computing persistent homology have reduced the computation time drastically -- as long as the algorithm does not…

Computational Geometry · Computer Science 2013-10-03 Ulrich Bauer , Michael Kerber , Jan Reininghaus

Persistent homology is a tool that can be employed to summarize the shape of data by quantifying homological features. When the data is an object in $\mathbb{R}^d$, the (augmented) persistent homology transform ((A)PHT) is a family of…

Computational Geometry · Computer Science 2022-12-27 Brittany Terese Fasy , Samuel Micka , David L. Millman , Anna Schenfisch , Lucia Williams

Widely employed in cognitive psychology, Gestalt theory elucidates basic principles in visual perception. However, the Gestalt principles are validated mainly by psychological experiments, lacking quantitative research supports and…

Computational Geometry · Computer Science 2024-12-05 Yu Chen , Hongwei Lin , Jiacong Yan

Persistent homology and persistent entropy have recently become useful tools for patter recognition. In this paper, we find requirements under which persistent entropy is stable to small perturbations in the input data and scale invariant.…

Information Theory · Computer Science 2020-06-22 N. Atienza , R. Gonzalez-Diaz , M. Soriano-Trigueros

Persistent homology is a topological feature used in a variety of applications such as generating features for data analysis and penalizing optimization problems. We develop an approach to accelerate persistent homology computations…

Algebraic Topology · Mathematics 2023-01-19 Yuan Luo , Bradley J. Nelson

Persistent homology is an important methodology in topological data analysis which adapts theory from algebraic topology to data settings. Computing persistent homology produces persistence diagrams, which have been successfully used in…

Machine Learning · Statistics 2026-01-13 Yueqi Cao , Anthea Monod

Persistent homology is a method for probing topological properties of point clouds and functions. The method involves tracking the birth and death of topological features (2000) as one varies a tuning parameter. Features with short…

Persistent homology is a central methodology in topological data analysis that has been successfully implemented in many fields and is becoming increasingly popular and relevant. The output of persistent homology is a persistence diagram --…

Statistics Theory · Mathematics 2024-04-24 Konstantin Häberle , Barbara Bravi , Anthea Monod

This paper is a survey of persistent homology, primarily as it is used in topological data analysis. It includes the theory of persistence modules, as well as stability theorems for persistence barcodes, generalized persistence,…

Algebraic Topology · Mathematics 2020-04-03 Gunnar Carlsson