Skip to main content

Algebraic Homotopy Interleaving Distance

  • Conference paper
  • First Online:
Book cover Geometric Science of Information (GSI 2021)

Part of the book series: Lecture Notes in Computer Science ((LNIP,volume 12829))

Included in the following conference series:

Abstract

The theory of persistence, which arises from topological data analysis, has been intensively studied in the one-parameter case both theoretically and in its applications. However, its extension to the multi-parameter case raises numerous difficulties, where it has been proven that no barcode-like decomposition exists. To tackle this problem, algebraic invariants have been proposed to summarize multi-parameter persistence modules, adapting classical ideas from commutative algebra and algebraic geometry to this context. Nevertheless, the crucial question of their stability has raised little attention so far, and many of the proposed invariants do not satisfy a naive form of stability.

In this paper, we equip the homotopy and the derived category of multi-parameter persistence modules with an appropriate interleaving distance. We prove that resolution functors are always isometric with respect to this distance. As an application, this explains why the graded-Betti numbers of a persistence module do not satisfy a naive form of stability. This opens the door to performing homological algebra operations while keeping track of stability. We believe this approach can lead to the definition of new stable invariants for multi-parameter persistence, and to new computable lower bounds for the interleaving distance (which has been recently shown to be NP-hard to compute in [2]).

Supported by Innosuisse grant 45665.1 IP-ICT.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Where \(F_a^{\oplus \xi (F)(a)}\) is the direct sum of \(\xi (F)(a)\) copies of \(F_a\).

References

  1. Bjerkevik, H.B.: Stability of higher-dimensional interval decomposable persistence modules (2016)

    Google Scholar 

  2. Bjerkevik, H.B., Botnan, M.B., Kerber, M.: Computing the interleaving distance is NP-hard. In: Foundations of Computational Mathematics (2018)

    Google Scholar 

  3. Blumberg, A.J., Lesnick, M.: Universality of the homotopy interleaving distance (2017)

    Google Scholar 

  4. Carlsson, G.: Zomorodian. The theory of multidimensional persistence. Discrete and Computational Geometry, Afra (2009)

    Google Scholar 

  5. Chacholski, W., Scolamiero, M., Vaccarino, F.: Combinatorial presentation of multidimensional persistent homology. J. Pure Appl. Algebra 221, 1055–1075 (2017)

    Article  MathSciNet  Google Scholar 

  6. Chuang, J., Lazarev, A.: Rank functions on triangulated categories (2021)

    Google Scholar 

  7. Heather, A.H., Schenck, H., Tillmann, U.: Stratifying multiparameter persistent homology, Nina Otter (2017)

    Google Scholar 

  8. Hiraoka, Y., Ike, Y., Yoshiwaki, M.: Algebraic stability theorem for derived categories of zigzag persistence modules (2020)

    Google Scholar 

  9. Kashiwara, M., Schapira, P.: Sheaves on Manifolds. Springer, Berlin (1990). https://doi.org/10.1007/978-3-662-02661-8

  10. Lesnick, M.: The theory of the interleaving distance on multidimensional persistence modules. Foundations of Computational Mathematics (2015)

    Google Scholar 

  11. Lesnick, M., Wright, M.: Interactive visualization of 2-D persistence modules. arXiv:1512.00180

  12. Milicevic, N.: Convolution of persistence modules (2020)

    Google Scholar 

  13. Miller, E.: Modules over posets: commutative and homological algebra (2019)

    Google Scholar 

  14. Steve, Y.: Oudot. American Mathematical Society, Persistence theory, From quiver representations to data analysis (2015)

    Google Scholar 

  15. Peeva, I.: Graded Syzygies. AA, vol. 16, 1st edn. Springer-Verlag, London (2011). https://doi.org/10.1007/978-0-85729-177-6

    Book  MATH  Google Scholar 

  16. Stacks Project, Resolution functors. https://stacks.math.columbia.edu/tag/013U

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Nicolas Berkouk .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Berkouk, N. (2021). Algebraic Homotopy Interleaving Distance. In: Nielsen, F., Barbaresco, F. (eds) Geometric Science of Information. GSI 2021. Lecture Notes in Computer Science(), vol 12829. Springer, Cham. https://doi.org/10.1007/978-3-030-80209-7_70

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-80209-7_70

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-80208-0

  • Online ISBN: 978-3-030-80209-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics