arxiv: v1 [math.co] 13 Dec 2017

Transcription

1 The List Linear Arboricity of Graphs arxiv: v [math.co] 3 Dec 07 Ringi Kim Department of Mathematical Sciences KAIST Daejeon South Korea 344 an Luke Postle Department of Combinatorics an Optimization University of Waterloo Waterloo, ON Canaa NL 3G ABSTRACT A linear forest is a forest in which every connecte component is a path. The linear arboricity of a graph G is the minimum number of linear forests of G covering all eges. In 980, Akiyama, Exoo an Harary propose a conjecture, known as the Linear Arboricity Conjecture LAC, stating that every -regular graph G has linear arboricity +. In 988, Alon prove that the LAC hols asymptotically. In 999, the list version of the LAC was raise by An an Wu, which is calle the List Linear Arboricity Conjecture. In this article, we prove that the List Linear Arboricity Conjecture hols asymptotically. November 3, 07. rin@kaist.ac.kr. lpostle@uwaterloo.ca. This research was partially supporte by NSERC uner Discovery Grant No , the Ontario Early Researcher Awars program an the Canaa Research Chairs program.

2 Introuction In this paper, we consier only unirecte simple graphs. A linear forest is a forest in which every connecte component is a path. The linear arboricity of a graph G, enote by lag, first introuce by Harary [3], is the minimum number of linear forests of G neee to cover all eges of G. Akiyama, Exoo an Harary [] propose a conjecture, known as the Linear Arboricity Conjecture, stating that for every -regular graph G, lag = +. It is easy to see as shown in [3, 6] that this conjecture is equivalent to the following: The Linear Arboricity Conjecture LAC. For every graph G with maximum egree, lag +. The lower boun is easily obtaine since at least linear forests are neee to cover all eges incient with a vertex with egree. However, espite much effort, the conjecture for the upper boun is still open. It has been prove only for several special cases: complete graphs [8], complete bipartite graphs [], series parallel graphs [] an planar graphs [0, ]. It is also prove that the LAC is true when = 3,4,5,6,8,0 see [,, 8, 0]. For general graphs G, the best known upper boun of lag, ue to Gulan [], is 3 5 for even an for o. Alon [3, 4] prove that the LAC hols asymptotically as follows. Theorem. Alon [3, 4]. For every ǫ > 0, there exists ε such that for every > ε, every -regular graph has linear arboricity at most +ε. 0 A covering by linear forests can be viewe as an ege coloring where each color class inuces a linear forest. Thus viewe as a coloring problem, it is natural to consier its list version as follows. First, let us recall the efinition of list chromatic inex for comparison. For a graph G an a list assignment L = Le : e EG to eges of G, the size of L, which we enote by L, is the minimum of Le taken over all e EG. An L-coloring is a map φ efine on EG such that φe Le for every e EG, an for every color c e EG Le, φ c inuces a matching. The list chromatic inex, enote ch G is the minimum k such that for every list assignment L = Le : e EG with L k, there exists an L-coloring of G. A linear L-coloring of G is a map φ efine on EG such that φe Le for every e EG, an for every color c e EG Le, φ c inuces a linear forest. The list linear arboricity of graph G, enote by llag, is the minimum k such that for every list assignment L = Le : e EG with L k, there exists a linear L-coloring of G. The list version of the LAC which is calle the List Linear Arboricity Conjecture is as follows. The List Linear Arboricity Conjecture LLAC. For every graph G with maximum egree, lag = llag +. The LLAC was first propose by An an Wu [5], an they prove it hols for planar graphs with maximum egree at least 3 in anther paper [6].

3 Inthispaper, weprovethatthellacholsasymptotically, inamannersimilartotheorem.. Inee our result implies Theorem.. In fact, we prove a stronger result, which in orer to state, we nee the following efinitions. For a graph G an a list assignment L = Le : e EG, let Lv = e vle for every vertex v VG, that is, Lv is the set of colors which are containe in the list of at least one ege incient with v. For c Lv, the color egree of v with respect to c, enote by L G v,c, is the number of eges e incient with v where c Le. The maximum color egree of G with respect to L, which we enote by L G, is the maximum of L G v,c taken over all v VG an c Lv. We are now reay to state our main theorem as follows. Theorem.. For every ε > 0, there exists ε such that for every > ε, if G is a graph an L = Le : e EG is a list assignment such that L +ǫ, an L G, then G is linear L-colorable. Since L G is at most the maximum egree of G, Theorem. yiels the asymptotic version of the LLAC as a corollary. Corollary.3. For every ε > 0, there exists ε such that for every > ε, if G is a graph with maximum egree an L = Le : e EG is a list assignment such that L +ǫ, then G is linear L-colorable, an thus llag +ε.. Relations to arboricity an ege coloring The arboricity of a graph G, enote by arg, is the minimum number of forests of G neee to cover all eges of G. Linear arboricity is a variant of arboricity, an since a linear forest is a forest with maximum egree at most two, this concept can be extene to a covering by forests with boune maximum egree as follows. The t-arboricity of a graph G, enote by ar t G, is the minimum number of forests with maximum egree at most t neee to cover all eges of G. Note that ar G = χ G, where χ G is the chromatic inex of G, an ar G = lag. Note that ar t G ar t+ G for all t an that ar VG t = arg. Given the latter statement, arboricity can be thought of as -arboricity. For a graph G with maximum egree, Vizing s Theorem [9], also prove by Gupta [], gives that ar G {, + } which implies that ar G +. The LAC also states that ar G +. These works, although the LAC is not prove yet, naturally lea to the question if ar t G + t for every positive integer t, which woul be an extension of the LAC. But, this question turns out to be false for every t 3 since, if G is -regular, then we have ar t G for every t because every spanning tree of G has at most VG VG VG 3

4 eges. Inee, we have that ar t G max EH H G VH for every graph G an every t even for t =. Furthermore, Nash-Williams [6] prove that the equality hols when t =, that is,. arg = max EH H G VH The list t-arboricity of G, enote by lar t G, is the list version of the t-arboricity of G efine similarly to list linear arboricity. Note that lar G = llag an that lar G = ch G. Similarly one can efine the list arboricity of G, larg, as the list version of the arboricity of G. The LLAC is asking if ar G = lar G, an this question can beextene to ask if ar t G = lar t G hols for every positive integer t. Seymour [7] showe that it hols when t =, that is, arg = larg, an Theorem. an. show that ar G = lar G hols asymptotically. When t =, this question is equivalent for simple graphs to the well-known List Coloring Conjecture state below. The List Coloring Conjecture. For every loopless multigraph G, χ G = ch G. The lower boun from Vizing s Theorem an the following theorem by Kahn [5] confirme that for simple graphs the list coloring conjecture hols asymptotically. Kahn s Theorem. For every graph G with maximum egree, the list ege chromatic number of G is +o. Vizing s theorem plays a crucial role in the proof of Theorem., but Kahn s Theorem can not be irectly applie to the proof of Theorem.. Instea, we use a generalization of Kahn s Theorem, we refer to it as the color egree version of Kahn s Theorem as follows. Theorem.4. For every ǫ > 0, there exists ε such that if > ε, then for every graph G an every list assignment L to EG such that L +ε, an L G, G is L-colorable. Note that Theorem.4 implies Kahn s Theorem, but the converse oes not hol. Kahn s proof is actually one in terms of L G though Theorem.4 is not state there; for its statement an other generalizations see [7].. On egree t ege coloring We efine a egree t coloring of EG as a coloring of the eges so that every monochromatic subgraphhasmaximumegreeatmostt. Foreverypositiveinteger t, letχ tgenotetheminimum number of colors such that G has a egree t coloring using that many colors. Similarly let ch t G enote the list version of χ tg. One might ask questions similar to the LLAC for these two parameters: for a given t, oes χ tg = ch tg hol? Note that χ G = χ G an ch G = ch G. Hence the List Coloring 4

5 Conjecture is equivalent to this question holing in the affirmative for t =. Surprisingly, the List Coloring Conjecture nearly implies this question hols in the affirmative for every t as follows. It is easy to see that for every graph G with maximum egree, χ tg χ G t : partition the colors into sets of size t an then merge each set into a new color. In fact ch tg is ch G t also true as the following proposition shows by inverting the merging proceure. Proposition.5. For every positive integer t an graph G, ch t G ch G t. Proof. Let L be a list assignment such that L = ch G t. Construct a list assignment L = L e = Le [t] : e EG from L by copying each color t times. Then we have that L = L t ch G. So there exists an L -coloring φ of G. We construct a map ψ efine on EG from φ by merging copie colors, that is, if φe = c,i for c Le an i [t], then we set ψe = c. Eviently, ψe Le, an in ψ, every monochromatic subgraph has maximum egree at most t. Hence ψ is a egree t L-coloring of G. Since L was arbitrary, this shows that ch tg as esire. ch G t Note that χ tg χ G t+ by applying Vizing s Theorem so as properly color every color class of maximum egree at most t with t+ colors. Hence, χ G t+ χ tg = ch tg ch G, t for every graph G an every t. Thus if the List Coloring Conjecture is true, then ch tg + t+ χ tg. Furthermore, using Kahn s Theorem an Proposition.5, we have the following. Theorem.6. For every ε > 0, there exists ε such that for every positive integer t an graph G with G > ε, ch t G +ε t. Using Theorem.4 an the iea of copying colors as in the proof of Proposition.5, we euce the following color egree version of Theorem.6 or equivalently the egree t version of Theorem.4, which will be use to prove one of the main lemmas in Section 5. Theorem.7. For every ǫ > 0, there exists ε such that for all > ε the following hols: for every graph G, every positive integer t an every list assignment L of EG with L + ε t an L G, G has a egree t L-coloring. Proof. Construct a list assignment L = L e = Le [t] : e EG from L by copying each color t times. Then we have that L = L t + ε. Note that L G = L G. By Theorem.4, G has an L-coloring assuming the same ε. We construct a map ψ efine on EG from φ by merging copie colors, that is, if φe = c,i for c Le an i [t], then we set ψe = c. Eviently, ψe Le, an in ψ, every monochromatic subgraph has maximum egree at most t. Hence ψ is a egree t L-coloring of G as esire. 5

6 Outline an Proof of Theorem. First, a quick wor on notation. Let G be a graph an L a list assignment to eges of G. For a subgraph H of G, we say H is linear L-colorable if H is linear L -colorable where L = Le : e EH. We say a map φ efine on EH is a linear L-coloring of H if φ is a linear L -coloring of H.. Overview of Alon s proof Before proving the main theorem, we take a closer look at the iea of the proof of Theorem.. We may construe the proof by Alon [4] as having three essential steps: Fining a egree -coloring of EG using cycle has length at least g = log 0loglog. + o colors such that each monochromatic Fining a subgraph H of maximum egree o whose eges intersect every monochromatic cycle. 3 Fining a egree -coloring of EH using o new colors. To prove, one can partition the eges of the graph into about subgraphs with maximum log 0 egree at most = log 0 +log 6 an girth at least g an one remaining part with maximum egree o with no restriction on the girth. This can be one by repeately extracting such high girth subgraphs by choosing eges at ranom with probability p = log0. Each high girth subgraph is then given a egree coloring using colors while the last part is properly ege colore with o colors using Vizing s theorem. To prove, one partitions the colors into sets of size at most g 50e or g 4 if using Haxell [4]; for each such set, a matching is foun that intersects every monochromatic cycle in that set of colors. Such a matching is equivalent to fining an inepenent transversal of the monochromatic cycles in the line graph, which is possible since each cycle has length at least g an yet each ege has at most g 50e incient eges from that set of colors. Then we let H be the union of these o matchings an hence H has maximum egree o. To prove 3, one can apply Vizing s theorem to properly ege color H.. Difficulties for list coloring What then are the ifficulties in transferring Alon s proof to list coloring? For, it follows from Theorem.7 that G has a egree L-coloring yet we cannot guarantee that each monochromatic cycle has length at least g. Inee, we will prove that hols for list coloring however Alon s proof oes not carry over because of the important fact that we cannot guarantee that each high girth subgraph has its own unique subset of colors from which to be colore. For, another ifficulty arises in that there coul be many more than colors an hence we cannot guarantee that the maximum egree of H is o. For 3, while we can use Kahn s 6

7 Theorem to color the eges of H, it may be that the colors use on EH are the same as the colors use in step, that is, we cannot simply introuce new colors for EH since we have to ensure that each ege is colore from its list. Thus another iea is neee there to ensure there are colors that can be use to color EH..3 Overcoming the ifficulties First, we prove that actually hols in the context of list coloring as follows. Let us efine a function q = log 6loglog. Lemma.. For 0 < ε <, if is sufficiently large, then for every graph G an every list assignment L = Le : e EG with L +ε an L G, G has a egree two L-coloring such that every monochromatic cycle has length at least q = log 6loglog. The proof of Lemma. can be foun in Section 5. The key iea in the proof of Lemma. is that we have every ege retain each color in its list inepenently with probability p = log3. So instea of partitioning the graph into istinct high girth subgraphs an then using separate colors for each subgraph, we extract a high girth subgraph in each color. In expectation, each ege will have a remaining list L of about p L colors. However, the egrees will remain unchange. This then is where we nee the color egree version of Kahn s theorem, actually its egree version as in Theorem.7, to fin a egree L -coloring. To apply Theorem.7, we must show that L G is at most p+o. An intermeiate lemma Lemma 5. can be foun in Section 5 showing that such an assignment L with high girth, large lists an small color egree exists. We will also fin a subgraph H of G as in but before escribing that let us iscuss how to resolve the issue in 3 for coloring EH. Here we aopt the iea of reserve colors from the proof of Kahn s theorem [5], choosing a set of colors Re Le to save to use on EH. To ensure that colors in Re can be use on EH without causing any conflicts with the colors use in Lemma., we choose Rv Lv for each vertex v an construct two list assignments to eges, R = Re = Le Ru Rv : e = uv EG, an L = L e = Le\Ru Rv : e = uv EG. Note that Rv L v = for every vertex v. Now we use L to color G an R to recolor H. Thus we actually apply Lemma. to G,L, not G,L, to obtain a egree L -coloring of EG where every monochromatic cycle has length at least q. To apply Lemma. to G,L, L must besufficiently large. Inaition, if R is large enough, then there will exist a linear R-coloring of H, in fact a proper R-coloring by Theorem.4. The following lemma whose proof can be foun in Section 4 shows that we can choose Rv Lv for every v VG so that L an R are large. 7

8 Lemma.. For every 0 < ε <, if is sufficiently large, then for every graph G an every list assignment L = Le : e EG with L +ε an L G, there exists Rv Lv for v VG such that R +ε an log / L + ε. where R = Re = Le Rv Ru : e = uv EG an L = L e = Le Ru Rv : e = uv EG. Now let us return to how to fin H as in step. To color EH as in step 3, it woul suffice to prouce such an H with maximum egree o. Here, though, we o not use the results on inepenent transversals since we cannot split the colors into separate groups. Instea, for each monochromatic cycle from step we pick an ege at ranom from that cycle to a to H. This ensures that the eges of H intersect every monochromatic cycle. We can prove that, with some positive probability, the resulting graph has maximum egree o. This woul suffice to prove Corollary.3 as we coul then properly ege color H using Kahn s Theorem an the list assignment R. However, since we are proving Theorem., that is the color egree version, we nee to prove that R H is o since we may not be able to control the maximum egree of G let alone H. Thus we nee the following lemma, whose proof can be foun in Section 3. Lemma.3. For 0 < ε <, if is sufficiently large the following hols: Suppose that G is a graph an R is a list assignment of EG such that R + ε an log / R G. If C is a set of ege-isjoint cycles with length at least q = log 6loglog, then there exists a subgraph H of G with R H such that EH EC for every C C. log / One slight technical wrinkle arises in the proof of Lemma.3. If we choose the eges of H at ranom from the entirety of each monochromatic cycle, then we are unable to control the epenencies neee to guarantee the R H is small as the cycles may be arbitrarily long. The trick to resolving sai wrinkle is to restrict the choice to an arbitrary subset of each monomochromatic cycle of size exactly q. In this way, we can ensure the correct epenencies. In fact, we coul even apply this to choose an ege from each part of a partition of each monochromatic cycle into paths of length between q an q. Doing that woul ensure that the final coloring has no monochromatic path of length more than 4q but we i not o this for the reaer s sake. Now to finish the proof, given H as in Lemma.3 along with R as in Lemma., we can fin an R-coloring of H using Theorem.4; this combine with the linear L -coloring of G from Lemma. now yiels a linear L-coloring of G. This then is the outline of the proof. For completeness, though, in the remainer of this section, we restate an prove Theorem., assuming the valiity of Lemmas.,. an.3, whose proofs can be foun in Sections 5, 4 an 3 respectively. 8

9 Theorem.. For every ε > 0, there exists ε such that for every > ε, if G is a graph an L = Le : e EG is a list assignment such that L +ǫ, an L G, then G is linear L-colorable. Proof. Sinceissufficientlylarge, anbyassumption L +εan L G, Lemma.implies that for every vertex v, there exists Rv Lv such that R +ε an log / L + ε. Recall that for each ege e = uv, Re = Le Rv Ru an L e = Le Rv Ru, an that for every vertex v of G, Rv an L v are isjoint. Further note that since Re Le for every e EG, it follows that R G L G. Similarly L G L G. We consier G an L. Note that L + ε an L G. Thus, by Lemma. applie to G,L as is sufficiently large, there exists a egree two L -coloring φ of G such that every monochromatic cycle has length at least q. Let C be the set of monochromatic cycles in φ. Since φ is a egree coloring, every pair of cycles in C is ege-isjoint. Since G, R an C satisfy the conitions of Lemma.3, there exists by Lemma.3 a subgraph H of G such that R H an EH EC = for every C C. Since log / R H an log / R +ε, Theorem.4 implies that there exists a proper R-coloring log / φ of H. As φ is proper, φ is also a linear R-coloring of H. Let ψ be the L-coloring such that for each ege e EG, ψe = φ e if e EH an ψe = φe otherwise. Now we claim that ψ is a linear L-coloring of G. Suppose not. Then there exists a monochromatic cycle C colore c. By the efinitions of φ an φ, C must contain eges e an f sharing a vertex v such that e EH an f EH. Since e EH, it follows that c = ψe = φe L e L v, an since f EH, it follows that c = ψf = φ f Rf Rv. This yiels a contraiction since Rv an L v are isjoint. 3 Probabilistic Preliminaries Proofs of lemmas in this article largely involve the probabilistic metho. In this section, we list some theorems regaring probability theory which are use in the proofs. For a positive integer n an a real number 0 p, we enote by Bn,p the binomial istribution with n inepenent variables an probability p. Chernoff s Boun shows that every binomial ranom variable is close to its expecte value with high probability, as follows. Chernoff s Boun. For 0 t < np, P Bn,p np > t < e t 3np. When a ranom variable is not binomial, but etermine by n inepenent trials, Talagran s Inequality is useful to show that such a variable is concentrate aroun its expecte value. 9

10 Talagran s Inequality. Let X be a non-negative ranom variable, not ientically 0, which is etermine by n inepenent trials T,...,T n, an satisfying the following for some c,r > 0: changing the outcome of any one trial can affect X by at most c, an for any s, if X s then there is a set of at most rs trials whose outcomes certify that X s, then for any 0 t EX, P X EX > t e βt EX. for any β < 8c r. We also nee the following two Lemmas: the Lovász Local Lemma an its generalize version[9]. Both are use to show that there is a positive possibility that ba events o not occur. Lovász Local Lemma. Let E be a set of events such that for every event A E, PA p < an there exists a set D A with D A + such that A is mutually inepenent of all events in E \D A. If 4p then there is a positive probability that none of the events in E occur. General Version of the Lovász Local Lemma. Let E be events in a probability space such that for every A E, there exists D A such that A is mutually inepenent of all events in E \D A. If there exists x A [0, : A E such that for each A E the following hols: PA x A B D A x B, then there is a positive possibility that none of the events in E occur. In the remainer of this section, we prove Lemma.3 about the existence of the subgraph H using the Lovász Local Lemma an Talagran s Inequality. Proof of Lemma.3. Recall that G is a graph, R is a list assignment of EG with R + log / ε an R log G, an C is a set of ege-isjoint cycles with length at least q = q = 6loglog. We may assume that for every e EG, Re by removing colors from Le if necessary. For each C C, let SC be an arbitrary set of q eges of C. Since every cycle in C has length at least q, such a set SC exists. Note that for istinct C,C C, SC an SC are isjoint since C an C are ege-isjoint. For each C C, we ranomly choose one ege e C from SC an then let H be a subgraph of G such that EH = C C e C. Observe that for every ege e of G, the probability that e belongs to EH is q if there is a cycle C C with e SC an 0 otherwise. So, for v VH an c Rv, the expecte value of R H v,c is at most R G v,c q. So, E R Hv,c R G v,c q R G q q = 6loglog. log Let Av,c be the event that R H v,c > an E = {Av,c v VH,c Rv}. We prove log / by applying the Lovász Local Lemma that with positive probability none of the events in E occur. 0

11 Let Cv,c = {C C : e SC such that v e an c Re}. Let D Av,c = Av,c {Av,c : Cv,c Cv,c }. Note that Av,c is mutually inepenent of all events in E \ D Av,c. Now Cv,c R G. For each C C, there are at most q eges in SC. For each such ege e, there are at most colors in Re by assumption. Since each ege has at most two enpoints, it now follows that for each C C, {Av,c : C Cv,c } q. Hence D Av,c q +. So, it is enough to prove that PAv,c 4q +. We use Talagran s inequality to show that R H v,c is highly concentrate, where the ranom trials are for each C C choosing an ege from SC to be in H. Observe that changing the outcome of any one trial changes R H v,c at most one, an if R H v,c s then there is a set of s trials of which outcomes certify R H v,c s. So, by applying Talagran s inequality with c = r = an t = E R H v,c log to R H v,c, we have P R H v,c > E R H v,c +E R H v,c log e log 8. By, we have E R Hv,c +E R Hv,c log 6loglog log 6loglog / + log log log /, where the last inequality hols since is sufficiently large. Therefore, we have the following: PAv,c = P R Hv,c > log / P R Hv,c > E R Hv,c +E R Hv,c log e log Since is sufficiently large, it follows that e log 8 < 4q +, an so PAv,c 4q + as esire. 4 Reserving Colors In this section, we prove Lemma. about fining a reserve color assignment R an a resulting list assignment L that are large enough. Proof of Lemma.. We mayassumethat forevery e EG, Le = l = +ε byremoving colors from Le if necessary. For each vertex v an each color c Lv, we place c into Rv with probability p = 8. log /4. For each e EG, let A e be the event that Re < +ε an let B log / e be the event that L e < + ε. Let E = {A e : e EG} {B e : e EG}. We prove that with positive probability none of the events in E occur. To o this, we apply the Lovász Local Lemma. For e = uv EG, let De = {f e : Lf Le }.

12 Now for each e EG, let D Ae = D Be = {A f : f De} {B f : f De}. Then, A e an B e are each mutually inepenent of all events in E \D Ae = E \D Be. Since De c Le L G v,c+ L G u,c l = +ε+, it is enough to prove that PA e an PB e are at most 8 +ε+. Observe that Re Bl,p an hence the expecte value of Re is lp. Thus, by applying Chernoff s Boun with t = E Re log we have P Re < lp l p log < e log 3. Since is sufficiently large, we have log / +ε > +ε+4 log 3/4. So, lp l p log +ε log / +ε+4 log 3/4 > log / +ε. Thus, PA e = P Re < < e log 3 < log / +ε P Re < lp l p log 8 +ε+, where the last inequality hols since is sufficiently large. Similarly L e Bl, p an the expecte value of L e is lp. By applying Chernoff s Boun with t = E L e log, we have P L e < l p l p log < e log 3. Once again, since is sufficiently large, we have l p l p log > + ε + ε 4 +ε+4 log /4 > + ε, +ε+ log an so PB e = P L e < + ε P L e < l p l p log < e log 3 < 8 +ε+, where again the last inequality hols since is sufficiently large. Therefore by the Lovász Local Lemma, with positive probability none of the events in E occur.

13 5 Partitioning G into subgraphs with maximum egree two In this section, we prove Lemma. about fining a egree L-coloring such that every monochromatic cycle has length at least q = log 6loglog. To o that, we use the following lemma. Lemma 5.. For every 0 < ε <, if is sufficiently large, then for every graph G an every list assignment L = Le : e EG with L +ε an L G, there exists a list assignment L such that L e Le, L + ε log3, L G log3 +log 5, an for each color c e EG Le, the subgraph G c of G inuce by {e EG c L e} has girth at least q = log 6loglog. Let us prove Lemma. assuming Lemma 5. before proving Lemma 5.. Proof of Lemma.. Since L is sufficiently large, there exists a list assignment L satisfying the conitions in Lemma 5.. In aition, since is sufficiently large, by Theorem.7 there exists a egree L -coloring ψ of G. Since for each color c e EG Le, the subgraph G c inuce by {e EG c L e} has girth at least q = log 6loglog, it follows that every monochromatic cycle in ψ has length at least q as esire. Now it remains to prove Lemma 5.. Proof of Lemma 5.. We may assume for every ege e that Le = l = +ε by removing colors from Le if necessary. For an ege e an a color c Le, we place c into L e with probability p = log3. Let C be log the set of cycles of length less than 6loglog. For e EG, v VG, c e EG Le an C C, let Let Ae be the event that L e < + ε log 3, an Bv,c the event that L G v,c > log3 +log 5, an DC,c the event that for every ege f of C, L f contains c. E = {Ae : e EG} {Bv,c : v VG,c L v} {DC,c : c f EG Lf,C C}. We prove that with positive probability none of the events in E occur. To show this, we use the general version of the Lovász Local Lemma. 3

14 Observe that L e Bl,p. Thus the expecte value of L e is pl. By applying Chernoff s boun with t = pl log to L e, we obtain P L e < pl pl log < e log 3. Yet pl pl log log 3 > log3 + ε + εlog3 4 + ε. +ε + / log 5 Combining this with, we have PAe = P L e < + ε log 3 P L e < pl pl / log < e log Similarly L G v,c BL G v,c,p an hence the expecte value of L G v,c is pl G v,c. By applying Chernoff s boun with t = p L G v,c log to L G v,c, we obtain P L G v,c > pl G v,c+ p L G v,c log 3. < e log 3. 3 Yet p L Gv,c+ p L Gv,c log log 3 +log 5. Combining this with 3, we have PBv,c = P L G v,c > log3 +log 5 < e log 3. We also easily obtain that PDC,c p C, since the events that c L f : f EC are inepenent an occur with probability p. Let q = q = log 6loglog. To apply the general version of the Lovász Local Lemma, we efine x Ae = q, x Bv,c = q, x DC,c = C. Furthermore let D Ae = {Bv,c : v e,c Le} {DC,c : c Le,e EC}, D Bv,c = {A e : e v,c Le} {Bu,c : u Nv} {DC,c : v VC}, 4

15 D DC,c = {A e : e EC,c Le} {Bv,c : v VC} {DC,c : EC EC }. Note that for each F E, F is mutually inepenent of all events in E\D F where D F is efine as above. Therefore, with positive probability none of the events in E occur provie that the three following inequalities hol: PA e < e log 3 < q +ε+ q PBv,c < e log 3 < q q q r=3 q r=3 log 3 C PDC,c < C C q r r q r=3 l r r r C r Since ε < an is sufficiently large, we have that l < an it now follows that 5 implies 4. To prove 5 an 6, we use the following two inequalities. for positive integers a an b, a b b a for sufficiently large positive integers n, n n > 3 Since is sufficiently large, we have So, 5 hols. q q q r=3 r r > q q > q q = q r=3 3 log 3loglog > log 3 + > e log 3. To prove that 6 hols, let k = C. Since k q an is sufficiently large, we have k k q q r=3 k r r > k > k > k > k k k q k q q q q an we obtain the inequality 6, where the last equality hols since log 3 = 3loglog log. = k q r=3 log 3 k =, q k q q 5

16 Therefore, by the general version of the Lovász Local Lemma, with positive probability none of the events in E occur, an so there exists a list assignment L satisfying the conitions in the statement. References [] J. Akiyama, G. Exoo, an F. Harary. Covering an packing in graphs. III. Cyclic an acyclic invariants. Math. Slovaca, 304:405 47, 980. [] J. Akiyama, G. Exoo, an F. Harary. Covering an packing in graphs iv: Linear arboricity. Networks, :69 7, 98. [3] N. Alon. The linear arboricity of graphs. Israel J. Math., 63:3 35, 988. [4] N. Alon an J. H. Spencer. The probabilistic metho. Wiley Series in Discrete Mathematics an Optimization. John Wiley & Sons, Inc., Hoboken, NJ, fourth eition, 06. [5] X. An an B. Wu. List linear arboricity of series-parallel graphs. Manuscript submitte for publication. [6] X. An an B. Wu. The list linear arboricity of planar graphs. Discuss. Math. Graph Theory, 93:499 50, 009. [7] M. Bonamy, M. Delcourt, an L. Postle. On a weighte version of kahn s theorem. Manuscript. [8] H. Enomoto an B. Péroche. The linear arboricity of some regular graphs. J. Graph Theory, 8:309 34, 984. [9] P. Erős an L. Lovász. Problems an results on 3-chromatic hypergraphs an some relate questions. pages Colloq. Math. Soc. János Bolyai, Vol. 0, 975. [0] F. Gulan. The linear arboricity of 0-regular graphs. Math. Slovaca, 363:5 8, 986. [] F. Gulan. Some results on linear arboricity. J. Graph Theory, 04: , 986. [] R. P. Gupta. Stuies in the theory of graphs. PhD thesis, Tata Institute of Funamental Research, 967. [3] F. Harary. Covering an packing in graphs. I. Ann. New York Aca. Sci., 75:98 05, 970. [4] P. E. Haxell. A note on vertex list colouring. Combin. Probab. Comput., 04: , 00. [5] J. Kahn. Asymptotically goo list-colorings. J. Combin. Theory Ser. A, 73: 59, 996. [6] C. St. J. A. Nash-Williams. Decomposition of finite graphs into forests. J. Lonon Math. Soc., 39:,

17 [7] P. D. Seymour. A note on list arboricity. J. Combin. Theory Ser. B, 7:50 5, 998. [8] R. G. Stanton, D. D. Cowan, an L. O. James. Some results on path numbers. In Proc. Louisiana Conf. on Combinatorics, Graph Theory an Computing Louisiana State Univ., Baton Rouge, La., 970, pages 35. Louisiana State Univ., Baton Rouge, La., 970. [9] V. G. Vizing. On an estimate of the chromatic class of a p-graph. Diskret. Analiz No., 3:5 30, 964. [0] J. Wu. On the linear arboricity of planar graphs. J. Graph Theory, 3:9 34, 999. [] J. Wu. The linear arboricity of series-parallel graphs. Graphs Combin., 63:367 37, 000. [] J. Wu an Y. Wu. The linear arboricity of planar graphs of maximum egree seven is four. J. Graph Theory, 583:0 0,