arXiv++ Combinatorics

We develop new tools for the construction of fixed point sets in digital topology. We define excludable points and show that these may be excluded from all freezing sets. We show that articulation points are excludable. We also present results concerning points that must belong to a freezing set and often are easily recognized. These include points of degree~1 and some local extrema.

We continue the study of freezing sets for digital images introduced in [4, 2, 3]. We prove methods for obtaining freezing sets for digital images (X, c_i) for X \subset Z^2 and i \in {1, 2}. We give examples to show how these methods can lead to the determination of minimal freezing sets.

We add to our knowledge of the approximate fixed point property (AFPP) in digital topology. We show that a digital image that is a tree has the AFPP. Given two digital images (X, κ) and (Y, λ) that have the approximate fixed point property, does their Cartesian product have the AFPP? We explore conditions that yield an affirmative answer. A general answer to this question is not known at the current writing.

In this paper, we examine some properties of the fixed point set of a digitally continuous function. The digital setting requires new methods that are not analogous to those of classical topological fixed point theory, and we obtain results that often differ greatly from standard results in classical topology. We introduce several measures related to fixed points for continuous self-maps on digital images, and study their properties. Perhaps the most important of these is the fixed point spectrum $F(X)$ of a digital image: that is, the set of all numbers that can appear as the number of fixed points for some continuous self-map. We give a complete computation of $F(C_n)$ where $C_n$ is the digital cycle of $n$ points. For other digital images, we show that, if $X$ has at least 4 points, then $F(X)$ always contains the numbers 0, 1, 2, 3, and the cardinality of $X$. We give several examples, including $C_n$, in which $F(X)$ does not equal $\{0,1,\dots,\#X\}$. We examine how fixed point sets are affected by rigidity, retraction, deformation retraction, and the formation of wedges and Cartesian products. We also study how fixed point sets in digital images can be arranged; e.g., in some cases the fixed point set is always connected.

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).

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.