arxiv: v1 [math.co] 15 Sep 2015

Transcription

1 Circular coloring of signe graphs Yingli Kang, Eckhar Steffen arxiv: v1 [math.co] 15 Sep 015 Abstract Let k, ( k) be two positive integers. We generalize the well stuie notions of (k, )-colorings an of the circular chromatic number χ c to signe graphs. This implies a new notion of colorings of signe graphs, an the corresponing chromatic number χ. Some basic facts on circular colorings of signe graphs an on the circular chromatic number are prove, an ifferences to the results on unsigne graphs are analyze. In particular, we show that the ifference between the circular chromatic number an the chromatic number of a signe graph is at most 1. Inee, there are signe graphs where the ifference is 1. On the other han, for a signe graph on n vertices, if the ifference is smaller than 1, then there exists ɛ n > 0, such that the ifference is at most 1 ɛ n. We also show that notion of (k, )-colorings is equivalent to r-colorings (see [10] (X. Zhu, Recent evelopments in circular coloring of graphs, in Topics in Discrete Mathematics Algorithms an Combinatorics Volume 6, Springer Berlin Heielberg (006) )). 1 Introuction Graphs in this paper are simple an finite. The vertex set of a graph G is enote by V (G), an the ege set by E(G). A signe graph (G, σ) is a graph G an a function σ : E(G) {±1}, which is calle a signature of G. The set N σ = {e : σ(e) = 1} is the set of negative eges of (G, σ) an E(G) N σ the set of positive eges. For v V (G), let E(v) be the set of eges which are incient to v. A switching at v efines a graph (G, σ ) with σ (e) = σ(e) for e E(v) an σ (e) = σ(e) otherwise. Two signe graphs (G, σ) an (G, σ ) are equivalent if they can be obtaine from each other by a sequence of switchings. We also say that σ an σ are equivalent signatures of G. A circuit in (G, σ) is balance, if it contains an even number of negative eges; otherwise it is unbalance. The graph (G, σ) is unbalance, if it contains an unbalance circuit; otherwise (G, σ) is balance. It is well known (see e.g. [3]) that (G, σ) is balance if an Fellow of the International Grauate School Dynamic Intelligent Systems ; yingli@mail.upb.e Paerborn Institute for Avance Stuies in Computer Science an Engineering, Paerborn University, Warburger Str. 100, Paerborn, Germany; es@upb.e 1

2 only if it is equivalent to the signe graph with no negative eges, an (G, σ) is antibalance if it is equivalent to the signe graph with no positive eges. Note, that a balance bipartite graph is also antibalance. The unerlying unsigne graph of (G, σ) is enote by G. In the 1980s Zaslavsky [5, 6, 7] starte stuying vertex colorings of signe graphs. The natural constraints for a coloring c of a signe graph (G, σ) are, that c(v) σ(e)c(w) for each ege e = vw, an that the colors can be inverte uner switching, i.e. equivalent signe graphs have the same chromatic number. In orer to guarantee these properties of a coloring, Zaslavsky [5] use the set { k,..., 0,..., k} of k + 1 signe colors an stuie the interplay between colorings an zero-free colorings through the chromatic polynomial. Recently, Máčajová, Raspau, an Škoviera [] moifie this approach. If n = k + 1, then let M n = {0, ±1,..., ±k}, an if n = k, then let M n = {±1,..., ±k}. A mapping c from V (G) to M n is a n-coloring of (G, σ), if c(v) σ(e)c(w) for each ege e = vw. They efine χ ± ((G, σ)) to be the smallest number n such that (G, σ) has a n-coloring. Since every element of an aitive abelian groups has an inverse element, it is natural to choose the elements of an aitive abelian group as colors for a coloring of signe graphs. The self-inverse elements of the group play a crucial role in the colorings, since the inuce color classes are inepenent sets. Hence, the following statement is true. Proposition 1.1. Let G be a graph an χ(g) = k. If C is a set of k pairwise ifferent self-inverse elements of an abelian group (e.g. of Z n (k n )), then every k-coloring of G with colors from C is a k-coloring of (G, σ), for every signature σ of G. In particular, the chromatic number of (G, σ) with respect to C is k. 1.1 (k, )-colorings of signe graphs A coloring parameter, where the colors are also the elements of an abelian group, namely the cyclic group of integer moulo n, an where the coloring properties are efine by using operations within the group, is the circular chromatic number. This parameter was introuce by Vince [4] in We combine these two approaches to efine the circular chromatic number of a signe graph. For x R an a positive real number r, we enote by [x] r, the remainer of x ivie by r, an efine x r = min{[x] r, [ x] r }. Hence, [x] r [0, r) an x r = x r. Let Z n enote the cyclic group of integers moulo n, Z/nZ. Let k an be positive integers such that k. A (k, )-coloring of a signe graph (G, σ) is a mapping c : V (G) Z k such that for each ege e with e = vw: c(v) σ(e)c(w) k. The circular chromatic number χ c ((G, σ)) is inf{ k : (G, σ) has a (k, )-coloring}. The minimum k such that (G, σ) has a (k, 1)-coloring is the chromatic number of (G, σ) an it is enote by χ((g, σ)).

3 Proposition 1.. Let k, be positive integers, (G, σ) be a signe graph an c be a (k, )- coloring of (G, σ). If (G, σ) an (G, σ ) are equivalent, then there is a (k, )-coloring c of (G, σ ). In particular, χ c ((G, σ)) = χ c ((G, σ )). Proof. Let x V (G) an (G, σ ) be obtaine from (G, σ) by a switching at x. Define c : V (G) Z k with c (v) = c(v), if v x, an c (x) = c(x). For every ege e with e = uw: If x {u, w}, then c(u) σ(e)c(w) k = c (u) σ (e)c (w) k, an if x {u, w}, say x = w, then c (u) σ (e)c (w) k = c(u) ( σ(e))( c(w)) k = c(u) σ(e)c(w) k. Hence, c is a (k, )-coloring of (G, σ ), an therefore, χ c ((G, σ)) = χ c ((G, σ )). Note, that if (G, σ) has a (k, )-coloring, then by switching we can obtain an equivalent graph (G, σ ) an a (k, )-coloring c on (G, σ ) such that c (v) {0, 1,..., k } for each v V (G). We will show that the circular chromatic number is a minimum; i.e. if χ c ((G, σ)) = k, then there exists a (k, )-coloring of (G, σ). Furthermore, χ((g, σ)) 1 χ c ((G, σ)) χ((g, σ)) for (G, σ). In contrast to the corresponing result for unsigne graphs we show, that for each even k there are signe graphs with circular chromatic number k an chromatic number k + 1, i.e. they o not have a (k, 1)-coloring. On the other han, for a signe graph on n vertices, if the ifference between these parameters is smaller than 1, then there exists ɛ n > 0, such that the ifference is at most 1 ɛ n. The proofs of the main results of this paper follow the approach of Bony an Hell [1] for similar results for unsigne graphs. 1. r-colorings of signe graphs The name circular coloring was introuce by Zhu [8], an motivate by the equivalence of (k, )-colorings to r-colorings. In section 3 we will show that this is also true in the context of signe graphs. Let (G, σ) be a signe graph an r be a real number at least 1. A circular r-coloring of (G, σ) is a function f : V (G) [0, r) such that for any ege e with e = xy: if σ(e) = 1, then 1 f(x) f(y) r 1, an if σ(e) = 1, then 1 f(x)+f(y) r r 1. Clearly, if we ientify 0 an r of the interval [0, r] into a single point, then we obtain a circle with perimeter r. Let S r be this circle. The colors are the points on S r, an the istance between two points a, b of S r is the shorter arc of S r connecting a an b, which is a b r. For a S r let r a be the inverse element of a. By this notation, a circular r-coloring of (G, σ) is a function that assigns if σ(e) = 1, then 1 f(x) f(y) r, an if σ(e) = 1, then 1 f(x) + f(y) r. Note, that this efinition also respects switchings. Let f be an r-coloring of (G, σ) an (G, σ ) be obtaine from (G, σ) by a switching at v V (G). Then f with f (x) = f(x) if x V (G) \ {v} an f (v) = r f(v) is an r-coloring of (G, σ ). As above we euce that there is always a coloring on an equivalent graph of (G, σ), which only uses colors in the interval [0, r ]. We will show in section 3 that χ c ((G, σ)) = inf{r : (G, σ) has an r-coloring}. 3

4 The circular chromatic number an r-colorings seem to be a very natural notion for the coloring of signe graphs. The color set S r has always two self-inverse elements, namely 0 an r. Basic properties of (k, )-colorings an χ c Lemma.1. Let, k, t be positive integers with gc(k, ) = 1 an t 3, an let (G, σ) be a signe graph. If (G, σ) has a (tk, t)-coloring, then it has a (tk k, t )-coloring. Proof. For i {0, 1,, t 1}, let A i = {i, i+t, i+t,, i+(k 1)t}. Clearly, A 0,..., A t 1 are t pairwise isjoint sets of colors whose union is exactly the color set Z tk. We shall recolor each color in both sets A 1 an A t 1 by a color in set A 0 as follows: for i A 1, recolor i by i 1, an for i A t 1, recolor i by i + 1. We obtain a new (tk, t)-coloring of (G, σ) in which no vertex receives a color from A 1 A t 1. Define k = tk k. Since the colors in the set A 1 A t 1 are not use, we efine a new coloring by renaming colors by elements of Z k. Change color x (from Z tk ) to x {y : y A 1 A t 1 an y < x} (interprete as element in Z k ) to obtain a mapping φ : V Z k. Let = t. We claim that φ is a (k, )-coloring of (G, σ). Denote by I j the set {j, j + 1,..., j + t 1} which is an interval of Z tk. Each interval I j contains exactly elements of A 1 A t 1, an any pair of mutually inverse elements of Z tk has been recolore by a pair of mutually inverse elements of Z k. It follows that φ is a (k, )-coloring of (G, σ), as require. By the rearrangement theorem of group theory we have Lemma.. Let k, an x be three integers with k, > 0 an gc(k, ) = 1. If A = {0, 1,..., k 1} an B = {[x + i] k : i A}, then A = B. Definition.3. Let c be a (k, )-coloring of a signe graph (G, σ) in which colors x 0 an its inverse k x 0 are missing. Upating c at x 0 is efine as follows: if the color [x 0 +] k appears in c, then recolor [x 0 + ] k by [x 0 + 1] k ; an meanwhile, if the color [k x 0 ] k appears in c, then recolor [k x 0 ] k by [k x 0 + 1] k. Let r be a positive integer. Upating c at a sequence of colors x 0, [x 0 + ] k,..., [x 0 + (r 1)] k is calle upating c from x 0 by r steps. We also say that a function c is obtaine from c by upating at x 0 (in r steps) if c is the final function from V (G) to Z k in this process. Let k, be two positive integers an P (k, ) = { 1 (k +1), 1 (k +1), 1 (k +1)}. Clearly, if both k an are even, then Z k P (k, ) = ; otherwise, Z k P (k, ) =. Lemma.4. Let (G, σ) be a signe graph, c be a (k, )-coloring of (G, σ), an let c be obtaine from c by upating at x 0. Either x 0 / P (k, ) or both [x 0 + ] k an [k x 0 ] k 4

5 are not use in c if an only if c is a (k, )-coloring of (G, σ) in which the colors x 0, [x 0 + ] k, [k x 0 ] k an [k x 0 ] k are not use. Proof. ( ) If both [x 0 + ] k an [k x 0 ] k are not use in c, then it follows that c is the same coloring as c since nothing happens in the upating process. So we are one in this case. Let x 0 / P (k, ), an suppose to the contrary that c is not a (k, )-coloring of (G, σ). Then there exists an ege e with two en-points u an v such that c (u) σ(e)c (v) k <. Since c is a (k, )-coloring of (G, σ), it follows that c(u) σ(e)c(v) k. Hence, the istance between the colors of u an v has been ecrease in the upating process. The istance can be ecrease by at most. Hence, we istinguish two cases. Case a: The istance between the colors of u an v ecreases by. In this case, both u an v have been recolore, say c(u) = [x 0 + ] k an c(v) = [k x 0 ] k ; an moreover, [c(u) σ(e)c(v)] k {, +1}. It follows that σ(e) = 1 an furthermore, [c(u) σ(e)c(v)] k = + 1 since for otherwise c(u) an c(v) are in fact the colors x 0 an [k x 0 ] k which are missing in c. By simplification of this equality, we get [(x 0 + ) k] k = + 1 an thus, x 0 { k +1, k +1 }, contraicting the assumption that x 0 / P (k, ). Case b: The istance between the colors of u an v ecreases by 1. In this case, exactly one of u an v has been recolore, say u; an moreover, c(u) σ(e)c(v) k =. Without loss of generality, we may assume c(u) = [x 0 + ] k. It follows that c(v) = x 0, contraicting the fact that x 0 is not use in c. Therefore, c is a (k, )-coloring of (G, σ). If the colors [x 0 + ] k an [k x 0 ] k occur in c, then they have been recolore by each other, which can happen in the only case that k is o an [x 0 + ] k = x 0 + = k+1. However, this case is impossible since x 0 / P (k, ). Finally, suppose to the contrary that the colors x 0 an [k x 0 ] k occur in c. Since they are not use in c, they have been reuse in the upating process. Thus, [x 0 + 1] k = [k x 0 ] k an so x 0 { k +1, k +1 }, a contraiction. ( ) Suppose to the contrary that x 0 P (k, ) an at least one of [x 0 +] k an [k x 0 ] k are use in c. Without loss of generality, say [x 0 + ] k is use. We istinguish two cases accoring to the value of x 0. Case 1: assume x 0 { k +1, k +1 }. Thus, [x 0 + 1] k = [k x 0 ] k, which implies that the color [k x 0 ] k has been reuse in the upating process, a contraiction. Case : assume x 0 = k +1. Thus, [x 0 + ] k = [k x 0 ] k + 1, which implies that the colors [x 0 + ] k an [k x 0 ] k have been exchange, a contraiction. Lemma.5. Let (G, σ) be a signe graph on n vertices that has a (k, )-coloring an gc(k, ) = 1. If k > n, then (G, σ) has a (k, )-coloring. 5

6 Proof. Let c be a (k, )-coloring of (G, σ). Since k > n, we may assume that there is o x 0, such that x 0 an k x 0 are not use in c. Upate c from x 0 by k steps to obtain a function c. Denote by A the set of o elements of Z k. Since both k an are even it follows with Lemma. that the colors of A {c(v) : v V (G)} have been recolore by colors of Z k \A in the upating process. Hence, A {c (v) : v V (G)} =, an by Lemma.4, c is a (k, )-coloring of (G, σ). Thus, φ : V (G) Z k with φ(v) = 1 c (v) is a coloring of (G, σ). Let I j = {j, j + 1,..., j + 1} which is an interval of Z k. Each interval I j contains exactly elements of A. Moreover, any pair of mutually inverse elements of Z k has been recolore by a pair of mutually inverse elements of Z k. Hence, φ is a (k, )-coloring of (G, σ), as require. Lemma.6. If (G, σ) is a signe graph on n vertices that has a (k, )-coloring with gc(k, ) = 1 an k > 4n, then (G, σ) has a (k, )-coloring with k < k an k < k. Proof. Since gc(k, ) = 1, we may assume that P (k, ) Z k = {p, q} an p < q. Let f : Z k Z k such that x f(x) (mo k). Lemma. implies that f is a bijection. Further, x an y are mutually inverse elements of Z k if an only if f(x) an f(y) are mutually inverse ones, an f(p) f(q) k = k. Let c be a (k, )-coloring of (G, σ). Since k > 4n we may assume that x 0 Z k such that x 0 an k x 0 are not use in c, an that f(q), f(x 0 ) an f(p) are in clockwise orer in Z k. Hence, c can be upate from x 0 by [f(p) f(x 0 )] k steps to obtain a (k, )-coloring c of (G, σ) in which colors p an k p are not use. Let r = min{[f(p) f(k p)] k, [f(q) f(k p)] k }, i.e., r is the minimum positive integer such that either k p + r p (mo k) or k p + r q (mo k). Upating c from k p by r steps, we obtain a function c, which is a (k, )-coloring c of (G, σ) by Lemma.4. We will show that no color is reuse in this upating process such that we can efine a (k, )-coloring of (G, σ) with k < k an k < k. Let A = {[k p + i] k : 0 i r} an B = {k a: a A}. By simplifying the congruence expressions, we reformulate the minimality of r as: r is the minimum positive integer such that (1) either (r + 1) 1 (mo k) or (r + ) (mo k), if k is even; () either (r + ) 1 (mo k) or (r + 3) (mo k), if k is o. Claim.6.1. No element of A B is use in coloring c. Suppose to the contrary that A B has a color α with α {[k p+r 1 ] k, k [k p+r 1 ] k } appearing in c. Concerning that the color α is missing in the resulting coloring after exactly r 1 steps in the upating process, its appearance in c yiels that it has been reuse in some 6

7 r step with r > r > r 1. It follows that either k p + r k p + r (mo k) or k p + r (k p + r 1 ) + 1 (mo k). In the former case, the congruence expression can be simplifie as (r r 1 ) 1 (mo k). Note that 0 < r r 1 < r + 1. A contraiction is obtaine by the minimality of r. In the latter case, the congruence expression can be simplifie as (r 1 + r + 1) (mo k) if k is even an (r 1 + r + ) (mo k) if k is o. But then r 1 + r < r + 1 which is a contraiction to the minimality of r. This completes the proof of the claim. Case 1: k is even. In this case, p = 1 (k + 1) an q = 1 (k + 1). Case 1.a: k p + r p (mo k). The colors [k p + i] k an [k p + (r i)] k are mutually inverse, for 0 i r. Thus, the set A consists of r+1 pairs of mutually inverse elements of Z k an {0, k } A = B. Since the colors of A B are not use in c by Claim.6.1, we rename the other colors: if 0 / A, then change color x to x {y : y A an y < x} ; otherwise, change color x to x {y : y A an y < x} k A. Define k = k r 1. We thereby obtain a mapping φ : V (G) Z k. Denote by I j the set {j, j + 1,..., j + 1} which is an interval of Z k. Each interval I j contains at most r+ 1 k elements of A. Define = r+ 1 k. Moreover, any pair of mutually inverse colors of Z k has been recolore to mutually inverse colors of Z k an then has been rename to be mutually inverse colors of Z k. Hence, φ is a (k, )-coloring of (G, σ), an k = k(k r 1) (k r 1)+1 < k. Case 1.b: k p + r q (mo k). We have that either 0 < f(q), f(k p) < k or k < f(q), f(k p) < k. Since f(p) f(q) k = k, it follows that neither {f(a) : a A} nor A contains any pair of mutually inverse colors. Thus, A B consists of r + 1 pairs of mutually inverse colors an 0, k A B. Define k = k (r + 1). Since the colors in the set A B are not use in c by Claim.6.1, we may rename the other colors, changing color x to x {y : y A B an y < x}, thereby obtain a mapping φ : V (G) Z k. Denote by I j the set {j, j + 1,..., j + 1} which is an interval of Z k. Each interval I j contains at most r+ k = r+ k elements of A. Define = (k r )+ k. By repeating the argument as in Case 1.a, we get a (k, )-coloring of (G, σ).furthermore, k = k(k r ) (k r )+ < k. Case : k is o. In this case, p = 1 (k + 1), an q = 1 (k + 1) when is even an q = 1 (k + 1) when is o. Case.a: k p + r p (mo k). The colors [p + i] k an [p + (r i)] k are mutually inverse for 0 i r. Thus, A = B an A consists of r+1 pairs of mutually inverse colors of Z k. Since the colors of A B are not use in c by Claim.6.1, we may rename the other colors: if 0 / A, then change x to x {y : y A an y < x} for each x k an to x {y : y A an y < x} 1 for each x > k k A ; otherwise, change x to x {y : y A an y < x} + 1 for each 7

8 x k k A an to x {y : y A an y < x} for each x > k. The mutually inverse colors k 1 an k+1 of Z k are not in A an they have been rename into the same color. Define k = k r. We thereby obtain a mapping φ : V Z k. Denote by I j the set {j, j + 1,..., j + 1} which is an interval of Z k. Define = 1 k (r + 1). For each interval I j, if both colors k 1 an k+1 belong to I j, then I j contains at most 1 elements of A; otherwise, I j contains at most elements of A. Define =. Moreover, any pair of mutually inverse colors of Z k has been recolore to be mutually inverse colors of Z k an then has been rename to be mutually inverse colors of Z k. Hence, φ is a (k, )-coloring of (G, σ), an k = k(k r ) (k r )+1 < k. Case.b: k p + r q (mo k). By similar argument as in Case 1.b, we may assume that A contains no mutually inverse colors of Z k. Thus, A B consists of r + 1 pairs of mutually inverse colors an 0 / A B. Since the colors of A B are not use in c by Claim.6.1, we may rename the other colors: change x to x {y : y A an y < x} for each x k an to x {y : y A an y < x} 1 for each x > k k 1. The mutually inverse colors an k+1 of Z k are not containe in the set A an have been rename into the same color. Define k = k r 3. We thereby obtain a mapping φ : V Z k. Denote by I j the set {j, j + 1,..., j + 1} which is an interval of Z k. Define = 1 k (r + 3 ). Clearly, is a positive integer because of the assumption of Case.b. For each interval I j, if both colors k 1 an k+1 belong to I j, then I j contains at most 1 elements of A; otherwise, I j contains at most elements of A. Define =. Any pair of mutually inverse colors of Z k has been recolore to be mutually inverse colors of Z k an then has been rename to be mutually inverse colors of Z k. Hence, φ is a (k, )-coloring of (G, σ), an k = k(k r 3) (k r 3)+ < k. Theorem.7. If (G, σ) is a signe graph on n vertices, then χ c ((G, σ)) := min{ k : (G, σ) has a (k, )-coloring an k 4n}. Proof. By Lemmas.1,.5 an.6, if (G, σ) has a (k, )-coloring then it has a (k, )- coloring with k 4n an k Since the set { k : replace by a minimum. k. Therefore, χ c ((G, σ)) := inf{ k : (G, σ) has a (k, )-coloring an k 4n}. (G, σ) has a (k, )-coloring an k 4n} is finite, the infimum can be Relation between χ c an χ Lemma.8. If a signe graph (G, σ) has a (k, )-coloring, then for any positive integer t, (G, σ) has a (tk, t)-coloring. 8

9 Proof. Let c be a (k, )-coloring of (G, σ). Define a (tk, t)-coloring c of (G, σ) by c (x) = tc(x), for all x V (G). Lemma.9. If a signe graph (G, σ) has a (k, )-coloring an k > k, where k is a positive integer, then (G, σ) has a (k, )-coloring. Proof. Let c be a (k, )-coloring of (G, σ). Define the mapping c : V (G) Z k x V (G), c c(x) if c(x) k (x) =, c(x) + k k otherwise. by for all It is easy to check that c is a (k, )-coloring of (G, σ). Theorem.10. If a signe graph (G, σ) has a (k, )-coloring, an k an are two positive integers such that k < k, then (G, σ) has a (k, )-coloring. Proof. By Lemma.8, (G, σ) has a (k, )-coloring. Since k < k, Lemma.9 implies that (G, σ) has a (k 1, )-coloring an a (k, )-coloring as well. If is o, then by Lemma.1, a (k, )-coloring of (G, σ) yiels a (k, )-coloring of (G, σ) an we are one. Let be even an c be a (k 1, )-coloring of (G, σ). Define the mapping c : V (G) {1,,..., k 1 } as follows. For x V (G) let c (x) (k 1), if c (x) > k 1 c(x) =, c (x), otherwise. Define the mapping c : V (G) Z k by c (x) = c(x) We will show that c is a (k, )-coloring of (G, σ). + 1, for all x V (G). Consier an ege uv. First assume that σ(uv) = 1. Without loss of generality, let c(u) > c(v). Note that 1 c(u) c(v) k. Since c is a (k 1, )-coloring of (G, σ), c(u) c(v) k 1. Therefore, c (u) c (v) = c(u) + 1 c(v) k + c(v) 1 k, c(v) + 1 9

10 an c (u) c (v) = c(u) + c(v) =. + 1 c(v) c(v) + 1 Next assume that σ(uv) = 1. Note that c(u) + c(v) (k 1). Since c is a (k 1, )-coloring of (G, σ), either c(u) + c(v) k 1 or k 1 + c(u) + c(v) (k 1). In the former case, c (u) + c (v) = c(u) c(v) k c(v) + 1 k = k, c(v) + 1 an c (u) + c (v) = c(u) c(v) = c(v) In the latter case, by a similar calculation, we euce Therefore, c is a (k, )-coloring of (G, σ) c(v) k + c (u) + c (v) k. + 1 Proposition.11. If a signe graph (G, σ) has a (k, )-coloring with o, an k an are two positive integers such that k = k, then (G, σ) has a (k, )-coloring. Proof. By Lemma.8, (G, σ) has a (k, )-coloring, i.e., a (k, )-coloring since k = k. Since is o, by Lemma.1, (G, σ) has a (k, )-coloring of (G, σ). Theorem.1. If (G, σ) is a signe graph, then χ((g, σ)) 1 χ c ((G, σ)) χ((g, σ)). 10

11 Proof. By the efinitions, we have χ c ((G, σ)) χ((g, σ)). On the other han, suppose to the contrary that χ c ((G, σ)) < χ((g, σ)) 1. Theorem.7 implies that χ c ((G, σ)) is a rational number. We may assume (G, σ) has a (k, )-coloring with χ c ((G, σ)) = k. By Theorem.10, (G, σ) has a (χ((g, σ)) 1, 1)-coloring, a contraiction. If G is an unsigne graph, then χ(g) 1 < χ c (G) χ(g), see [4]. We will show that there are signe graphs (G, σ) with χ((g, σ)) 1 = χ c ((G, σ)), see Figure (( G, )) 3 (( G, )) c Figure 1: An example χ 1 = χ c Theorem.13. Let (G, σ) be a signe graph with χ((g, σ)) = t + 1. The following statements are equivalent. 1. χ c ((G, σ)) = t.. (G, σ) has a (t, )-coloring. Proof. ( ) Let χ c ((G, σ)) = t. For each (k, )-coloring of (G, σ) with k = t it follows that > 1 since for otherwise we woul get a (t, 1)-coloring. If is o, then Lemma.1 implies, that there is (t, 1)-coloring, a contraiction. Hence, is even an therefore, k as well. Again with Lemma.1 it follows that there is a (t, )-coloring. ( ) Since (G, σ) oes not have a (t, 1)-coloring but it has a (t, )-coloring, it follows that χ c ((G, σ)) = t = χ((g, σ)) 1. Theorem If (G, σ) is antibalance an not bipartite, then χ((g, σ)) = 3, an χ c ((G, σ)) =.. For every even k, there is a signe graph (G, σ) with χ((g, σ)) 1 = χ c ((G, σ)) = k. Proof. 1. The mapping c from V (G) to Z 3 with c(v) = 1 is a 3-coloring of (G, σ). Hence, χ((g, σ)) = 3, by statement 1. If we consier c as a mapping from V (G) to Z 4, then c is a (4, )-coloring of (G, σ). Hence, χ c ((G, σ)) =. 11

12 . For i {1,..., n} let (G i, σ i ) be a connecte signe graph with at least two vertices an all eges negative. Take (G 1, σ 1 ),..., (G n, σ n ), an for every j {1,..., n} an every v V (G j ) connect v to every vertex of ( n i=1 V (G i)) V (G j ). The resulting graph is enote by (K n, σ n ). Claim If n is even, then χ((k n, σ n )) = n + 1 an χ c ((K n, σ n )) = n. If n is o, then χ((k n, σ n )) = n + an χ c ((K n, σ n )) = n + 1. Clearly, the all positive subgraph K n N σn has chromatic number n. Since for all i {1,..., n} the signe subgraph (G i, σ i ) has only negative eges, an G i has at least one ege, it follows that all use colors are not self-inverse. Since n is even, it follows that χ((k n, σ n )) = n + 1. Furthermore c : V (K n) Z n with c(v) = i 1 if v V (G i ) is a (n, )-coloring of (K n, σ n ). Hence, χ c ((K n, σ n )) = n. If n is o, the statement will be prove analogously, an the Claim is prove. Statement 1 of this theorem is the case n = 1. Note, that Lemma.5 oes not apply to the graphs of Theorem.14 since the carinality of the set of colors is smaller than the orer of the graphs. It woul be of interest whether a statement like Theorem.14. is also true for o k. Furthermore, is there a non-trivial characterization of the signe graphs with χ((g, σ)) 1 = χ c ((G, σ))? The next theorem shows that if the lower boun in Theorem.1 is not attaine, then it can be improve. Theorem.15. Let (G, σ) be a signe graph on n vertices, then either χ((g, σ)) 1 = 1 χ c ((G, σ)) or (χ((g, σ)) 1)(1 + 4n 1 ) χ c((g, σ)) χ((g, σ)). In particular, if χ((g, σ)) 1 χ c ((G, σ)), then χ((g, σ)) χ c ((G, σ)) < 1 1 Proof. By Theorem.1, it suffices to show, that if χ((g, σ)) 1 χ c ((G, σ)) then (χ((g, σ)) 1)(1+ 1 4n 1 ) χ c((g, σ)). By Theorem.7, we may assume that χ c ((G, σ)) = p, where p an q are coprime integers an p 4n. Then q n. χ c ((G, σ)) (χ((g, σ)) 1) 1 q = χ c((g, σ)) p χ c((g, σ)). (1) 4n By simplifying the inequality, we get (χ((g, σ)) 1)( n 1 ) χ c((g, σ)). Since q < p, it follows with the first inequality of equation (1) that χ((g, σ)) χ c ((G, σ)) < 1 1 n. 1

13 3 r-colorings Theorem 3.1. Let (G, σ) be a signe graph an k, be positive integers with k. (G, σ) has a (k, )-coloring if an only if (G, σ) has a circular k -coloring. Furthermore, if (G, σ) has a circular k -coloring such that a common enominator of the use colors is o, then (G, σ) has a (k, )-coloring. Proof. We give an analogous proof to the one for unsigne graphs (see Theorem 1 in [8]). Suppose that c : V (G) Z k is a (k, )-coloring of (G, σ). For each v V (G) set f(v) = c(v). It is easy to verify that f is a circular k -coloring of (G, σ). On the other sie, suppose that f is a circular r-coloring of (G, σ) with r = k an gc(k, ) = 1. Let S = {f(v): v V (G)}. The carinality of S is finite since G is a finite graph. We first show that we can assume that all elements of S are rational numbers. We will show that each non-rational color can be shifte to a rational color without creating a new pair of colors with istance less than 1. Let s S an suppose that s is not a rational number. Let P = P 1,..., P n be the longest sequence of pairwise istinct points in [0, r) which satisfies the following constraints: s P, an {P i, r P i } S an P i+1 = [P i + 1] r, where P i is the element of P in the i place. Define Q to be the sequence consisting of the opposite points of P. More precisely, Q i = r P i. Let P = S P an Q = S Q. Let ε be a positive real number such that s + ε is rational. We shift the colors in P together by istance ε clockwise, an the ones in Q together by the same istance anticlockwise. Choose ε to be small enough. It is easy to see that this shift is the one require if we can show that the sequences P an Q contains no common colors. If α is a common color of P an Q, then s α is an integer an so oes r s α. It follows that r s is an integer, contraicting with the fact that r is a rational number but s not. Let m be a common enominator of all the colors in S. Then the mapping f : V (G) Z mk efine as f (v) = f(v)m is a (mk, m)-coloring of (G, σ). Since m can be chosen to be even it follows with Lemma.1 that there is (k, )-coloring of (G, σ). Furthermore, if m is o, then it follows again with Lemma.1 that (G, σ) has a (k, )-coloring. The (k, )-coloring in the previous theorem can not be replace by (k, )-coloring since otherwise there exist counterexamples. The unbalance triangle is one of the signe graphs that has a circular -coloring but has no (,1)-colorings. With Theorems.7 an 3.1 we euce the following statement. 13

14 Theorem 3.. If (G, σ) is a signe graph, then χ c ((G, σ)) = min{r : (G, σ) has a circular r-coloring}. 4 Concluing remarks First we etermine the circular chromatic number of some specific graphs. For n 3, let C n enote the circuit with n vertices. Proposition 4.1. Let k be a positive integer. 1. If (C k+1, σ) is balance, then χ c ((C k+1, σ)) = + 1 k, otherwise χ c((c k+1, σ)) =. Furthermore χ((c k+1, σ)) = 3.. χ((g, σ)) = if an only if G is bipartite. Furthermore, χ((g, σ)) = χ c ((G, σ)) if G is bipartite. Proof. 1. If (C k+1, σ) is balance, then (C k+1, σ) is switching equivalent to (C k+1, +), hence, χ c ((C k+1, σ)) = + 1 k. If (C k+1, σ) is unbalance, then (C k+1, σ) is switching equivalent to C k+1 which has one negative ege say, uv. Thus, we can assign to vertex u an v color 1, an to other vertices colors 3 an 1 alternatively. We thereby get a (4, )- coloring of (C k+1, σ), i.e., χ c ((C k+1, σ)) =. An it is easy to check (C k+1, σ) has a (3, 1)-coloring, but can not be colore properly by two colors, therefore, χ((c k+1, σ)) = 3.. If G is bipartite, then it can be colore with colors 0 an 1 an therefore, χ((g, σ)) =. If χ((g, σ)) =, then, since both colors are self-inverse in Z, both color classes are inepenent sets. Hence, G is bipartite. Since χ((g, σ)), χ c ((G, σ)), it follows that χ((g, σ)) = χ c ((G, σ)) if G is bipartite. 4.1 Colorings with signe colors Next, we relate our parameter to the colorings which are consiere in []. The efinitions are given in section 1. Proposition 4.. If (G, σ) is a signe graph, then χ ± ((G, σ)) 1 χ((g, σ)) χ ± ((G, σ))+ 1. Proof. Let χ ± ((G, σ)) = n an c be an n-coloring of (G, σ) with colors from M n. If n = k +1, then let φ : M k+1 Z k+1 with φ(t) = t if t {0,..., k} an φ(t) = k + 1+t if t { k,..., 1}. Then c is a (k+1)-coloring of (G, σ) with colors from M k+1 if an only if φ c is a (k + 1)-coloring of (G, σ). Hence, χ((g, σ)) χ ± ((G, σ)). If n = k, then let φ : M k Z k+1 with φ(t) = t if t {1,..., k} an φ(t) = k+1+t if t { k,..., 1}. Then φ c is a (k + 1)-coloring of (G, σ). Hence, χ((g, σ)) χ ± ((G, σ)) + 1. We analogously euce that χ ± ((G, σ)) χ((g, σ))

15 The next proposition shows, that the bouns of Proposition 4. cannot be improve (see Figure ). Proposition 4.3. Let (G, σ) be a connecte signe graph with at least three vertices. 1. If (G, σ) is antibalance an not bipartite, then χ ± ((G, σ)) = an χ((g, σ)) = 3.. If (G, σ) is bipartite but not antibalance, then χ ± ((G, σ)) = 3 an χ((g, σ)) = (( G, )) 3 (( G, )) (( G, )) (( G, )) 3 1 Figure : relation between χ an χ ± References [1] J. A. Bony, P. Hell, A note on the star chromatic number, J. Graph Theory 14 (1990) [] E. Máčajová, A. Raspau, M. Škoviera, The chromatic number of a signe graph, arxiv: v1 (014) [3] A. Raspau, X. Zhu, Circular flow on signe graphs, J. Comb. Theory Ser. B 101 (011) [4] A. Vince, Star chromatic number, J. Graph Theory 1 (1988) [5] T. Zaslavsky, Signe graph coloring, Discrete Math. 39 (198) 15-8 [6] T. Zaslavsky, Chromatic invariants of signe graphs, Discrete Math. 4 (198) [7] T. Zaslavsky, How colorful the signe graph?, Discrete Math. 5 (1984) [8] X. Zhu, Star chromatic numbers an prouct of graphs, J. Graph Theory 16 (199) [9] X. Zhu, Circular chromatic number: a survey, Discrete Math. 9 (001)

16 [10] X. Zhu, Recent evelopments in circular colouring of graphs, in M. Klazar, J. Kratochvl, M. Loebl, J. Matouek, P. Valtr, R. Thomas (es.) Topics in Discrete Mathematics Algorithms an Combinatorics Volume 6, Springer Berlin Heielberg (006)