Theory of interleavings on categories with a flow

zbMATH Open1433.18002arXiv1706.04095MaRDI QIDQ4563245FDOQ4563245

Authors: Vin de Silva, Elizabeth Munch, Anastasios Stefanou 

Publication date: 7 June 2018

Abstract: The interleaving distance was originally defined in the field of Topological Data Analysis (TDA) by Chazal et al. as a metric on the class of persistence modules parametrized over the real line. Bubenik et al. subsequently extended the definition to categories of functors on a poset, the objects in these categories being regarded as `generalized persistence modules'. These metrics typically depend on the choice of a lax semigroup of endomorphisms of the poset. The purpose of the present paper is to develop a more general framework for the notion of interleaving distance using the theory of `actegories'. Specifically, we extend the notion of interleaving distance to arbitrary categories equipped with a flow, i.e. a lax monoidal action by the monoid $[0,infty)$. In this way, the class of objects in such a category acquires the structure of a Lawvere metric space. Functors that are colax $[0,infty)$-equivariant yield maps that are $1$-Lipschitz. This leads to concise proofs of various known stability results from TDA, by considering appropriate colax $[0,infty)$-equivariant functors. Along the way, we show that several common metrics, including the Hausdorff distance and the $L^{infty}$-norm, can be realized as interleaving distances in this general perspective.

Full work available at URL: https://arxiv.org/abs/1706.04095

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• FACTORIZATION OF FLOWS AND COMPLETENESS OF CATEGORIES
• Interpolation categories for homology theories
• scientific article; zbMATH DE number 2200187
• A calculus for flow categories
• Interpolations of monoidal categories and algebraic structures by invariant theory
• Elements of \(\infty\)-category theory
• Flows revisited: the model category structure and its left determinedness
• Flow equivalence of diagram categories and Leavitt path algebras
• Cartesian integral categories and contextual integral categories
• Involutive category theory

zbMATH Keywords

persistent homologytopological data analysiscategory theoryinterleaving distanceLawvere metric spaces

Mathematics Subject Classification ID

Singular homology and cohomology theory (55N10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20) Monoidal categories, symmetric monoidal categories (18M05) 2-categories, bicategories, double categories (18N10) Actions of a monoidal category, tensorial strength (18D25)

Cites Work

• The structure and stability of persistence modules
• Computational topology. An introduction
• Stability of persistence diagrams
• Topological persistence and simplification
• Categorification of persistent homology
• Proximity of persistence modules and their diagrams
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to bicategories
• A note on actions of a monoidal category
• Categorified Reeb graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Metrics for generalized persistence modules
• Induced matchings of barcodes and the algebraic stability of persistence
• Basic Category Theory
• The theory of the interleaving distance on multidimensional persistence modules
• Theory of interleavings on categories with a flow
• Tree decomposition of Reeb graphs, parametrized complexity, and applications to phylogenetics

Cited In (18)

• \(A_\infty\) persistent homology estimates detailed topology from pointcloud datasets
• Realizable piecewise linear paths of persistence diagrams with Reeb graphs
• Exact weights, path metrics, and algebraic Wasserstein distances
• FACTORIZATION OF FLOWS AND COMPLETENESS OF CATEGORIES
• Universality of the homotopy interleaving distance
• Steady and ranging sets in graph persistence
• Interleaving by parts: join decompositions of interleavings and join-assemblage of geodesics
• Generalized persistence diagrams
• The fiber of the persistence map for functions on the interval
• Categorification of persistent homology
• Evolutionary homology on coupled dynamical systems with applications to protein flexibility analysis
• Topological spaces of persistence modules and their properties
• Thickening of the diagonal and interleaving distance
• Ladder decomposition for morphisms of persistence modules
• Theory of interleavings on categories with a flow
• Ephemeral persistence modules and distance comparison
• Decorated merge trees for persistent topology
• Interleavings and matchings as representations

This page was built for publication: Theory of interleavings on categories with a flow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4563245)