arxiv: v1 [math.co] 15 Nov 2018

Transcription

1 arxiv: v1 [ath.co] 15 Nov 018 Forbidden rainbow subgraphs that force large onochroatic or ulticolored connected subgraphs Xihe Li a,b and Ligong Wang a,b, a Departent of Applied Matheatics, School of Science, Northwestern Polytechnical University, Xi an, Shaanxi 71007, P. R. China. b Xi an-budapest Joint Research Center for Cobinatorics, Northwestern Polytechnical University, Xi an, Shaanxi 71019, P. R. China. E-ail: lxhdhr@16.co; lgwangath@16.co Abstract We consider a forbidden structure condition that iplies the existence of a large highly connected onochroatic subgraph. In a paper Fujita and Magnant (SIAM J. Discrete Math. 7 (01), ) proposed the following question: Letn,k,bepositiveintegerswithn k, andforwhatgraphs G of order at least such that there is a k-connected onochroatic subgraph of order at least n f(g,k,) in any rainbow G-free coloring of K n using colors? Fujita and Magnant settled the above question when the rainbow subgraph G is connected. In this paper, we classify the disconnected graphs that satisfy this question. Naely, we prove that the set of such disconnected graphs is {(i )K G G H (), i =,,...}, where the set H () consists of precisely P P 4, K P 6, K K, K P 4 + and their subgraphs of order at least with coponent nuber. Our result along with Fujita and Magnant s result copletes the solution to the above Question. Furtherore, we show that for sufficiently large n, any rainbow G-free coloring of K n using colors contains a k-connected onochroatic subgraph of order at least cn, where 0 < c < 1 and G {P K 1,,P K,P P 5 }. Finally, we show that every Gallai--coloring of K n contains a k-connected subgraph of order n k 1 using at ost two colors for all integers n 7 and 1 k. Key Words: Rainbow subgraph, onochroatic coponent, Gallai-coloring. AMS Subject Classification (010): 05C15, 05C40 1 Introduction In this paper, we only consider edge-colorings of siple graphs. For an integer k 1, let c : E(G) [k] be a k-edge-coloring (or siply, a k-coloring) of a graph G, where [k] := {1,,...,k}. Note that c is not necessarily a proper edge-coloring. A coloring of Supported by the National Natural Science Foundation of China (No ) and the Natural Science Basic Research Plan in Shaanxi Province of China (Progra No. 018JM10). Corresponding author. 1

2 a graph is called rainbow if no two edges have the sae color. A coloring of a graph is called onochroatic if all the edges have the sae color. For convenient, we also use naes of colors like red, blue or green. It is easy to check that any -coloring of K n contains a 1-connected onochroatic subgraph, a spanning tree. In general, however, it is not possible to find a spanning onochroatic subgraph with higher connectivity for any -colored K n. For instance, consider a -coloring of K n using red and blue. If the onochroatic subgraph induced by red edges is a spanning star, only 1-connected, then the onochroatic subgraph induced by blue edges is a clique of order n 1 which is not a spanning subgraph. Thus if we would like to find a onochroatic subgraph with higher connectivity, then we ust be consider the subgraph with saller order than K n. In 008, Bollobás and Gyárfás [1] posed the following conjecture, in which they considered the onochroatic subgraph of order at least n (k 1). Conjecture 1.1. ([1]) If n > 4(k 1), then every -coloring of K n contains a onochroatic k-connected subgraph of order at least n (k 1). In [4], Fujita and Magnant proved that Conjecture 1.1 holds for n > 6.5(k 1). Theore 1.. ([4]) If n > 6.5(k 1), then every -coloring of K n contains a onochroatic k-connected subgraph of order at least n (k 1). Theore 1. is the best until now result on Conjecture 1.1. Recently, Luczak [1] provided a proof of Conjecture 1.1, but Magnant [15] pointed out that there is a gap in the proof has been found and not yet fixed. Moreover, for ore colors, we consider the alost spanning k-connected onochroatic subgraph defined as follows. Definition 1.. ([5]) Given positive integers k and, for sufficiently large n copared with k and, an alost spanning k-connected onochroatic subgraph, denoted by ASM S(k), is a k-connected onochroatic subgraph of order at least n f(k,) in a colored K n using colors, where f(k,) is not depending n. Furtherore, when we consider a coloring of K n using colors, Liu, Morris and Prince [1] showed that the best result one could hope for would be a onochroatic k-connected n subgraph of order 1. Thus, to find an ASMS(k), we ust be consider ore additional restrictions on the coloring of K n, such as forbidden proper subgraphs [10] and forbidden rainbow subgraphs[5]. In [5], Fujita and Magnant proposed the following question concerning a forbidden rainbow subgraph condition. Question 1.4. ([5]) Let n,k, be positive integers with n k. For what graphs G of order at least does the following stateent hold? In any rainbow G-free coloring of K n using colors, there is an ASMS(k). Let G be the set of connected graphs G such that G satisfies Question 1.4. Let H be the set of disconnected graphs H such that H satisfies Question 1.4. Fujita and Magnant proved that the set G consists of precisely K, P 6, P 4 + and their subgraphs of order at least, where P 4 + is the tree with degree sequence 1, 1, 1,,. More precisely, they showed the following results. In the following stateent, a Gallai--coloring eans a rainbow triangle-free coloring using colors in honor of Gallai s work in [6]. Theore 1.5. ([5]) Suppose and k. If n (+11)(k 1)+7klnk, then every Gallai--coloring of K n contains a k-connected onochroatic subgraph of order at least n (k 1).

3 Theore 1.6. ([5]) Suppose k 1 and ax{ k + 8,15}. If n ( + 11)(k 1) + 7klnk + +, then every rainbow P 6 -free coloring of K n using colors contains a k- connected onochroatic subgraph of order at least n 7k +. Theore 1.7. ([5]) For G {K 1,,P 4 + }, if 4, k 1 and n 7.5(k 1), then every rainbow G-free coloring of K n using colors contains a k-connected onochroatic subgraph of order at least n k +. Theore 1.8. ([16]) Suppose k 1 and 4. If n k 1, then every rainbow P 5 -free coloring of K n using colors contains a k-connected onochroatic subgraph of order at least n k +1. In this paper, our ain purpose is to describe the set H. For a graph G, the coponent nuber c 0 (G) is the nuber of coponents of G. For integers i, let H (i) denote the set of disconnected graphs H with c 0 (H) = i such that H satisfies Question 1.4. Clearly, H = i H(i). Note that since we only consider edge-colorings, we will not consider the graphs with isolated vertices. In the following stateent, for two graphs G and H, let G H denote the union of G and H, and ng denote the union of n disjoint copies of G. We have the following ain result, which together with Fujita and Magnant s result about G copletes the solution to Question 1.4. Theore 1.9. H = {(i )K G G H (), i =,,...}, where the set H () consists of precisely P P 4, K P 6, K K, K P + 4 and their subgraphs of order at least with coponent nuber. For other rainbow subgraph G / G H, such as K 1,4, P K 1,, P K or P P 5, the largest onochroatic k-connected (or connected) subgraph will not be alost spanning, but how large should it be? We prove the following results. Proposition For 4, any rainbow K 1,4 -free coloring of K n using colors contains a connected onochroatic subgraph of order at least n 7. Moreover, the bound is sharp when = 7. Theore For n sufficiently larger than and k, if G {P K 1,,P K,P P 5 }, then any rainbow G-free coloring of K n using colors contains a k-connected onochroatic subgraph of order at least cn, where 0 < c < 1. Moreover, instead of looking for onochroatic subgraphs, we try to find large -colored subgraphs in Gallai--colorings of coplete graphs. In [], Fox, Grinshpun and Pach considered the Erdős-Hajnal conjecture for rainbow triangles and they proved that every Gallai-- coloring of K n contains a coplete graph of order Ω(n 1/ log n) that uses at ost two colors. In [17], Wagner proved that every Gallai--coloring of K n contains a -colored subgraph that has chroatic nuber at least n /. In this paper, we consider the large k-connected subgraphs using at ost two colors in Gallai--colorings and we prove the following theore for 1 k. Theore 1.1. For n 7 and 1 k, every Gallai--coloring of K n contains a k- connected subgraph of order n k 1 using at ost two colors.

4 Finally, we define soe notation and terinology. For U V(G), let G[U] denote the subgraph of G induced by U, and let G U denote the graph obtained fro G by deleting all the vertices of U along with the edges incident to soe vertex in U. For two graphs G and H, let G H denote that G is a subgraph of H, and G H denote the join of G and H. For an edge uv, let c(uv) denote the color used on the edge uv. For U,V V(G), let C(U,V) (resp., C(U)) be the set of colors used on the edges between U and V (resp., within U). The reainder of this paper is organized as follows. In Section, we give the coplete characterisation of H. In Section, we give the proofs of Proposition 1.10 and Theore In Section 4, we shall prove the Theore 1.1. In Section 5, we conclude this paper by introducing the hypergraph version of Question 1.4 and presenting soe related future works. A classification of the set H In this section, we first describe the set H () (Subsection.1). Then we give the coplete characterisation of H (Subsection.)..1 The set H () First, if G 1 is a subgraph of G, then any rainbow G 1 -free coloring of K n certainly contains no rainbow G. Thus we have the following siple results. Proposition.1. If G H and G 1 G with V(G 1 ), then G 1 G H. Proposition.. If G 1 / G H with V(G 1 ) and G 1 G, then G / H. Since G = {K,P,P 4,P 5,P 6,K 1,,P 4 + } and by Propositions.1 and., the set H is a subset of the set of unions of disjoint graphs in {K,K,P,P 4,P 5,P 6,K 1,,P 4 + }. Proposition.. The set H () is a subset of P P 4, K P 6, K K, K P 4 + subgraphs of order at least with coponent nuber. and their Proof. For the proof, we shall consider two colorings of K n shown in Fig..1, which contains no alost spanning k-connected onochroatic subgraph. Thus, every graph in H () should be a rainbow subgraph of both R 1 and R. The graph R 1 is a -coloring of K n with V(R 1 ) = V 1 V V, such that each of V 1, V and V contains about n/ vertices. We color the edges of R 1 such that C(V 1,V ) = {1}, C(V ) = C(V,V ) = {}, C(V ) = C(V,V 1 ) = {}, and all the edges within V 1 are colored with color 1 except for a rainbow atching using all the reaining colors. The graph R is a -coloring of K n with V(R 1 ) = B ( 1 i=1 A i), such that B contains about n/ vertices and A 1, A,..., A 1 is approxiately equal sizes. We color the edges of R such that C(A i,b) = {i} for all 1 i 1 and all the reaining edges are colored with color. Note that the largest onochroatic k-connected subgraph of R 1 and R has order about n/ and n + n ( 1), respectively. Let S = {K,K,P,P 4,P 5,P 6,K 1,,P 4 + }. In the rest of the proof, we consider eight different types of graphs that are possible in H (). Type 1. G, where G S; Type. K G, where G S \{K }; Type. P 6 G, where G S \{K,P 6 }; 4

5 V V1 45 V R1 R A 1 A Fig..1: The colorings R 1 and R. A 1 B A 1 Type 4. P 5 G, where G S \{K,P 6,P 5 }; Type 5. P 4 G, where G S \{K,P 6,P 5,P 4 }; Type 6. P G, where G S \{K,P 6,P 5,P 4,P }; Type 7. K G, where G {K 1,,P 4 + }; Type 8. K 1, G, where G {P 4 + }. For Type 1, since every rainbow triangle is using colors 1, and in R 1, thus K / H (). Since every rainbow K 1, contains an edge with color 1 in R 1, thus K 1, / H (), and so P 4 + / H () by Proposition.. Since every rainbow P 4 contains an edge with color in R, thus P 4 / H (), and so P 5,P 6 / H () by Proposition.. Hence only P and K of Type 1 are possible in H (). For Type, it is easy to find the rainbow K K, K P 6 and K P 4 + in both R 1 and R. Thus K K, K P 6, K P 4 + along with their subgraphs of order at least and coponent nuber are possible in H (). For Types, 4, 5 and 6, we first consider P K and P K 1,. Since every rainbow triangle is colored by colors 1, and and the edges with colors in {4,5,...,} for a atching in R 1, we have P K / H (), and thus P 4 K,P 5 K,P 6 K / H () by Proposition.. Since every rainbow K 1, contains colors 1 and and every rainbow P contains contains an edge with color 1 or color in R 1, we have P K 1, / H (), and thus P 4 K 1,,P 5 K 1,,P 6 K 1,,P P 4 +,P 4 P 4 +,P 5 P 4 +,P 6 P 4 + / H () by Proposition.. Second, we consider P P 5. For the sae reason with P K 1,, we have P P 5 / H () and so P P 6,P 4 P 5,P 4 P 6,P 5 P 6 / H (). Thus only P P 4 is possible in H (). For Types 7 and 8, since P K 1, / H (), we have K K 1,,K P 4 +,K 1, P 4 + / H () by Proposition.. Lea.4. Suppose 4 and k. If n ( + 11)(k 1) + 7klnk + 4, then every rainbow K K -free coloring of K n using colors contains a k-connected onochroatic subgraph of order at least n (k 1) (i.e., K K H () ). Proof. Let G be a coloring of K n using colors without rainbow K K, and suppose that there exist no k-connected onochroatic subgraph of order at least n (k 1). By Theore 1.5, there is a rainbow K in G, say v 1 v v v 1 with c(v 1 v ) = 1, c(v v ) = and c(v v 1 ) =. Then there are at ost three colors (colors 1, and ) can be used in G[V(G)\{v 1,v,v }] to avoid a rainbow K K. Since V(G)\{v 1,v,v } (+11)(k 1)+7klnk+1, there is also a rainbow K in G[V(G)\{v 1,v,v }], say v 4 v 5 v 6 v 4 for avoiding 5

6 a required onochroatic subgraph. Since there are 4 colors are used in G and to avoid a rainbow K K, we ay assue that c(v 1 v 4 ) = 4 without loss of generality. Then there exists no rainbow K in G[V(G)\{v 1,v,v,v 4 }] for avoiding a rainbow K K. But then there is a k-connected onochroatic subgraph of order at least n (k 1) > n (k 1) by Theore 1.5, a contradiction. By a siilar arguent as above, we can deduce that {K P 6,K K 1,,K P 4 +,K P 5 } H () by Theores 1.6, 1.7 and 1.8. And by Proposition.1, all the subgraphs of K P 6, K K and K P 4 + of order at least and coponent nuber are contained in H (). In the following, we shall consider P P 4. Lea.5. Suppose k 1 and ax{ k +8,15}. If n (+11)(k 1)+7klnk++10, then every coloring of K n using colors without rainbow P P 4 contains a k-connected onochroatic subgraph of order at least n 7k + (i.e., P P 4 H () ). Proof. Let G be a rainbow P P 4 -free coloring of K n using colors, and suppose that the order of a k-connected onochroatic subgraph is at ost n 7k+1. Then G contains a rainbow K P 6 by a siilar arguent to Lea.4 using Theore 1.6. Without loss of generality, let H be a rainbow copy of K P 6 with V(H) = {v 1,v,...,v 8 }, such that c(v i v i+1 ) = i for 1 i 5 and c(v 7 v 8 ) = 6. Firstly, we consider the colors on edges between {v 7,v 8 } and {v,v 5 }. If c(v v 7 ) / {,,4,5}, then v v 7 v 8 (or v 1 v v 7 ) and v v 4 v 5 v 6 for a rainbow P P 4, a contradiction. If c(v v 7 ) = 5 (resp., c(v v 7 ) {,}), then v v 4 v 5 and v 1 v v 7 v 8 (resp., v 4 v 5 v 6 and v 1 v v 7 v 8 ) for a rainbow P P 4, a contradiction. Thus c(v v 7 ) = 4, and by syetry c(v v 8 ) = 4, c(v 5 v 7 ) = c(v 5 v 8 ) =. Secondly, consider c(v 7 v) for any v V(G H). If c(v 7 v) / {,6}, then it is easy to find a rainbow P P 4. If c(v 7 v) {,6}, then v 1 v v 7 v and v 8 v 5 v 6 for a rainbow P P 4, a contradiction. Fro the above discussion, we can deduce the following result concerning H (). Theore.6. The set H () consists of precisely P P 4, K P 6, K K, K P + 4 and their subgraphs of order at least with coponent nuber.. The set H Firstly, we have the following result generalizing Lea.4. Lea.7. If H G, then αk H H for any positive integer α. Proof. We only prove that αk K H, and the proof of other cases are siilarly. In fact, we shall prove that for α+ and k, if n (+11)(k 1)+7klnk+α +α then every rainbow αk K -free coloring of K n using colors contains a k-connected onochroatic subgraph of order at least n (k 1). We proceed by induction on α. For the case α = 1, the assertion holds by Lea.4. Assue that the result is true for all α α 1 and we consider αk K in the following. For a contradiction, suppose that G is a rainbow αk K -free coloring of K n using colors in which every k-connected onochroatic subgraph contains at ost n (k 1) 1 vertices. Then G contains a rainbow (α 1)K K, say using vertices v 1, v,..., v α+1 and colors 1,,..., α +. In order to avoid a rainbow αk K, we have C(V(G) \ {v 1,v,...,v α+1 }) {1,,...,α+}. Since V(G {v 1,v,...,v α+1 }) (+11)(k 1)+ 6

7 7klnk +α +α (α +1) = (+11)(k 1)+7klnk +(α 1) +(α 1)+1, there is a rainbow (α 1)K K in G {v 1,v,...,v α+1 }, say using vertices u 1, u,..., u α+1. Since there are α + colors in total and to avoid a rainbow αk K, colors α +, α +4,..., can only be used on the edges between {v 1,v,...,v α+1 } and {u 1,u,...,u α+1 }, say c(u 1 v 1 ) = α +. Then G {v 1,v,...,v α+1,u 1 } contains no rainbow (α 1)K K, which iplies that there is a required k-connected onochroatic subgraph by induction hypothesis. By a siilar arguent as above, we can derive the following result. Proposition.8. If G H (i), then K G H (i+1). Theore.9. The set H () consists of precisely K P P 4, K P 6, K K, K P + 4 and their subgraphs of order at least with coponent nuber. Proof. Let G 1 = K, G = K, G = P, G 4 = P 4, G 5 = P 5, G 6 = P 6, G 7 = K 1, and G 8 = P 4 +. We ay consider eight different types of graphs: Type 1: K G, where G H () ; Type i: G i G, where G H () and G i G is not contained in Types 1,,..., i 1, ( i 8). Firstly, by Theore.6 and Proposition., we have the following siple fact. Fact.10. Let S = {P K,P K 1,,P P 5 }and T = {G c 0 (G) =,G H for soe H S}. Then H () T =. For Type1, by Proposition.8, we have that {K G G H () } H (). By Propositions.,.8 and Fact.10, there is no graph in Type and only P, P P 4 is possible in Type. Since every rainbow P contains an edge with color 1 or color in R 1 shown in Fig..1, there is no rainbow P, and thus P, P P 4 / H (). For Types 4, 5, 6, 7 and 8, cobining with the graphs in Types 1, and, there is no graph in Types 4, 5, 6, 7 and 8 by Fact.10 and Proposition.. The result follows. Fro theabovediscussion, wecandeducethat H () H () consistsof preciselyk P P 4, K P 6, K K, K P 4 + and their subgraphs of order at least with coponent nuber or. In general, we can derive that H (i) = {(i )K G G H () } for all integers i. Moreover, since H = i H(i), we have the following result. Theore.11. H = {(i )K G G H (), i =,,...}, where the set H () consists of precisely P P 4, K P 6, K K, K P 4 + and their subgraphs of order at least with coponent nuber. Proofs of Proposition 1.10 and Theore 1.11 We first state soe known results which will be used in the proofs of our ain results. Lea.1. ([7]) Every -coloring of K n has a onochroatic connected subgraph with at least n 1 vertices. Lea.. ([1]) The order of the largest onochroatic coponent of an -coloring of K s,t is at least s+t. 7

8 Lea.. ([1]) Let n,,k be positive integers and ǫ > 0 satisfy and n 11(+ǫ) ǫ k. Then in any -coloring of K n, there is a k-connected onochroatic subgraph n of order at least 1 (1+ 1 ( ) +ǫ)k. Lea.4. ([14]) Let α be a real nuber, and let G be a graph with average degree α. Then G has an (α/4)-connected subgraph. A local -coloring is an edge-coloring in which for every vertex the edges incident to it have at ost distinct colors. In [8], Gyárfás and Sárközy proved the following result. Lea.5. ([8]) The order of the largest onochroatic connected subgraph for every local n -coloring of K n is at least, and the bound is sharp if a finite projective plane of +1 order 1 exists and +1 divides n. Now Proposition 1.10 follows fro Lea.5 iediately. For the sharpness when = 7, consider the following rainbow K 1,4 -free coloring of K n with seven colors. Let G be a 7-coloring of K n with V(G) = V 1 V V 7, such that each of V 1, V,..., V 7 contains about n/7 vertices. Firstly, we consider a Fano plane F with seven points {a 1,a,...,a 7 } and seven lines {e 1,e,...,e 7 } such that e 1 = {a 1,a,a }, e = {a,a 4,a 5 }, e = {a 1,a 6,a 5 }, e 4 = {a,a 7,a 5 }, e 5 = {a,a 7,a 6 }, e 6 = {a 1,a 7,a 4 } and e 7 = {a,a 4,a 6 }. Then for any 1 i < j 7, we color the edges between V i and V j using color t iff both a i and a j are contained in the line e t in F. Finally, let c(v 1 ) = 1, c(v ) = 4, c(v ) = 5, c(v 4 ) =, c(v 5 ) =, c(v 6 ) = 7 and c(v 7 ) = 6. It is easy to check that G is rainbow K 1,4 -free and the largest connected onochroatic subgraph has order n 7. In thefollowing, wewill useproposition 1.10 to prove a resultabout rainbow P K 1, -free coloring of K n. Notice that in the reainder of this section, since we only consider rainbow G-free coloring of K n for soe G and a ( E(G) 1)-coloring certainly contains no rainbow G which is trivial, we shall assue that the nuber of colors should be greater than or equal to E(G). Theore.6. For n 4 and 5, any rainbow P K 1, -free coloring of K n using colors contains a connected onochroatic subgraph of order at least n 7. Proof. For a contradiction, let G be a rainbow P K 1, -free coloring of K n using colors, and suppose that the largest connected onochroatic subgraph has order at ost n 7 1. If there is a rainbow K 1,5, denoted by H, in G, then there is only a single color can be used on the edges of G[V(G)\V(H)] for avoiding a rainbow P K 1,. Then G[V(G)\V(H)] is a onochroatic coplete graph of order n 6, a contradiction. Thus, there is no rainbow K 1,5 in G, which iplies for every vertex the edges incident to it have at ost four distinct colors in G. Clai.7. G is a rainbow K 1,4 -free coloring of K n. Proof. For a contradiction, suppose that there is a rainbow K 1,4 in G with vertex set U = {a,b 1,b,b,b 4 } and c(ab i ) = i for 1 i 4. If there is an edge of G U using color t for soe t {5,6,...,}, then G U is a onochroatic K n 5 using color t in order to avoid a rainbow P K 1,, a contradiction. Thus C(G U) {1,,,4}. We divide the rest of the proof into two cases based on the edges with colors in {5,6,...,}. 8

9 Case 1. C({b 1,b,b,b 4 },V(G)\U) {5,6,...,}. Without lose of generality, let c(b 1 c) = 5 for soe vertex c V(G) \ U. In this case, there is no edge using color 1 between c and V(G)\{a,b 1,b,b,b 4,c} for avoiding a rainbow P K 1,, i.e., C(c,V(G) \ {a,b 1,b,b,b 4,c}) {,,4}. Moreover, we have C(c,V(G) \ {a,b 1,b,b,b 4,c}) = {,,4}. Otherwise if C(c,V(G) \{a,b 1,b,b,b 4,c}), then there is a onochroatic star centered at c of order at least n 6 +1 n 7, a contradiction. Thus we ay assue that G \ {a,b 1,b,b,b 4,c} = V 1 V V such that C(c,V i ) = {i + 1} for 1 i. In order to avoid a connected onochroatic subgraph of order at least n 7, we have V i n 7 for 1 i, and thus V i n 6 ( n 7 ) 4. If there exists an edge using color 1 between the parts V 1, V and V, say c(u 1 u ) = 1 with u 1 V 1 and u V, then for any v V \{u } we have c(u 1 v) = 1 to avoid a rainbow P K 1,. Thus C(u 1,V ) = {1}, and siilarly C(u,V 1 ) = {1}. Then there is a onochroatic double star of order at least n 6 ( n 7 ) n 7, a contradiction. Therefore, there is no edge with color 1 between the three parts V 1, V and V. If C(V(G) \ {a,b 1,b,b,b 4,c}) = {,,4}, then there is a onochroatic connected subgraph of order at least n 6 n 7 by Lea.1, a contradiction. Thus we ay further assue that c(xy) = 1, where x,y V 1. But then for any vertex v V, we have c(xv) / {1,,...,}, a contradiction. Case. C({b 1,b,b,b 4 }) {5,6,...,}. Without lose of generality, let c(b 1 b ) = 5. In this case, there are at least three distinct colors between b 1 and G \ U, since otherwise there is a onochroatic star centered at b 1 of order at least n 5 +1 n 7, a contradiction. Since G is rainbow k 1,5-free and by Case 1, we have 1 C(b 1,G \ U) {1,,,4}. If C(b 1,G \ U) = {1,,4}, then there is a rainbow K 1,4 with vertices b 1, b and three distinct vertices in G\U using colors 5, 1,, and 4. Since c(b a) =, we can derive a contradiction by a siilar arguent to Case 1 (replacing color and color 5). Thus, C(b 1,G \ U) = {1,,} or {1,,4}, say {1,,}. Let c(b 1 v 1 ) = 1, c(b 1 v ) =, and c(b 1 v ) =, where v 1,v,v G \ U. Then {b 1,v 1,v,b } and {b,a,b 4 } for a rainbow P K 1,, a contradiction. By Clai.7 and Proposition 1.10, there is a onochroatic connected subgraph of order at least n 7 in G. The result follows. Theore.8. For 5, any rainbow P K -free coloring of K n using colors contains a connected onochroatic subgraph of order at least n. Proof. Let G be a rainbow P K -free coloring of K n using colors, and suppose that G contains no connected onochroatic subgraph of order at least n. Since K K H, there is a rainbow K K in G, say using vertices a 1,a,a,b 1,b, c(a 1 a ) = 1, c(a a ) =, c(a a 1 ) = andc(b 1 b ) = 4. IfC(G {a 1,a,a }) {1,,,4}, then there is a connected onochroatic subgraph of order at least n by Lea.1, a contradiction. Thusweay assuethat C(G {a 1,a,a }) {5,6,...,}. SinceGcontains no rainbow P K, we have that for any two edges e 1, e E(G {a 1,a,a }) with 4 c(e 1 ) < c(e ),e 1 ande arenon-adjacent. LetU = {v V(G {a 1,a,a }) v is incident to an edge using color 4} andv = V(G {a 1,a,a })\U. ThenC(U,V) {1,,}, andthereisaconnected onochroatic subgraph of order at least U + V = n by Lea., a contradiction. Theore.9. For 6, any rainbow P P 5 -free coloring of K n using colors contains a connected onochroatic subgraph of order at least n 6. 9

10 Proof. For a contradiction, supposeg is a rainbow P P 5 -free coloring of K n using colors and there exists no connected onochroatic subgraph of order n 6. Since K P 6 H, there is a rainbow K P 6 in G, say using vertices v 1, v,..., v 8 such that c(v i v i+1 ) = i for 1 i 5 and c(v 7 v 8 ) = 6. If C(G {v 1,v,...,v 6 }) {,,4,6}, thenthereisaconnected onochroatic subgraphof orderat least n 6 by Lea.1, a contradiction. Thus we ay assue that C(G {v 1,v,...,v 6 }) ({1,,...,} \ {,,4,6}). For any two edges e 1, e E(G {v 1,v,...,v 6 }) with c(e 1 ) = 6 and c(e ) {1,,...,} \ {,,4,6}, e 1 and e are non-adjacent in order to avoid a rainbow P P 5. Let U = {v V(G {v 1,v,...,v 6 }) v is incident to an edge using color 6} and V = V(G {v 1,v,...,v 6 })\U. ThenC(U,V) {,,4}, andthereis a connected onochroatic subgraph of order at least U + V = n 6 by Lea., a contradiction. If we consider k, then for n sufficiently large and G {P K,P K 1,,P P 5 }, we can prove that there is a k-connected onochroatic subgraph of order O(n) in every rainbow G-free coloring of K n. Since the proofs of P K, P K 1, and P P 5 are siilarly, we only give the proof of P K and oit the other cases. Note that we have not tried to optiize the bound on n and the order of the k-connected onochroatic subgraph in the following result, since our ai is to show that the largest k-connected onochroatic subgraph has order at least O(n). Theore.10. For 5, k and n 99k, any rainbow P K -free coloring of K n using colors contains a k-connected onochroatic subgraph of order at least n 6. Proof. For a contradiction, suppose that G is a rainbow P K -free coloring of K n without k-connected onochroatic subgraph of order at least n 6. Since K K H, we ay further assue that there is a rainbow K K in G, otherwise there would be a k-connected alost spanning onochroatic subgraph of order at least n (k 1) n 6. Let H be a copy of rainbow K K in G with V(H) = {a 1,a,a,b 1,b }, c(a 1 a ) = 1, c(a a ) =, c(a a 1 ) = and c(b 1 b ) = 4. We first have the following siple observation attained by setting ǫ = 1 4 and 4 in Lea.. Fact.11. If 4, k and n 99k, then in any -coloring of K n, there is a n k-connected onochroatic subgraph of order at least k. IfC(G {a 1,a,a }) {1,,,4}, thenbyfact.11thereisak-connected onochroatic subgraph of order at least n k 4 n 6, a contradiction. Thus C(G {a 1,a,a }) {5,6,...,}. Let U i = {v v V(G {a 1,a,a }),v is incident to an edge using color i} for 4 i, and let U +1 = V(G {a 1,a,a }) \ ( i=4 U i). Then U 4 and at least one of U 5,U 6,...,U is non-epty. Let U i1,u i,...,u it be all the non-epty sets of U 4,U 5,...,U +1 and t. Note that the edges between the t parts are colored by colors 1, and for avoiding a rainbow P K, and C(U i ) {1,,,i} for all 4 i. Then each U j (j {i 1,i,...,i t }) satisfies U j < n 8, since otherwise there would be a k- connected onochroatic subgraph of order at least U j k 4 n 6 using Fact.11 and by n 99k 475k. If t 8, then V(G {a 1,a,a }) t ( n 8 1) n 8 < n, a contradiction. Thus, t 9. We now choose a subset L {1,,...,t} such that A = l L U i l and B = h {1,,...,t}\L U ih satisfy 10

11 (1) A B ; () A B is iniu subject to (1). Clai.1. A B n 4. Proof. If A B n 4 + 1, then for any eleent s L, let A = A \ U is and B = B U is. Then we have A B = A U is ( B + U is ) = A B U is. Thus A B A B ( n 8 1) = A B n 4 + 0and A B A B < A B, which contrary to the choice of L. Since 0 A B n 4 and A + B = n, we have A B (n ) 8 5(n ) 8 = 15(n ) 64, i.e., there are at least 15(n ) 64 edges between A and B. Since all the edges are colored by colors 1, and between A and B, for soe color i {1,,}, say i = 1, there are at least 5(n ) 64 edges using color 1. Consider the bipartite graph H with bipartition (A,B) and E(H ) = {uv u A,v B,c(uv) = 1}. The average degree of H is at least n 5(n ) 64 = 5(n ). By Lea.4, there is a subgraph H H with connectivity κ(h ) = 1 4 5(n ) > 5n 10 = n 6 > k. Then H is a k-connected onochroatic subgraph of order at least n 6, a contradiction. 4 Proof of Theore 1.1 In this section, we consider the large k-connected subgraphs using at ost two colors in every Gallai--coloring of coplete graphs. By the following exaple we know that the largest k-connected subgraphs using at ost two colors has order at ost n k 1. Let G be a -coloring of K n with V(G) = V 1 V V, such that V 1 = n k + 1, V = k 1 and V = k 1. We color the edges of G such that c(v 1,V ) = c(v,v ) = 1, c(v 1,V ) = and c(v 1 ) = c(v ) = c(v ) =. It is easy to see that G is a Gallai--coloring of K n, and the largest k-connected subgraph using at ost two colors has order n k 1. In light of this exaple, we conjecture the following. Conjecture 4.1. For k 1 and n sufficient large, every Gallai--coloring of K n contains a k-connected subgraph of order n k 1 using at ost two colors. However, since this conjecture sees to be difficult for general k, we shall ainly focus on soe special cases. In particular, we shall be able to prove this conjecture is true for 1 k. For this purpose, we will use the following structural result concerning Gallaicolorings of coplete graphs given by Gallai [6] in Theore 4.. ([6]) In any Gallai-coloring of a coplete graph, there exists a partition V 1, V,..., V l (l ) of the vertices such that between the parts, there are a total of at ost two colors, and between every pair of parts, there is only one color on the edges. We now state and prove two leas that iply Theore 1.1 iediately. Lea 4.. For n 7, every Gallai--coloring of K n contains a -connected subgraph of order n using at ost two colors. Proof. Let G be a Gallai--coloring of K n and suppose for a contradiction that G contains no -connected spanning subgraph using at ost two colors. We first prove the following clai concerning every -coloring of K n. 11

12 Clai 4.4. For n 7, there is a -connected subgraph of order n 1 using at ost two colors in every -coloring of K n. Proof. For a contradiction, suppose that F is a -coloring of K n using red, blue and green, which contains no -connected subgraph of order n 1 using at ost two colors. By Theore 1., there exists a -connected subgraph R of order at least n using either {red, blue} or {green}. If V(R) n 1, then R is a desired subgraph so we ay assue that the order of R is exactly n. Let V(F) \V(R) = {u,v}. First suppose that R is a onochroatic subgraph colored by green. Since V(R) = n 5, there are at least two edges between u and V(R) using a single color. Then R and u for a -connected subgraph of order n 1 using at ost two colors, a contradiction. Therefore, we ay further assue that R is colored by red and blue. Then there is at ost one edge using red or blue between u (resp., v) and R. Hence, there is a subset R V(R) with R = n 4 such that c({u,v},r ) is green. Then there is a onochroatic coplete bipartite graph K,n 4 colored by green, which is -connected. Let V(R) \ R = {x,y}. Then we can find a -connected subgraph using at ost two colors with vertex set R {u,v,x} by a sae arguent as above, a contradiction. By Clai 4.4, G contains a -connected subgraph H of order n 1 using at ost two colors, say red and blue. Let V(G)\V(H) = {v}. Then there is at ost one edge using red or blue between v and H. Suppose that c(vu) is red for soe u V(H) and c(v,v(h)\{u}) is green. Then to avoid a rainbow triangle, we have that C(u,V(H)\{u}) {red, green}. Then we obtain a K K n using red and green, a -connected subgraph using at ost two colors of order n. Thus we ay further assue that c(v,v(h)) is green. Since any -coloring of coplete graph contains a onochroatic spanning tree, there is a onochroatic spanning tree colored by either {red} or {blue, green} in G[V(H)]. In both cases, such a spanning tree together with vertex v fors a -connected spanning subgraph of G using at ost two colors, a contradiction. Lea 4.5. For n 7, every Gallai--coloring of K n contains a -connected subgraph using at ost two colors of order at least n 1. Proof. Let G be a Gallai--coloring of K n, say using red, blue and green. Suppose that G contains no -connected -colored subgraph of order at least n 1. By Lea 4., G contains a -connected spanning subgraph H using at ost two colors, say red and blue. Note that H is not -connected, otherwise H would be the desired subgraph. So we ay further assue that C = {c 1,c } is a cutset of H and (A,B) is a bipartition of the vertices of H\C such that A (resp., B) is the union of vertices in coponents of H \C. We ay assue that A B without loss of generality. Moreover, all the edges are colored by green between A and B, i.e., G[A B] contains a onochroatic coplete bipartite graph H of order n using green. If B, then H is -connected. Furtherore, since A B = n 5, there are at least three edges between c 1 and A B using either {red} or {blue, green}. If the forer holds, then G\{c } contains a -connected subgraph using red and green of order n 1. And if the latter holds, then G \ {c 1 } contains a -connected subgraph using blue and green of order n 1. In both cases we can derive a contradiction. Thus 1 B. If B = 1, say B = {b}, then A = n 4. If c(c 1 b) (resp., c(c b)) is green, then H \ {c } (resp., H \ {c 1 }) is disconnected, contradicting the fact that H is -connected. Thus C(B,C) {red,blue}. Without loss of generality, let c 1 b be colored by red. Then C(c 1,A) {red,green} for avoiding a rainbow triangle. Likewise if c b is colored by red, then 1

13 C(c,A) {red,green} holds once again. But then G contains a -connected subgraph using red and green of order n, a contradiction. Thus c b cannot be colored by red, and so c(c b) is blue. In order to avoid a rainbow triangle, we also have C(c,A) {blue,green}. Since G[A] is a Gallai--coloring of K A, there exists a color which spans a connected subgraph by Theore 4.. If such a color is green or red, then G\{c } contains a -connected subgraph using green and red of order n 1, a contradiction. Thus this color is blue, but then G\{c 1 } contains a -connected subgraph using blue and green of order n 1, a contradiction. Hence B =, say B = {b 1,b }. There exists at least one edge using red or blue between B and C, say c(c 1 b 1 ) = red. Then c(c 1,A) {red,green} to avoid a rainbow triangle. If c(c 1 b ) is red or green, then G \ {c } contains a -connected subgraph using red and green of order n 1, a contradiction. Thus c(c 1 b ) is blue. In order to avoid a rainbow triangle, we have that c(c 1,A) is green. But then then H \{c } is disconnected, contradicting the fact that H is -connected. The proof of Lea 4.5 is coplete. 5 Concluding Rearks 5.1 Hypergraph version of Question 1.4 In this paper, we ainly consider the solution of Question 1.4. This question can naturally be extended to hypergraphs. A hypergraph is k-connected if the reoval of any set of at ost k 1 vertices leaves behind a connected hypergraph. In [15], the author suggested the following question. Question 5.1. ([15]) Let n,k, be positive integers with n k. For what -unifor hypergraphs G does the following stateent hold? In any rainbow G-free coloring of K n using colors, there is a onochroatic k-connected subgraph of order at least n f(k,), where f is a function of k and but not n. Let G be the set of hypergraphs G such that G satisfies Question 5.1. A Berge triangle is a hypergraph with at least 4 vertices and three distinct edges e 1,e,e such that there exist three vertices, say a,b,c, with a,b e 1, b,c e and c,a e. Recently, Magnant [15] showed that the Berge triangles are in G, and that is all we know for hypergraphs in G. A classification of the graphs in G would be a interesting proble. 5. Long onochroatic paths and cycles In Section, we show that for sufficiently large n and, any rainbow G-free coloring of K n using colors contains a connected onochroatic subgraph of order at least cn, where 0 < c < 1 and G {K 1,4,P K 1,,P K,P P 5 }. Instead to find a connected onochroatic subgraph, it will also be interesting to looking for a long onochroatic paths or cycles in colored coplete graphs. Using a result by Erdős and Gallai [] that for an integer k and a graph G on n vertices with E(G) > k 1 n there is a path P k+1 in G, we prove the following result. Proposition 5.. Let G be an -coloring of K n and for any non-negative integers a 1,a,..., a with i=1 a i n+, G contains a onochroatic copy of P ai in color i for soe i []. 1

14 Proof. For v V(G) and i [], let d i (v) denote the nuber of edges incident to v using color i. Then for any v V(G), we have i=1 d i(v) = n 1 i=1 a i + 1. Let d i (G) = 1 n v V(G) d i(v) for 1 i. Then d i (G) = ( 1 n i=1 1 n i=1 v V(G) v V(G) d i (v)) = 1 n v V (G) ( a i +1) = i=1 ( d i (v)) i=1 a i +1, and thus there exists an i [] such that d i (G) > a i. Then G contains 1 v V(G) d i(v) = n d i(g) > a i n edges using color i. By Erdős and Gallai s result, G contains a onochroatic copy of P ai in color i. By Proposition 5., there is a onochroatic copy of P t with t n+ = n + in any -coloring of K n. For onochroatic cycles, Kano and Li [9] showed that there is a onochroatic cycle of length at least n in any -coloring of K n. It is natural to try to find the long paths or cycles in the coloring of K n in which we forbidden soe rainbow subgraphs. References [1] B. Bollobás and A. Gyárfás, Highly connected onochroatic subgraphs, Discrete Math. 08 (008), [] P. Erdős and T. Gallai, On axial paths and circuits of graphs, Acta Math. Acad. Sci. Hungar 10 (1959), [] J. Fox, A. Grinshpun and J. Pach, The Erdős-Hajnal conjecture for rainbow triangles, J. Cobin. Theory Ser. B 111 (015), [4] S. Fujita and C. Magnant, Note on highly connected onochroatic subgraphs in - coloredcoplete graphs, Electron. J. Cobin. 18 (011), #P15. [5] S. Fujita and C. Magnant, Forbidden rainbow subgraphs that force large highly connected onochroatic subgraphs, SIAM J. Discrete Math. 7 (01), [6] T. Gallai, Transitiv orientierbare Graphen, Acta Math. Acad. Sci. Hungar 18 (1967), [7] A. Gyárfás, Partition coverings and blocking sets in hypergraphs (in hungarian), Co. Coput. Autoat. Res. Inst. Hngar. Acad. Sci. 71 (1977), 6pp. [8] A. Gyárfás and G.N. Sárközy, Size of onochroatic coponents in local edge colorings, Discrete Math. 08 (008), [9] M. Kano and X.L. Li, Monochroatic and heterochroatic subgraphs in edge-colored graphs-a survey, Graphs Cobin. 4 (008), 7 6. i=1 14

15 [10] R. Katić, C. Magnant and P. S. Nowbandegani, Forbidden properly edge-colored subgraphs that force large highly connected onochroatic subgraphs, Graphs Cobin. (017), [11] H. Liu, R. Morris and N. Prince, Highly connected ulticoloured subgraphs of ulticoloured graphs, Discrete Math. 08 (008), [1] H. Liu, R. Morris and N. Prince, Highly connected onochroatic subgraphs of ulticolored graphs, J. Graph Theory 61 (009), 44. [1] T. Luczak, Highly connected onochroatic subgraphs of two-colored coplete graphs, J. Cobin. Theory Ser. B 117 (016), [14] W. Mader, Existenz n-fach zusaenhängender Teilgraphen in Graphen genügend grosser Kantendichte, Abh. Math. Se. Univ. Haburg 7 (197), [15] C. Magnant, Colored coplete hypergraphs containing no rainbow Berge triangles, anuscript. [16] A. Thoason and P. Wagner, Coplete graphs with no rainbow path, J. Graph Theory 54 (007), [17] A.Z. Wagner, Large subgraphs in rainbow-triangle free colorings, J. Graph Theory 86 (017),