Related papers: Persistent Leray's spectral sequence

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 introduce a consistent estimator for the homology (an algebraic structure representing connected components and cycles) of level sets of both density and regression functions. Our method is based on kernel estimation. We apply this…

We demonstrate how to use persistent homology for cosmological parameter inference in a tomographic cosmic shear survey. We obtain the first cosmological parameter constraints from persistent homology by applying our method to the…

We extend the persistence algorithm, viewed as an algorithm computing the homology of a complex of free persistence or graded modules, to complexes of modules that are not free. We replace persistence modules by their presentations and…

We compute the smooth Poisson cohomology of the linear Poisson structure associated with the Lie algebra $\mathfrak{sl}_2^*(\mathbb{R})$.

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…

In this paper, we construct a seven-term exact sequence involving the cohomology groups of a group extension. Although the existence of such a sequence can be derived using spectral sequence arguments, there is little knowledge about some…

Let X be a space and write LX for its free loop space equipped with the action of the circle group T given by dilation. We compute the equivariant cohomology H^*(LX_hT; Z/p) as a module over H^*(BT; Z/p) when X=CP^r for any positive integer…

In this paper we present the notion of de Rham cohomology with compact support for diffeological spaces. Moreover we shall discuss the existence of three long exact sequences. As a concrete example, we show that long exact sequences exist…

The aim of this short note is to develop a (co)homology theory for topological spaces together with the specialisation preorder. A known way to construct such a (co)homology is to define a partial order on the topological space starting…

We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes…

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…

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…

In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…

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…

Let $X$ be any subanalytic compact pseudomanifold. We show a De Rham theorem for $L^\infty$ forms. We prove that the cohomology of $L^\infty$ forms is isomorphic to intersection cohomology in the maximal perversity.

We introduce a new spectral sequence called the p-chain spectral sequence which converges to the (co-)homology of a contravariant C-space with coefficients in a covariant C-spectrum for a small category C. It is different from the…

Studies the cohomology of p-central, powerful, p-groups with a certain extension property. These groups are naturally associated to Lie algebras. The paper develops a machinery that calculates the first few terms of the Bockstein spectral…

0-dimensional persistent homology is known, from a computational point of view, as the easy case. Indeed, given a list of $n$ edges in non-decreasing order of filtration value, one only needs a union-find data structure to keep track of the…

A spectral sequence is defined which converges to the \v{C}ech cohomology of the Euclidean hull of a tiling of the plane with Euclidean finite local complexity. The terms of the second page are determined by the so-called ePE homology and…