arxiv: v1 [math.co] 18 Jan 2019

Transcription

1 Anti-Ramey number of path in hypergraph Ran Gu 1, Jiaao Li 2 and Yongtang Shi 3 1 College of Science, Hohai Univerity, Nanjing, Jiangu Province , P.R. China 2 School of Mathematical Science and LPMC arxiv: v1 [math.co] 18 Jan 2019 Nankai Univerity, Tianjin , China 3 Center for Combinatoric and LPMC Nankai Univerity, Tianjin , China rangu@hhu.edu.cn; lijiaao@nankai.edu.cn; hi@nankai.edu.cn Abtract The anti-ramey number of a hypergraph H i the mallet integer c uch that in any coloring of the edge of the -uniform complete hypergraph on n vertice with exactly c color, there i a copy of H whoe edge have ditinct color. In thi paper, we determine the anti-ramey number of a linear path and the anti-ramey number of a looe path in hypergraph for ufficiently large n, and give bound for the anti-ramey number of a Berge path. Our reult are etablihed via utilizing tability reult on hypergraph Turán problem of path. Keyword: anti-ramey; rainbow; hypergraph; path; Turán number AMS Subject Claification (2010: 05D05, 05C35, 05C65 1 Introduction The anti-ramey number of a graph G, denoted by ar(n,g, i the minimum number of color needed to color the edge of the complete graph K n o that, in any coloring, there exit a copy of G whoe edge have ditinct color. The Turán number of a graph G, denoted by ex(n,g, i the maximum number of edge in a graph on n vertice that doe not contain G a a ubgraph. It i eay to oberve that 1+ex(n,{H e,e E(H} ar(n,h ex(n,h for any graph H. In 1973, Erdő, Simonovit and Só [8] howed a remarkable reult that ar(n,k p = ex(n,k p for ufficiently large n. Montellano-Balletero and Neumann-Lara [20] extended thi reult to all value of n and p with n > p 3. In [8], it wa hown that 1

2 ar(n,h ex(n,{h e,e E(H} = o(n 2 when n. Furthermore, Jiang [18] proved that if H i a graph uch that each edge i incident to a vertex of degree two, then ar(n,h ex(n,{h e,e E(H} = O(n. A hitory of reult and open problem on thi topic wa given by Fujita, Magnant, and Ozeki [14]. A hypergraph H conit of a et V(H of vertice and a family E(H of nonempty ubet of V(H called edge of H. If each edge of H ha exactly vertice then H i -uniform. A complete -uniform hypergraph i a hypergraph whoe edge et conit of all -ubet of the vertex et. In an edge-coloring of a (hypergraph H, a ub(hypergraph F H i rainbow if all edge of F have ditinct color. The anti-ramey number and Turán number are naturally extended from graph to hypergraph. The anti-ramey number of an -uniform hypergraph H, denoted by ar(n,, H, i the minimum number of color needed to color the edge of a complete -uniform hypergraph on n vertice o that there exit a rainbow H in any coloring. The Turán number of H, denoted by ex(n,,h, i the maximum number of edge in an -uniform hypergraph on n vertice that contain no H. Özkahya and Young [24] invetigated the anti-ramey number of matching in hypergraph, where a matching i a et of edge in a (hypergraph in which no two edge have a common vertex. A k-matching, denoted by M k, i a matching with k edge. Özkahya and Young [24] gave the lower and upper bound for ar(n,,m k in term of ex(n,,m k 1. They proved that ex(n,,m k 1 +2 ar(n,,m k ex(n,,m k 1 +k, where the lower bound hold for every n, and the upper bound hold for n k + ( 1(k 1. For = 2, Schiermeyer [25] proved that ar(n,2,m k = ex(n,2,m k for k 2 and n 3k +3, and thi condition wa further releaed to all n 2k +1 by Chen, Li and Tu [4] and by Fujita, Kaneko, Schiermeyer and Suzuki [13], independently. In fact, for k-matching, the Turán number ex(n,,m k i till not known for k 3 and 3. Let [n] denote the et {1,2,...,n}, ( [n] k denote the et coniting of all the k-et of [n]. Erdő put forward a conjecture in 1965 that ex(n,,m k = max{ A, B (n }, where A = ( [k 1] and B (n = {F ( [n] F [k 1] }. Thi conjecture i true for = 2, which wa hown by Erdő and Gallai [7]. In [6], Erdő proved that there exit a contant n 0 (,k uch that for n > n 0 (,k, the conjecture hold. Then Bollobá, Daykin and Erdő [1] improved the bound for n 0 (k, uch that n 0 (k, 2 3 (k 1. It wa improved to n 0 (k, 3 2 (k 1 by Huang, Loh and Sudakov [17] later. For the anti-ramey number of k-matching, Özkahya and Young [24] conjectured that when k 3, ar(n,,m k = ex(n,,m k 1 +2 if n > k, and { ex(n,,m k 1 +2 if k c, ar(n,,m k = ex(n,,m k if k c, if n = k, where c i a contant dependent on. They proved that the conjecture i true when k = 2,3 for ufficiently large n. Later, Frankl and Kupavkii [12] proved that 2

3 ar(n,,m k = ex(n,,m k 1 +2 for n k +( 1(k 1 and k 3. For more reult on matching, we refer to [10, 11]. For path, Simonovit and Só [26] proved that ar(n,p 2t+3+ǫ = tn ( t ǫ for large n, where ǫ = 0,1 and P k i a path on k vertice. Comparing with the Turán number of path ex(n,p k (k 2n/2 (1 given by Erdő and Gallai [7], it follow that ar(n,p k = ex(n,p k 1 +O(1 when k i odd, andar(n,p k = ex(n,p k 2 +O(1 whenk ieven. Itwouldbeintereting toinvetigate the relation between the anti-ramey number and the Turán number for path in hypergraph. The Turán number of path i extenively tudied, ee [9, 15, 21] or Section 2 below for detail. Motivated by thi, we will tudy the anti-ramey number of path and compare it with the Turán number of path in hypergraph. There are everal poible way to define path in hypergraph a generalization of path in graph from different apect. Definition 1.1 Let H be an -uniform hypergraph. (i A Berge path of length k in H i a family of k ditinct edge e 1,...,e k and k +1 ditinct vertice v 1,...,v k+1 uch that for each 1 i k, e i contain v i and v i+1. Let B k denote the family of Berge path of length k. (ii A looe path of length k in H i a collection of ditinct edge {e 1,e 2,...,e k } uch that conecutive edge interect in at leat one element and nonconecutive edge are dijoint. Denote the family of looe path of length k by P k. (iii A linear path of length k in H i a collection of ditinct edge {e 1,e 2,...,e k } uch that conecutive edge interect in exactly one element and nonconecutive edge are dijoint. Let P k denote the linear path of length k. We firt give the exact anti-ramey number of hort path P i, B i, P i for i = 2,3. Theorem 1.1 (i. For 3 and n 3 4, ar(n,,p 2 = 2. (ii. For 4 and ufficiently large n, ar(n,,p 3 = ( n (iii. For n 3 4, ar(n,,b 2 = ar(n,,p 2 = 2. (iv. For n 4 3, ar(n,,b 3 = ar(n,,p 3 = 3. For linear path and looe path, we obtain the exact anti-ramey number for ufficiently large n. Theorem 1.2 For any integer k, if k = 2t 4 and 3, then for ufficiently large n, ( ( n n t+1 ar(n,,p k = +2; 3

4 if k = 2t+1 > 5, and 4, then for ufficiently large n, ( ( ( n n t+1 n t 1 ar(n,,p k = Theorem 1.3 For any integer k, if k = 2t 4 and 3, then for ufficiently large n, ( ( n n t+1 ar(n,,p k = +2; if k = 2t+1 5 and 3, then for ufficiently large n, ( ( n n t+1 ar(n,,p k = +3. We remark that, due to ome technique obtruction, our proof of Theorem 1.2 doe not work directly for the cae k = 5 or the cae k i odd and = 3. However, thoe pecial cae are handled in Theorem 1.3 for looe path with a refined analyi. For a Berge path B k, Györi, Katona and Lemon in [16] proved that ex(n,,b k n k k( when k > +1 > 3, and ex(n,,b k n(k 1 +1 when 2 < k, which are harp for infinitely many n. Then Davoodi, Györi, Methuku and Tompkin [5] proved that ex(n,,b +1 n. We apply thoe reult to obtain the bound for the anti-ramey number ar(n,,b k a follow. Theorem 1.4 If k > 2+1, then for ufficiently large n, ( 2n k/2 ar(n,,b k n ( k k k 1 If +2 k 2+1, then for ufficiently large n, n 2 k +1 2 ar(n,,b k n k 1 If k +1, then for ufficiently large n, ( k n +1 k 2 2 ar(n,,b (k 2n k Theorem 1.4 indicate that the anti-ramey number ar(n,,b k varie for different and k. Thi may ugget that determining the exact value of ar(n,,b k would be very difficult. Note that the Turán number of Berge path i till not clear at thi moment. The next ection will be focued on introducing reult on Turán number of path in hypergraph, which are the needed tool to derive our main reult. The proof of the main reult will be in later ection. 4

5 2 Preliminarie Note that the -uniform Berge path B 2 and looe path P 2 are the ame definition, and the determination of ex(n,,p 2 i trivial. In [15], Füredi, Jiang and Seiver determined ex(n,,p k for 3. Theorem 2.1 [15] Let, t be poitive integer with 3. For ufficiently large n, we have and ex(n,,p 2t+1 = ex(n,,p 2t+2 = ( n ( n ( n t ( n t +1. For P 2t+1, the unique extremal family conit of all the -ubet of [n] which meet ome fixed et S of ize t. For P 2t+2, the unique extremal family conit of all the above edge plu one additional -et dijoint from S. The determination of ex(n,,p k i nontrivial even for k = 2. Frankl [9] gave the value of ex(n,,p 2 for 4 and ufficiently large n. Then Keevah, Mubayi and Wilon [22] determined the value of ex(n,4,p 2 for all n. Note that when = 3, ex(n,3,p 2 n, which can be achieved when n i diviible by 4 by taking n/4 vertex dijoint copie of K (3 4 (i.e. the complete 3-graph on 4 vertice. For k 3, Füredi, Jiang and Seiver [15] provided the exact Turán number of P k for ufficiently large n, where 4, k 3. Kotochka, Mubayi and Vertraëte [21] conidered ex(n,,p k for 3, k 4 and ufficiently large n. Later, Jackowka, Polcyn and Rucińki [19] determined ex(n,3,p 3 for all n. We ummarize thoe reult (only for the ufficiently large n a follow. Theorem 2.2 [9, 15, 19, 21, 22] For ufficiently large n, we have 1. ex(n,,p 2 = ( n 2 2 for 4, and ex(n,3,p2 n. 2. ex(n,,p 2t+1 = ( n ( n t for 3 and t 1, ( n t for 3 and t ex(n,,p 2t+2 = ( n + ( n t 2 2 The unique extremal family for P 2 conit of all the -ubet of [n] containing ome two fixed vertice for 4. For P 2t+1, the unique extremal family conit of all the -ubet of [n] which meet ome fixed et S of ize t. For P 2t+2, the unique extremal family conit of all the above edge plu all the -et in [n]\s containing ome two fixed vertice not in S. There are many other reult on the Turán number of path, in graph [2, 23, 27] or hypergraph [3, 16], the reader are referred to thee reference for detail. The following tability reult on linear path will be needed in our proof. Let H denote the ( 1-graph coniting of et contained in ome edge of H. 5

6 Theorem 2.3 [21] For fixed 3 and k 4, let l = k 1 2 and H be an n-vertex -graph with H l ( n 1 containing no Pk. Then there exit G H with G ( n 1 and a et L of l vertice of H uch that L V(G = and e {v} H for any ( 1-edge e G and any v L. In particular, H L = o(n 1. Notice that the tability reult above conider the cae k 4. For k = 3, 4, Füredi et al. [15] provided another verion of tability reult, and a the author in [19] pointed out, the imilar tability reult hold for k = 3 and = 3 a well. We rewrite their reult for k = 3 with the imilar notation in Theorem 2.3 (in a lightly weaker form. Note that when k = 3, l = k 1 2 = 1. Theorem 2.4 For fixed 3, let H be an n-vertex -graph with H ( n 1 containing no P 3. Then there exit G H with G > 1 ( n 2 1 and a vertex v of H uch that v / V(G and e {v} H for any ( 1-edge e G. In particular, H v = o(n 1. Conidering the tructure of the ( 1-graph G, we preent the following lemma, which i frequently ued in our proof. Lemma 2.5 For fixed 3 and k 3, let t = k 1 2 and H be an n-vertex -graph with H t ( n 1 containing no Pk. Let G H be the ( 1-graph a defined in Theorem 2.3 or 2.4 above. Given a vertex et W of K vertice in H, where K i a fixed contant. Then there are max{t 1,1} pair of ( 1-edge in G, ay {a i,b i }, i = 1,...,t 1, uch that each of the following hold. (i For every i, a i and b i have exactly one common vertex (i.e. a i b i = 1, (ii for any i j, a i b i and a j b j are vertex dijoint, and moreover, (iii all thee ( 1-edge are dijoint from W. Proof. The number of ( 1-edge incident with ome vertice in W i at mot W (n 1 2, and o in G the number of ( 1-edge dijoint from W i at leat G K ( n 1 > 2 ( n 3 for 4, n for = 3. By Theorem 2.2 and Eq.(1, we get that G K ( n 1 2 > ex(n, 1,P2. So we can find a pair {a 1,b 1 } of ( 1-edge with exactly one common vertex. Since G K ( n 1 2 (t 1(2 3 ( n 1 > ex(n, 1,P 2, 2 we can repeat the argument above to find {a 2,b 2 },...,{a t 1,b t 1 } atifying the propertie decribed in Lemma 2.5. Given a path P, if a vertex v belong to more than one edge in P, we call v a cro vertex of P, or ay v i a cro(p vertex. If v belong to exactly one edge in P, we call v a free vertex of P, or ay v i a free(p vertex. 6

7 3 Short Path Proof of Theorem 1.1 (i. LetHbeacomplete-uniformhypergraphonnvertice. Iticlearthatar(n,,P 2 2. Suppoe that there exit a 2-coloring of H without a rainbow P 2. Then there mut be two edge e 1 and e 2 atifying that the color of e 1 and e 2 are different and e 1 e 2 > 1. Let u e 1 \e 2 and v e 2 \e 1. Conider the edge e 3 coniting of u, v and 2 vertice in V(H \V(e 1 e 2. Since there i no rainbow P 2, e 3 can not be colored with either of the two color, a contradiction. So any 2-coloring of H admit a rainbow P 2. (ii. Let H be a complete -uniform hypergraph on n vertice. Conider the following coloring of H with ( n color. Take two vertice u and v in H, then the number of edge containing both u and v i ( n 2 2. Coloring each of thee edge with different color and the remaining edge of H with an additional color. We can ee that thi coloring of H yield no rainbow P 3. Thu, ar(n,,p 3 ( n To prove that ar(n,,p 3 ( n , we argue by contradiction. Suppoe that there exit acoloring of H withoutarainbowp 3, whichue ( n color. LetG beapanning ubgraph of H with ( n edge uch that each color appear on exactly one edge of G. Since G = ( n > ex(n,,p2 for ufficiently large n, there i a linear path P of length two with edge e 1 colored by α 1 and e 2 colored by α 2 in G. Let v be the common vertex of e 1 and e 2. Since H contain no rainbow P 3, any edge which contain only one vertex from (e 1 e 2 \{v}, mut be colored with α 1 or α 2 in H. Denote by F the ubgraph obtained by deleting e 1 and e 2 from G. If there i a linear path P of length two with edge f 1 and f 2 in F, let u ay the color of f 1 and f 2 are β 1 and β 2, repectively. If f 1 or f 2 contain a free(p vertex w of e 1 e 2 and w i not a cro(p vertex in f 1 f 2, then the edge coniting of w and ome 1 vertice in V(H \ V(e 1 e 2 f 1 f 2, along with f 1 and f 2 form a rainbow P 3. Suppoe f 1 f 2 contain exactly one free(p vertex w of e 1 e 2 and w i the cro(p vertex. Take an edge e 3 coniting of a free(p vertex x w of e 1, a free(p vertex y of f 1 and 2 vertice of V(H \V(e 1 e 2 f 1 f 2, then the color of e 3 i either α 1 or α 2. Hence the path with edge e 3, f 1 and f 2 i a rainbow P 3. If f 1 f 2 contain no free(p vertex of e 1 e 2, then the edge e 4 formed by a free(p vertex x of e 1, a free(p vertex y of f 1 and 2 vertice of V(H\V(e 1 e 2 f 1 f 2, mut be colored with α 1 or α 2. So the path with edge e 4, f 1 and f 2 i a rainbow P 3, a contradiction. Therefore, we can aume that there i no P 2 in F. By Theorem 2.2, F conit of all the ( n 2 2 edge containing two fixed vertice x and y. Note that {x,y} e 1, and {x,y} e 2 ince e 1,e 2 / F. We divide our dicuion into the following cae depending on the relationhip between vertice x, y and edge e 1, e 2. Cae 1. x, y / e 1 e 2. Conider the edge e coniting of x, y, a free(p vertex of e 1 e 2, and 3 vertice in 7

8 V(H\V(e 1 e 2 {x,y}. Then, by the tructure of F, we have e F, and thu e ha a different color with α 1 and α 2. Therefore, we find a rainbow P 3 with edge e,e 1 and e 2 in H. Cae 2. x e 1 e 2, y / e 1 e 2, and x i not the cro(p vertex in e 1 e 2. The edge e, which conit of x, y and 2 vertice in V(H\V(e 1 e 2 {x,y}, ha a different color with α 1 and α 2. Hence, e, e 1, e 2 form a rainbow P 3 in H. Note that if y e 1 e 2, x / e 1 e 2, and y i not the cro(p vertex in e 1 e 2, we can alo find a rainbow P 3 in H imilarly. Cae 3. x i a cro(p vertex in e 1 e 2, y / e 1 e 2. Letebeanedgewithafree(Pvertexine 1 and 1verticeinV(H\V(e 1 e 2 {x,y}. If e ha color α 2, then we have a rainbow P 2 with edge e and e 1. Similar to Cae 2, we can find a rainbow P 3 in H. So the color of e i α 1. Pick an edge e coniting of x, y, a vertex z in e\e 1 and 3 vertice in V(H\V(e 1 e 2 {x,y,z}, then e, e, e 2 form a rainbow P 3 in H. And by ymmetry, if y i a cro(p vertex in e 1 e 2 and x / e 1 e 2, we can find a rainbow P 3 in H a well. Cae 4. x e 1 \e 2, y e 2 \e 1. Take an edge e coniting of a free(p vertex w x in e 1, and 1 vertice in V(H \ V(e 1 e 2, the color of e i α 1 or α 2. If the color of e i α 1, then the edge e coniting of w, x, y and 3 vertice of V(H\V(e 1 e 2 e {x,y}, along with e and e 2 form a rainbow P 3. If the color of e i α 2, then the edge e coniting of x, y and 2 vertice of V(H\V(e 1 e 2 e {x,y}, along with e 1 and e form a rainbow P 3. We have examined all the cae in the above dicuion. In concluion, any coloring of H with ( n color admit a rainbow P3. Hence, we have that ar(n,,p 3 = ( n (iii. Since ar(n,,b 2 ar(n,,p 2 ar(n,,p 2, we can obtain that ar(n,,b 2 = ar(n,,p 2 = 2 for n 3 4. (iv. Let H be a complete -uniform hypergraph on n vertice. Conider a 3-coloring of H uch that there i no rainbow P 3 in H. Since ar(n,,p 2 = 2 < 3 by (iii, there i a rainbow looe path P of length 2 with edge e 1 and e 2, colored by, ay, α 1 and α 2. Suppoe that the number of free(p vertice in e 1 i a, o the number of free(p vertice in e 2 i equal to a. Let /2 if a > /2, p = a if a /2. Aume that there i an edge f with color α 3 / {α 1,α 2 } uch that f (e 1 e 2 =. Conider an edge e coniting of all the free(p vertice in e 1, p vertice in f, and a p vertice in V(H\V(e 1 e 2 f. Note that the color of e i either α 1 or α 2. If e i colored 8

9 with α 2, then e 1,e,f i a rainbow P 3. So e can only be colored with α 1. Similarly, let /2 if a > /2, q = a if a /2. Conider the edge e coniting of all the free(p vertice in e 2, q vertice in V(f\V(e, and a q vertice in V(H\V(e 1 e 2 f e, then e i colored with α 2. Thu, e,f,e i a rainbow P 3. So each of the edge colored with α 3 contain vertice in e 1 e 2. Take an edge h with color α 3. Note that h e 1 and h e 2. Cae 1. Either e 1 or e 2 contain a free(p vertex not belonging to h. Without lo of generality, uppoe that there are b free(p vertice in e 1 \h, where b 1. Take an edge e with b free(p vertice in e 1 \h and b vertice in V(H\V(e 1 e 2 h. Then e i colored with α 1 or α 2. If e i colored with α 2, then e, e 1, h form a rainbow P 3. So e i colored with α 1. Then we have a rainbow P 2 with edge h and e 2, which are colored with α 3 and α 2, repectively. And we have an edge e colored with α 1 and e (h e 2 =. It i the ame ituation a we analyed before, we can alo find a rainbow P 3 in H. Cae 2. All the free(p vertice in e 1 e 2 belong to h. Recall that there are a free(p vertice in e 1. Take an edge e coniting of a free(p vertice in e 1 and a vertice in V(H \ V(e 1 e 2 h. If e i colored with α 2, then we have a looe path P of length two with edge e and e 1, which are colored with α 2 and α 1, repectively, and e contain at leat one free(p vertex not belonging to h. It i jut imilar to Cae 1, in which we can find a rainbow P 3 in H. Thu e i colored with α 1. Similarly, take an edge e coniting of a free(p vertice in e 2 and a vertice V(H\V(e 1 e 2 h e, we can obtain that e i colored with α 2. Now, there i a rainbow P 3 coniting of edge e, h and e. Therefore, ar(n,,p 3 3, for n 4 3. Since ar(n,,p 3 3 trivially hold, we have that ar(n,,p 3 = 3 for n 4 3. Since ar(n,,b 3 ar(n,,p 3, we obtain that ar(n,,b 3 = ar(n,,p 3 = 3 for n Linear Path Proof of Theorem 1.2. Let H be a complete -uniform hypergraph on n vertice. For the lower bound, we contruct acoloring of H by uingtheextreme -graphin Theorem 2.2. If k = 2t, we pick a vertex et S with t 1 vertice. Take all the edge that meet S and color each of thee edge with different color. Then color the remaining edge of H with one additional color. Thi give a coloring of H with ( n ( n t+1 +1 color. Since each vertex i contained in at mot 9

10 two edge of a rainbow linear path, it i eay to ee that any rainbow linear path in H ha length at mot 2(t 1+1 < 2t. So we have ar(n,,p 2t ( n ( n t If k = 2t+1, we pick a copy of the extreme P 2t -free graph obtained in Theorem 2.2. Then color each edge of thi extreme P 2t -free graph with a ditinct color, and color the remaining edge of H with one additional color to obtain a coloring of H with ( n ( n t+1 ( + n t color. It i routine to check that there i no rainbow P 2t+1 in the above coloring, and thu ar(n,,p 2t+1 ( n ( n t+1 + ( n t For the upper bound, let D = ( n ( n t+1 +2, if k = 2t, +2, if k = 2t+1. ( n ( n t+1 + ( n t 1 2 We argue by contradiction and uppoe that there i a coloring of H uing D color yielding no rainbow P k. Let G be a panning ubgraph of H with D edge uch that each color appear on exactly one edge of G. By Theorem 2.2, we obtain that there i a linear path P of length k 1 in G. Denote by e 1,e 2,...,e k 1 the edge of P, and α 1,α 2,...,α k 1 the color of e 1,e 2,...,e k 1, repectively. Since H contain no rainbow P k, we obtain the following fact. Obervation 4.1 Let v be a free(p vertex in e 1 e k 1. Then for any edge g atifying g P = {v}, the edge g mut be colored with a color of {α 1,α 2,...,α k 1 }. Denote by F the ubgraph obtained by deleting e 1,e 2,...,e k 1 from G. We divide the remaining proof into two cae according to the parity of k. 4.1 Completing the proof when k = 2t i even In thi ubection, we aume that k = 2t 4 i even. Claim 4.1 When k = 2t 4, there i no P k 1 in F. Proof. By contradiction, uppoe there i a linear path P of length k 1 in F. Denote the edge of P by f 1,f 2,...,f k 1 with color β 1,β 2,...,β k 1, repectively. Since there i no rainbow P k in H, every edge g with g V(P = {u}, where u i a free(p vertex in f 1 f k 1, mut be colored with a color of {β 1,β 2,...,β k 1 }. We obtain an -graph F e by deleting f 1,f 2,...,f k 1 and all the edge containing at leat two vertice of P P from F. Let c denote the number of vertice of P P. Then c 2[(k 1 (k 2], and o we have F e F (k 1 i=2 ( ( c n c i i > ex(n,,p k 2. 10

11 Thu, we have a linear path P of length k 2 in F e. Denote by h 1,h 2,...,h k 2 the edge of P. Moreover, every edge in P contain at mot one vertex from P P. So it follow from Obervation 4.1 that P contain no free(p vertex of e 1, e k 1, and no free(p vertex of f 1, f k 1. Take an edge e coniting of a free(p vertex x of e 1, a free(p vertex of h 1 \V(P P (ince 3, uch vertex doe exit, and 2 vertice in V(H\V(P P P, then e i colored with one color in {α 1,α 2,...,α k 1 } by Obervation 4.1. Take another edge e coniting of a free(p vertex of f 1 \ {x}, a free(p vertex of h k 2 \ V(P P and 2 vertice in V(H \ (P P P e, then Obervation 4.1 indicate e i colored with one color in {β 1,β 2,...,β k 1 }. Hence the path with edge e,h 1,h 2,...,h k 2,e i a rainbow P k, a contradiction. Thi prove the claim. Note that F (t 1 ( n 1. By Claim 4.2, Theorem 2.3 and 2.4 are applied to F. So we can find an ( 1-graph G F with G ( n 1 for k 6 and with G 1 ( n 2 1 for k = 4, and there i a vertex et L = {v 1,v 2,,v t 1 } uch that L V(G = and e {v} F for any ( 1-edge e G and any v L. Moreover, F L = o(n 1. We point out that all the vertice of L are not free(p vertice in e 1 e k 1. Otherwie, let W be the vertex et of P. By Lemma 2.5, we can find an ( 1-edge dijoint with W in G, and it give an -edge in F containing only a free(p vertex of P. Thi edge together with P form a rainbow P k, a contradiction. Claim 4.2 When k = 2t 4, there i no edge in F L. Proof. Suppoe to the contrary there exit an edge h F L with color λ ay. By Lemma 2.5, we can find two ( 1-edge a 0, b 0 in G, uch that a 0 and b 0 have exactly one common vertex u and are dijoint from P and h. Let W be the vertex et of P h a 0 b 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1, uch that for every i, a i and b i have exactly one common vertex, and for any j i, {a i,b i } and {a j,b j } are vertex dijoint. Then, f 1 = a 0 {v 1 },f 2 = {v 1 } a 1,f 3 = b 1 {v 2 },f 4 = {v 2 } a 2,f 5 = b 2 {v 3 },,f k 4 = {v t 2 } a t 2,f k 3 = b t 2 {v t 1 },f k 2 = {v t 1 } a t 1 form a P k 2 in F, denoted by P. In the ret of the paper, thi kind of path would be abbreviated a P = a 0 ({v i } a i b i {v t 1 } a t 1. i=1 Let β 1,β 2,...,β k 2 be the color of f 1,f 2,...,f k 2 repectively. Note that b 0 {v 1 } and b t 1 {v t 1 } are edge of F, o both of them have color ditinct from any other edge in F. The edge, which conit of one free(p vertex in f 1, one free(p vertex in e 1 and 2 vertice dijoint with P and P, mut becolored with color from {α 1,α 2,...,α k 1 } by Obervation4.1. Letf beanedgeconitingof thefree(p vertex uinf 1, avertex inhand 11

12 2 vertice dijoint with P, P, b 0 and h. Then the color of f i in {λ,β 1,β 2,...,β k 2 }, becaue otherwie h f P i a rainbow P k. If the color of f i λ, then we can extend f P to a rainbow P k with an additional edge, which containing one free(p vertex in f k 2 and a free(p vertex in e k 1. Aume the color of f i β j for ome j. Let W be the vertex et of f P h b 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } in G, which are dijoint from W for i = 1,...,t 1. Furthermore, h f b 0 ({v i } a i b i {v t 1 } a t 1 i=1 i a rainbow P k, a contradiction. Thi how that F L contain no edge, i.e., all the edge in F contain vertice in L. Notice that ( ( n n t+1 F = D (k 1 = k +3 and there are ( n ( n t+1 edge in H which interect L. Therefore Claim 4.2 implie that F contain no iolated vertice, and there are only k 3 edge containing vertice in L which are not belonging to F. (2 We will derive the final contradiction from the following claim. Claim 4.3 When k = 2t 4, there exit at mot one edge in P which i dijoint with L. Proof. Suppoe that there are two edge e i and e j (j > i in P, which are dijoint with L. If j > i + 1, we find an edge f in F containing a vertex in e i and dijoint with e j, and an edge g in F containing a vertex in e j and dijoint with e i and f. Let f L = v p, g L = v q. Without lo of generality, we uppoe that v p = v 1, v q = v t 1. Let W conit of the vertice in e i e j f g. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1. Then, i a rainbow P k in H, a contradiction. e i f a 1 b 1 ({v i } a i b i g e j i=2 If j = i+1, we find an edge h in F uch that h contain exactly one vertex in e j \e i, and i dijoint with e i. Without lo of generality, we uppoe that h L = v 1. Let W conit of the vertice in e i e j h. By Lemma 2.5, we can find ( 1-edge {a } dijoint from W for i = 1,...,t 1. Then, e i e j h a 1 b 1 ({v i } a i b i {v t 1} a t 1 i=2 12 i,b i

13 i a rainbow P k in H, a contradiction. SinceP ha k 1 edge, Claim 4.3 how there are at leat k 2 edge containing vertice of L in P. A F = G E(P, we conclude that there are at leat k 2 edge containing vertice in L which are not belonging to F, contradicting (2. Thi complete the proof for even k. 4.2 Completing the proof when k = 2t+1 i odd In thi ubection, we aume that k = 2t+1 i odd. Recall that F denote the ubgraph obtained from G by deleting e 1,e 2,...,e k 1. If there i no P k 1 in F, then we can ue Theorem 2.3 to characterize the tructure of F. However, thi may not be the cae when k i odd. Fortunately, we can prove that after deleting a few edge, the remaining ubgraph of F contain no P k 1. Claim 4.4 If there i a linear path P 1 of length k 1 in F, then F E(P 1 contain no P k 1. Proof. Suppoe to the contrary that there i a linear path P 2 of length k 1 in F E(P 1. Notice that the color ued in P 1 and P 2 are pairwie ditinct by the election of F. Let f 1,f 2,...,f k 1 be the edge of P 1 with color β 1,β 2,...,β k 1, repectively, Denote by g 1,g 2,...,g k 1 the edge of P 2 with color γ 1,γ 2,...,γ k 1, repectively. Let c denote the numberof vertice of P P 1 P 2. Thenwe have c 3[(k 1 (k 2]. Note that the number of edge which contain at leat two vertice in P P 1 P 2 i at mot ( c n c i=2 i( i. Since = F ( n ( ( c n c i i ( ( n t+1 n t i=2 > ex(n,,p k 3, +2 (k 1 i=2 ( ( c n c i i there exit a linear path P 3 of length k 3, uch that every edge in P 3 ha at mot one vertex of P P 1 P 2. Hence, all the free(p vertice in e 1 e k 1, free(p 1 vertice in f 1 f k 1 and free(p 2 vertice in g 1 g k 1 are not in P 3 by Obervation 4.1. Denote by h 1,h 2,...,h k 3 the edge of P 3. Conider an edge e, which conit of a free(p vertex x in e 1, a free(p 3 vertex in h 1 \(P 1 P 2 and 2 vertice dijoint with P P 1 P 2 P 3, it follow from Obervation 4.1 that the color of e i in {α 1,α 2,...,α k 1 }. And conider an edge e, which conit of a free(p 1 vertex y x in f 1 f k 1 (we can find uch a vertex y ince > 3, a free(p 3 vertex in h k 3 \(P 1 P 2 and 2 vertice dijoint with P 1 P 2 P 3 P e, then the color of e i from {β 1,β 2,...,β k 1 } by Obervation

14 Moreover, e P 3 e i a rainbow P k 1. Now conider another edge e, which conit of a free(p 2 vertex z x,y in g 1 g k 1, a vertex in e \(P 1 P 3 and 2 vertice dijoint with P 1 P 2 P 3 P e e, then e ha a color appeared in e P 3 e by Obervation 4.1. However, to prevent extending P 2 to a rainbow P k, the color of e hould be one of {γ 1,γ 2,...,γ k 3 }, a contradiction. So if F ha a P k 1, denote by F 0 the ubgraph obtained by deleting all the k 1 edge of that P k 1 in F. Then we have F 0 i P k 1 -free by Claim 4.4 and ( ( ( n n t+1 n t 1 F 0 = (k 1. 2 Since F 0 (t 1 ( n 1 and by Theorem 2.3, we can find an ( 1-graph G F 0 with G ( n 1 and a et L of t 1 vertice of F0 uch that L V(G = and e {v} F 0 for any ( 1-edge e G and any v L. Moreover, F 0 L = o(n 1. If F doe not contain a P k 1, then by Theorem 2.3 again, we can find an ( 1-graph G F with G ( n 1 and a et L of t 1 vertice of F uch that L V(G = and e {v} F for any ( 1-edge e G and any v L. Additionally, F L = o(n 1. Since the number of edge meeting L i at mot ( ( n n t+1, we have F L F ] = ( n t 1 2 [( n ( n t+1 from F and till denote the remaining ubgraph F (k 1 > k 1. Now we delete any k 1 edge of F L Therefore, in either cae, we can find an ( 1-graph G F 0 with G ( n 1 and a et L of t 1 vertice of F 0 uch that L V(G = and e {v} F 0 for any ( 1-edge e G and any v L. Moreover, F 0 L = o(n 1. We elect a G with the maximum number of ( 1-edge. Let the vertice in L be v 1,v 2,,v t 1. We point out that all the v i for i = 1,2,,t 1 are not free(p vertice in e 1 e k 1. Otherwie, let W be the vertex et of P. Then by Lemma 2.5 we can find an ( 1-edge dijoint with W in G, and thi together with v i will form an -edge which extend P to a rainbow P k. Since the number of edge containing vertice of L i at mot ( n ( n t+1 in F0, we have F 0 L > ( n t (k 1. We further claim the following. Claim 4.5 F 0 L ( ( n t ( n. Proof. By contradiction, aume that F 0 L > ( ( n t ( n. Note that the number of vertice of F 0 L i n t + 1, by Theorem 2.2, we can find a P 2 in F 0 L, denoted by P 1. Let h 1, h 2 be the edge of P 1 with color γ 1, γ 2, repectively. The number of edge containing at leat 1 vertice in P 1 i le than ( 2 1 ( n. Since F0 [ (2 2 ( L ] 1 n > ex(n t+1,,p 2, there i another linear path P 2 of length two in F 0 L uch that each edge of which ha at leat two vertice not in P 1. Let h 3, h 4 be the edge of P 2 with color γ 3, γ 4. So h 4 contain a free(p 2 vertex x / P 1. Furthermore, one of h 1,h 2 contain a free(p 1 vertex not belonging to P 2. Let u ay h 2 ha a free(p 1 14

15 vertex y / P 2. Take two ( 1-edge a 0, b 0 in G that are dijoint from P 1, P 2 and P, uch that a 0 b 0 = u. Let W be the vertex et of P P 1 P 2 a 0 b 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1, and o P = a 0 ({v i } a i b i {v t 1 } a t 1. i=1 iap 2t 2 = P k 3 inf 0. Denotebyf 1,f 2,...,f k 3 theedgeofp withcolorβ 1,β 2,...,β k 3 the color of each edge in P, repectively. Note that f 1 = a 0 {v 1 }. Conider the edge g coniting of x, y, u and 3 vertice dijoint with P, P 1, P 2 and b 0. Then the color of g i in {γ 1,...γ 4,β 1,...,β k 3 }, otherwie we can eaily extend P to a rainbow P k by adding g, h 1 and h 2. If the color of g i in {γ 1,γ 2 }, then h 3 h 4 g P i a rainbow P k. If the color of g i in {γ 3,γ 4 }, then h 1 h 2 g P i a rainbow P k. So the color of g mut be in {β 1,...,β k 3 }. Let W be the vertex et of P P 1 P 2 P b 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1, and h 1 h 2 g b 0 ({v i } a i b i {v t 1 } a t 1 i=1 i a rainbow P k, a contradiction. Now Claim 4.5 provide ome further tructural propertie of F 0. Claim 4.6 (a There i no iolated vertex in F 0. (b There are at mot ( ( n+2(k 1 2 edge meeting L but not in F0. (c Every vertex in V(F 0 \L belong to G, and i not an iolated vertex in G. Proof. (a In fact, if F 0 contain an iolated vertex, then the number of edge meeting L in F 0 i at mot ( ( n 1 n 1 (t 1. Thu, we have [( ( ] n 1 n 1 (t 1 F 0 L F 0 O(n 1, a contradiction to Claim 4.5. Thi indicate that F 0 contain no iolated vertice. (b By Claim 4.5, there are ( ( [( n n t F 0 F 0 L +2 2(k 1 + ( ] 2 1 n 1 edge in F 0 contain vertice in L. Since there are ( ( n n t+1 edge containing vertice of L in H, we have that there are at mot ( 2 2 ( n+2(k 1 2 edge meeting L but not in F 0. (c If there exit a vertex v V(F 0 \L but v / G or v i an iolated vertex in G, then we have at leat ( ( n (t > 2 2 ( n+2(k 1 2 edge meeting L but 15

16 not belonging to F 0, which i a contradiction to (b. Hence, every vertex in V(F 0 \L i contained in ome edge of G. Now we focu on the edge which are dijoint with L, namely, the edge in (F P L = G L and more generally, the edge in H L. Conidering the relationhip between edge in H L, we make the following claim. Claim 4.7 Aume that there exit three edge f,g,h in H L with ditinct color uch that one of the following hold: (i f,g,h form a P 3 ; (ii f,g form a P 2, and h i dijoint with f g; (iii f,g,h are dijoint with each. Then we can find a rainbow P k in H. Proof. Notice that for each e {f,g,h}, there i a unique edge e in G having the ame color with e. So we denote f,g,h to be the edge in G with the ame color with f,g,h, repectively. If the edge e i in G for ome e {f,g,h}, we have e = e. (i Aume that there are three edge f,g,h in H L with ditinct color uch that f,g,h form a P 3. Realize that in G, there exit an ( 1-edge a 0 containing a vertex x in h\g and dijoint with (f g h f g h \{x}. Let W conit of the vertice in f g h f g h a 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1. Then, f g h a 0 ({v i } a i b i {v t 1 } a t 1 i=1 i a rainbow P k in H. (ii Aume that there are three edge f,g,h in H L with ditinct color uch that f,g form a P 2, and h i dijoint with f g. In G, there exit an ( 1-edge a 0 containing a vertex x in g \f and dijoint with (f g h g h f \{x}. And there exit an ( 1-edge b 0 containing a vertex y in h and dijoint with (f g h f g h a 0 \{y}. Let W conit of the vertice in f g h f g h a 0 b 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1. Then, f g a 0 ({v i } a i b i {v t 1 } b 0 h i=1 i a rainbow P k in H. (iii Aume that there are three edge f,g,h in H L with ditinct color uch that they are dijoint with each other. In G, there exit an ( 1-edge a 0 containing a vertex x in f and dijoint with (f g h f g h \ {x}. And we can find ( 1-edge a 0, b 0 in G, uch that the ( 1-edge a 0 contain a vertex y 1 in g and dijoint with 16

17 (f g h f g h a 0 \{y 1 }; and the ( 1-edge b 0 contain a vertex y 2 y 1 in g and dijoint with (f g h f g h a 0 a 0 \{y 2}. Moreover, there exit an ( 1-edge b 0 containing a vertex z in h and dijoint with (f g h f g h a 0 a 0 b 0 \{z}. Let W conit of the vertice in f g h f g h a 0 b 0 a 0 b 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1. Then, f a 0 {v 1 } a 0 g b 0 ({v i } a i 1 b i 1 {v t 1 } b 0 h i a rainbow P k in H. Note that in thi cae, we require that k = 2t+1 7. i=2 A H i a counterexample which contain no rainbow P k, we know that each of the condition (i(ii(iii in Claim 4.7 cannot exit. Hence there are at mot two edge in P L by Claim 4.7. In fact, if there are more than two edge in P L, then one of condition (i, (ii, (iii in Claim 4.7 mut occur. On the other hand, ince L = t 1, there are at mot 2(t 1 = k 3 edge in P containing vertice in L. Therefore, there are exactly two edge in P L, denoted by e i and e j. Since the number of edge meeting L in F i at mot ( n ( n t+1 (k 3, we have F L F [( n ( n t+1 (k 3 ] ( n t 1 = 2 We hall derive the final contradiction depending on F L contain a P 2 or not.. (3 Cae A. F L contain a P 2. We take uch a P 2 in F L and denote it edge by h 1 and h 2 with color γ 1 and γ 2, repectively. Select an edge e inh Luch that e i dijoint with {e i,e j,h 1,h 2 }. If thecolor of e i α i or α j, then h 1,h 2 form a P 2 and e i dijoint with them, which atifie condition (ii of Claim 4.7, and o we can find a rainbow P k in H. Aume intead that the color of e i not in {α i,α j }, then e,e i,e j have ditinct color. Furthermore, either e,e i,e j are dijoint, or e i,e j form a P 2 and e i dijoint with them. Thi atifie one of the condition (ii and (iii of Claim 4.7, which we can find a rainbow P k in H. Cae B. F L doe not contain a P 2. By (3 and Theorem 2.2, F L i the extreme P 2 -free hypergraph on n t+1 vertice. Namely, F L conit of all the ( n t 1 2 edge containing two fixed vertice x and y. Note that {x,y} e i, and {x,y} e j ince e i,e j / F. If e i,e j are not conecutive in P, then we elect an edge h in F L uch that h interect e i e j a mall a poible. Since F L conit of all the ( n t 1 2 edge containing x and y, we have that h interect ei e j in at mot two vertice, namely, ome of x and y. Then e i,e j,h mut atify one of the condition (i, (ii and (iii in Claim 4.7, which we can find a rainbow P k in H. Aume intead that e i,e j are conecutive in P in the following. 17

18 If either x e i \ e j, y e j \ e i or e i e j {x,y}, then we can elect an edge h in F L uch that h ({e i,e j }\{x,y} =. Take an edge e in H uch that e i dijoint with {e i,e j,h} and L. If the color of e i α i or α j, then e j,h form a rainbow P 2 and e i dijoint with them, or e i,h form a rainbow P 2 and e i dijoint with them. Thu e,e j,h or e,e i,h atify condition (ii of Claim 4.7, which we can obtain a rainbow P k in H. If the color of e i neither α i nor α j, then e,e i,e j have ditinct color. Moreover, e i,e j form a P 2 and e i dijoint with them. Thi how e,e i,e j atify condition (ii of Claim 4.7, which we can find a rainbow P k in H. Finally, aume intead that either {x,y} {e i,e j } =, or x e i \ e j, y / e j. Then we elect an edge h in F L uch that h interect e i e j a mall a poible. Thu h interect e i e j in at mot one vertex, namely x, which i a free vertex in e i e j. Thi indicate e i,e j,h atify one of the condition (i and (ii of Claim 4.7, and hence we can find a rainbow P k in H. Therefore, we have etablihed the upper bound. 5 Looe Path Proof of Theorem 1.3. Let H be a complete -uniform hypergraph on n vertice. The lower bound in Theorem 1.3 follow from a imilar contruction in Theorem 1.2 by applying the extreme -graph obtained from Theorem 2.1. For the upper bound, if k = 2t, ince ar(n,,p k ar(n,,p k = ( n ( n t+1 +2, we have done. If k = 2t + 1, we conider, by contradiction, a coloring of H uing ( n ( n t color yielding no rainbow P k. Let G be a panning ubgraph of H with ( ( n n t+1 +3 edge uch that each color appear on exactly one edge of G. By Theorem 2.2, we obtain that there i a looe path P of length k 1 in G. Denote by e 1,e 2,...,e k 1 the edge of P, and α 1,α 2,...,α k 1 the color of e 1,e 2,...,e k 1, repectively. Denote by F the ubgraph obtained by deleting e 1,e 2,...,e k 1 from G. Similar to the proofoftheorem1.2, wehowthat after deletingfewedge fromf, theremainingubgraph contain no P k 1. Actually, we prove omething tronger. Call a looe path P bad, if the number of free(p vertice in the two end edge of P i at leat three. Since 3, it i eay to get that a linear path i alo a bad looe path. Claim 5.1 There are no edge dijoint bad looe path of length k 1 in F. Proof. By contradiction, uppoethat there are two edge-dijoint bad looe path P 1 and P 2 of length k 1 in F. Denote by f 1,f 2,...,f k 1 the edge of P 1 with color β 1,β 2,...,β k 1, 18

19 repectively. And denote by g 1,g 2,...,g k 1 the edge of P 2 with color γ 1,γ 2,...,γ k 1, repectively. Letcdenotethenumberofvertice ofp P 1 P 2. Thenc 3[(k 1 (k 2]. Note that the number of edge which contain at leat two vertice in P P 1 P 2 i at mot ( c n c i=2 i( i. Since F i=2 ( c i ( n c i > ex(n,,p k 3, there exit a linear path P 3 of length k 3, uch that every edge in P 3 ha at mot one vertex of P P 1 P 2. Hence, for the ame reaon a in Obervation 4.1, all the free(p vertice in e 1 e k 1, free(p 1 vertice in f 1 f k 1 and free(p 2 vertice in g 1 g k 1 are not in P 3. Denote by h 1,h 2,...,h k 3 the edge of P 3. Conider the edge e, which conit of a free(p vertex x in e 1, a free(p 3 vertex in h 1 \(P 1 P 2 and 2 vertice dijoint with P P 1 P 2 P 3. Then the color of e mut be from {α 1,α 2,...,α k 1 }. And conider the edge e, which conit of a free(p 1 vertex y x in f 1 f k 1 (we can find uch a vertex y ince P 1 i bad, a free(p 3 vertex in h k 3 \(P 1 P 2 and 2 vertice dijoint with P 1 P 2 P 3 P e, then the color of e i from {β 1,β 2,...,β k 1 }. Moreover, e P 3 e i a rainbow P k 1. Now conider another edge e, which conit of a free(p 2 vertex z x,y in g 1 g k 1, a vertex in e \(P 1 P 3 and 2 vertice dijoint with P 1 P 2 P 3 P e e, then e mut have a color appeared in the rainbow looe path e P 3 e. However, to avoid extending P 2 to a rainbow P k, the color of e hould be one of {γ 1,γ 2,...,γ k 3 }, a contradiction. Therefore, F contain no edge-dijoint bad looe path of length k 1. So if F ha a bad P k 1, denote by F 0 the ubgraph obtained by deleting all the k 1 edge of that P k 1 in F; if F doe not contain a bad P k 1, then we delete any k 1 edge of it and denote the ubgraph remained by F 0. Then in either cae, F 0 contain no bad P k 1. (4 Therefore, F 0 i P k 1 -free and F 0 = ( n ( n t (k 1. Note that F 0 (t 1 ( n 1, by Theorem 2.3, we can find an ( 1-graph G F 0 with G ( n 1 andaet Lof t 1vertice of F0 uch that L V(G = ande {v} F 0 for any ( 1-edge e G and any v L. Moreover, F 0 L = o(n 1. Select a G with the maximum number of ( 1-edge. Let the vertice in L be v 1,v 2,,v t 1. Note that all the v i for i = 1,2,,t 1 are not free(p vertice in e 1 e k 1. Otherwie, let W be the vertex et of P, by Lemma 2.5, we can find an ( 1-edge dijoint with W in G, and then thi together with v i will form an -edge which extend P to a rainbow P k. We divide the edge of F 0 L into two type. Let Q denote the et of free(p vertice in e 1 e k 1. For an edge e F 0 L, we call it of Type I if Q e, and of Type II otherwie. Now we etimate the number of edge of each type. Claim 5.2 There i no P 2 in F 0 L whoe edge are all of Type II. Therefore, the number of edge of Type II i at mot n/. 19

20 Proof. Suppoe that there i a P 2 with two edge of Type II in F 0 L, whoe edge are denoted by h 1 and h 2 with color γ 1 and γ 2, repectively. We can take ( 1-edge a 0, b 0 in G, uch that a 0 and b 0 have exactly one common vertex u and are dijoint from P, h 1 and h 2. Let W be the vertex et of P h 1 h 2 a 0 b 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1, uch that for every i, a i and b i have exactly one common vertex, and for any j i, {a i,b i } and {a j,b j } are vertex dijoint. Then, P = a 0 ({v i } a i b i {v t 1 } a t 1 i=1 i a P 2t 2 = P k 3. Let the edge of P be f 1,f 2,...,f k 3, and the color of edge be β 1,β 2,...,β k 3 repectively. Conider an edge g, which conit of a vertex in h 2 \ h 1, the common vertex u of a 0 and b 0, and 2 vertice dijoint from P, P, h 1, h 2, b 0 and b t 1. So to prevent extending P to a rainbow P k, the color of g i in {γ 1,γ 2,β 1,β 2,...,β k 3 }. If the color of g i γ 1, conider the edge e, which conit of a vertex in Q\h 2, a vertex in a t 1 and 2 vertice dijoint from P, P, h 1, h 2, g, b 0 and b t 1, then the color of e i from {α 1,α 2,...,α k 1 }, and hence h 2 g P e i a rainbow P k. If the color of g i γ 2, we pick a vertex w in h 1, uch that if Q <, let w h 1 \Q, and if Q, let w be an arbitrary vertex in h 1. Conider the edge e coniting of w, the common vertex of a t 1 and b t 1, and 2 vertice dijoint from P, P, h 1, h 2, g, b 0 and b t 1. Then the color of e i from {γ 1,γ 2,β 1,β 2,...,β k 3 }, becaue otherwie, g P e h 1 i a rainbow P k. If the color of e i γ 2, then h 1 e P i a rainbow P k 1. We obtain a rainbow P k by adding an edge e, which conit of a vertex in Q\h 1, a free(p vertex in f 1 \{u} and 2 vertice dijoint from P, P, h 1, h 2, g, e, b 0 and b t 1. If the color of e i γ 1, conider the edge e coniting of a vertex in Q\(g e, a vertex in g\(h 2 {u} and 2 vertice dijoint from P, P, h 1, h 2, g, e, b 0 and b t 1. Then the color of e i from {α 1,α 2,...,α k 1 }, and hence e g P e i a rainbow P k. If the color of e i β j for ome j. Let W be the vertex et of h 1 h 2 e a 0 b 0 a t 1 b t 1 g, by Lemma 2.5, we can find ( 1-edge {a i,b i } in G, which are dijoint from W for i = 1,...,t 1, and i a rainbow P k. g b 0 ({v i } a i b i {v t 1 } b t 1 e h 1 i=1 So aume intead the color of g i one of {β 1,β 2,...,β k 3 }. Let W be the vertex et of h 1 h 2 b 0 b t 1 g. By Lemma 2.5, we can find ( 1-edge {a W for i = 1,...,t 1, and h 1 h 2 g b 0 ({v i } a i b i {v t 1 } b t 1 i=1 i,b i } dijoint from 20

21 i a rainbow P k. Hence, there i no P 2 with two edge of Type II, and we have proved Claim 5.2. Now, we move to Type I edge. Recall that Q denote the et of free(p vertice in e 1 e k 1. Soif Q 2( 1, thenumberof TypeIedge iat mot 1; if2 Q 1, then a rough counting how the number of Type I edge i at mot ( n (t 1 Q ( Q n t 1 2. We further prove that there i no iolated vertex in F 0. Indeed, if F 0 ha an iolated vertex, then combining with Claim 5.2, ( ( ( n 1 n 1 (t 1 n t 1 n F 0 + +, 2 which i le than ( n ( n t (k 1, a contradiction. For the edge of Type I, we have the following claim. Claim 5.3 The number of edge of Type I i at mot 1. Proof. If Q 2( 1, then Claim 5.3 follow, and o we may aume 2 Q 1. Suppoe to the contrary there are at leat two edge of Type I. Then we can find a P 2 with two edge of Type I, denoted by h 1 and h 2. Pick vertice x h 2 \h 1, and y h 1 \h 2. The number of edge, which containing exactly one of {x,y}, one vertex in L, and dijoint with (h 1 h 2 \{x,y}, i at leat ( ( n (t 1 2 n (t 1 Q 2(t 1 > + n +2(k 1 3, 2 2 which i at leat ( n (t 1 Q Q + n +2(k 1 3, and o ome of them mut belong to F 0. Suppoe e F 0 i uch an edge and v j e L. Let W be the vertex et of h 1 h 2 e. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1, and j 1 h 1 h 2 e {a 1,b 1 } ({v i } a i+1 b i+1 i=1 i a bad P k 1 in F 0, a contradiction to (4. i=j+1 ({v i } a i b i {v t 1 } a t 1 By Claim 5.2 and 5.3, we get that, in F 0, there are at mot n/ +1 edge dijoint with L. So there are at leat F 0 ( n/ +1 = ( n ( n t (k 1 n/ 1 = ( n ( n t+1 2(k 1 n/ + 2 edge in F0 containing vertice in L. Since there are ( n ( n t+1 edge containing vertice of L in H, we have that there are at mot n/ +2(k 1 2 edge meeting L but not in F 0. If there exit a vertex v V(F 0 \L but v i an iolated vertex in G, then we have at leat ( n (t > n/ +2(k 1 2 edge meeting L but not belonging to F 0, which i a contradiction. Hence, every vertex in V(F 0 \L i contained in ome edge of G. In fact, to find a rainbow P k in H, we can make ue of the uitable edge in F 0 L and P L to extend a P k 3. We hall prove the following claim, which i analogou to Claim

22 Claim 5.4 (i For k 7, if there are three edge f,g,h in H L with ditinct color uch that f,g,h form a P 3, or f,g form a P 2 and h i dijoint with f g, or f,g,h are dijoint with each other, then we can find a rainbow P k in H. (ii For k = 5, if there exit either a rainbow P 3 or a P 2 plu a dijoint edge with all three edge having ditinct color in H L, then we can find a rainbow P k in H. Proof. Similar to the proof of Claim 4.7, we denote f,g,h to be the edge in G with the ame color of f,g,h, repectively. If the edge e i in G for ome e {f,g,h}, we have e = e. (i Let k 7. Suppoe that there are three edge f,g,h in H L with ditinct color uch that f,g,h form a P 3. In G, there exit an ( 1-edge a 0 containing a vertex x in h\g and dijoint with (f g h f g h \{x}. Let W conit of the vertice in f g h f g h a 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1. Then, i a rainbow P k in H. f g h a 0 ({v i } a i b i {v t 1 } a t 1 i=1 If f,g form a P 2, h i dijoint with f g. In G, there exit an ( 1-edge a 0 containing a vertex x in g \f and dijoint with (f g h g h f \{x}. And there exit an ( 1-edge b 0 containing a vertex y in h and dijoint with (f g h f g h a 0 \{y}. Let W conit of the vertice in f g h f g h a 0 b 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1. Then, i a rainbow P k in H. f g a 0 ({v i } a i b i {v t 1 } b 0 h i=1 Aume that the three edge f,g,h are dijoint with each other. In G, there exit an ( 1-edge a 0 containing a vertex x in f and dijoint with (f g h f g h\{x}. And we can find ( 1-edge a 0, b 0 in G, uch that a 0 contain a vertex y 1 in g and dijoint with (f g h f g h a 0 \ {y 1 }, b 0 contain a vertex y 2 y 1 in g and dijoint with (f g h f g h a 0 a 0 \{y 2}. Moreover, there exit an ( 1-edge b 0 containing a vertex z in h and dijoint with (f g h f g h a 0 a 0 b 0 \{z}. Let W conit of the vertice in f g h f g h a 0 b 0 a 0 b 0. By Lemma 2.5, we can find ( 1-edge {a i,b i } dijoint from W for i = 1,...,t 1. Then, f a 0 {v 1 } a 0 g b 0 ({v i } a i 1 b i 1 {v t 1 } b 0 h i=2 i a rainbow P k in H. (ii For k = 5, the proof i identical to (i, and thu omitted. 22

23 Actually, in P, there are at mot 2(t 1 edge containing vertice of L, o we can find at leat 2 edge in P L. However, there are not three edge of P atifying the condition decribed in Claim 5.4, and o we derive that there are exactly two edge in P L. Cae A. k 7. If F 0 L > 0, then the two edge in P L mut be conecutive by Claim 5.4. Let e i and e i+1 be uch two edge. We take an edge h F 0 L, then elect an edge g H L, uch that g i dijoint with P and h. If the color of g i α j for ome j, then either the color of g i different with e i or different with e i+1. Suppoe the color of g and e i are different, then we have three edge e i,g,h atifying the condition of Claim 5.4, and o we can find a rainbow P k in H. If the color of g i different with both e i and e i+1, then the three edge e i, e i+1 and g atify condition of Claim 5.4, which we can find a rainbow P k in H imilarly. Aume intead that F 0 L = 0. Then all the ( n ( n t (k 1 edge in F 0 contain vertice in L, and P ha k 3 edge containing vertice in L. Since the number of edge containing vertice of L i at mot ( n ( n t+1, in F \F0 there are at mot k 2 edge containing vertice in L. Since F\F 0 = k 1, there i an edge f in F\F 0 uch that f L =. Furthermore, the color of f i different with any other edge in F. Applying the ame proof to the cae that F 0 L > 0, by replacing the edge h F 0 L with f, we can find a rainbow P k in H a well. Cae B. k = 5. A noticed above, there are exactly two edge, ay e i and e j, in P L. If F 0 L = 0, then all the ( ( n n t (k 1 edge in F0 contain vertice in L. Alo P ha k 3 edge containing vertice in L. Since the number of edge containing vertice of L i at mot ( ( n n t+1, in F \F0 there are at mot k 2 edge containing vertice in L. Since F\F 0 = k 1, there i an edge h in F\F 0 uch that h L =. Then the color of h i different with any other edge in F, and different with the color appeared in P. If F 0 L > 0, then there exit an edge f 1 F 0 L. We et f to be an edge uch that f = h if F 0 L = 0 and f = f 1 F 0 L if F 0 L > 0. Then by Claim 5.4, f atifie that either f e i =, f e j = or f e i, f e j. (5 For the former cae of (5, pick an edge g H L, uch that g e i, g f and g i dijoint with e j. Conider the color of g. If the color of g i α i, then the three edge e j, g, f are applied for Claim 5.4; if the color of g i α j, then the three edge e i, g, f are applied for Claim 5.4; if the color of g i different with both α i and α j, then the three edge e i, e j, g are applied for Claim 5.4. Therefore, we can alway find a rainbow P k in thi cae. For the latter cae of (5 that f e i and f e j, we mut have e i and e j are conecutive in P by Claim 5.4. Let g be an edge in H L uch that g i dijoint with e i, e j and f. If the color of g i α i or α j, then the three edge f, e j, g, or the three edge f, e i, 23