Čech Type Approach to Computing Homology of Maps

Discrete and Computational Geometry

Volumn 44, Issue 3, 2010, Pages 546-576

  Mrozek, Marian ^a,b  

^a JAGIELLONIAN UNIVERSITY   (Poland)

^b Wyzsza Szkola Biznesu National Louis University   (Poland)

Author keywords

ech homology; Cubical set; Homology algorithm; Nerve theorem; Reduction methods

Indexed keywords

EID: 77955773470     PISSN: 01795376     EISSN: 14320444     Source Type: Journal    
DOI: 10.1007/s00454-010-9255-2     Document Type: Article

References (38)

1. Alexandrov, P. S.: Diskrete Räume. Mat. Sb. (N. S.) 2, 501-518 (1937).
2. Allili, M., Kaczynski, T.: An algorithmic approach to the construction of homomorphisms induced by maps in homology. Trans. Am. Math. Soc. 352, 2261-2281 (2000).
3. Allili, M., Mischaikow, K., Tannenbaum, A.: Cubical homology and the topological classification of 2D and 3D imagery. IEEE Int. Conf. Image Process. 2, 173-176 (2001).
4. Arai, Z., Kalies, W., Kokubu, H., Mischaikow, K., Oka, H., Pilarczyk, P.: A database schema for the analysis of global dynamics of multiparameter systems. SIAM J. Appl. Dyn. Syst. 8, 757-789 (2009).
5. Björner, A.: Topological methods. In: Handbook of Combinatorics, pp. 1819-1872. Elsevier, Amsterdam (1995).
6. Bliss, A., Su, F. E.: Lower bounds for simplicial covers and triangulations of cubes. Discrete Comput. Geom. 33, 669-686 (2005).
7. Borsuk, K.: On the imbedding of systems of compacta in simplicial complexes. Fund. Math. 35, 217-234 (1948).
8. Carlsson, G.: Topology and data. Bull. Am. Math. Soc. 46, 255-308 (2009).
9. Conley, C.: Isolated Invariant Sets and the Morse Index. CBMS Lecture Notes, vol. 38. AMS, Providence (1978).
10. de Silva, V., Ghrist, R.: Coordinate-free coverage in sensor networks with controlled boundaries via homology. Int. J. Robot. Res. 25, 1205-1222 (2006).
11. Gameiro, M., Mischaikow, K., Kalies, W.: Topological characterization of spatial-temporal chaos. Phys. Rev. E 70, 035203 (2004).
12. Gameiro, M., Mischaikow, K., Wanner, T.: Evolution of pattern complexity in the Cahn-Hilliard theory of phase separation. Acta Mater. 53, 693-704 (2005).
13. Granas, A., Górniewicz, L.: Some general theorems in coincidence theory. J. Math. Pure Appl. 60, 661-373 (1981).
14. Kaczynski, T., Mischaikow, K., Mrozek, M.: Computing homology. Homotopy Homology Appl. 5, 233-256 (2003).
15. Kaczynski, T., Mischaikow, K., Mrozek, M.: Computational Homology. Applied Mathematical Sciences, vol. 157. Springer, New York (2004), pp. 1-480.
16. Kaczynski, T., Mrozek, M.: Connected simple systems and the Conley functor. Topol. Methods Nonlinear Anal. 10, 183-193 (1997).
17. Kaczynski, T., Mrozek, M., Ślusarek, M.: Homology computation by reduction of chain complexes. Comput. Math. Appl. 35, 59-70 (1998).
18. Kalies, W. D., Mischaikow, K., van der Vorst, R. C. A. M.: An algorithmic approach to chain recurrence. Found. Comput. Math. 5, 409-449 (2005).
19. Kalies, W., Mischaikow, K., Watson, G.: Cubical approximation and computation of homology. In: Conley Index Theory. Banach Center Publications, vol. 47, pp. 115-131 (1999).
20. Lohner, R. J.: Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. In: Cash, J. R., Gladwell, I. (eds.) Computational Ordinary Differential Equations. Clarendon, Oxford (1992).
21. Mazur, M., Szybowski, J.: The implementation of the Allili-Kaczyński algorithm for the construction of a chain homomorphism induced by a multivalued map. In: Proceedings of the International Conference on Differential Equations, Berlin, 1999, pp. 225-227. World Sci. Publishing, River Edge (2000).
22. McCord, M. C.: Homotopy type comparison of a space with complexes associated with its open cover. Proc. Am. Math. Soc. 18, 705-708 (1967).
23. Mischaikow, K.: Topological techniques for efficient rigorous computation in dynamics. Acta Numer. 11, 435-477 (2002).
24. Mischaikow, K., Mrozek, M.: Chaos in Lorenz equations: A computer assisted proof. Bull. Am. Math. Soc. 32, 66-72 (1995).
25. Mischaikow, K., Mrozek, M., Pilarczyk, P.: Graph approach to the computation of the homology of continuous maps. Found. Comput. Math. 5, 199-229 (2005).
26. Moore, R. E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966).
27. Mrozek, M., Batko, B.: Coreduction homology algorithm. Discrete Comput. Geom. 41, 96-118 (2009).
28. Mrozek, M., Zgliczyński, P.: Set arithmetic and the enclosing problem in dynamics. Ann. Pol. Math. 74, 237-259 (2000).
29. Mrozek, M., Pilarczyk, P., Żelazna, N.: Homology algorithm based on acyclic subspace. Comput. Math. Appl. 55, 2395-2412 (2008).
30. Munkres, J.: Elements of Algebraic Topology. Addison-Wesley, Reading (1984).
31. Niethammer, M., Stein, A. N., Kalies, W. D., Pilarczyk, P., Mischaikow, K., Tannenbaum, A.: Analysis of blood vessel topology by cubical homology. Proc. Int. Conf. Image Process. 2, 969-972 (2002).
32. Smith, W. D.: A lower bound for the simplexity of the n-cube via hyperbolic volumes. Eur. J. Comb. 21, 131-137 (2000).
33. Storjohann, A.: Near optimal algorithms for computing smith normal form of integer matrices. In: Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISAAC 1996, pp. 267-274 (1996).
34. Storjohann, A.: On the complexity of inverting integer and polynomial matrices. Preprint.
35. Weil, A.: Sur les théorèmes de de Rham. Comment. Math. Helv. 26, 349-365 (1952).
36. Wu, W.-T. S.: On a theorem of Leray. Chin. Math. 2, 398-410 (1962).
37. Żelawski, M.: Pattern recognition based on homology theory. Mach. Graph. Vis. 14, 309-324 (2005).
38. Żelawski, M.: Detecting pathologies with homology algorithms in magnetic resonance images of brain. Mach. Graph. Vis. 18, 253-266 (2009).