English
Related papers

Related papers: Barcoding Invariants and Their Equivalent Discrimi…

200 papers

Software verification has emerged as a key concern for ensuring the continued progress of information technology. Full verification generally requires, as a crucial step, equipping each loop with a "loop invariant". Beyond their role in…

Software Engineering · Computer Science 2014-01-14 Carlo A. Furia , Bertrand Meyer , Sergey Velder

Persistent homology has become an important tool for extracting geometric and topological features from data, whose multi-scale features are summarized in a persistence diagram. From a statistical perspective, however, persistence diagrams…

Statistics Theory · Mathematics 2022-06-07 Siddharth Vishwanath , Kenji Fukumizu , Satoshi Kuriki , Bharath Sriperumbudur

In the theory of persistent homology, a well known duality relates the barcodes of the absolute homology and relative cohomology of a one-parameter simplicial filtration. Motivated by the problem of computing free presentations of the…

Commutative Algebra · Mathematics 2026-03-20 Ulrich Bauer , Fabian Lenzen , Michael Lesnick

We introduce two novel concepts, topological difference and topological correlation, that offer a new perspective on the discriminative power of multiparameter persistence. The former quantifies the discrepancy between multiparameter and…

Algebraic Topology · Mathematics 2025-06-23 Isabella Mastroianni , Ulderico Fugacci

Graphcodes were recently introduced as a technique to employ two-parameter persistence modules in machine learning tasks (Kerber and Russold, NeurIPS 2024). We show in this work that a compressed version of graphcodes yields a description…

Algebraic Topology · Mathematics 2025-03-11 Michael Kerber , Florian Russold

Persistent homology has been widely used to discover hidden topological structures in data across various applications, including music data. To apply persistent homology, a distance or metric must be defined between points in a point cloud…

Sound · Computer Science 2025-12-15 Eunwoo Heo , Byeongchan Choi , Myung ock Kim , Mai Lan Tran , Jae-Hun Jung

This paper measures variation in embedding spaces which have been trained on different regional varieties of English while controlling for instability in the embeddings. While previous work has shown that it is possible to distinguish…

Computation and Language · Computer Science 2023-03-28 Jonathan Dunn

We introduce graphcodes, a novel multi-scale summary of the topological properties of a dataset that is based on the well-established theory of persistent homology. Graphcodes handle datasets that are filtered along two real-valued scale…

Algebraic Topology · Mathematics 2024-05-24 Michael Kerber , Florian Russold

Persistent cycles, especially the minimal ones, are useful geometric features functioning as augmentations for the intervals in a purely topological persistence diagram (also termed as barcode). In our earlier work, we showed that computing…

Computational Geometry · Computer Science 2020-02-18 Tamal K. Dey , Tao Hou , Sayan Mandal

Barcodes are ubiquitous and have been used in most of critical daily activities for decades. However, most of traditional decoders require well-founded barcode under a relatively standard condition. While wilder conditioned barcodes such as…

Computer Vision and Pattern Recognition · Computer Science 2021-06-29 Thao Do , Yalew Tolcha , Tae Joon Jun , Daeyoung Kim

Persistent homology was shown by Carlsson and Zomorodian to be homology of graded chain complexes with coefficients in the graded ring $\kk[t]$. As such, the behavior of persistence modules -- graded modules over $\kk[t]$ is an important…

Computational Geometry · Computer Science 2013-02-18 Primoz Skraba , Mikael Vejdemo-Johansson

Persistence diagrams, which summarize the birth and death of homological features extracted from data, are employed as stable signatures for applications in image analysis and other areas. Besides simply considering the multiset of…

Computational Geometry · Computer Science 2018-10-16 Tamal K. Dey , Tao Hou , Sayan Mandal

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…

Algebraic Topology · Mathematics 2023-03-29 David Beers , Jacob Leygonie

Fractional graph isomorphism is the linear relaxation of an integer programming formulation of graph isomorphism. It preserves some invariants of graphs, like degree sequences and equitable partitions, but it does not preserve others like…

Combinatorics · Mathematics 2020-08-20 Flavia Bonomo-Braberman , Dora Tilli

In this note one shows that the four persistence diagrams and measures defined in [5] are particular cases of the maps and the measures discussed in [2] and [1]

Algebraic Topology · Mathematics 2019-04-16 Dan Burghelea

Despite the remarkable capabilities of Multimodal Large Language Models (MLLMs), they still suffer from visual fading in long-context scenarios. Specifically, the attention to visual tokens diminishes as the text sequence lengthens, leading…

Computer Vision and Pattern Recognition · Computer Science 2026-03-12 Lin Chen , Bolin Ni , Qi Yang , Zili Wang , Kun Ding , Ying Wang , Houwen Peng , Shiming Xiang

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

Topological data analysis is becoming increasingly relevant to support the analysis of unstructured data sets. A common assumption in data analysis is that the data set is a sample---not necessarily a uniform one---of some high-dimensional…

Algebraic Topology · Mathematics 2021-01-20 Bastian Rieck , Markus Banagl , Filip Sadlo , Heike Leitte

The study of homological invariants such as Tor, Ext and local cohomology modules constitutes an important direction in commutative algebra. Explicit descriptions of these invariants are notoriously difficult to find and often involve…

Commutative Algebra · Mathematics 2017-12-29 Claudiu Raicu

Computing persistence over changing filtrations give rise to a stack of 2D persistence diagrams where the birth-death points are connected by the so-called `vines'. We consider computing these vines over changing filtrations for zigzag…

Computational Geometry · Computer Science 2022-08-03 Tamal K. Dey , Tao Hou