arxiv: v1 [math.co] 10 Nov 2010

Transcription

1 arxi: [math.co] 10 No 010 The Fractional Chromatic Nmber of Triangle-free Graphs with 3 Linyan L Xing Peng Noember 1, 010 Abstract Let G be any triangle-free graph with maximm degree 3. Staton 5 proed that the independence nmber of G is at least n. Heckman 14 and Thomas conjectred that Staton s reslt can be strengthened into a bond on the fractional chromatic nmber of G, namely χ f (G) Recently, Hatami and Zh proed χ f (G) 3 3. In this paper, we proe 64 χ f (G) Introdction This paper inestigates the fractional chromatic nmber of a triangle free graph with maximm degree at most 3. For a simple (finite) graph G = (V,E), the fractional chromatic nmber of G is the linear programming relaxation of the chromatic nmber of G. Let I(G) be the family of independent sets of G. A mapping f: I(G) [0,1] is called an r-fractional coloring of G if S I(G) f(s) r and S,S I(G) f(s) 1. The fractional chromatic nmber χ f (G) of G is the least r for which G has an r-fractional coloring. Alternatiely, the fractional chromatic nmber can also be defined throgh mltiple colorings. A b-fold coloring of G assigns a set of b colors to each ertex so that any two adjacent ertices receie disjoint sets of colors. We say a graph G is a : b-colorable if there is a b-fold coloring of G in which each color is drawn from a palette of a colors. We refer to sch a coloring as an a : b-coloring. The b-fold coloring nmber, denoted as χ b (G), is the smallest integer a so that G has a a : b-coloring. Note that χ 1 (G) = χ(g). It is known, in [10], that χ b (G) (as a fnction of b) is sb-additie and so the infimm of χ b(g) b always exists, which trns ot to be an alternatie definition of χ f (G). (Moreoer, χ f (G) is a rational nmber and the infimm can be replaced by minimm.) Uniersity of Soth Carolina, Colmbia, SC 908, (l@math.sc.ed). This athor was spported in part by NSF grant DMS and DMS Uniersity of Soth Carolina, Colmbia, SC 908, (pengx@mailbox.sc.ed).this athor was spported in part by NSF grant DMS and DMS

2 Let χ(g) be the chromatic nmber of G and ω(g) be the cliqe nmber of G. A simple relation holds: ω(g) χ f (G) χ(g). (1) Now we consider a graph G with maximm degree at most three. If G is not K 4, then by Brooks theorem, G is 3-colorable. If G contains a triangle, then χ f (G) ω(g) = 3. Eqation (1) implies χ f (G) = 3. One may ask what is the possible ale of χ f (G) if G is triangle-free with 3. This problem is motiated by a well-known, soled problem of determining the maximm independence nmber α(g) for sch graphs. Staton, in [11], showed that α(g) 5n/14 () for any triangle-freegraph G on n ertices with maximm degree at most 3. Actally, Staton s bond is the best possible since the generalized Peterson graph P(7,) has 14 ertices and independence nmber 5 as noticed by Fajtlowicz, in []. Griggs and Mrphy, in [4], designed a linear-time algorithm to find an independent set in G of size at least 5(n k)/14, where k is the nmber of components of G that are 3-reglar. Heckman and Thomas, in [6], gae a simpler proof of Staton s bond and designed a linear-time algorithm to find an independent set in G with size at least 5n/14. In the same paper [6], Heckman and Thomas conjectred χ f (G) 14 5 for eery triangle-free graph with maximm degree at most 3. Note that, in [10], χ f (G) = n α(g), (4) proided G is ertex transitie. It implies that the generalized Peterson graph P(7, ) has the fractional chromatic nmber.8. Ths, the conjectre is tight if it holds. Recently, Hatami and Zh, in [5], proed χ f (G) , proided G is triangle free with maximm degree at most three. Inspired by their method, we introdce the concept of admissible sets and proe the following theorem. Theorem 1 If G is triangle-free and has maximm degree at most 3, then χ f (G) The rest of the paper is organized as follows. In section two, we will stdy the conex strctre of fractional colorings and the fractionally-critical graphs. In section three, we will proe seeral key lemmas. In section for, we will show that G can be partitioned into 4 admissible sets and present the proof of the main theorem. We will gie some conclding remarks at the end. (3)

3 Lemmas and Notations In this section, we introdce an alternatie definition of fractional colorings. The new definition highlights the conex strctre of the set of all fractional colorings. The extreme points of these fractional colorings play a central role in or proofs and seem to hae independent interest. Or approach is analogos to define rational nmbers from integers..1 Conex strctres of fractional colorings In this paper, we se bold letter c to represent the colorings. Recall that a b-fold coloring of a graph G assigns a set of b colors to each ertex sch that any two adjacent ertices receie disjoint sets of colors. Gien a b-fold coloring c, let A(c) = V (G) c() bethesetofallcolorssedinc. Twob-foldcoloringsc 1 and c are isomorphic if there is a bijection φ: A(c 1 ) A(c ) so that φ c 1 = c. In this case we write c 1 = c. The isomorphic relation = is an eqialence relation. We denote c be the isomorphic class where c belongs. Wheneer clear nder the context, we will not distingish a b-fold coloring c and its isomorphic class c. For a graph G and a positie integer b, let C b (G) be the set of all (isomorphic classes of) b-fold colorings of G. For c 1 C b1 (G) and c C b (G), we can define c 1 +c C b1+ (G) as follows: for any V(G), (c 1 +c )() = c 1 () c (), i.e., c 1 +c assigns the disjoint nion of c 1 () and c (). Let C(G) = b=0 C b(g). It is easy to check that + is commtatie and associatie. Under this addition, C(G) forms a commtatie monoid with the niqe 0-fold coloring (denoted by 0, for short) as the identity. For a positie integer t and c C b (G), we define t c = t {}}{ c+ +c to be the new tb-fold coloring by dplicating each color t times. For c 1 C b1 (G) and c C b (G), we say c 1 and c are eqialent, denoted as c 1 c, if there exists a positie integer s so that s c 1 = sb1 c. (This is an analogy of the classical definition of rational nmbers.) Lemma 1 The binary relation is an eqialence relation oer C(G). Proof: It is easy to check is reflexie and symmetric. Now we proe is transitie. Let c i C bi (G) for i = 1,,3. Sppose c 1 c and c c 3. We need to proe c 1 c 3. Since c 1 c, there is a positie integer s so that s c 1 = sb1 c. 3

4 Since c c 3, there is a positie integer t so that We hae tb 3 c = tb c 3. st b 3 c 1 = tb3 (s c 1 ) = tb 3 (s c ) = s (tb 3 c ) = s (t c 3 ) = st c 3. Ths, c 1 c 3 by definition. Let F(G) = C(G)/ be the set of all eqialence classes. Each eqialence class is called a fractional coloring of G. For any c C b (G), the eqialence class of c nder is denoted by π(c) = c b. Remark: The notation c b makes sense only when c is a b-fold coloring. Gien any λ = q p [0,1] and two fractional colorings (two eqialence classes) c1 and c, we define the linear combination as λc 1 +(1 λ)c = q c 1 +(p q) c p. The following lemma shows this definition is independent of the choices of c 1 and c, and so λc 1 +(1 λ)c is a fractional coloring depending only on λ, c1, and c. Lemma Assme c i C bi (G) for i = 1,,3,4 satisfying c 1 c 3 and c c 4. For any non-negatie integers p, q, p, and q satisfying q p = q p [0,1], we hae q c 1 +(p q) c q b 4 c 3 +(p q )b 3 c 4. Proof: There exist two positie integers s and t satisfying We hae sb 3 c 1 = sb1 c 3 ; tb 4 c = tb c 4. p stb 3 b 4 (q c 1 +(p q) c ) = p qst b 3 b 4 c 1 +p (p q)st b 3 b 4 c = p qt b 4 (sb 3 c 1 )+p (p q)s b 3 (tb 4 c ) = p qt b 4 (s c 3 )+p (p q)s b 3 (t c 4 ) = p qst b 4 c 3 +p (p q)st b 3 c 4 = pq st b 4 c 3 +p(p q )st b 3 c 4 = pst (q b 4 c 3 +(p q )b 3 c 4 ). 4

5 Note q c 1 +(p q) c is a p -fold coloring while q b 4 c 3 +(p q )b 3 c 4 is a p b 3 b 4 -fold coloring. The aboe eqality shows that q c 1 +(p q) c q b 4 c 3 +(p q )b 3 c 4. Define a fnction g: F(G) Q as g G ( c b ) = A(c) b. If the graph G is clear nder context, then we write it as g( c b ) for short. It is easy to check that g does not depend on the choice of c and so g is well-defined. For any τ > 0, we define F τ (G) = { c b F(G) g(c b ) τ}. Theorem For any graph G on n ertices, there is an embedding φ: F(G) Q n 1 sch that φ keeps conex strctre. Moreoer, for any rational nmber τ, F τ (G) is conex with finite extreme fractional colorings. Proof: We wold like to define φ: F(G) Q n 1 as follows. Gien a fractional coloring c b, we can fill these colors into the regions of the general Venn Diagram on n-sets. For i = 1,,..., n 1, we can write i as a binary string a 1 a a n sch that a {0,1} for all 1 n. Write c 1 () = c() and c 0 () = c() (the complement set of c()). Then the nmber of colors in i-th region of Venn Diagram can be written as By the definition, h i is additie, i.e. h i (c) = n =1 ca (). h i (c 1 +c ) = h i (c 1 )+h i (c ). Ths hi(c) b depends only on the fractional coloring c b The i-th coordinate of φ( c b ) is defined to be bt not on c itself. φ i ( c b ) = h i(c). b It is easy to check that φ i is a well-defined fnction on F(G). Moreoer, for any λ = q c1 p [0,1] and any two fractional colorings and c, we hae ( φ i λ c 1 +(1 λ) c ) ( ) qb c 1 +(p q) c = φ i p = h i(q c 1 +(p q) c ) p = qh i (c 1 )+(p q) h i (c ) p = q h i (c 1 ) +(1 q p p )h i(c ) Ths φ keeps the conex strctre. = λφ i ( c 1 )+(1 λ)φ i ( c ). 5

6 It remains to show φ is a 1 1 mapping. Sppose φ( c1 ) = φ( c ). We need to show c 1 c. Let c 1 = c 1 and c = c. Both c 1 and c are -fold coloring. Note φ( c 1 ) = φ( c ). For j = 1, and 1 i n 1, we denote the set of colors in the i-th Venn Diagram region of A(c j ) by B i(c j ). Since φ( c 1 ) = φ( c ), we hae B i (c 1 ) = B i(c ). There is a bijection ψ i from B i (c 1 ) to B i(c ). Note that for j = 1,, we hae a partition of A(c j ) as the following A(c j ) = n 1 i=1 B i(c j ). Define a bijection ψ from A(c 1 ) to A(c ) be the nion of all ψ i (1 i n 1). We hae ψ c 1 = c. Ths c 1 = c. Note that c 1 c 1 and c c. We conclde that c 1 c. Under the embedding, φ(f τ (G)) consists of all rational points in a polytope defined by the intersection of finite half spaces. Note that all coefficients of the eqations of hyperplanes are rational. The extreme points are rational as well. They are finite. Remark: It is well-known that for any graph G there is a a : b-coloring of G with a b = χ f(g). In or terminology, we hae χ f (G) = min{g( c b ) for any c b F(G)}.. Coloring restriction and extension Let H be a sbgraph of G. Any b-fold coloringof G is natrally a b-fold coloring of H. This restriction operation indces a mapping i H G : F(G) F(H). It is easy to check that i H c1 G keeps conex strctre, i.e., for any, c F(G) and λ [0,1] Q, we hae ( i H G λ c 1 +(1 λ) c ) ( ) ( ) = λi H c1 G +(1 λ)i H c G. It is also triial that ( c ( c ) g H (i H G g G. b)) b Now we consider a reerse operation. We say a fractional coloring c1 F(H) is extensible in F t (G) if there is a fractional coloring c b F t(g) satisfying i H G ( c b) = c 1. We say a fractional coloring c1 F(H) is flly extensible in F(G) if it is extensible in F t (G), where t = g H ( c1 ). (It also implies that c1 is extensible in F t (G) for all t g H ( c1 ).) 6

7 Lemma 3 Let H be a sbgraph of G and c1, c F(H). Sppose that for i = 1,, ci b i F(H) are flly extensible in F(G). Then for any λ Q [0,1], λ c1 +(1 λ) c is flly extensible in F(G). Proof: Let t i = g H ( ci b i ) for i = 1,. Note that there are fractional colorings ( ) c i b F ti (G) sch that i H c i G i b = ci i b i for i = 1,. Let c b = λc 1 b +(1 λ) c 1 b. Then we hae g G ( c b ) = λt 1 +(1 λ)t and, ( ( ) ( ) c c i H G = λi b) H 1 c G +(1 λ)i H G = λ c 1 +(1 λ) c. Note that b 1 ( g H λ c 1 +(1 λ) c ) = λt 1 +(1 λ)t. Therefore, λ c1 +(1 λ) c is flly extensible in F(G) by definition. We say G = G 1 G if V(G) = V(G 1 ) V(G ) and E(G) = E(G 1 ) E(G ). Similarly, we say H = G 1 G if V(H) = V(G 1 ) V(G ) and E(H) = E(G 1 ) E(G ). Lemma 4 Let G be a graph. Sppose that G 1 and G are two sbgraphs sch that G 1 G = G and G 1 G = H. Sppose that two fractional colorings c 1 F(G 1 ) and c F(G ) satisfy i H G 1 ( c1 ) = i H G ( c ). Then there exists a fractional coloring c b F(G) satisfying i Gi G (c b ) = c i b i and g G ( c b ) = max{g G 1 ( c1 ),g G ( c )} for i = 1,. Proof: Withot loss of generality, we can assme = = b. We also assme g G1 ( c1 ) g G ( c ) so that A G1 (c 1 ) A G (c ). Since i H G 1 ( c1 ) = i H G ( c ), there is a bijection φ from V(H) c 1 () to V (H) c (). Extend φ as an 1-1 mapping from A G1 (c 1 ) to A G (c ) in an arbitrary way. Now we define a b-fold coloring c of G as follows. { φ(c1 ()) if V(G c() = 1 ), c () if V(G ). SinceG 1 andg coeralledgesofg,ciswell-defined. Notec V (G1) = φ c 1 = c1 and c V (G) = c. Ths for i = 1,, ( c i Gi G = b) c i. b i We also hae g G ( c b ) = A G (c ) b = g G ( c ). Theorem 3 Let G be a graph. Sppose that G 1 and G are two sbgraphs sch that G 1 G = G and G 1 G = H. Sppose that χ f (G 1 ) t and any extreme fractional colorings in F t (H) are extensible in F t (G ). Then χ f (G) t. b 7

8 Proof: There is a fractional coloring c b F(G 1) satisfying g G1 ( c1 ) = t. Since eery extreme fractional coloringof F t (H) is extensible in F t (G ), so there exist fractionalcolorings c1, c,, cr b r F t (G )sothati H G ( c1 ),i H G ( c ),,i H G ( cr b r ) are all extreme fractional colorings in F t (H). The fractional coloring i H G 1 ( c b ) can be written as a linear combination of the extreme ones. Hence, there exist λ 1,λ,...,λ r Q [0,1] sch that r i=1 λ i = 1 and i H G 1 ( c b ) = r i=1 Let c b = r i=1 λ i ci b i F t (G ). We hae λ i i H G ( c i b i ). i H G 1 ( c b ) = ih G ( c b ). Applying Lemma 4, there exists a fractional coloring c b F t (G). Therefore, χ f (G) t. Corollary 1 Let G be a graph. Sppose that G 1 and G are two sbgraphs sch that G 1 G = G and G 1 G = K r for some positie integer r. Then χ f (G) = max{χ f (G 1 ),χ f (G )}. Proof: Withot loss of generality, we assme χ f (G 1 ) χ f (G ). Let t = χ f (G 1 ). We hae t r as G 1 contains K r. Becase χ f (G ) t, so we hae F t (G ). Since H is a complete graph, then F t (H) contains only one fractional coloring, namely, color all ertices of H sing distinct colors. It is triial that any extreme fractional colorings in F t (H) is extensible in G. Applying Theorem 3, we hae χ f (G) t. The other direction is triial. Let be anon-edgeofagraphg. We denote G + the spergraphofg by adding the edge and denote G / be the qotient graph by identifying the ertex and the ertex. Lemma 5 Let G be a graph. Sppose that G 1 and G are two sbgraphs sch that G 1 G = G and V(G 1 ) V(G ) = {,}. 1. If is an edge of G, then. If is not an edge of G, then χ f (G) = max{χ f (G 1 ),χ f (G )}. χ f (G) max{χ f (G 1 ),χ f (G +),χ f (G /)}. Proof: Part 1 is a simple application of Corollary 1. For the proof of part, let t = max{χ f (G 1 ),χ f (G +),χ f (G /)}. Note t. All fractional colorings of F t ({}) can be represented by the following weighted Venn Diagram. There are two extreme fractional colorings s = 0 and s = 1. The fractional coloring corresponding to s = 0 is extensible in F t (G ) since χ f (G+) t. The fractional coloring corresponding to s = 1 is extensible in F t (G ) since χ f (G/) t. Applying Theorem 3, we hae χ f (G) t. Part is proed. 8

9 s 1-s 1-s Figre 1: Fractional colorings on the set of two ertices and are represented as a weighted Venn Diagram..3 Fractionally-critical graphs In this sbsection, we will apply or mechanism to triangle-free graphs with maximm degree at most 3. Recall that a graph G is k-critical (for a positie integer k) if χ(g) = k and χ(h) < k for any proper sbgraph H of G. For any rational nmber t, a graph G is called to be t-fractionally-critical if χ(g) = t and χ(h) < t for any proper sbgraph H of G. For simplicity, we say G is fractionally-critical if G is χ f (G)-fractionally-critical. We will stdy the properties of fractionally-critical graphs. The following lemma is a conseqence of Corollary 1. Lemma 6 Sppose that G is a fractionally-critical graph with χ f (G). Then G is -connected. Moreoer, if G has a ertex-ct {,}, then is not an edge of G. For any ertex of a graph G and a positie integer i, let NG i () = { V : and there is a path of length i connecting and }. Lemma 7 Sppose that G is a fractionally-critical triangle-free graph with 3 and 11 4 < χ f(g) < 3. Then for any ertex x and any 5-cycle C, we hae V(C) NG (x) 3. Proof: Let t = χ f (G). We hae 11 4 < t < 3. We will proe the statement by contradiction. Sppose that there is a ertex x and a 5-cycle C satisfying V(C) NG (x) 4. Combined with the fact G is triangle-free, we hae the following cases. 1. V(C) NG (x) = 5. It is easy to check that G contains the following sbgraph G 9 as shown in Figre. Since G is -connected, G 9 is the entire graph (in [5]). Ths χ f (G) 8 3 < t. Contradiction!. V(C) NG (x) = 4 and V(C) N1 G (x) = 1. It is easy to check G is the niqe graph G 8 on 8 ertices as shown in Figre 3. Ths χ f (G) 8 3 < t. Contradiction! 9

10 x x Figre: An 8:3-coloringofG 9, where Figre 3: An 8 : 3-coloring of G 8, V(C) NG (x) = 5. where V(C) NG (x) = 4 and V(C) (x) = 1. N 1 G 3. V(C) NG (x) = 4 and there exists one ertex on C haing the distance of 3 to x. Hatami and Zh, in [5], showed that G contains one of the fie graphs in Figre 4 as a sbgraph. (Note that some of the marked ertices,, and w may be missing or oerlapped. These degenerated cases reslt a smaller ertex-ct, and can be coered in a similar bt easier way. We will discss them at the end of this proof.) x x x (I) (II) (III) x x w w (IV) (V) Figre 4: All possible cases of V(C) NG (x) = 4 and V(C) \ (N1 G (x) NG (x)) = 1. If G contains a sbgraph of type (I), (II), or (III), then G has a pair of ct-ertex {,}. Let G 1 and G be the two connected sbgraphs of G sch that G 1 G = G, V(G 1 ) V(G ) = {,}, and x G. In all three cases, G + and G / are 8:3-colorable. Please see Figre 5. 10

11 G / in (I) G / in (II) G / in (III) G + in (I) G + in (II) G + in (III) Figre 5: G + and G / are all 8:3-colorable in cases (I), (II), and (III). Applying Lemma 5, we hae χ f (G) max{χ f (G 1 ),χ f (G /),χ f (G +)} max{χ f (G 1 ), 8 3 }. Since χ f (G) t > 8 3, then we mst hae χ f(g 1 ) χ f (G) = t. This is a contradiction to the assmption that G is fractionally-critical. If G contains one of the sbgraphs (IV) and (V), then G has a ertexct set H = {,,w} as shown in Figre 4. Let G 1 and G be the two connected sbgraphs of G sch that G 1 G = G, G 1 G = {,,w}, and x G. We shall show χ f (G 1 ) = t = χ f (G). Sppose not. Then we can assme χ f (G 1 ) t 0 < t, where 8 3 < 11 4 < t 0 < t < 3. The fractional colorings F t0 (H) can be described as F t0 (H) = (x,y,z,s) Q 4 See the weighted Venn Diagram in Figre 6. The extreme fractional colorings of F t0 (H) are: (a) x = y = z = 0 and s = 1. (b) x = 1 and y = z = s = 0. (c) y = 1 and x = z = s = 0. x+y +s 1 x+z +s 1 y +z +s 1 3 x y z s t 0 x,y,z,s 0. 11

12 1-s-x-y y x s 1-s-y-z 1-s-x-z z w Figre 6: The general fractional colorings on the ertices,, and w. (d) z = 1 and x = y = s = 0. (e) x = 3 t 0 and y = z = s = 0. (f) y = 3 t 0 and x = z = s = 0. (g) z = 3 t 0 and x = y = s = 0. We will show that all 7 extreme fractional colorings are extensible in F t0 (G ). (a) Let G /w be the qotient graph by identifying,, and w as one ertex. The fractional coloring (0,0,0,1) is extensible in F t0 (G ) if and only if χ f (G /w) t 0. This is erified by Figre w 578 w 458 G /w in (IV) G /w in (V) Figre 7: G /w are 8:3-colorable for sbgraphs (IV) and (V). (b) Let (G /w)+(w) be the graph obtained by first identifying and w as one ertex w, and then adding an edge (w). The fractional coloring(0,0,1,0)isextensibleinf t0 (G )ifandonlyifχ f ((G /w)+ (w)) t 0. This is erified by Figre 8. (c) Let (G /w) + (w) be the graph obtained by first identifying and w as one ertex w, and then adding an edge (w). The fractional coloring (1,0,0,0) is extensible in F t0 (G ) if and only if χ f ((G /w)+(w)) t 0. This is erified by Figre 9. (d) Let (G /)+w() be the graph obtained by first identifying and as one ertex, and then adding an edge w(). The fractional 1

13 ab w b 349a ab a w 568b (G /w)+(w) in (IV) (G /w)+(w) in (V) Figre 8: (G /w)+(w) in (IV) is 8:3-colorable, while (G /w)+(w) in (V) is 11:4-colorable w 458 w 468 (G /w)+(w) in (IV) (G /w)+(w) in (IV) Figre 9: Both (G /w)+(w) in (IV) and (V) are 8:3-colorable. 13

14 coloring(0,0,1,0)isextensibleinf t0 (G )ifandonlyifχ f ((G /)+ w()) t 0. This is erified by Figre w w (G /)+w() in (IV) (G /)+w() in (V) Figre 10: Both (G /)+w() in (IV) and (V) are 8:3-colorable. (e) Choose λ = 3t 0 8. Since 8 3 < 11 4 < t 0 < 3, we hae 0 < λ < 1. Note that (3 t 0,0,0,0) = λ(0,0,0,0)+(1 λ)( 1 3,0,0,0). Obsere that (3 t 0,0,0,0) being flly extensible in F(G ) implies that (3 t 0,0,0,0) is extensible in F t0 (G ). To show (3 t 0,0,0,0) is flly extensible in F(G ), it sffices to show both (0,0,0,0) and ( 1 3,0,0,0) are flly extensible in F(G ) by Lemma 3 (See Figre 11 and 1). x 1 x w 3 w 3 (IV) (V) Figre 11: The fractional coloring (0,0,0,0) is flly extensible in F(G ). (f) Similarly, to show (0,3 t 0,0,0) is extensible in F t0 (G ), it sffices to show (0,0,0,0) and (0, 1 3,0,0) are flly extensible in F(G ) (See Figre 11 and 13). (g) Similarly, to show (0,0,3 t 0,0) is extensible in F t0 (G ), it sffices to show (0,0,0,0) and (0,0, 1 3,0) are flly extensible in F(G ) (See Figre 11 and 14). Applying Theorem 3, we hae χ f (G) t 0 < t = χ f (G). This is a contradiction and so χ f (G 1 ) = t = χ f (G). Howeer, G is fractionally-critical. Contradiction! 14

15 w w (IV) (V) Figre 1: The fractional coloring ( 1 3,0,0,0) is flly extensible in F(G ) w (IV) (V) Figre 13: The fractional coloring (0, 1 3,0,0) is flly extensible in F(G ) w (IV) (V) Figre 14: The fractional coloring (0,0, 1 3,0) is flly extensible in F(G ). 15

16 Now we consider the degenerated cases. For graph (I), (II), and (III), {,} is degenerated into a singleton set. Since G is -connected, G is a sbgraph of graphs listed in Figre 5. Ths G is 8 : 3-colorable. Contradiction! For graph (IV) and (IV), {,,w} is degenerated into a set H of size at most. If H = 1, then G is one of graphs in Figre 7. If H = {y,z}, G /yz and G +yz are sbgraphs of graphs listed in Figres (7, 8, 9, 10). Applying Lemma 5, we get χ f (G) max{χ(g 1 ), 11 4 } < χ f(g). Contradiction! Hence, Lemma 7 follows. Lemma 8 Sppose that G is a fractionally-critical triangle-free graph with 3 and 8 3 < χ f(g) < 3. Then for any ertex x and any 7-cycle C, we hae V(C) NG (x) 5. Proof: We proe the statement by contradiction. Sppose that there is a ertex x and a 7-cycle C satisfying V(C) NG (x) 6. Recall that N G (x) 6. We hae V(C) NG (x) = 6. Combined with the fact that G is triangle-free and -connected, G mst be one of the following graphs which are all 8:3-colorable, see Figre 15. Contradiction! x 38 x x 38 x Figre 15: All possible graphs with V(C) NG (x) = 6. 3 Admissible sets and Theorem 4 The following approach is similar to the one sed in [5]. A big difference is a new concept admissible set. Basically, it replaces the independent set X (of 16

17 G in [5]) by three independent sets X 1 X X 3. Recall that NG i () if there exists a -path of length i in G. A set X V(G) is called admissible if X satisfies the following conditions: 1. There is a partition X = X 1 X X 3.. If, X i for some i {1,,3}, then N 1 G () N3 G () N5 G (). 3. If X i and X j for some i and j satisfying 1 i j 3, then N 1 G () N G () N4 G (). The followingkeytheoremlinksthe χ f (G) toapartitionofgintoadmissible sets. We will proe it later. Theorem 4 Let G be a fractionally-critical triangle-free graph with at most 3 and 11 4 < χ f(g) < 3. Sppose that V(G) can be partitioned into k admissible sets, then χ f (G) 3 3 k +1. (5) Let X = X 1 X X 3 be an admissible set. Inspired by the method sed in [5], we define an axiliary graph G = G (X) as follows. For each i {1,,3}, let Y i = Γ(X i ) be the neighbor of X i in G. By admissible conditions, Y 1, Y, and Y 3 are all independent sets of G. Let G be a graph obtained from G by deleting X; identifying each Y i as a single ertex y i for 1 i 3; and adding three edges y 1 y, y y 3, y 1 y 3. We hae the following lemma, which will be proed later. Lemma 9 Sppose that G is t-fractionally-critical triangle-free graph with at most 3, where t ( 11 4,3). Let X be an admissible set of G and G (X) be the graph defined as aboe. Then G (X) is 3-colorable. Proof of Theorem 4: Sppose that G can be partitioned into k admissible sets, say V(G) = k i=1 X i, where X i = Xi 1 X i X3 i. For each 1 i k and 1 j 3, let Y j i = Γ(X j i ). From the definition of an admissible set and G being triangle-free, we hae Y j i is an independent set for all 1 i k and 1 j 3. By Lemma 9, G (X i ) is 3-colorable for all 1 i k. Let c i be a 3-coloring of G (X i ) with the color set {s 1 i,s i,s3 i }. We se P(S) to denote the set of all sbsets of S. We define f i : V(G) P({s 1 i,s i,s3 i }) as {c i ()} if V(G) ( 3 j=1 Xj i 3 j=1 Y j i ), f i () = {c i (y j j i )} if Yi, {s 1 i,s i,s3 i } c i(y j i ) if Xj i. Note that for a fixed 1 i k, y j i denotes the ertex of G (X i ) obtained from contracting Y j i for j = 1,,3. Obsere that each ertex in X j i receies two colors from f i and eery other ertices receie one color. It is clear that any two adjacent ertices receie disjoint colors. Let σ : V(G) P( k i=1 {s1 i,s i,s3 i }) be a mapping defined as σ() = k i=1 f i(). Now σ is a k+1-fold coloring of G sch 17

18 that each color are drawn from a palette of 3k colors and so χ f (G) 3k k+1 = 3 3 k+1. We completed the proof of theorem 4. Before we proe Lemma 9, we first proe a lemma on coloring the graph obtained by splitting the hb of an odd wheel. Let x 0,x 1,...,x k be the set of ertices of an odd cycle C k+1 in the circlar order. Let Y = {y 1,y,y 3 }. We constrct a graph H as follows: 1. V(H) = V(C) Y.. E(C) E(H). 3. Each x i is adjacent to exactly one element of Y. 4. y 1 y,y y 3,y 1 y 3 E(H). 5. H can hae at most one ertex (of y 1, y, and y 3 ) with degree. The graph H can be iewed as splitting the hb of the odd wheel into 3 new hbs where each spoke has to choose one new hb to connect and then connecting all new hbs. One special case it that one of the new hbs has no neighbor in C. Lemma 10 Let H be the graph as constrcted aboe. Then H is 3-colorable. Proof: Withot loss of generality, we assme d H (y 1 ) 3 and d H (y ) 3. We constrct a proper 3-coloring c of H as follows. First, let c(y 1 ) = 1, c(y ) =, and c(y 3 ) = 3. Again withot loss of generality, we assme (x 0,y 1 ) E(H). The neighbors of y 1 diide V(C) into seeral interals. The ertices in each interal are either connecting to y or y 3 bt not connected to y 1. Read the neighbors of y and y 3 in Y conterclockwise, and omit repetitions of y y and y 3 y 3. There are 4 types of interals: Type I: y,y 3,y,y 3,...,y 3,y. Type II: y,y 3,y,y 3,...,y,y 3. Type III: y 3,y,y 3,y,...,y 3,y. Type IV: y 3,y,y 3,y,...,y,y 3. If y 3 is a ertex of degree two in H, then the interal I has only one type, which is degenerated into y. Gien an interal I, let (I) (or (I)) be the common neighbor of y 1 and the left (or right) end of I respectiely. We color (I) and (I) first and then try to extend it as a proper coloring of I. Sometimes we scceed while sometimes we fail. We ask the qestion whether we can always get a proper coloring. The yes/no reslt depends only on the type of I and the coloring combination of (I) and (I). In Table 1, the colmn is classified by the coloring combination of (I) and (I), while the row is classified by the types of I. Here yes means the coloring process always scceeds, while no means it sometimes fails. 18

19 (,) (,3) (3,) (3,3) Type I Yes Yes Yes No Type II Yes Yes No Yes Type III Yes No Yes Yes Type IV No Yes Yes Yes Table 1: Can a coloring be extended to I properly? An ending ertex w of an interal I is called a free end if w s two neighbors otside I receiing the same color. Obsere that in all yes entries, there exist at least one free end w. Note that each ertex on I has degree 3. We can always color the ertices of I greedily starting from the end not eqaling w. Since w is a free end, there is no difficlty coloring w at the end. Now we pt them together. We color the neighborsof y 1 one by one conterclockwise starting from x 0 according to the following rles: 1. When we meet an interal I of type II or III, we keep the colors of (I) and (I) the same.. When we meet an interal I of type I or IV, we keep the colors of (I) and (I) different. There are two possibilities. If the last interal obeys the rles, then by Table 1, we can extend this partial coloring into a proper 3-coloring of H. If the last interal does not obey the rles, then we swap the colors and 3 of the neighbors of y 1. By Table 1, this new partial coloring can be extended into a proper 3-coloring of H. We completed the proof. Amaximal (byinclsion) -connectedsbgraphb ofagraphiscalled ablock of G. A Gallai tree is a connected graph in which all blocks are either complete graphs or odd cycles. A Gallai forest is a graph all of whose components are Gallai trees. A k-gallai tree (forest) is a Gallai tree (forest) sch that the degree of all ertices are at most k 1. A k-critical graph is a graph G whose chromatic nmber is k and the chromatic nmber of any sbgraph is strictly less than k. Gallai showed the following Lemma. Lemma 11 (Gallai [3]) If G is a k-critical graph, then the sbgraph of G indced on the ertices of degree k 1 is a k-gallai forest. Now, we are ready to proe Lemma 9. Proof of Lemma 9: Write G = G (X) for short. Note that the only possible ertices of degree greater than 3 in G are y 1, y, and y 3. We can color y 1, y, and y 3 by 1,, and 3, respectiely. Since the remaining ertices hae degree at most 3, we can color G properly with 4 colors by greedy algorithm. Sppose that G is not 3-colorable. Let H be a 4-critical sbgraph of G. Then d H () = 3 for all H except for possibly y 1, y, and y 3. Let T be the sbgraph indced by all H sch that d H () = 3. Then T is not 19

20 empty since T H 3 1. By Lemma 11 the indced sbgraph on T is a 4-Gallai forest. T may contain one or more ertices in {y 1,y,y 3 }. Let T = T \{y 1,y,y 3 } = V(H)\{y 1,y,y 3 }. Obsere that any indced sbgraph of a 4-Gallai forest is still a 4-Gallai forest and so the indced sbgraph on T is also a 4-Gallai forest. Recall the definition of an admissible set. If X i and X j for some i and j satisfying 1 i j 3, then NG 1() N G () N4 G (). This implies that any ertex x in T can hae at most one neighbor in {y 1,y,y 3 }. Note d H (x) = 3. We hae d T (x). Let B be a leaf block in the Gallai-forest T. Then B is a complete graph or odd cycles by the definition of the Gallai-forest. B can not be a single ertex or K since eery ertex in B has at least two neighbors in T. Since G is triangle-free, then B mst be an odd cycle C r+1 with r. Case (a): N H (B) {y 1,y,y 3 }. SinceH is4-critical,h\b is3-colorable. Letcbeaproper3-coloringofH\B. SinceH\B containsatriangley 1 y y 3, so y 1, y, and y 3 receie different colors. Since N H (B) {y 1,y,y 3 } and Lemma 10, we can extend the coloring c to all ertices on B as well. Ths H is 3-colorable. Contradiction. Case (b): N H (B) {y 1,y,y 3 } = 1. Since B is a leaf block, at most one ertex, say 0, can connect to another block in T. List the ertices of B in the circlar order as 0, 1,,..., r. Then all 1,,..., r connect to one y i, say y 1. This implies that for i = 1,,...,r, there exist a ertex x i X 1 and a ertex w i Y 1 so that i -w i -x i form a path of length. Since G is triangle free, we hae w i w i+1 for all i {1,...,r 1}. Note that x i -w i - i - i+1 -w i+1 -x i+1 forms a path of length 5 nless x i = x i+1. Recall the admissible conditions: if, X i for some i {1,,3}, then N 1 G () N3 G () N5 G (). We mst hae x 1 = x = = x r. Denote this common ertex by x. Now hae N G (x) B r. Note NG (x) 6. We hae r 6. The possible ales for r are or 3. If r =, B is a 5-cycle. This is a contradiction to Lemma 7. If r = 3, B is a 7-cycle. This is a contradiction to Lemma 8. The proof of Lemma 9 is finished. 4 Partition into 4 admissible sets Theorem 5 Let G be a triangle-free graph with maximm degree at most 3. Sppose that G is -connected and girth(g) 6. Then G can be partitioned into at most 4 admissible sets. Proof of Theorem 5: We will define a coloring c: V(G) [16] so that for i = 1,...,4, the i-th admissible set is c 1 ({3i,3i 1,3i}). We refer to 0

21 {3i,3i 1,3i}asacolorblockforalli {1,...,4}. Since4 girth(g) 6, there is a cycle C of length 4, 5, or 6. Let n 1 and n be a pair of adjacent ertices of C. Since G is -connected, then G \ { n 1, n } is connected. We can find a ertex 1 other than n 1 and n sch that G \ 1 is connected. Indctiely, for each i {,...,n }, we can find a ertex j other than n 1 and n sch that G\{ 1,..., j 1 } is connected. Therefore, we get an order of ertices 1,,..., n 1, n sch that for j = 1,,...,n, the indced graph on j,..., n is connected. We color the ertices greedily. Sppose that we hae colored 1,,..., j. For j+1, choose a color h satisfying the following: 1. For each N 1 G ( j+1) { 1,,..., j }, h is not in the same block of c().. For each ( N 3 G ( j+1) N 5 G ( j+1) ) { 1,,..., j }, h c(). 3. For each ( N G ( j+1) N 4 G ( j+1) ) { 1,,..., j }, h cold eqal to c() bt not eqal to the other two colors in the color block of c(). Forj n,thereisatleastoneertexinn G 1( j+1)andoneertexinng ( j+1) still ncolored. Ths N 1 G ( j+1 ) { 1,,..., j }, N G ( j+1 ) { 1,,..., j } 5, N 3 G ( j+1 ) 1, NG 4( j+1) 4, and NG 5( j+1) 48. Since 3 + (5+4)+(1+48) = 14 < 16, it is always possible to color the ertex j+1 properly. It remains to color n 1 and n properly. Note both n 1 and n are on the cycle C. Let s cont color redndancy according to the type of the cycle C. Case C 4 : For any ertex on C 4, there are two ertices in NG 1() N3 G (). We also hae NG () 5 and N4 G () 3. Ths the nmber of forbidden colors for is at most 3 3+ (5+3)+(1+48) = < 16. Case C 5 : For any ertex on C 5, there are two ertices in NG 1() N4 G (). We also hae NG 5 () 47. The nmber of forbidden colors for is at most 3 3+ (6+4)+(1+47) = 14 < 16. Case C 6 : For any ertex on C 6, there are two ertices in NG 1() N5 G () and two ertices in NG () N4 G (). We also hae N3 G () 11. Ths the nmber of forbidden colors for is at most 3 3+ (6+4)+(11+48) = 1 < 16. 1

22 In each sbcase, we can find a color for n 1 and n. Proof of Theorem 1: Sppose that there exists a graph G which is trianglefree, 3, and χ f (G) > Withot loss of generality, we can assme G has the smallest nmber of ertices among all sch graphs. Then G is - connected and fractionally-critical. If girth(g) 7, Hatami and Zh, in [5], showed χ f (G) Contradiction! If girth(g) 6, Theorem 5 states that G can be partitioned into 4 admissible sets. By Theorem 4, we hae χ f (G) 3 3 k+1 = Contradiction! 5 Conclding Remarks The reader may notice that we deeloped a heay mechanism to proe Lemma 7 and 8. This is becase in general G (X) (in the proof of Lemma 9) cold be 4-chromatic as shown in the figre 16. Figre 16: A difficlt case: χ(g (X)) = 4. Howeer, if G is fractionally-critical, then these bad cases can be aoided by the admissible conditions together with Lemma 7 and 8. This is the motiation of section. In this paper, we proed χ f (G) <.9303 for any triangle-free graphs with maximm degree at most 3. The gap to the conjectred ale.8 is still sbstantial. Althogh there is a possibility to improe the pper bond on χ f (G) slightly by modifying the definition of an admissible set, it certainly needs new ideas to settle Heckman and Thomas conjectre. In [5], Hatami and Zh also considered the graph G with the girth g 5 and the maximm degree at most 3. They proed χ f (G) c g, where the constant c g goes to as the girth g goes to infinity. Or method does not apply to these cases. Althogh one can se or method to obtain an pper bond on χ f (G) for general triangle-free graphs, the bond is worse than other known pper bonds. For example, Molloy and Reed, in [8], proed χ f (G) +ω +1, (6)

23 which is the fractional ersion of Reed s famos conjectre, +ω +1 χ(g). (7) Een for = 4, it already implies χ f (G) 3.5. For large, Johansson, in [7], proed the mch stronger fact that there exists a fixed constant c so that χ(g) c (G) ln (G) for eery triangle-free graph G, proided is large enogh. So χ f (G) c (G) ln (G) for eery triangle-free graph with sfficiently large maximm degree. Also, Reed, in [9], proed ineqality (7) holds proided that is sfficiently large and ω is sfficiently close to. BorodinandKostochka,in[1], conjectredif (G) 9andω(G) (G) 1 then χ(g) (G) 1. (8) Molloy and Reed proed this conjectre holds for sfficiently large. It wold be interesting to consider the fractional ersion of this conjectre for small. The frame-work of the conex strctre of fractional colorings is ery sefl in stdying the properties of fractionally-critical graphs. These reslts hold for the general graphs and are of independent interest. We hae careflly separated them from the rest of the paper. References [1] O. Borodin and A. Kostochka, On an pper bond on a graph s chromatic nmber, depending on the graph s degree and density. J. Comb. Th. B 3 (1977) [] S.Fajtlowicz, On the size of independent sets in graphs, in Proceedings of the Ninth Sotheastern Conference on Combinatorics, Graph Theory and Compting(Florida Atlantic Uni, Boca Raton, FL,1978), Congress, Nmer, XXI, Utilitas Math, Winnipeg, MB, 1978, 69-74, [3] T Gallai, Kritische graphen I, Magyar Td. Akad. Mat. Ktat ó Int. Közl, 8 (1963), pp , [4] J.Griggs and O.Mrphy, Edge density and independence ratio in triangle-free graphs with maximm degree three, Discrete Math., 15 (1996), , [5] Hamed Hatami and Xnding Zh, The fractional chromatic nmber of graphs of maximm degree at most three, Siam J. Discrete Math 4 (009), [6] C.C.Heckman and R. Thomas, A new proof of the independence ratio of triangle-free cbic graphs, Discrete Math., 33 (001), 33-37, [7] A. Johansson, Asymptotic choice nmber for triangle free graphs. DIMACS Technical Report

24 [8] M. Molloy and B. Reed, Graph coloring and the probabilistic method, olme 3 of Algorithms and Combinatorics. Springer-Verlag, Berlin, 00. [9] B.Reed, ω,, and χ, J. of Graph Theory, ol 7-4 (1998), [10] E.R.Scheinerman and D.H.Ullman, Fractional Graph Theory. A Rational Approach to the Theory of Graphs, Wiley-Intersci. Ser. Discrete Math. Optim, John Wiley & Sons, Inc, New York, 1997, [11] W.Staton, Some Ramsey-type nmbers and the independence ration, Trans. Amer. Math. Soc., 56 (1979), , 4

25 x

26 /3 1/3 /3 1 w

27 t- 3-t t- 1 w

28 w

29 w

30 w