Related papers: Persistent Cost of Lipschitz Maps

The sheaf-function correspondence identifies the group of constructible functions on a real analytic manifold $M$ with the Grothendieck group of constructible sheaves on $M$. When $M$ is a finite dimensional real vector space,…

The Gromov-Hausdorff distance provides a metric on the set of isometry classes of compact metric spaces. Unfortunately, computing this metric directly is believed to be computationally intractable. Motivated by applications in shape…

We study the locus of smooth hypersurfaces inside the Hilbert scheme of a smooth projective complex variety. In the spirit of scanning, we construct a map to a continuous section space of a projective bundle, and show that it induces an…

We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module…

A compact quantum metric space is a unital $C^*$-algebra equipped with a Lip-norm. Let $\{(A_n, L_n)\}$ be a sequence of compact quantum metric spaces, and let $\phi_n:A_n\to A_{n+1}$ be a unital $^*$-homomorphism preserving Lipschitz…

We introduce a new invariant defined on the vertices of a given filtered simplicial complex, called codensity, which controls the impact of removing vertices on persistent homology. We achieve this control through the use of an interleaving…

Recently, $p$-presentation distances for $p\in [1,\infty]$ were introduced for merge trees and multiparameter persistence modules as more sensitive variations of the respective interleaving distances ($p=\infty)$. It is well-known that…

Let $M$ be a complete Riemannian manifold and $F\subset M$ a set with a nonempty interior. For every $x\in M$, let $D_x$ denote the function on $F\times F$ defined by $D_x(y,z)=d(x,y)-d(x,z)$ where $d$ is the geodesic distance in $M$. The…

In this paper we establish several invariant boundary versions of the (infinitesimal) Schwarz-Pick lemma for conformal pseudometrics on the unit disk and for holomorphic selfmaps of strongly convex domains in $\mathbb C^N$ in the spirit of…

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]

Persistence modules serve as the algebraic foundation for topological data analysis, typically studied as representations of posets over a field. This article extends the structural and decomposition theory of persistence modules to the…

Maps that preserve adjacency on the set of all invertible hermitian matrices over a finite field are characterized. It is shown that such maps form a group that is generated by the maps $A\mapsto PAP^{\ast}$, $A\mapsto A^{\sigma}$, and…

An $e^\epsilon$-Lipschitz and co-Lipschitz map, as a metric analogue of an $\epsilon$-Riemannian submersion, naturally arises from a sequence of Alexandrov spaces with curvature uniformly bounded below that converges to a space of only weak…

The theory of persistence modules is an emerging field of algebraic topology which originated in topological data analysis. In these notes we provide a concise introduction into this field and give an account on some of its interactions…

Given a semisimple, compact, connected Lie group G with complexification G^c, we show there is a stable range in the homotopy type of the universal moduli space of flat connections on a principal G-bundle on a closed Riemann surface, and…

We redevelop persistent homology (topological persistence) from a categorical point of view. The main objects of study are diagrams, indexed by the poset of real numbers, in some target category. The set of such diagrams has an interleaving…

A reparametrization (of a continuous path) is given by a surjective weakly increasing self-map of the unit interval. We show that the monoid of reparametrizations (with respect to compositions) can be understood via ``stop-maps'' that allow…

We provide a definition of ephemeral multi-persistent modules and prove that the quotient of persistent modules by the ephemeral ones is equivalent to the category of $\gamma$-sheaves. In the case of one-dimensional persistence, our…

In this paper we discuss the convergence of distances associated to converging structures of Lipschitz vector fields and continuously varying norms on a smooth manifold. We prove that, under a mild controllability assumption on the limit…

We show that both Lusternik-Schnirelmann category and topological complexity are particular cases of a more general notion, that we call homotopic distance between two maps. As a consequence, several properties of those invariants can be…