Searcharxiv⌕ Search

arXiv subjects

Laurence Boxer

Publications and source records attributed to Laurence Boxer.

44 records · Page 3Linked to original sources
arXiv2016

Homotopy relations for digital images

We introduce three generalizations of homotopy equivalence in digital images, to allow us to express whether a finite and an infinite digital image are similar with respect to homotopy. We show that these three generalizations are not equivalent to ordinary homotopy equivalence, and give several examples. We show that, like homotopy equivalence, our three generalizations imply isomorphism of fundamental groups, and are preserved under wedges and Cartesian products.

math.GN↗
arXiv2016

Fundamental Groups and Euler Characteristics of Sphere-like Digital Images

The current paper focuses on fundamental groups and Euler characteristics of various digital models of the 2-dimensional sphere. For all models that we consider, we show that the fundamental groups are trivial, and compute the Euler characteristics (which are not always equal). We consider the connected sum of digital surfaces and investigate how this operation relates to the fundamental group and Euler characteristic. We also consider two related but different notions of a digital image having "no holes," and relate this to the triviality of the fundamental group. Many of our results have origins in a paper by S.-E. Han, which contains many errors. We correct these errors when possible, and leave some open questions. We also present some original results.

math.GN↗
arXiv2015

Connectivity Preserving Multivalued Functions in Digital Topology

We study connectivity preserving multivalued functions between digital images. This notion generalizes that of continuous multivalued functions studied mostly in the setting of the digital plane $Z^2$. We show that connectivity preserving multivalued functions, like continuous multivalued functions, are appropriate models for digital morpholological operations. Connectivity preservation, unlike continuity, is preserved by compositions, and generalizes easily to higher dimensions and arbitrary adjacency relations.

cs.CV↗
arXiv2015

Digital Fixed Points, Approximate Fixed Points, and Universal Functions

A. Rosenfeld introduced the notion of a digitally continuous function between digital images, and showed that although digital images need not have fixed point properties analogous to those of the Euclidean spaces modeled by the images, there often are approximate fixed point properties of such images. In the current paper, we obtain additional results concerning fixed points and approximate fixed points of digitally continuous functions. Among these are several results concerning the relationship between universal functions and the approximate fixed point property (AFPP).

math.CO↗
arXiv2015

Remarks on pointed digital homotopy

We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z \rightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results. We present a variant form of the digital fundamental group. Based on what we call {\em eventually constant} loops, this version of the fundamental group is equivalent to that of Boxer (1999), but offers the advantage that eventually constant maps are often easier to work with than the trivial extensions that are key to the development of the fundamental group in Boxer (1999) and many subsequent papers. We show that homotopy equivalent digital images have isomorphic fundamental groups, even when the homotopy equivalence does not preserve the basepoint. This assertion appeared in Boxer (2005), but there was an error in the proof; here, we correct the error.

math.CO↗