Related papers: Metric spaces and homotopy types

Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors),…

Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent…

We introduce the concept of weighted persistence diagrams and develop a functorial pipeline for constructing them from finite metric measure spaces. This builds upon an existing functorial framework for generating classical persistence…

It is proved that for every stratifiable space $Y$ and a closed subset $X\subset Y$ there exists a regular (i.e. linear positive with unit norm) extension operator $T:C(X\times X)\to C(Y\times Y)$ preserving the class of (pseudo)metrics.…

Persistence diagrams are objects that play a central role in topological data analysis. In the present article, we investigate the local and global geometric properties of spaces of persistence diagrams. In order to do this, we construct a…

Given a sample $Y$ from an unknown manifold $X$ embedded in Euclidean space, it is possible to recover the homology groups of $X$ by building a Vietoris--Rips or \v{C}ech simplicial complex on top of the vertex set $Y$. However, these…

In this document, we propose a bridge between the graphs and the geometric realizations of their Vietoris Rips complexes, i.e. Graphs, with their canonical \v{C}ech closure structure, have the same homotopy type that the realization of…

Selective Rips complexes corresponding to a sequence of parameters are a generalization of Vietoris-Rips complexes utilizing the idea of thin simplices. We prove that if a metric space $Y$ is close (in Gromov-Hausdorff distance) to a closed…

We introduce a new `geometric realization' of an (abstract) simplicial complex, inspired by probability theory. This space (and its completion) is a metric space, which has the right (weak) homotopy type, and which can be compared with the…

Let $p\in[1,\infty]$ and $F:\mathbf{Set}\to\mathbf{Set}$ be a functor with finite supports in the category $\mathbf{Set}$ of sets. Given a non-empty metric space $(X,d_X)$, we introduce the distance $d^p_{FX}$ on the functor-space $FX$ as…

We prove analogues of classical results for higher homotopy groups and singular homology groups of pseudotopological spaces. Pseudotopological spaces are a generalization of (\v{C}ech) closure spaces which are in turn a generalization of…

Let $\mathcal{E}(X)$ be the group of homotopy classes of self homotopy equivalences for a connected CW complex $X$. We observe two classes of maps $\mathcal{E}$-maps and co-$\mathcal{E}$-maps. They are defined as the maps $X\to Y$ that…

We interpret a construction of geometric realisation by [Besser], [Grayson], and [Drinfeld] of a simplicial set as constructing a space of maps from the interval to a simplicial set, in a certain formal sense, reminiscent of the Skorokhod…

We study the concepts of the $\ell_p$-Vietoris-Rips simplicial set and the $\ell_p$-Vietoris-Rips complex of a metric space, where $1\leq p \leq \infty.$ This theory unifies two established theories: for $p=\infty,$ this is the classical…

A standard way of approximating or discretizing a metric space is by taking its Rips complexes. These approximations for all parameters are often bound together into a filtration, to which we apply the fundamental group or the first…

Many simplicial complexes arising in practice have an associated metric space structure on the vertex set but not on the complex, e.g. the Vietoris-Rips complex in applied topology. We formalize a remedy by introducing a category of…

In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of…

Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…

For a fixed $N$, we analyze the space of all sequences $z=(z_1,\dots,z_N)$, approximating a continuous function on the circle, with a given persistence diagram $P$, and show that the typical components of this space are homotopy equivalent…

A $1$-Lipschitz map between compact metric spaces $f\colon X\to Y$ induces a homomorphism of persistence modules on degree-$d$ Vietoris--Rips persistent homology. We define the persistent cost of $f$ from this induced homomorphism by…