Skip to main content
SpringerLink
Log in

A computational framework for connection matrix theory

  • Published:
Journal of Applied and Computational Topology Aims and scope Submit manuscript

Abstract

The connection matrix is a powerful algebraic topological tool from Conley index theory, a subfield of topological dynamics. Conley index theory is a purely topological generalization of Morse theory in which the connection matrix subsumes the role of the Morse boundary operator. Over the last few decades, Conley’s approach to dynamics has been cast into a purely computational form. In this paper we introduce a computational and categorical framework for connection matrix theory. Broadly speaking, this contribution promotes the computational Conley theory to a computational, homological theory for dynamical systems. More specifically, within this paper we have three specific aims:

  1. 1.

    We cast connection matrix theory in an appropriate categorical, homotopy-theoretic language. We demonstrate the relationship to the previous definitions of connection matrix. Lastly, the homotopy-theoretic language allows us to formulate connection matrix theory categorically.

  2. 2.

    We describe an algorithm for the computation of connection matrices based on algebraic-discrete Morse theory and formalized with the notion of reductions. We advertise an open-source implementation of our algorithm.

  3. 3.

    We show that the connection matrix can be used to compute persistent homology. Ultimately, we believe that connection matrix theory has the potential to be an important tool within topological data analysis.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13

Similar content being viewed by others

Notes

  1. See Sect. 3 for formal definitions associated with order theory and algebraic topology.

  2. In this example we restrict to filtrations. However, we wish to emphasize that our results hold for multi-parameter persistence; see Sect. 10, in particular Theorem 10.3.

  3. We previously introduced the term chain contraction in Sect. 3.3 which agrees with Weibel (1995). This idea should not be confused with reduction.

  4. In fact, this is a Corollary of Algorithm 6.2.

References

  • Allili, M., Kaczynski, T., Landi, C., Masoni, F.: Acyclic partial matchings for multidimensional persistence: algorithm and combinatorial interpretation. J. Math. Imaging Vision 61(2), 174–192 (2019)

    Article  MathSciNet  Google Scholar 

  • Barakat, M., Maier-Paape, S.: Computation of connection matrices using the software package Conley. Int. J. Bifurc. Chaos 19(09), 3033–3056 (2009)

    Article  MathSciNet  Google Scholar 

  • Barnes, D.W., Lambe, L.A.: A fixed point approach to homological perturbation theory. Proc. Am. Math. Soc. 112(3), 881–892 (1991)

    Article  MathSciNet  Google Scholar 

  • Bubenik, P., Scott, J.A.: Categorification of persistent homology. Discrete Comput. Geom. 51(3), 600–627 (2014)

    Article  MathSciNet  Google Scholar 

  • Carlsson, G., Singh, G., Zomorodian, A.: Computing multidimensional persistence. J. Comput. Geom. 1, 1 (2010)

    MathSciNet  MATH  Google Scholar 

  • Conley, C.C.: Isolated invariant sets and the Morse index. Number 38. American Mathematical Soc. (1978)

  • Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)

    Book  Google Scholar 

  • Edelsbrunner, H., Harer, J.: Computational Topology: An Introduction. American Mathematical Soc. (2010)

  • Eilenberg, S., Lane, S.: Mac: on the groups \({H}(\pi , n)\), i. Ann. Math. (2) 58(1), 55–106 (1953)

  • Floer, A.: Witten’s complex and infinite-dimensional Morse theory. J. Differ. Geom. 30(1), 207–221 (1989)

    Article  MathSciNet  Google Scholar 

  • Franzosa, R.: Index filtrations and the homology index braid for partially ordered Morse decompositions. Trans. Am. Math. Soc. 298(1), 193–213 (1986)

    Article  MathSciNet  Google Scholar 

  • Franzosa, R.: The continuation theory for Morse decompositions and connection matrices. Trans. Am. Math. Soc. 310(2), 781–803 (1988)

    Article  MathSciNet  Google Scholar 

  • Franzosa, R.: The connection matrix theory for Morse decompositions. Trans. Am. Math. Soc. 311(2), 561–592 (1989)

    Article  MathSciNet  Google Scholar 

  • Franzosa, R., Mischaikow, K.: Algebraic transition matrices in the Conley index theory. Trans. Am. Math. Soc. 350(3), 889–912 (1998)

    Article  MathSciNet  Google Scholar 

  • Franzosa, R., Vieira, E.: Transition matrix theory. Trans. Am. Math. Soc. 369(11), 7737–7764 (2017)

    Article  MathSciNet  Google Scholar 

  • Gelfand, S.I., Manin, Y.I.: Methods of Homological Algebra. Springer, New York (2013)

    Google Scholar 

  • Gonzalez-Lorenzo, A., Bac, A., Mari, J.-L., Real, P.: Allowing cycles in discrete Morse theory. Topol. Appl. 228, 1–35 (2017)

    Article  MathSciNet  Google Scholar 

  • Harker, S., Mischaikow, K., Mrozek, M., Nanda, V.: Discrete Morse theoretic algorithms for computing homology of complexes and maps. Found. Comput. Math. 14(1), 151–184 (2014)

    Article  MathSciNet  Google Scholar 

  • Harker, S., Mischaikow, K., Spendlove, K.: Morse theoretic templates for high dimemnsional homology computation. Preprint. (2021)

  • Harker, S., Spendlove, K.: pyCHomP: Computational Homology Project with Python bindings (2019). https://github.com/shaunharker/pyCHomP

  • Harrington, H.A., Otter, N., Schenck, H., Tillmann, U.: Stratifying multiparameter persistent homology. arXiv preprint arXiv:1708.07390 (2017)

  • Kalies, W.D., Kasti, D., Vandervorst, R.: An algorithmic approach to lattices and order in dynamics. SIAM J. Appl. Dyn. Syst. 17(2), 1617–1649 (2018)

    Article  MathSciNet  Google Scholar 

  • Kalies, W.D., Mischaikow, K., Vandervorst, R.: An algorithmic approach to chain recurrence. Found. Comput. Math. 5(4), 409–449 (2005)

    Article  MathSciNet  Google Scholar 

  • Kalies, W.D., Mischaikow, K., Vandervorst, R.: Lattice structures for attractors i. J. Comput. Dyn. 1, 307–338 (2014)

    Article  MathSciNet  Google Scholar 

  • Kalies, W.D., Mischaikow, K., Vandervorst, R.: Lattice structures for attractors ii. Found. Comput. Math. 16(5), 1151–1191 (2016)

    Article  MathSciNet  Google Scholar 

  • Kalies, W.D., Mischaikow, K., Vandervorst, R.: Lattice structures for attractors iii. In preparation (2019)

  • Kozlov, D.: Combinatorial Algebraic Topology, vol. 21. Springer, New York (2007)

    MATH  Google Scholar 

  • Lefschetz, S.: Algebraic Topology, vol. 27. American Mathematical Soc (1942)

  • Lane, S.M.: Categories for the Working Mathematician, vol. 5. Springer, New York (2013)

    MATH  Google Scholar 

  • McCord, C.: Simplicial models for the global dynamics of attractors. J. Differ. Equ. 167(2), 316–356 (2000)

    Article  MathSciNet  Google Scholar 

  • McCord, C., Mischaikow, K.: On the global dynamics of attractors for scalar delay equations. J. Am. Math. Soc. 9(4), 1095–1133 (1996)

    Article  MathSciNet  Google Scholar 

  • McCord, C., Reineck, J.: Connection matrices and transition matrices. Banach Center Publ. 47(1), 41–55 (1999)

    Article  MathSciNet  Google Scholar 

  • Miller, E.: Data structures for real multiparameter persistence modules. arXiv preprint arXiv:1709.08155, (2017)

  • Mischaikow, K.: Global asymptotic dynamics of gradient-like bistable equations. SIAM J. Math. Anal. 26(5), 1199–1224 (1995)

    Article  MathSciNet  Google Scholar 

  • Mischaikow, K., Nanda, V.: Morse theory for filtrations and efficient computation of persistent homology. Discrete Comput. Geom. 50(2), 330–353 (2013)

    Article  MathSciNet  Google Scholar 

  • Mischaikow, K., Spendlove, K., Vandervorst, R.: Morse pre-orders, connection matrices, and state transition models. Preprint (2021)

  • Mrozek, M.: Leray functor and cohomological Conley index for discrete dynamical systems. Trans. Am. Math. Soc. 318(1), 149–178 (1990)

    Article  MathSciNet  Google Scholar 

  • Oudot, S.Y.: Persistence Theory: From Quiver Representations to Data Analysis, vol. 209. American Mathematical Society Providence, RI (2015)

    Book  Google Scholar 

  • Reineck, J.F.: Connecting orbits in one-parameter families of flows. Ergodic Theory Dyn. Syst. 8(8*), 359–374 (1988)

  • Reineck, J.F.: The connection matrix in Morse-Smale flows. Trans. Am. Math. Soc. 322(2), 523–545 (1990)

    Article  MathSciNet  Google Scholar 

  • Richeson, D.S.: Connection matrix pairs for the discrete Conley index. PhD thesis, Northwestern University (1998)

  • Robbin, J.W., Salamon, D.: Dynamical systems, shape theory and the Conley index. Ergodic Theory Dyn. Syst. 8(8*), 375–393 (1988)

  • Robbin, J.W., Salamon, D.A.: Lyapunov maps, simplicial complexes and the stone functor. Ergodic Theory Dyn. Syst. 12(1), 153–183 (1992)

    Article  MathSciNet  Google Scholar 

  • Roman, S.: Lattices and Ordered Sets. Springer, New York (2008)

    MATH  Google Scholar 

  • Rubio, J., Sergeraert, F.: Constructive homological algebra and applications. arXiv preprint arXiv:1208.3816 (2012)

  • Salamon, D.: Connected simple systems and the Conley index of isolated invariant sets. Trans. Am. Math. Soc. 291(1), 1–41 (1985)

    Article  MathSciNet  Google Scholar 

  • Scaramuccia, S., Iuricich, F., De Floriani, L., Landi, C.: Computing multiparameter persistent homology through a discrete Morse-based approach. arXiv preprint arXiv:1811.05396 (2018)

  • Scolamiero, M., Chachólski, W., Lundman, A., Ramanujam, R., Öberg, S.: Multidimensional persistence and noise. Found. Comput. Math. 17(6), 1367–1406 (2017)

    Article  MathSciNet  Google Scholar 

  • Sköldberg, E.: Morse theory from an algebraic viewpoint. Trans. Am. Math. Soc. 358(1), 115–129 (2006)

    Article  MathSciNet  Google Scholar 

  • Sköldberg, E.: Algebraic Morse theory and homological perturbation theory. arXiv preprint arXiv:1311.5803, (2013)

  • Smale, S.: Differentiable dynamical systems. Bull. Am. Math. Soc. 73(6), 747–817 (1967)

    Article  MathSciNet  Google Scholar 

  • Weibel, C.A.: An Introduction to Homological Algebra, vol. 38. Cambridge University Press, Cambridge (1995)

    MATH  Google Scholar 

Download references

Acknowledgements

The work of SH and KM was partially supported by grants NSF-DMS-1248071, 1521771 and DARPA contracts HR0011-16-2-0033 and FA8750-17-C-0054, and NIH grant R01 GM126555-01. The work of KS was partially supported by the NSF Graduate Research Fellowship Program under grant DGE-1842213 and by EPSRC grant EP/R018472/1. KS would like to thank Chuck Weibel for some very useful discussions regarding homological algebra and connection matrix theory.

Author information

Authors and Affiliations

  1. Department of Mathematics, Rutgers University, Piscataway, NJ 08854, USA

    Shaun Harker & Konstantin Mischaikow

  2. Mathematical Institute, University of Oxford, Oxford, Oxfordshire, OX2 6GG, UK

    Kelly Spendlove

Authors
  1. Shaun Harker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Konstantin Mischaikow
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kelly Spendlove
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kelly Spendlove.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Harker, S., Mischaikow, K. & Spendlove, K. A computational framework for connection matrix theory. J Appl. and Comput. Topology 5, 459–529 (2021). https://doi.org/10.1007/s41468-021-00073-3

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s41468-021-00073-3

Keywords

Mathematics Subject Classification

Search

Navigation