Abstract
Persistent homology typically studies the evolution of homology groups \(H_p(X)\) (with coefficients in a field) along a filtration of topological spaces. \(A_\infty \)-persistence extends this theory by analysing the evolution of subspaces such as \(V :=\text {Ker}\,{\Delta _n}_{| H_p(X)} \subseteq H_p(X)\), where \(\{\Delta _m\}_{m\ge 1}\) denotes a structure of \(A_\infty \)-coalgebra on \(H_*(X)\). In this paper we illustrate how \(A_\infty \)-persistence can be useful beyond persistent homology by discussing the topological meaning of V, which is the most basic form of \(A_\infty \)-persistence group. In addition, we explore how to choose \(A_\infty \)-coalgebras along a filtration to make the \(A_\infty \)-persistence groups carry more faithful information.
Similar content being viewed by others
References
Adcock, A., Rubin, D., Carlsson, G.: Classification of hepatic lesions using the matching metric. Comput. Vis. Image Underst. 121, 36–42 (2014)
Belchí, F., Buijs, U., Moreno-Fernández, J.M., Murillo, A.: Higher order Whitehead products and \({L}_\infty \)-structures on the homology of a DGL. Linear Algebra Appl. 520, 16–31 (2017)
Belchí, F., Murillo, A.: \({A}_\infty \)-persistence. Appl. Algebra Eng. Commun. Comput. 26(1–2), 121–139 (2015)
Belchí, F., Pirashvili, M., Conway, J., Bennett, M., Djukanovic, R., Brodzki, J.: Lung topology characteristics in patients with chronic obstructive pulmonary disease. Sci. Rep. 8(1), 5341 (2018)
Belchí, F., Stefanou, A.: \(A_\infty \) persistent homology estimates the topology from pointcloud datasets. arXiv:1902.09138 (2019)
Carlsson, G., de Silva, V.: Zigzag persistence. Found. Comput. Math. 10(4), 367–405 (2010)
Carlsson, G., Ishkhanov, T., de Silva, V., Zomorodian, A.: On the local behavior of spaces of natural images. Int. J. Comput. Vis. 76(1), 1–12 (2008)
de Silva, V., Ghrist, R.: Coverage in sensor networks via persistent homology. Algebr. Geom. Topol. 7, 339–358 (2007)
Edelsbrunner, E., Letscher, D., Zomorodian, A.: Topological persistence and simplification. Discrete Comput. Geom. 28(4), 511–533 (2002)
Félix, Y., Halperin, S., Thomas, J.-C.: Rational Homotopy Theory. Graduate Texts in Mathematics, vol. 205. Springer, New York (2001)
Gameiro, M., Hiraoka, Y., Izumi, S., Kramar, M., Mischaikow, K., Nanda, V.: A topological measurement of protein compressibility. Jpn. J. Ind. Appl. Math. 32(1), 1–17 (2015)
Greub, W., Halperin, S., Vanstone, R.: Connections, Curvature and Cohomology, vol. III: Cohomology of Principal Bundles and Homogeneous Spaces. Pure and Applied Mathematics, vol. 47. Academic Press, New York (1976)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Kadeishvili, T.V.: On the homology theory of fibre spaces. Russ. Math. Surv. 35(3), 231–238 (1980)
Kontsevich, M., Soibelman, Y.: Deformations of algebras over operads and the Deligne conjecture. In: Dito, G., Sternheimer, D. (eds.) Conférence Moshé Flato 1999: Quantization, Deformations, and Symmetries, vol. 1, pp. 255–307. Kluwer, Dordrecht (2000)
Loday, J.-L., Vallette, B.: Algebraic Operads. Grundlehren der Mathematischen Wissenschaften, vol. 346. Springer, Heidelberg (2012)
Lu, D.-M., Palmieri, J.H., Wu, Q.-S., Zhang, J.J.: \({A}\)-infinity structure on Ext-algebras. J. Pure Appl. Algebra 213, 2017–2037 (2009)
Massey, W.S.: Some higher order cohomology operations. In: International Symposium on Algebraic Topology, pp. 145–154. Universidad Nacional Autónoma de México and UNESCO, Mexico City (1958)
Massey, W.S.: Higher order linking numbers. J. Knot Theory Ramifications 7(3), 393–414 (1998)
Moreno-Fernández, J.M.: \({A}_\infty \) structures and Massey products. arXiv:1705.06897 (2017)
Perea, J.A.: Persistent homology of toroidal sliding window embeddings. In: 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp. 6435–6439 (2016)
Perea, J.A., Carlsson, G.: A Klein-bottle-based dictionary for texture representation. Int. J. Comput. Vis. 107(1), 75–97 (2014)
Pirashvili, M., Steinberg, L., Belchi Guillamon, F., Niranjan, M., Frey, J.G., Brodzki, J.: Improved understanding of aqueous solubility modeling through topological data analysis. J. Cheminformatics 10(1), 54 (2018)
Quillen, D.: Rational homotopy theory. Ann. Math. 90, 205–295 (1969)
Rolfsen, D.: Knots and Links. Mathematics Lecture Series, vol. 7. Publish or Perish, Berkeley (1976)
Stasheff, J.D.: \(H\)-Spaces from a Homotopy Point of View. Lecture Notes in Mathematics, vol. 161. Springer, Berlin (1970)
Tanré, D.: Homotopie Rationnelle: Modèles de Chen, Quillen, Sullivan. Lecture Notes in Mathematics, vol. 1025. Springer, Berlin (1983)
Tausz, A., Carlsson, G.: Applications of zigzag persistence to topological data analysis. arXiv:1108.3545 (2011)
Uehara, H., Massey, W.S.: The Jacobi identity for Whitehead products. In: Fox, R., et al. (eds.) Algebraic Geometry and Topology. A Symposium in Honor of S. Lefschetz, pp. 361–377. Princeton University Press, Princeton (1957)
Zomorodian, A., Carlsson, G.: Computing persistent homology. Discrete Comput. Geom. 33(2), 249–274 (2005)
Acknowledgements
I would like to thank Prof. Aniceto Murillo and Prof. Jim Stasheff for their valuable feedback on this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: János Pach
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work has been supported by the Spanish MINECO Grants MTM2010-18089 and MTM2013-41762-P, by the Junta de Andalucía Grant FQM-213 and by the UK’s EPSRC Grant Joining the dots: from data to insight, EP/N014189/1.
Rights and permissions
About this article
Cite this article
Belchí, F. Optimising the Topological Information of the \(A_\infty \)-Persistence Groups. Discrete Comput Geom 62, 29–54 (2019). https://doi.org/10.1007/s00454-019-00094-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-019-00094-x
Keywords
- Persistent homology
- Zigzag persistence
- \(A_\infty \)-persistence
- Topological data analysis
- \(A_\infty \)-(co)algebras
- Massey products
- Knot theory
- Rational homotopy theory
- Spectral sequences