Gallai-Ramsey numbers for a class of graphs with five vertices arxiv:1811.06134v1 [math.co] 15 Nov 018 Xihe Li a,b and Ligong Wang a,b, a Department of Applied Mathematics, School of Science, Northwestern Polytechnical University, Xi an, Shaanxi 71007, P. R. China. b Xi an-budapest Joint Research Center for Combinatorics, Northwestern Polytechnical University, Xi an, Shaanxi 71019, P. R. China. E-mail: lxhdhr@163.com; lgwangmath@163.com Abstract Given two graphs G and H, the k-coloredgallai-ramsey number gr k (G : H) is defined to be the minimum integer n such that every k-coloring of the complete graph on n vertices contains either a rainbow copy of G or a monochromatic copy of H. In this paper, we consider gr k (K 3 : H) where H is a connected graph with five vertices and at most six edges. There are in total thirteen graphs in this graph class, and the Gallai-Ramsey numbers for some of them have been studied step by step in several papers. We determine all the Gallai- Ramsey numbers for the remaining graphs, and we also obtain some related results for a class of unicyclic graphs. Key Words: Gallai-Ramsey number, rainbow triangle, monochromatic subgraphs. AMS Subject Classification (010): 05C15, 05C55, 05D10. 1 Introduction In this paper, we only consider edge-colorings of finite simple graphs. For an integer k 1, let c : E(G) [k] be a k-edge-coloring (or simply, a k-coloring) of a graph G, where [k] := 1,,...,k}. Note that c is not necessarily a proper edge-coloring. A coloring of a graph is called monochromatic if all edges are colored the same, and a coloring is called rainbow if all edges are colored differently. A graph G is called rainbow triangle-free if every triangle in G contains at most two colors. A Gallai-k-coloring is a rainbow triangle-free coloring of a complete graph using at most k colors. In 1967, Gallai [9] provided the following important structural result in his original paper, which was translated into English and endowed by comments in [14]. Theorem 1.1. ([9, 14]) In any rainbow triangle-free coloring of a complete graph, there exists a partition V 1, V,..., V m (m ) of the vertices such that between the parts there are in total at most two colors, and between every pair of parts, there is only one color on the edges. Supported by the National Natural Science Foundation of China (No. 11871398) and the Natural Science Basic Research Plan in Shaanxi Province of China (Program No. 018JM103). Corresponding author. 1
The partition provided in Theorem 1.1 is called a Gallai-partition. Given a Gallaicoloring of a complete graph and a Gallai-partition V 1, V,..., V m, the subgraph induced by v 1,v,...,v m } is called the reduced graph of that partition, where v i V i for every i [m]. Given a graph G, the Ramsey number r k (G) is the minimum integer n such that every k-coloring of K n contains a monochromatic copy of G. Given two graphs G and H, the k- colored Gallai-Ramsey number gr k (G : H) is defined to be the minimum integer n such that every k-coloring of the complete graph on n vertices contains either a rainbow copy of G or a monochromatic copy of H. It is clear that gr k (G : H) r k (H) for any two graphs G and H. Note that finding the exact values of gr k (G : H) is far from trivial, even for some graphs H with small number of vertices and edges. The Gallai-Ramsey numbers gr k (K 3 : H) for all the graphs H with four vertices have been found in several previous papers. However, this number for some graphs with five vertices have not been determined, and finding the exact values for these graphs is a fundamental work in this research area. In this paper, we mainly focus on gr k (K 3 : H) where H is a connected graph with five vertices and at most six edges. There are thirteen graphs in this graph class (see Fig. 1.1), and the Gallai-Ramsey numbers for F 1,F,...,F 8 have been studied step by step in several papers [4, 5, 10, 15, 17, 18]. We determine the Gallai-Ramsey numbers for all the remaining graphs. For more information on this topic, we refer the readers to [, 3, 6, 11, 1, 16] and two excellent surveys [7, 8]. F F F 1 3 F F 4 5 F6 F7 F8 F9 F10 F11 F1 F13 Fig. 1.1: The graphs with five vertices and at most six edges. For graphs F 9 and F 10, we prove the following result in Section. Theorem 1.. For any integer k 1, 8 5 (k )/ +1, if k is even, gr k (K 3 : F 9 ) = gr k (K 3 : F 10 ) = 4 5 (k 1)/ +1, if k is odd. For graph F 11, we prove the following result in a more general form in Section 3. In fact, we consider the Ramsey numbers and Gallai-Ramsey numbers for a class of unicyclic graph F,n. Theorem 1.3. For any integer k 1, gr k (K 3 : F 11 ) = k+4. For graphs F 1 and F 13, we prove the following result in Section 4.
Theorem 1.4. For any integer k 1, gr k (K 3 : F 1 ) = gr k (K 3 : F 13 ) = 9 5 (k )/ +1, if k is even, 4 5 (k 1)/ +1, if k is odd. Furthermore, we define some notation and terminology. Let c(uv) denote the color used on the edge uv. For U, V V(G) with U V =, let E(U,V) denote the set of edges between U and V, and C(U,V) denote the set of colors used on the edges in E(U,V). If C(U,V) = 1, i.e., all the edges in E(U,V) have a single color, then we use c(u,v) to denote this color. In the special case when U = u}, we simply write E(u,V), C(u,V) and c(u,v) for E(u},V), C(u},V) and c(u},v ), respectively. For v V(G), let G v denote the graph obtained from G by deleting the vertex v and the edges incident to v. For U V(G), let G U denote the graph obtained from G by deleting all the vertices of U and the edges incident to some vertex of U. Moreover, let G[U] denote the subgraph of G induced by U, and C(U) denote the set of colors used on the edges of G[U]. For any i C(U), the subgraph induced by color i means an induced subgraph of G[U] on the edges using color i. Proof of Theorem 1. We begin with the following simple results which will be used later. Proposition.1. If H 1 is a subgraph of H, then gr k (K 3 : H 1 ) gr k (K 3 : H ). Lemma.. ([13]) r (F 9 ) = r (F 10 ) = 9. Lemma.3. ([3]) For any integer k 1, 5 k/ +1, if k is even, gr k (K 3 : K 3 ) = 5 (k 1)/ +1, if k is odd. Since F 9 is a subgraph of F 10, we have gr k (K 3 : F 9 ) gr k (K 3 : F 10 ) by Proposition.1. Thus Theorem 1. follows from the following two lemmas immediately. 8 5 (k )/, if k is even, Lemma.4. For any integer k 1, gr k (K 3 : F 9 ) > 4 5 (k 1)/, if k is odd. Proof. If k is even, then let G be a -colored K 8 containing no monochromatic F 9 using colors 1 and. Suppose that i < k and we have constructed a i-coloring G i of K ni containing neither rainbow K 3 nor monochromatic F 9, where n i = 8 5 (i )/. Let G be a -colored K 5 using colors i+1 and i+ which contains no monochromatic K 3, i.e., colors i + 1 and i + induce two monochromatic C 5. We construct G i+ by substituting five copies of G i into vertices of G, i.e., G i+ is a blow-up of G. Finally, we obtain a k-coloring G k of K n containing neither rainbow K 3 nor monochromatic F 9, where n = 8 5 (k )/. If k is odd, then let G 1 be a monochromatic K 4 using color 1. Suppose that i 1 < k and we have constructed a (i 1)-coloring G i 1 of K ni 1 containing neither rainbow K 3 nor monochromatic F 9, where n i 1 = 4 5 (i )/. Let G be a -colored K 5 using colors i and i + 1 which contains no monochromatic K 3. We construct G i+1 by substituting five copies of G i 1 into vertices of G. Finally, we obtain a k-coloring G k of K n containing neither rainbow K 3 nor monochromatic F 9, where n = 4 5 (k 1)/. 3
Lemma.5. For any integer k 1, gr k (K 3 : F 10 ) 8 5 (k )/ +1, if k is even, 4 5 (k 1)/ +1, if k is odd. Proof. We prove the statement by induction on k. The case k = 1 is trivial and the case k = holds by Lemma., so we may assume k 3. Suppose G is a Gallai-k-coloring of K n containing no monochromatic F 10, where 8 5 (k )/ +1, if k is even, n = 4 5 (k 1)/ +1, if k is odd. Let V 1,V,...,V m be a Gallai-partition with V 1 V V m and m. Since r (F 10 ) = 9, we have m 8. We choose such a partition with m minimum. Suppose colors 1 and are the two colors used between the parts. We first have the following simple facts since G is monochromatic F 10 -free. Fact.6. For any two non-empty parts V i, V j with c(v i,v j ) = α, we have (1) there is no monochromatic P 4 using color α within V i and V j, respectively; () if V i 3 and V j, then α / C(V i ); (3) if V i and V j, then there is no vertex with color α to both V i and V j in V(G)\(V i V j ). We now claim that 4 m 8. In fact, if m 3, then there exists a bipartition V 1 and V of V(G) with C(V 1,V ) = 1, say c(v 1,V ) = 1. If V, then 1 / C(V 1 ) by Fact.6 (). Apply induction on k within V 1, we have V(G) = V 1 + V V 1 [gr k 1 (K 3 : F 10 ) 1] < n, a contradiction. Thus V = 1 and V 1 = n 1. By Fact.6 (1), color 1 induces a subgraph G (1) such that each component is a K 3 or a star within V 1. In order to avoid a rainbow K 3 and a monochromatic P 4 in color 1, there is only a single color between each pair of components. By Lemma.3, we have 5 (k )/ +1, if k is even, gr k 1 (K 3 : K 3 ) = 5 (k 1)/ +1, if k is odd. Since V 1 cannotbedividedbythreeandamonochromatick 1,3,3 contains af 10, G (1) contains at most n k = gr k 1 (K 3 : K 3 ) components each of which is a K 3. For 0 i n k, if there are exactly n k i components each of which is a K 3, then there are at most i+1 components each of which is a star to avoid a monochromatic K,,3. Thus after removing at most (n k i)+i+1 vertices, there is no edge using color 1 within V 1. Thus V(G) = V 1 + V (n k i)+i+1+[gr k 1 (K 3 : F 10 ) 1]+1 < n, a contradiction. Therefore, we may assume 4 m 8. Let r be the number of parts with at least three vertices, i.e., V r 3 and V r+1. Since m 8 and V(G) 1, we have 1 r m 8. We divide the rest of the proof into four cases based on the number r. Case 1. r = 1. For i = 1,, let A i be the union of parts with color i to V 1. Since m 4, we have A 1 1, A 1 and at least one of A 1 and A contains more that one vertices, say A 1. Then 1 / C(V 1 ) by Fact.6 (), and so V 1 gr k 1 (K 3 : F 10 ) 1. Since V V m and m 8, A 1 + A 14. If A, then / C(V 1 ) and thus V(G) = V 1 + A 1 + A gr k (K 3 : F 10 ) 1+14 < n, a contradiction. Thus A = 1. Then A 1 3 since otherwise V(G) = V 1 + A 1 + A gr k 1 (K 3 : F 10 ) 1++1 < n. 4
By Fact.6 (), 1 / C(A 1 ), and thus A 1 gr k 1 (K 3 : F 10 ) 1. Then V(G) = V 1 + A 1 + A gr k 1 (K 3 : F 10 ) 1+mingr k 1 (K 3 : F 10 ) 1+1,14} < n, a contradiction. Case. r =. In this case, we may assume that c(v 1,V ) = 1. Then by Fact.6 (), for i = 1,, 1 / C(V i ) and thus V i gr k 1 (K 3 : F 10 ) 1. Since m 8 and V 3 V m, if V 3 V m 11 then there is a monochromatic K 1,,, contradicting to the Fact.6 (3). Hence, V 3 V m 10. By Fact.6 (3), we also have that there is no vertex with color 1 to both V 1 and V. Thus we can partition V 3 V m into three parts A, B and C such that, c(a,v 1 ) = c(c,v ) = 1 and c(a,v ) = c(c,v 1 ) = c(b,v 1 V ) =. If A B and C B, then for i = 1,, we have / C(V i ) and thus V(G) = V 1 + V + V 3 V m [gr k (K 3 : F 10 ) 1]+10 < n, a contradiction. Thus A B 1 or C B 1, say C B 1, so B 1. We first suppose B = 1 and C = 0. Since m 4, A 1, and thus / C(V ). Since A = V(G) V 1 V B n [gr k 1 (K 3 : F 10 ) 1] [gr k (K 3 : F 10 ) 1] 1 >, wehave 1, / C(A). Thus V(G) = V 1 + V + A + B + C [gr k 1 (K 3 : F 10 ) 1]+[gr k (K 3 : F 10 ) 1] + 1 < n, a contradiction. Next we suppose B = 0. Since m 4, we have A 1 and C = 1. If A, then / C(V ) and V gr k (K 3 : F 10 ) 1. Since A = V(G) V 1 V C n [gr k 1 (K 3 : F 10 ) 1] [gr k (K 3 : F 10 ) 1] 1 >, we have 1, / C(A), and thus V(G) [gr k 1 (K 3 : F 10 ) 1]+[gr k (K 3 : F 10 ) 1]+1 < n, a contradiction. Thus, A = 1. By the minimality of m, we have c(a,c) =. By Fact.6 (1), color induces a subgraph G () such that each component is a K 3 or a star within V 1. In order to avoid a rainbow K 3 and a monochromatic P 4 in color, there is only a single color between each pair of components. Since 1 / C(V 1 ) and by Fact.6 (3), G () contains at most n k = gr k (K 3 : K 3 ) 1 components each of which is a K 3 for avoiding a monochromatic K 3,3,3 that contains a F 10. For 0 j n k, if there are exactly n k j components each of which is a K 3, then there are at most j components each of which is a star to avoid a monochromatic K,3,3. Thus after removing at most (n k j) + j vertices, there is no edge using color within V 1. Thus V(G) = V 1 + V + A + C V 1 + [(n k j)+j +(gr k (K 3 : F 10 ) 1)]+ < n, a contradiction. Case 3. r = 3. ByFact.6(3),, wemayassumethatc(v 1,V V 3 ) = 1andc(V,V 3 ) =. Thus1 / C(V 1 ) C(V ) C(V 3 ) and / C(V ) C(V 3 ). By inductive assumption, V 1 gr k 1 (K 3 : F 10 ) 1, V gr k (K 3 : F 10 ) 1 and V 3 gr k (K 3 : F 10 ) 1. Since m 8 and V 4 V m, we have V 4 V m 10. If c(v,v 1 ) = 1 for some v V 4 V m, then c(v,v ) 1 and c(v,v 3 ) 1 by Fact.6 (3). But then c(v,v ) = c(v,v 3 ) =, a contradiction. Thus c(v 1,V 4 V m ) =. Note that V 4 V m = V(G) V 1 V V 3 5. By Fact.6 (), / C(V 1 ) and / C(V 4 V m ). Thus V(G) 3[gr k (K 3 : F 10 ) 1] + mingr k 1 (K 3 : F 10 ) 1,10} < n, a contradiction. Case 4. r 4. By Fact.6 (3), there is no monochromatic K 3 in the subgraph H of the reduced graph induced on the first four parts. Thus H is one of the two -coloring of K 4 with no monochromatic K 3. By Fact.6 (), 1, / C(V 1 ) C(V ) C(V 3 ) C(V 4 ). Thus for i [4], V i gr k (K 3 : F 10 ) 1, and so V 5 V m 5. If 6 m 8, then there is a monochromatic K 1,,3, a contradiction. Thus m = 5 and V 5 5. In order two avoid a monochromatic F 10, G is a blow-up of the unique -coloring of K 5 with no monochromatic K 3. By Fact.6 (), 1, / C(V 1 ) C(V ) C(V 5 ). Apply induction on k, we have 5
V(G) 5[gr k (K 3 : F 10 ) 1] < n, a contradiction. 3 Ramsey numbers and Gallai-Ramsey numbers for a class of unicyclic graph For n 3, let F,n denote the graph obtained by adding n pendent edges to a single vertex of C 4. The vertex with degree n is called a center of F,n. It is easy to see that V(F,n ) = E(F,n ) = n +. Note that F,3 = F 11. In the following, we first give the -colored Ramsey number of F,n. Theorem 3.1. For all integers k 1 and n 3, n 1, if n is even, r (F,n ) = n, if n is odd. Proof. Let n = n ε, where ε = 1 if n is even, and ε = 0 otherwise. Since K 1,n is a subgraph of F,n and r (K 1,n ) = n (proven in [1]), we have r (F,n ) n. For the upper bound, suppose G is a -coloring of K n containing no monochromatic F,n. Since r (F,3 ) = 6 (see [13]), we may assume that n 4. Then G contains a monochromatic K 1,n, say using vertex set u,v 1,v,...,v n } and c(u,v 1,v,...,v n }) = 1. Let V(G) \u,v 1,v,...,v n } = w 1,w,...,w n n 1}. For any i [n n 1], there are at most one edge using color 1 in E(w i,v 1,v,...,v n }) in order to avoid a monochromatic F,n. Note that n 4 and n n 1. If c(w i,v 1,v,...,v n }) = for some i [n n 1], then it is easy to find a monochromatic F,n in color, a contradiction. Thus we may consider the following two cases based on C(w 1,w },v 1,v,...,v n }). Firstly, suppose that c(w 1,w },v 1,v,...,v n 1 }) = and c(w 1,w },v n ) = 1. In order to avoid a monochromatic F,n in color, we have c(w 1,w },u) = 1. Then uw 1 v n w u is a C 4 in color 1, which together with v 1,v,...,v n } forms a monochromatic F,n centered at u, a contradiction. Secondly, suppose that c(w 1,w },v 1,v,...,v n }) = c(w 1 v n ) = c(w v n 1 ) = and c(w 1 v n 1 ) = c(w v n ) = 1. Note that we also have c(w 1,w },u) = 1 similarly as above. If c(v 1 v n 1 ) = 1, then uw 1 v n 1 v 1 u is a C 4 in color 1, which together with v,v 3,...,v n,v n } forms a monochromatic F,n centered at u, a contradiction. Thus c(v 1 v n 1 ) =, and by symmetry c(v 1,v,...,v n },v n 1,v n }) =. If n = 4, then there is a F,4 in color centered at v 1. If n 5, then n n 1 4 and we may assume c(w 3 v n 1 ) = without loss of generality. Then v n 1 v 1 v n v v n 1 is a C 4 in color, which together with v 3,v 4,...,v n,w,w 3 } forms a monochromatic F,n centered at v n 1, a contradiction. Theorem 3.. (1) For all integers k 1 and n 3,4}, gr k (K 3 : F,n ) = r (F,n )+k ; () For any integer k 3, gr k (K 3 : F,5 ) = k+9; (3) For all integers k 3 and n 6, 5n +k 6, if n is even, k(n 1)+ gr k (K 3 : F,n ) 5n 1 +k 4, if n is odd. Proof. We first prove the lower bounds by constructing some appropriate Gallai-k-colorings of complete graphs without monochromatic F,n. For n 3,4}, let G be a -coloring of 6
complete graph on r (F,n ) 1 vertices using colors 1 and without monochromatic F,n. Let G be the unique -coloring of K 5 using colors and 3 with no monochromatic K 3. For n 5 and n even, let G 3 be the 3-coloring obtained by substituting K n/ (using only color 1) into one vertex of G and K n/ 1 (using only color 1) into the other four vertices of G. For n 5 and n odd, let G 3 be the 3-coloring obtained by substituting K (n 1)/ (using only color 1) into five vertex of G. Suppose i < k and we have constructed G i containing no rainbow K 3 and no monochromatic F,n. We construct G i+1 by adding a new vertex to G i such that all the new edges are colored by color i + 1. Finally, we obtain a k-coloring G k containing no rainbow K 3 and no monochromatic F,n. For n 3,4}, V(G k ) = r (F,n )+k 3. For n 6, we have 5n +k 7, if n is even, V(G k ) = 5n 1 +k 5, if n is odd. For n = 5, we construct G k+1 by adding a new vertex to G k such that all the new edges are colored by color 1. Then G k+1 contains no rainbow K 3 and no monochromatic F,5, and V(G k ) = k+8. For the upper bound, let r (F,n )+k, if n 3,4}, n k = k+9, if n = 5, k(n 1)+, if n 6. We will prove that every Gallai-k-coloring of K n k contains a monochromatic F,n for all integers k 1 and n 3. The case k = 1 is trivial and the case k = holds by Theorem 3.1, so wemay assume k 3 in thefollowing. For a contradiction, supposegis a k-coloring of K n containing no rainbow K 3 and no monochromatic F,n. We choose such a G with k minimal. LetV 1,V,...,V m beagallai-partition with V 1 V V m and m r (F,n ) 1. Suppose colors 1 and are the two colors used between the parts. We first suppose that m 4. In this case, we have V(G) \V 1 3. In order to avoid a monochromaticf,n andsincek 3, wehave V 1 n 1. For i = 1,, let A i betheunion of parts with color i to V 1. If n / 4,5}, then max A 1, A } V(G) V 1 n k (n 1) n, which implies that there is a monochromatic F,n, a contradiction. If n = 5, we must have V 1 = A 1 = A = 4 and k = 3 by a similar argument. For any edge uv E(A 1,A ), we have c(uv) 1,}, resulting in a monochromatic F,5, a contradiction. If n = 4, we have V 1 3 and 3 max A 1, A } k+5 3 3, say A 1 = 3. If V 1 =, then A = 3 and k = 3. Let A 1 = u 1,u,u 3 } and A = v 1,v,v 3 }. In order to avoid a monochromatic F,4, there are at most one edge using color 1 between u i and A for each i [3]. Thus there are at most three edges using color 1 between A 1 and A. Then there are at least six edges using color between A 1 and A, and in particular, there exist a vertex v i A such that there are at least two edges using color between v i and A 1, resulting in a monochromatic F,4, a contradiction. If V 1 = 3, then A 3. For avoiding a monochromatic F,4 in color 1, 1 / C(A 1,A ), i.e., c(a 1,A ) =, resulting in a monochromatic F,4 in color, a contradiction. Therefore, we have m 3. In this case, there exists a bipartition V 1, V of V(G) with C(V 1,V ) = 1, say c(v 1,V ) = 1. Since k 3, V 1 V(G) n. Thus V = 1 for avoiding a monochromatic F,n in color 1. Moreover, if 1 / C(V 1 ), then V(G) = V 1 + V 7
(n k 1 1)+1 < n k bytheminimalityofk, acontradiction. Thus1 C(V 1), sayv 1,v V 1 and c(v 1 v ) = 1. In order to avoid a monochromatic F,n in color 1, 1 / C(v 1,v },V 1 \v 1,v }). Since G is rainbow K 3 -free, we have c(v 1 v) = c(v v) for any v V 1 \v 1,v }. For avoiding a monochromatic F,n, there are at most n 1 vertices in V 1 \v 1,v } with a single color to v 1,v }. Note that V 1 \v 1,v } = n k 3 and C(v 1,v },V 1 \v 1,v }) = k 1. If n 6, then there are at least n k 3 k 1 n vertices in V 1 \v 1,v } with a single color to v 1,v }, i.e., there is a monochromatic F,n, a contradiction. If n = 3, then there exist four vertices u 1,u,u 3,u 4 V 1 \ v 1,v } such that c(v 1,v }, u 1,u }) = i and c(v 1,v },u 3,u 4 }) = j, where i < j k. Since G is rainbow K 3 -free, we have C(u 1,u },u 3,u 4 }) i,j}. Then there is a monochromatic F,3 in color i or j, a contradiction. If n = 4, then we may consider the following two cases. First, there exist five vertices u 1,u,...,u 5 V 1 \v 1,v }suchthatc(v 1,v }, u 1,u,u 3 }) = iandc(v 1,v },u 4,u 5 }) = j, where i < j k. Since G is rainbow K 3 -free, we have C(u 1,u,u 3 },u 4,u 5 }) i,j}. In order to avoid a monochromatic F,4 in color j, there are at least two edges using color i between u 4 (resp., u 5 ) and u 1,u,u 3 }. Thus there exists a vertex, say u 1, such that c(u 1,u 4,u 5 }) = i, resulting in a monochromatic F,4, a contradiction. Second, there exist six vertices u 1,u,...,u 6 V 1 \v 1,v } such that c(v 1,v }, u 1,u }) = i, c(v 1,v },u 3,u 4 }) = j and c(v 1,v },u 5,u 6 }) = l, where i < j < l k. Without loss of generality,we may assume that c(u 1 u 3 ) = i. Then c(u 1 u 4 ) = j and c(u 1,u 5,u 6 }) = l. Since c(u 4 u 5 ) j,l}, there is a monochromatic F,4 in color j or l, a contradiction. If n = 5, then by the pigeonhole principle, we may consider the following two cases. First, there exist nine vertices u 1,u,...,u 9 V 1 \v 1,v } such that c(v 1,v }, u 1,u,u 3,u 4 }) = i, c(v 1,v },u 5,u 6,u 7 }) = j and c(v 1,v },u 8,u 9 }) = l, where i < j < l k. In order to avoid a monochromatic F,5 in color j (resp., l), there are at most two edges using color j (resp., l) between each u u 5,u 6,u 7 } (resp., u 8,u 9 }) and u 1,u,u 3,u 4 }. Thus, there are at least ten edges using color i between u 1,u,u 3,u 4 } and u 5,u 6,...,u 9 }, and in particular, there exist a vertex u u 1,u,u 3,u 4 } such that there are at least three edges using color i between u and u 5,u 6,...,u 9 }, resulting in a monochromatic F,5, a contradiction. Second, there exist eight vertices u 1,u,...,u 8 V 1 \ v 1,v } such that c(v 1,v }, u 1,u }) = i, c(v 1,v }, u 3,u 4 }) = j, c(v 1,v },u 5,u 6 }) = s and c(v 1,v },u 7,u 8 }) = t, where i < j < s < t k. Since there are at most two edges using color i in E(u 1,u 3,u 4,...,u 8 }), we may assume that c(u 1,u 7,u 8 }) = t without loss of generality. Then there is at most one edge using color t in E(u 7,u 3,u 4,u 5,u 6 }), we may assume that c(u 7,u 5,u 6 }) = s. For avoiding a rainbow K 3, we have c(u 1,u 5,u 6 }) = s. For avoiding a monochromatic F,5 in color s, we have c(u 8,u 5,u 6 }) = t, resulting in a monochromatic F,5 in color t with center u 8, a contradiction. 4 Proof of Theorem 1.4 We begin with the following Ramsey numbers which will be used in the proofs. Lemma 4.1. ([13]) r (F 1 ) = r (F 13 ) = 10. Theorem 1.4 follows from the following two lemmas immediately. 8
Lemma 4.. For any integer k 1, H F 1,F 13 }, 9 5 (k )/, if k is even, gr k (K 3 : H) > 4 5 (k 1)/, if k is odd. Proof. If k is even, then let G be a -colored K 9 containing no monochromatic H using colors 1 and. Suppose that i < k and we have constructed a i-coloring G i of K ni containing neither rainbow K 3 nor monochromatic H, where n i = 9 5 (i )/. Let G be a -colored K 5 using colors i+1 and i+ which contains no monochromatic K 3, i.e., colors i + 1 and i + induce two monochromatic C 5. We construct G i+ by substituting five copies of G i into vertices of G, i.e., G i+ is a blow-up of G. Finally, we obtain a k-coloring G k of K n containing neither rainbow K 3 nor monochromatic H, where n = 9 5 (k )/. If k is odd, then let G 1 be a monochromatic K 4 using color 1. Suppose that i 1 < k and we have constructed a (i 1)-coloring G i 1 of K ni 1 containing neither rainbow K 3 nor monochromatic H, where n i 1 = 4 5 (i )/. Let G be a -colored K 5 using colors i and i+1 which contains no monochromatic K 3. We construct G i+1 by substituting five copies of G i 1 into vertices of G. Finally, we obtain a k-coloring G k of K n containing neither rainbow K 3 nor monochromatic H, where n = 4 5 (k 1)/. Lemma 4.3. For any integer k 1, H F 1,F 13 }, 9 5 (k )/ +1, if k is even, gr k (K 3 : H) 4 5 (k 1)/ +1, if k is odd. Proof. We prove the statement by induction on k. The case k = 1 is trivial and the case k = holds by Lemma 4.1, so we may assume k 3. Suppose G is a Gallai-k-coloring of K n containing no monochromatic H, where 9 5 (k )/ +1, if k is even, n = 4 5 (k 1)/ +1, if k is odd. Let V 1,V,...,V m be a Gallai-partition with V 1 V V m and m 9. We choose such a partition with m minimum. Suppose colors 1 and are the two colors used between the parts. We first have the following simple facts since G is monochromatic H-free. Fact 4.4. For any two non-empty parts V i, V j with c(v i,v j ) = α, we have (1) there is no monochromatic P 4 using color α within V i and V j, respectively; () if V i 3 and V j 3, then α / C(V i ) and α / C(V i ), respectively; (3) if V i 3 and V j, then there is no monochromatic P 3 using color α within V i ; (4) if V i 4, then there is no monochromatic K 3 using color α within V i ; (5) if V i and V j, then there is no vertex with color α to both V i and V j in V(G)\(V i V j ). Fact 4.5. For any two non-empty parts V i, V j with c(v i,v j ) = α, we have (1) if H = F 1 and V i 4, then there is no monochromatic P 3 using color α within V i ; () if H = F 13, V i 3 and V j, then α / C(V i ). 9
We now claim that 4 m 9. In fact, if m 3, then there exists a bipartition V 1 and V of V(G) with C(V 1,V ) = 1, say c(v 1,V ) = 1. If V 3, then 1 / C(V 1 ) by Fact 4.4 (). Apply induction on k within V 1, we have V(G) = V 1 + V V 1 [gr k 1 (K 3 : H) 1] < n, a contradiction. If V =, then by Fact 4.4 (3) color 1 induces a matching within V 1. If V = 1, then by Fact 4.4 (1) and (4), color 1 induces a subgraph such that each component is a star within V 1. Thus when 1 V, we can partition V 1 into two subsets V 1 and V 1 assumption, V(G) = V 1 and V 1, respectively. By inductive 1 + V [gr k 1 (K 3 : H) 1]+ < n, a contradiction. such that there is no color 1 within V 1 + V Therefore, we may assume 4 m 9. Let r be the number of parts with at least three vertices, i.e., V r 3 and V r+1. Since m 9 and V(G) 1, we have 1 r m 9. We divide the rest of the proof into four cases based on the number r. Case 1. r 4. By Fact 4.4 (5), there is no monochromatic K 3 in the subgraph R of the reduced graph induced on the first four parts. Thus R is one of the two -coloring of K 4 with no monochromatic K 3. If m = 5, then the reduced graph is the unique -coloring of K 5 with no monochromatic K 3. Thus for 4 m 5, we have 1, / C(V 1 ) by Fact 4.4 (), and so V(G) 5 V 1 5[gr k (K 3 : H) 1] < n, a contradiction. If 6 m 9, then 1 V 5 V m otherwise there is a monochromatic K 1,,3. Since n = V(G) = 4 i=1 V i + m j=5 V j 4 V 1 +5 4[gr k (K 3 : H) 1]+5, we have n = 1, k = 3, V i = 4 for i [4] and V j = 1 for j 5,6,...,9}. Note that there is a monochromatic K 3 in subgraph of the reduced graph induced on V 1,V,...,V 6, i.e., there is a monochromatic K 1,3,3 or K 1,1,3 in G. If the former holds, then we are done. If the latter holds, then there is a monochromatic F 1 using six edges of the K 1,3,3, and a monochromatic F 13 using five edges of the K 1,3,3 and one edge between the first four parts, a contradiction. Case. r = 3. In order to avoid a monochromatic K 3,3,3, we may assume that c(v 1,V V 3 ) = 1 and c(v,v 3 ) =. Then 1 / C(V 1 ) C(V ) C(V 3 ) and / C(V ) C(V 3 ). By inductive assumption, V 1 gr k 1 (K 3 : H) 1, V gr k (K 3 : H) 1 and V 3 gr k (K 3 : H) 1, and so V 4 V m 4. Note that V 4 V m 10, otherwise there is a monochromatic K 1,, since m 9 and V 4 V m. If c(v,v 1 ) = 1 for some v V 4 V m, then c(v,v ) 1 and c(v,v 3 ) 1 by Fact 4.4 (5). But then c(v,v ) = c(v,v 3 ) =, a contradiction. Thus c(v 1,V 4 V m ) =. Recall that we have V 4 V m 4, and thus / C(V 1 ) and / C(V 4 V m ) by Fact 4.4 (). Hence, V 1 gr k (K 3 : H) 1 and V 4 V m min10,gr k 1 (K 3 : H) 1}. Since n = V(G) = 3 i=1 V i + m j=4 V j 3[gr k (K 3 : H) 1]+min10,gr k 1 (K 3 : H) 1}, we have n = 1, k = 3 and V 4 V m = 9. For any vertex v V 4 V m, at least one of c(v,v ) and c(v,v 3 ) is 1. Thus there are at least five vertices in V 4 V m, say x 1,x,...,x 5 }, such that c(x 1,x,...,x 5 },V ) = 1 or c(x 1,x,...,x 5 },V 3 ) = 1. Then 1 / x 1,x,...,x 5 }, a contradiction. Case 3. r = 1. For i = 1,, let A i be the union of parts with color i to V 1. Then A 1 + A 16. If A 1 3 and A 3, then 1, / C(V 1 ) by Fact 4.4 (). By inductive assumption, V(G) = V 1 + A 1 + A gr k (K 3 : H) 1 + 16 < n, a contradiction. If A 1 3 and A, then 1 / C(V 1 ) and 1 / C(A 1 ) by Fact 4.4 (). By inductive assumption, V(G) = V 1 + A 1 + A [gr k 1 (K 3 : H) 1]+ < n, a contradiction. Thus A 1, and by symmetry A. Since m 4, we have A 1 1, A 1 and max A 1, A } =, say A 1 =. 10
If H = F 1, then there is no monochromatic P 3 using color 1 (resp., color ) within V 1 by Fact 4.5 (1). Thus there is no rainbow P 3 using colors 1 and, since otherwise there is a monochromatic P 3 using color 1 or since G is rainbow K 3 -free. Hence, colors 1 and induce a matching within V 1. Then we can remove at most V 1 vertices such that there is no color 1 and no color within V 1. By inductive assumption, V(G) = V 1 + A 1 + A [gr k (K 3 : F 1 ) 1]+4 < n, a contradiction. If H = F 13, then 1 / C(V 1 ) by Fact 4.5 (). Now V(G) = V 1 + A 1 + A gr k 1 (K 3 : F 13 ) 1+4 < n, a contradiction. Case 4. r =. In this case, we may assume that c(v 1,V ) = 1. Then by Fact 4.4 (), for i = 1,, 1 / C(V i ) and thus V i gr k 1 (K 3 : H) 1. Since m 9 and V 3 V m, if V 3 V m 1 then there is a monochromatic K 1,,, contradicting to the Fact 4.4 (5). Hence, V 3 V m 11. By Fact 4.4 (5), we also have that there is no vertex with color 1 to both V 1 and V. Thus we can partition V 3 V m into three parts A, B and C such that, c(a,v 1 ) = c(c,v ) = 1 and c(a,v ) = c(c,v 1 ) = c(b,v 1 V ) =. Note that we have A B or B C, otherwise / C(V 1 ) and / C(V ) by Fact 4.4 (), and then V(G) = V 1 + V + A + B + C [gr k (K 3 : H) 1]+11 < n, a contradiction. Without loss of generality, let B C, so B, C. If H = F 1, then we first suppose B = and C = 0. Since m 4, A 0. If A 3, then / C(V ) and 1, / C(A). Thus V(G) = V 1 + V + A + B + C [gr k 1 (K 3 : F 1 ) 1] + [gr k (K 3 : F 1 ) 1] + < n, a contradiction. Hence, A, but then V(G) = V 1 + V + A + B + C [gr k 1 (K 3 : F 1 ) 1]+[gr k (K 3 : F 1 ) 1]+4 < n, a contradiction. Next, we suppose B = 1 and C 1. If A, then we can derive a contradiction similarly as above. Thus A 1. If A = 0 or C = 0, then V(G) [gr k 1 (K 3 : F 1 ) 1] + < n. Hence, A = C = 1. By Fact 4.4 (3), color induces a matching within V 1 and V. For i = 1,, there is no color within V i after removing at most V i vertices. Thus V(G) 4[gr k (K 3 : F 1 ) 1]+4 < n, a contradiction. Finally, we suppose B = 0 and C. If A 3, then / C(V ) and 1, / C(A) but then V(G) [gr k 1 (K 3 : F 1 ) 1] + [gr k (K 3 : F 1 ) 1] + < n. Thus A. Note V 4 otherwise V(G) [gr k 1 (K 3 : F 1 ) 1] + 3 + 4 < n. Since m 4, we have A 0 and C 0. By Fact 4.5 (1), color induces a matching within V 1 and V. Thus V(G) 4[gr k (K 3 : F 1 ) 1]+4 < n, a contradiction. If H = F 13, then A B 1 or B C 1, otherwise / C(V 1 ) and / C(V ) by Fact 4.5 (), and then V(G) = V 1 + V + A + B + C [gr k (K 3 : F 13 ) 1] +11 < n, a contradiction. Without loss of generality, let B C 1, so B 1, C 1. We first suppose B = 1 and C = 0. Since m 4, A 0. Then / C(V ) by Fact 4.5 (), and thus A = V(G) V 1 V B C n [gr k 1 (K 3 : F 13 ) 1] [gr k (K 3 : F 13 ) 1] 1 > 3. Then 1, / C(A), and so V(G) = V 1 + V + A + B + C [gr k 1 (K 3 : F 13 ) 1] + [gr k (K 3 : F 13 ) 1] + 1 < n, a contradiction. Therefore, B = 0 and C 1. Since m 4, we have A 1 and C = 1. If A 3, then / C(V ) and 1, / C(A). Thus V(G) [gr k 1 (K 3 : F 13 ) 1]+[gr k (K 3 : F 13 ) 1]+1 < n, a contradiction. If A =, then / C(V ). Thus V(G) [gr k 1 (K 3 : F 13 ) 1] + [gr k (K 3 : F 13 ) 1] + 3 < n, a contradiction. Hence A = C = 1. Then V(G) [gr k 1 (K 3 : F 13 ) 1] + < n, a contradiction. 11
References [1] S.A. Burr and J.A. Roberts, On Ramsey numbers for stars, Utilitas Mathematica (1973), 17 0. [] M. Chen, Y.S. Li and C.P. Pei, Gallai-Ramsey numbers of odd cycles and complete bipartite graphs, Graphs Combin. (018). https://doi.org/10.1007/s00373-018-1931-7 [3] F.R.K. Chung and R. Graham, Edge-colored complete graphs with precisely colored subgraphs, Combinatorica 3 (1983), 315 34. [4] R.J. Faudree, R. Gould, M. Jacobson and C. Magnant, Ramsey numbers in rainbow triangle free colorings, Australas. J. Combin. 46 (010), 69 84. [5] S. Fujita and C. Magnant, Gallai-Ramsey numbers for cycles, Discrete Math. 311 (011), 147 154. [6] S. Fujita and C. Magnant, Extensions of Gallai-Ramsey results, J. Graph Theory 70 (01), 404 46. [7] S. Fujita, C. Magnant and K. Ozeki, Rainbow generalizations of Ramsey theory: a survey, Graphs Combin. 1 (010), 1 30. [8] S. Fujita, C. Magnant and K. Ozeki, Rainbow generalizations of Ramsey theory: a dynamic survey, Theo. Appl. Graphs 0 (014), Article 1. [9] T. Gallai, Transitiv orientierbare Graphen, Acta Math. Acad. Sci. Hungar 18 (1967), 5 66. [10] A. Gyárfás, G. N. Sárközy, A. Sebő and S. Selkow, Ramsey-type results for Gallai colorings, J. Graph Theory 64 (010), 33 43. [11] A. Gyárfás and G. Simonyi, Edge colorings of complete graphs without tricolored triangles, J. Graph Theory 46 (004), 11 16. [1] M. Hall, C. Magnant, K. Ozeki and M. Tsugaki, Improved upper bounds for Gallai Ramsey numbers of paths and cycles, J. Graph Theory 75 (014), 59 74. [13] G.R.T. Hendry, Ramsey numbers for graphs with five vertices, J. Graph Theory 13 (1989), 45 48. [14] F. Maffray and M. Preissmann, A translation of Tibor Gallai s paper: transitiv orientierbare Graphen, In: J.L. Ramirez-Alfonsin, B.A. Reed (Eds.), Perfect Graphs, Wiley, New York (001), pp. 5 66. [15] C. Magnant, Personal communication. [16] Z.-X. Song and J.M. Zhang, A conjecture on Gallai-Ramsey numbers of even cycles and paths, arxiv:1803.07963 (018). [17] Z. Wang, Y.P. Mao, C. Magnant and J.Y. Zou, Ramsey and Gallai-Ramsey numbers for two classes of unicyclic graphs, arxiv:1809.1098 (018). [18] H.B. Wu, C. Magnant, P.S. Nowbandegani and S.M. Xia, All partitions have small parts Gallai-Ramsey numbers of bipartite graphs, Discrete Appl. Math. in press (018). 1