Subdivision of maps of digital images

DOI10.1007/S00454-021-00350-ZMaRDI QIDQ2118215zbMATH OpenOpenAlexFDO

Authors Gregory Lupton, Nicholas A. Scoville, John Oprea

Publication date 22 March 2022

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1906.03170

zbMATH Keywords

digital fundamental groupdigital imagedigital topologysubdivisionsubdivision of a map

Mathematics Subject Classification ID

Fuzzy topology (54A40) Homotopy theory (55P99) Computing methodologies for image processing (68U10)

Abstract: With a view towards providing tools for analyzing and understanding digitized images, various notions from algebraic topology have been introduced into the setting of digital topology. In the ordinary topological setting, invariants such as the fundamental group are invariants of homotopy type. In the digital setting, however, the usual notion of homotopy leads to a very rigid invariance that does not correspond well with the topological notion of homotopy invariance. In this paper, we establish fundamental results about subdivision of maps of digital images with $1$- or $2$-dimensional domains. Our results lay the groundwork for showing that the digital fundamental group is an invariant of a much less rigid equivalence relation on digital images, that is more akin to the topological notion of homotopy invariance. Our results also lay the groundwork for defining other invariants of digital images in a way that makes them invariants of this less rigid equivalence.

Review text

In this paper the authors study digital images under the view of subdivisions. Their motivation is based on the fact that given a map of digital images, there is no general way to define a map of their subdivisions called a subdivision of the map. Thus, they provide a discussion of subdivisions of digital images and maps of digital images and then they construct maps of subdivisions when the map of digital images has a 1 or 2 dimensional domain. As a consequence of this study, the authors present path covering and homotopy covering properties that play an important role in the development of the digital fundamental group. Examples and applications, which strengthen the results of the paper, are presented.

Recommendations

• A fundamental group for digital images
• Paths, homotopy and reduction in digital images
• Digital (k₀,k₁)-covering map and its properties
• Digital cofibration and digital Lusternik-Schnirelmann category in the sense of subdivision
• Some properties of digital covering spaces

Cites work

• A chronological and mathematical overview of digital circle generation algorithms -- introducing efficient 4- and 8-connected circles
• A classical construction for the digital fundamental group
• A fundamental group for digital images
• Approximating the Euclidean circle in the square grid using neighbourhood sequences
• Classification of digital \(n\)-manifolds
• Connectivity preserving multivalued functions in digital topology
• Digital Disks
• Digital Lusternik–Schnirelmann category
• Digitally Continuous Multivalued Functions
• Digitally continuous multivalued functions, morphological operations and thinning algorithms
• Homotopy theory in digital topology
• ‘Continuous’ functions on digital pictures

Cited in

(7)

• Digital fundamental groups and edge groups of clique complexes
• Digital cofibration and digital Lusternik-Schnirelmann category in the sense of subdivision
• Dual complexes of cubical subdivisions of \({\mathbb{R}}^{n}\)
• Looped fundamental group of weighted graphs
• Subdivision-based homotopy equivalence of digital circles
• Digital quotient spaces and digital quotient maps
• Semi-coarse spaces, homotopy and homology

This page was built for publication: Subdivision of maps of digital images

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118215)