The colorings of homeomorphisms on connected graphs
type: Item
instance of: scholarly article
title: The colorings of homeomorphisms on connected graphs
zbMATH Open document ID: 1245.54014
author: Naotsugu Chinen
published in: Topology and its Applications
publication date: 2012-04-13T00:00:00Z
reviewed by: Kohzo Yamada
Mathematics Subject Classification ID: 54C05
Mathematics Subject Classification ID: 05C15
Mathematics Subject Classification ID: 52C99
Mathematics Subject Classification ID: 54F45
zbMATH DE Number: 6023741
zbMATH Keywords: coloring
zbMATH Keywords: fixed-point free homeomorphisms
zbMATH Keywords: graph
MaRDI profile type: Publication
full work available at URL: j.topol.2011.11.003
OpenAlex ID: W2074681264
cites work: Colorings of Periodic Homeomorphisms
cites work: An addition theorem for the color number
cites work: Variations on a theorem of Lusternik and Schnirelman
cites work: Continuous maps of the circle without periodic points
cites work: On colorings of maps
cites work: Continuous colouring of closed graphs
cites work: Q3516434
cites work: Easier proofs of coloring theorems
DOI: 10.1016/J.TOPOL.2011.11.003
Recommended article: A homology theory for colored graphs
Recommended article: Eventual colorings of homeomorphisms
Recommended article: Colorings of Periodic Homeomorphisms
Recommended article: Hom complexes and hypergraph colorings
Recommended article: Q4300477
Recommended article: Colored graph homomorphisms
Recommended article: Q3679892
Recommended article: Q3641122
Recommended article: Q3741634
review text: For a map \(f\) from a space \(X\) to itself, a cover \(\mathcal U\) of \(X\) is a \textit{coloring} of \((X,f)\) if \(f(U)\cap U=\emptyset\) for each \(U\in{\mathcal U}\), and the \textit{color number} col\((X,f)\) is defined by \(\min\{|{\mathcal U}|:{\mathcal U}\text{ is a coloring of }(X,f)\}\). Note that col\((X,f)\) may not be finite. For an upper bound of the color number, the following results were obtained: Let \(X\) be a paracompact Hausdorff space with \(\dim X\leq n\). If \(f:X\to X\) is a fixed-point free homeomorphism, i.e. \(f(x)\neq x\) for each \(x\in X\), then col\((X,f)\leq n+3\). In addition, if \(f^2(x)=x\) for each \(x\in X\), then col\((X,f)\leq n+2\). On the other hand, if a space \(X\) is connected and \(f:X\to X\) is fixed-point free homeomorphism, then col\((X,f)\geq3\).NEWLINENEWLINEFrom the above results, the following natural question appeared in [\textit{A. Krawczyk} and \textit{J. Steprāns}, Topology Appl. 51, No. 1, 13--26 (1993; Zbl 0838.54025)] and [\textit{Y. Akaike, N. Chinen} and \textit{K. Tomoyasu}, Bull. Pol. Acad. Sci., Math. 57, No. 1, 63--74 (2009; Zbl 1180.54048)]: Let \(X\) be a 1-dimensional connected space and \(f:X\to X\) a fixed-point free homeomorphism. Which is true, col\((X,f)=3\) or col\((X,f)=4\)? In particular, if \(X\) is a connected finite graph, which is true, col\((X,f)=3\) or col\((X,f)=4\)?NEWLINENEWLINEIn this paper, the author answers to the latter part of the question, indeed he proves that if \(f:X\to X\) is a fixed-point free homeomorphism from a connected locally finite graph \(X\) to itself, then gcd(Per\((f))\in\{1,3\}\) if and only if col\((X,f)=4\), where gcd(Per\((f))\) means the greatest common divisor of all periods for the map \(f\). Since it is known that col\((X,f)=3\) if \(X\) is a finite graph and Per\((f)\) is nonempty satisfying gcd(Per\((f))\not\in\{1,3\}\), to obtain the above result, he proves the following: (1) If gcd(Per\((f))\in\{1,3\}\), then col\((X,f)=4\); (2) If Per\((f)= \em…
description: scientific article; zbMATH DE number 6023741