×

Searching high order invariants in computer imagery. (English) Zbl 1247.68305

Summary: We present a direct computational application of homological perturbation theory (HPT, for short) to computer imagery. More precisely, the formulas of the \(A _{\infty }\)-coalgebra maps \(\varDelta _{2}\) and \(\varDelta _{3}\) using the notion of an AT-model of a digital image and the HPT technique are implemented. The method has been tested on some specific examples, showing the usefulness of this computational tool for distinguishing 3D digital images.

MSC:

68U05 Computer graphics; computational geometry (digital and algorithmic aspects)
55P43 Spectra with additional structure (\(E_\infty\), \(A_\infty\), ring spectra, etc.)
55P10 Homotopy equivalences in algebraic topology
68W30 Symbolic computation and algebraic computation
68U10 Computing methodologies for image processing
68-04 Software, source code, etc. for problems pertaining to computer science
55-04 Software, source code, etc. for problems pertaining to algebraic topology

Software:

CHomP; PLEX; Kenzo
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Berciano A.: A computational aproach of a (co)algebras. Int. J. Comput. Math. 87(4), 935–953 (2010) · Zbl 1204.55015 · doi:10.1080/00207160802247612
[2] Berciano A., Rubio J., Sergeraert F.: A case study of a structures. Georgian Math. J. 17, 57–77 (2010) · Zbl 1196.18001
[3] Brown, R.: The twisted eilenberg-zilber theorem. In: In Simposio di Topologia (Messina, 1964), Edizioni Oderisi, Gubbio (1965)
[4] Plex: Simplicial complexes in Matlab. http://comptop.stanford.edu/programs/plex/
[5] Computational Homology Project. http://chomp.rutgers.edu/
[6] Dousson, X., Rubio, J., Sergeraert, F., Siret, Y.: The kenzo program. http://www.fourier.ujfgrenoble.fr/sergeraert/ (1999)
[7] González-Díaz, R., Ion, A., Iglesias-Ham, M., Kropatsch, W.G.: Irregular graph pyramids and representative cocycles of cohomology generators. 7th IAPR-TC-15 Workshop on Graph-based Representations in Pattern Recognition, Venice (Italy) (2009) (to appear in LNCS)
[8] González-Díaz R., Medrano B., Sánchez Peláez J., Real P.: Simplicial perturbation techniques and effective homology. CASC, LNCS 4194, 166–177 (2006) · Zbl 1141.68690
[9] Gugenheim V.K.A.M., Lambe L.A.: Perturbation theory in differential homological algebra I. Ill. J. Math. 33(4), 566–582 (1989) · Zbl 0661.55018
[10] Gugenheim V.K.A.M., Lambe L.A., Stasheff J.D.: Perturbation theory in differential homological algebra II. Ill. J. Math. 35(3), 357–373 (1991) · Zbl 0727.55012
[11] Jimenez M.J., Real P.: Rectifications of a algebras. Commun. Algebra 35(1532–4125), 2731–2743 (2007) · Zbl 1176.18006 · doi:10.1080/00927870701353514
[12] Kadeishvili T.: On the homology theory of fibrations. Russ. Math. Surv. 35(3), 231–238 (1980) · Zbl 0521.55015 · doi:10.1070/RM1980v035n03ABEH001842
[13] Kozlov D.: Combinatorial Algebraic Topology. Springer, Germany (2008) · Zbl 1130.55001
[14] Mac Lane S.: Homology Classics in Mathematics. Springer, Berlin (1995) · Zbl 0818.18001
[15] May P.: Simplicial Sets in Algebraic Topology. University of Chicago, Chicago (1967) · Zbl 0174.34302
[16] Molina-Abril H., Real P.: Advanced homology computation of digital volumes via cell complexes. SSPR 2008, LNCS 5342, 361–371 (2008)
[17] Weibel C.A.: An Introduction to Homological Algebra. Cambridge Studies in Advanced Mathematics 38. Cambridge University Press, Cambridge (1994) · Zbl 0797.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.