Abstract
We study persistence modules defined on commutative ladders. This class of persistence modules frequently appears in topological data analysis, and the theory and algorithm proposed in this paper can be applied to these practical problems. A new algebraic framework deals with persistence modules as representations on associative algebras and the Auslander–Reiten theory is applied to develop the theoretical and algorithmic foundations. In particular, we prove that the commutative ladders of length less than 5 are representation-finite and explicitly show their Auslander–Reiten quivers. Furthermore, a generalization of persistence diagrams is introduced by using Auslander–Reiten quivers. We provide an algorithm for computing persistence diagrams for the commutative ladders of length 3 by using the structure of Auslander–Reiten quivers.
Similar content being viewed by others
References
Assem, I., Simson, D., Skowroński, A.: Elements of the Representation Theory of Associative Algebras 1: Techniques of Representation Theory. Cambridge University Press, Cambridge (2006)
Auslander, M., Reiten, I., Smalø, S.: Representation Theory of Artin Algebras. Cambridge University Press, Cambridge (1995)
Bubenik, P., Scott, J.: Categorification of persistent homology. Discrete Comput. Geom. 51(3), 600–627 (2014)
Carlsson, G.: Topology and data. Bull. Am. Math. Soc. 46, 255–308 (2009)
Carlsson, G., de Silva, V.: Zigzag persistence. Found. Comput. Math. 10, 367–405 (2010)
Carlsson, G., Zomorodian, A.: The theory of multidimensional persistence. Discrete Comput. Geom. 42, 71–93 (2009)
CGAL. Computational Geometry Algorithms Library. http://www.cgal.org/. Accessed 21 Oct 2015
Chazal, F., Cohen-Steiner, D., Glisse, M., Guibas, L., Oudot, S.: Proximity of persistence modules and their diagrams. In: Proceedings of 25th Annual Symposium on Computational Geometry, pp. 237–246 (2009)
Chistov, A., Ivanyos, G., Karpinski, M.: Polynomial time algorithms for modules over finite dimensional algebras. In: Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, pp. 68–74. ACM, New York (1997)
Cohen-Steiner, D., Edelsbrunner, H., Morozov, D.: Vines and vineyards by updating persistence in linear time. In: SCG ’06 Proceedings of the 22nd Annual Symposium on Computational Geometry, pp. 119–126 (2006)
Cohen-Steiner, D., Edelsbrunner, H., Harer, J.: Stability of persistence diagrams. Discrete Comput. Geom. 37, 103–120 (2007)
Crawley-Boevey, W.: Decomposition of pointwise finite-dimensional persistence modules. J. Algebra Appl. 14, 1550066 (2015)
Edelsbrunner, H.: The union of balls and its dual shape. Discrete Comput. Geom. 13, 415–440 (1995)
Edelsbrunner, H., Harer, J.: Computational Topology: An Introduction. AMS, Providence, RI (2010)
Edelsbrunner, H., Letscher, D., Zomorodian, A.: Topological persistence and simplification. Discrete Comput. Geom. 28, 511–533 (2002)
Escolar, E.G., Hiraoka, Y.: Computing persistence modules on commutative ladders of finite type. Lecture Notes in Computer Science, vol. 8592, pp. 144–151. Springer, Berlin (2014)
Gabriel, P.: Unzerlegbare Darstellungen I. Manuscr. Math. 6, 71–103 (1972)
Gameiro, M., Hiraoka, Y., Izumi, S., Kramar, M., Mischaikow, K., Nanda, V.: Topological measurement of protein compressibility via persistence diagrams. Japan J. Ind. Appl. Math. 32, 1–17 (2015)
Kaczynski, T., Mischaikow, K., Mrozek, M.: Computational Homology. Springer, New York (2004)
Leszczyński, Z., Skowroński, A.: Tame triangular matrix algebras. Colloq. Math. 86, 259–303 (2000)
Lux, K.M., Szőoke, M.: Computing decompositions of modules over finite-dimensional algebras. Exp. Math. 16, 1–6 (2007)
Mischaikow, K., Nanda, V.: Morse theory for filtrations and efficient computation of persistent homology. Discrete Comput. Geom. 50, 330–353 (2013)
Nakamura, T., Hiraoka, Y., Hirata, A., Escolar, E.G., Matsue K., Nishiura, Y.: Hierarchical structures of amorphous solids characterized by persistent homology. http://arxiv.org/abs/1501.03611
Nakamura, T., Hiraoka, Y., Hirata, A., Escolar, E.G., Nishiura, Y.: Persistent homology and many-body atomic structure for medium-range order in the glass. Nanotechnology 26, 304001 (2015)
Ringel, C.M.: Tame Algebras and Integral Quadratic Forms. Lecture Notes in Mathematics, vol. 1099. Springer, Berlin (1984)
Zomorodian, A., Carlsson, G.: Computing persistent homology. Discrete Comput. Geom. 33, 249–274 (2005)
Acknowledgments
The authors would like to thank Hideto Asashiba, Hiroyuki Ochiai, and Dai Tamaki for valuable discussions and comments. This work is partially supported by JSPS Grant-in-Aid (24684007) and JST Mathematics CREST (15656429).
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: Herbert Edelsbrunner
Rights and permissions
About this article
Cite this article
Escolar, E.G., Hiraoka, Y. Persistence Modules on Commutative Ladders of Finite Type. Discrete Comput Geom 55, 100–157 (2016). https://doi.org/10.1007/s00454-015-9746-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-015-9746-2