Abstract
The main objective of this paper is to extend Morse–Forman theory to vector-valued functions. This is mostly motivated by the need to develop new tools and methods to compute multiparameter persistence. To generalize the theory, in addition to adapting the main definitions and results of Forman to this vectorial setting, we use concepts of combinatorial topological dynamics studied in recent years. This approach proves to be successful in the following ways. First, we establish a result which is more general than that of Forman regarding the sublevel sets of a multidimensional discrete Morse function. Second, we find a way to induce a Morse decomposition in critical components from the critical points of such a function. Finally, we deduce a set of Morse equation and inequalities specific to the multiparameter setting.
Similar content being viewed by others
References
Allili, M., Kaczynski, T., Landi, C.: Reducing complexes in multidimensional persistent homology theory. J. Symb. Comput. 78, 61–75 (2017). https://doi.org/10.1016/j.jsc.2015.11.020
Allili, M., Kaczynski, T., Landi, C., Masoni, F.: Acyclic partial matchings for multidimensional persistence: algorithm and combinatorial interpretation. J. Math. Imaging Vis. 61(2), 174–192 (2019). https://doi.org/10.1007/s10851-018-0843-8
Banchoff, T.: Critical points and curvature for embedded polyhedra. J. Differ. Geom. 1(3–4), 245–256 (1967). https://doi.org/10.4310/jdg/1214428092
Batko, B., Kaczynski, T., Mrozek, M., Wanner, T.: Linking combinatorial and classical dynamics: Conley index and Morse decompositions. Found. Comput. Math. 20(5), 967–1012 (2020). https://doi.org/10.1007/s10208-020-09444-1
Bloch, E.D.: Polyhedral representation of discrete Morse functions. Discrete Math. 313(12), 1342–1348 (2013). https://doi.org/10.1016/j.disc.2013.02.020
Bubenik, P.: Statistical topological data analysis using persistence landscapes. J. Mach. Learn. Res. 16(3), 77–102 (2015)
Budney, R., Kaczynski, T.: Bifiltrations and persistence paths for 2-Morse functions. Algebr. Geom. Topol. 23(6), 2895–2924 (2023). https://doi.org/10.2140/agt.2023.23.2895
Carlsson, G., Singh, G., Zomorodian, A.: Computing multidimensional persistence. J. Comput. Geom. 1(1), 72–100 (2010). https://doi.org/10.20382/jocg.v1i1a6
Carlsson, G., Zomorodian, A.: The theory of multidimensional persistence. Discrete Comput. Geom. 42(1), 71–93 (2009). https://doi.org/10.1145/1247069.1247105
Conley, C.: Isolated invariant sets and the Morse index. Number 38 in CBMS Regional Conference Series in Mathematics, American Mathematical Society, Providence, Rhode Island (1978). https://doi.org/10.1090/cbms/038
Desjardins Côté, D.: Les systèmes dynamiques combinatoires. Master’s thesis, Université de Sherbrooke, Canada (2020). https://hdl.handle.net/11143/16458
Edelsbrunner, H., Harer, J.: Jacobi Sets of Multiple Morse Functions, volume 312 of London Mathematical Society Lecture Note, chapter 2. Cambridge University Press (2004), pp. 37–57. https://doi.org/10.1017/CBO9781139106962.003
Edelsbrunner, H., Harer, J., Patel, A.K.: Reeb spaces of piecewise linear mappings. In: SCG ’08: Proceedings of the Twenty-Fourth Annual Symposium on Computational Geometry (2008), pp. 242–250. https://doi.org/10.1145/1377676.1377720
Edelsbrunner, H., Letscher, D., Zomorodian, A.: Topological persistence and simplification. Discrete Comput. Geom. 28, 511–533 (2002). https://doi.org/10.1109/SFCS.2000.892133
Forman, R.: Morse theory for cell complexes. Adv. Math. 134(1), 90–145 (1998). https://doi.org/10.1006/aima.1997.1650
Forman, R.: A user’s guide to discrete Morse theory. Séminaire Lotharingien de Combinatoire, 48(B48c) (2002). https://www.mat.univie.ac.at/~slc/wpapers/s48forman.html
Fugacci, U., Landi, C., Varlı, H.: Critical sets of PL and discrete Morse theory: a correspondence. Comput. Graph. 90, 43–50 (2020). https://doi.org/10.1016/j.cag.2020.05.020
Grunert, R., Kühnel, W., Rote, G.: PL Morse theory in low dimensions. Adv. Geom. 23(1), 135–150 (2023). https://doi.org/10.1515/advgeom-2022-0027
Huettenberger, L., Heine, C., Garth, C.: Decomposition and simplification of multivariate data using Pareto sets. IEEE Trans. Vis. Comput. Graph. 20(12), 2684–2693 (2014). https://doi.org/10.1109/TVCG.2014.2346447
Kaczynski, T., Mrozek, M., Wanner, T.: Towards a formal tie between combinatorial and classical vector field dynamics. J. Comput. Dyn. 3(1), 17–50 (2016). https://doi.org/10.3934/jcd.2016002
Lesnick, M., Wright, M.: Interactive visualization of 2-D persistence modules (2015). https://doi.org/10.48550/arXiv.1512.00180
Lipiński, M., Kubica, J., Mrozek, M., Wanner, T.: Conley-Morse-Forman theory for generalized combinatorial multivector fields on finite topological spaces. J. Appl. Comput. Topol. 7(2), 139–184 (2023). https://doi.org/10.1007/s41468-022-00102-9
McCord, M.C.: Singular homology groups and homotopy groups of finite topological spaces. Duke Math. J. 33(3), 465–474 (1966). https://doi.org/10.1215/S0012-7094-66-03352-7
Mrozek, M.: Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes. Found. Comput. Math. 17(6), 1585–1633 (2017). https://doi.org/10.1007/s10208-016-9330-z
Scaramuccia, S., Iuricich, F., De Floriani, L., Landi, C.: Computing multiparameter persistent homology through a discrete Morse-based approach. Comput. Geom. 89, 101623 (2020). https://doi.org/10.1016/j.comgeo.2020.101623
Scoville, N.A.: Discrete Morse Theory, volume 90 of Student mathematical library. American Mathematical Society, Providence, Rhode Island (2019), ISBN 9781470453794
Smale, S.: Global analysis and economics: Pareto optimum and a generalization of Morse theory. Synthese 31(2), 345–358 (1975). https://doi.org/10.1007/BF00485983
Stong, R.E.: Finite topological spaces. Trans. Am. Math. Soc. 123(2), 325–340 (1966). https://doi.org/10.2307/1994660
Vipond, O.: Multiparameter persistence landscapes. J. Mach. Learn. Res. 21(61), 1–38 (2020)
Vipond, O., Bull, J.A., Macklin, P.S., Tillmann, U., Pugh, C.W., Byrne, H.M., Harrington, H.A.: Multiparameter persistent homology landscapes identify immune cell spatial patterns in tumors. Proc. Natl. Acad. Sci. 118(41), e2102166118 (2021). https://doi.org/10.1073/pnas.2102166118
Wan, Y.-H.: Morse theory for two functions. Topology 14(3), 217–228 (1975). https://doi.org/10.1016/0040-9383(75)90002-6
Xia, K., Wei, G.-W.: Multidimensional persistence in biomolecular data. J. Comput. Chem. 36(20), 1502–1520 (2015). https://doi.org/10.1002/jcc.23953
Funding
Guillaume Brouillette was supported by the Natural Sciences and Engineering Council of Canada (NSERC) under grant number 569623 and the Fonds de recherche du Québec – Nature et technologies (FRQNT) under grant number 289126. Tomasz Kaczynski was supported by a Discovery Grant from the NSERC.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no Conflict of interest. Apart from the funding above, the authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Brouillette, G., Allili, M. & Kaczynski, T. Multiparameter discrete Morse theory. J Appl. and Comput. Topology (2024). https://doi.org/10.1007/s41468-024-00176-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s41468-024-00176-7
Keywords
- Discrete Morse theory
- Multiparameter persistent homology
- Discrete gradient field
- Combinatorial dynamics
- Morse decomposition
- Singularity theory