arxiv: v1 [math.co] 10 Jun 2015

Transcription

1 Existences of rainbow matchings and rainbow matching covers. arxiv: v1 [math.co] 10 Jun 015 Allan Lo 1 School of Mathematics, University of Birmingham, Birmingham, B15 TT, United Kingdom Abstract Let G be an edge-coloured graph. A rainbow subgraph in G is a subgraph such that its edges have distinct colours. The minimum colour degree δ c G) of G is the smallest number of distinct colours on the edges incident with a vertex of G. We show that every edge-coloured graph G on n 7k/+ vertices with δ c G) k contains a rainbow matching of size at least k, which improves the previous result for k 10. Let mon G) be the maximum number of edges of the same colour incident with a vertex of G. We also prove that if t 11 and mon G) t, then G can be edge-decomposed into at most tn/ rainbow matchings. This result is sharp and improves a result of LeSaulnier and West. Keywords: edge coloring, rainbow, matching 010 MSC: 05C15, 05C70 1. Introduction Let G be a simple graph, that is, it has no loops or multi-edges. We write VG) for the vertex set of G and δg) for the minimum degree of G. An edgecoloured graph isagraphin whicheach edgeis assigneda colour. We saythat an edge-coloured graph G is proper if no two adjacent edges have the same colour. AsubgraphH ofgisrainbow ifallitsedgeshavedistinct colours. Rainbowsubgraphs are also called totally multicoloured, polychromatic, or heterochromatic subgraphs. In this paper, we are interested in rainbow matchings in edge-coloured graphs. The study of rainbow matchings began with a conjecture of Ryser [10], which states that every Latin square of odd order contains a Latin transversal. Equivalently, for n odd, every properly n-edge-colouring of K n,n, the complete address: s.a.lo@bham.ac.uk Allan Lo) 1 The research leading to these results was supported by the European Research Council under the ERC Grant Agreement no Preprint submitted to Elsevier June 11, 015

2 bipartite graph with n vertices on each part, contains a rainbow copy of a perfect matching. In a more general setting, given a graph H, we wish to know if an edge-coloured graph G contains a rainbow copy of H. A survey on rainbow matchings and other rainbow subgraphs in edge-coloured graphs can be found in [3]. For a vertex v of an edge-coloured graph G, the colour degree, d c v), of v is the number of distinct colours on the edges incident with v. The smallest colour degree of all vertices in G is the minimum colour degree of G and is denoted by δ c G). Note that a properly edge-coloured graph G with δg) k has δ c G) k. Li and Wang [8] showed that if δ c G) = k, then G contains a rainbow matching of size 5k 3)/1. They further conjectured that if k 4, then G contains a rainbow matching of size k/. LeSaulnier et al. [6] proved that if δ c G) = k, then G contains a rainbow matching of size k/. The conjecture was later proved in full by Kostochka and Yancey [5]. Wang [11] asked does there exist a function fk) such that every properly edge-coloured graph G on n fk) vertices with δg) k contains a rainbow matching of size at least k. Diemunsch et al. [1] showed that such function does exist and fk) 98k/3. Gyárfás and Sarkozy [] improved the result to fk) 4k 3. Independently, Tan and the author [9] showed that fk) 4k 4 for k 4. Kostochka, Pfender and Yancey [4] showed that every not necessarily properly) edge-colouredg on n 17k /4 vertices with δ c G) k containsarainbow matching of size k. Tan and the author [9] improved the bound to n 4k 4 for k 4. In this paper we show that n 7k/+ is sufficient. Theorem 1.1. Every edge-coloured graph G on n 7k/ + vertices with δ c G) k contains a rainbow matching of size k. Moreover if G is bipartite, then we further improve the bound to n 3+ ε)k +ε. Theorem 1.. Let 0 < ε 1/ and k N. Every edge-coloured bipartite graph G on n 3+ε)k +ε vertices with δ c G) k contains a rainbow matching of size k. We also consider covering an edge-coloured graph G by rainbow matchings. Given an edge-coloured graph G, let mon G) be the largest maximum degree of monochromatic subgraphs of G. LeSaulnier and West [7] showed that every edge-coloured graph G on n vertices with mon G) t has an edgedecomposition into at most t1+t)nlnn rainbow matchings. We show that G can be edge-decomposed into tn/ rainbow matchings provided t 11. Theorem 1.3. For all t 11, every edge-coloured graph G on n vertices with mon G) t can be edge-decomposed into tn/ rainbow matchings. Note that the bound is best possible by considering edge-coloured graphs, where one colour class induces a t-regular graph. Theorems 1.1 and 1. are proved in Section. Theorem 1.3 is proved in Section 3.

3 . Existence of rainbow matchings We write [k] for {1,,...,k}. Let G be a graph with an edge-colouring c. We denote by cg) the set of colours in G. We write G for VG). Given W VG), G[W] is the induced subgraph of G on W. All colour sets are assumed to be finite. Before proving Theorems 1.1 and 1., we consider the following weaker) question. Suppose that G is an edge-coloured graph and contains a rainbow matching M of size k 1. Under what colour degree and G conditions can we extend M into a matching of size k with at least k 1 colours? We formalise the question below. Let G be a family of graphs closed under vertex/edge deletions. Define γg) to be the smallest constant γ such that, whenever k N, G G is a graph with G γk and an edge-colouring c on G, the following holds. If for any rainbow matching M of size k 1 in G, we have d c z) k for all z VG) \ VM), then G contains a rainbow matching M of size k 1 and a disjoint edge. Note that the colour of the disjoint edge may appear in M.) Clearly, γg) for any family G of graphs. It is easy to see that equality holds if G is the family of bipartite graphs. Proposition.1. Let G be the family of bipartite graphs. Then γg) =. Proof. Let G be a bipartite graph on at least k vertices. Suppose that M is a rainbow matching of size k 1 and that d c z) k for all z VG) \VM). Since G is bipartite, there exists an edge vertex-disjoint from M and so the proposition follows. If G is the family of all graphs, we will show that γg) 3. Lemma.. Let G be a graph with at least 3k 1)+1 vertices. Suppose that M is a rainbow matching of size k 1 and that d c z) k for all z VG)\VM). Then G contains a rainbow matching M of size k 1 and a disjoint edge. Proof. Let x 1 y 1,...,x k 1 y k 1 be the edges of M with cx i y i ) = i. Let W = VG) \ VM). We may assume that G[W] is empty or else the lemma holds easily. Suppose the lemma does not hold for G. By relabeling the indices of i and swappingthe rolesofx i and y i ifnecessary, we will showthat thereexist distinct vertices z 1,..., z k 1 in W such that for each 1 i k 1, the following holds: a i ) y i z i is an edge and cy i z i ) / [i]. b i ) Let T i be the vertex set {x j,y j,z j : i j k 1}. For any colour j, there exists a rainbow matching M i j of size k i on T i such that cm i j ) [i 1] {j }) =. c i ) LetW i = W\{z i,z i+1,...,z k 1 }. Forallw W i, Nw) T i {y i,...,y k 1 }. LetW k = W andt k =. Supposethatwehavealreadyfoundz k 1,z k,...,z i+1. We find z i as follows. 3

4 Note that W i+1 n k 1) k i 1) 1, so W i+1. Let z be a vertex in W i+1. By the colour degree condition, z must incident to at least k edges of distinct colours, and in particular, at least k i distinct coloured edges not using colours in [i]. By c i+1 ), z sends at most k i 1 edges to T i+1. So there exists a vertex u VM) \ T i+1 = {x j,y j : 1 j i} such that uz is an edge with cuz) / [i]. Without loss of generality, u = y i and we set z i = z. Clearly a i ) holds. We now show that b i ) holds for any colour j. If j i, then by b i+1 ), there is a rainbow matching M i+1 j of size k i 1 on T i+1 such that cm i+1 j ) [i] {j }) =. Set M i j = Mi+1 j x iy i. So Mj i is a rainbow matching on T i of size k i and moreover cmj i ) [i 1] {j }) = as required. If j = i, then by b i+1 ), there is a rainbow matching M i+1 cy of size k i 1 on T iz i) i+1 such that cm i+1 cy iz i) ) [i] {cy iz i )}) =. Set M i i = Mi+1 cy iz i) y iz i. Note that M i i is the desired rainbow matching. Let wt be an edge with w W i and t T i. Since G[W] is empty, t / {z i,z i+1,...,z k 1 }. By c i+1 ), t / {x i+1,x i+,...,x k 1 }. Suppose that t = x i. By b i+1 ), there exists a rainbow matching M i+1 cy iz i) of size k i 1 on T i+1 such that cm i+1 cy iz i) ) [i] {cy iz i )}) =. Let M be the matching {x j y j : j [i 1]} M i+1 cy iz i) {y iz i }. Note that M is a rainbow matching of size k 1 vertex-disjoint from the edge wx i. This contradicts the fact that G is a counterexample. Hence we have t {y i,y i+1,...,y k 1 } implying c i ). Therefore we have found z 1,...,z k 1. Let w W 1. Recall the G[W] =, so Nw) {y 1,...,y k 1 } by c 1 ), which implies that d c w) dw) k 1, a contradiction. Corollary.3. Every family G of graphs satisfies γg) 3. For colour sets C and integers l, we now define a C,l)-adapter below, which will be crucial in the proof of Lemma.5. Roughly speaking a C,l)-adapter is a vertex subset W that contains a rainbow matching M with cm) = C even after removing a vertex in W. Given l N and a set C of colours, a vertex subset W VG) is said to be a C, l)-adapter if there exist not necessarily edge-disjoint) rainbow matchings M 1,...,M l in G[W] such that cm i ) = C for all i [l], and given any w W, there exists i [l] such that w / VM i ). We write C-adapter for C, C +1)- adapter. Note that a C,l)-adapter is also a C,l )-adapter for all l l. The following proposition studies some basic properties of C, l)-adapters. Proposition.4. Let G be a graph with an edge-colouring c. i) Let C = {c 1,...,c l } be a set of distinct colours. Let W = {x i,y i,z i,w : i [l]} be a vertex set such that cx i y i ) = c i = cz i w) for all i [l]. Then W is a C-adapter. ii) Let l 1,...,l p N and let C 1,...,C p be pairwise disjoint colour sets. Suppose that W j is a C j,l j )-adapter for all j [p] and that W 1,...,W p are pairwise disjoint. Then p j=1 W j is a p j=1 C j,max j [p] {l j })-adapter. 4

5 iii) Let C be a colour set. Suppose that W is a C,l)-adapter. Suppose that x,y,z VG) \ W and w W such that xy,zw EG) and cxy) = czw) / C. Then W {x,y,z} is a C {cxy)},l+1)-adapter. Proof. To prove i), we simply set M i = {x j y j : j [l] \ {i}} {wz i } for all i [l] and M l+1 = {x j y j : j [l]}. ii) Let l = max{l j : j [p]}. Note that each W j is a C j,l)-adapter. For j [p], let M j 1,...,Mj l be rainbow matchings in G[W j] such that cm j i ) = C j for all i [l], and given any w W j, there exists i [l] such that w / VM j i ). Set M i = p j=1 Mj i. So ii) holds. iii) Let M 1,...,M l be rainbow matchings in G[W] such that cm i ) = C for all i [l], and given any w W, there exists i [l] such that w / VM i ). Without loss of generality we have w / VM 1 ). Now set M i = M i {xy} for all i [l] and M l+1 = M 1 {wz}. Hence, W {x,y,z} is a C {cxy)},l+1)- adapter. We prove the following lemma. The main idea of the proof is to consider C,l)-adapters in G with l maximal. Lemma.5. Let k N and let < γ 3. Let G be a family of graphs closed under vertex/edge deletion with γg) γ. Suppose that G G with G + γ ) k + 4 γ) γ ) 3+γ and that G contains a rainbow matching of size k 1. Further suppose that for all rainbow matchings M of size k 1 in G, we have d c v) k for all v VG)\VM). Then G contains a rainbow matching of size k. Proof. We proceed by induction on k. It is trivial for k = 1, so we may assume that k. Let p N {0} and let l 1,...,l p N with l 1... l p and p i=1 l i k 1. Let P = {W 1,...,W p,u} be a vertex partition of VG). We say that P has parameters l 1,l,...,l p ) if a) there exist p pairwise disjoint colour sets C 1,...,C p such that C i = l i for all i [p]; b) W i is a C i -adapter and W i = 3l i +1 for all i [p]; c) there exists a rainbow matching M U of size k 1 p i=1 l i in G[U] with cm U ) C i = for all i [p]; d) U \VM U ). Since G contains a rainbow matching M of size k 1, such a vertex partition existsp = 0andU = VG) say). We nowassumethat P ischosensuchthat the string l 1,...,l p ) is lexicographically maximal. Here, we view a 1,a,...,a p ) as a 1,a,...,a p,0,...,0), e.g. 3,,) 4,1) 4,1,1).) Let C 1,...,C p be the sets of colours guaranteed by a) c). Set W = W 1... W p and C = p i=1 C i. Let l 0 = k 1 p i=1 l i. By b) and 5

6 Proposition.4ii), W is a C,l 1 +1)-adapter. The following claim gives some useful properties of the rainbow matchings in G[U] and G \ W. This will be needed to finish the proof of the lemma. Claim.6. i) Let M U be arainbow matching of size l 0 in G[U] with cm U ) C =. If U l 0 + and there is an edge wz EG) with w W and z U \VM U ), then we have cwz) C. ii) Let M be a rainbow matching of size k 1 l 1 in G\W with cm ) C 1 =. If wx EG) with w W 1 and x VG)\W 1 VM )), then cwx) C 1. Proof of Claim. Suppose that i) is false. There exists an edge wz EG) such that cwz) / C, w W i for some i [p] and z U \ VM U ). Note that there exists a rainbow matching M W in G[W \w] such that cm W ) = C since W is a C-adapter. If cwz) / C cm U ), then M U M W {wz} is a rainbow matching of size k, so we are done. If cwz) cm U ), then let xy be the edge in M U such that cxy) = cwz). Set W i = W i {x,y,z}, W j = W j for all j [p] \ {i} and U = U \ {x,y,z}. Let l i = l i + 1 and let l j = l j for all j [p] \ {i}. Set C i = C i {cxy)} and C j = C j for all j [p] \{i}. By Proposition.4iii), W j is a C j-adapter for all j [p]. Note that M U = M U xy is a rainbowmatching in G[U ] with cm U ) C j = forall j [p]. Also U \VM U ) = U \VM U ) {z}). By relabelling the sets W j and C j if necessary, we deduce that the vertex partition P = {W 1,...,W p,u } has parameters l 1,...,l p ) > l 1,...,l p ), which contradicts the maximality of P. Hence i) holds. A similar argument proves ii). Suppose that U > γl 0 + 1), so U l Let H be the resulting subgraph of G[U] obtained after removing all edges of colours in C. Let M U be a rainbow matching in H of size l 0 with cm U ) C =, which exists by c). By Claim.6i), we have for all z VH)\VM U ), d c H z) k C = l 0+1. Since γg) γ, H contains a rainbow matching M 0 of size l 0 and a disjoint edge e. If ce) = cxy) for some xy M 0, then set W p+1 = Ve) {x,y}, C p+1 = {cxy)}, and U = U \Ve) {x,y}). Observe that W p+1 is a C p+1 -adapter by Proposition.4i). Note that M 0 xy is a rainbow matching of size l 0 1 in G[U ] with cm 0 ) j [p+1] C j = and U \VM 0 ) = U l 0 1. Hence the vertex partition P = {W 1,...,W p+1,u } has parameters l 1,...,l p,1), contradicting the maximality of P. If ce) / cm 0 ), then M 0 e is a rainbow matching with cm 0 e) C =. Together with b), G contains a rainbow matching of size k with colours cm 0 e) C, so we are done. Therefore we may assume that U γl 0 +1). 1) Since < γ 3 and l 0 k 1, by the assumptions of Lemma.5, we have G > +γ/)k > γk U. Therefore, W and l

7 Next, suppose that γ )l 1, so W 1 = 3l γ/)l 1. Let H 1 be the subgraph of G obtained by removing all vertices of W 1 and all edges of colours in C 1. By the assumptions of Lemma.5, we then have H 1 = G W 1 + γ ) k l 1 )+ 4 γ) γ ) 3+γ. By b) and c), H 1 contains a rainbow matching M of size k 1 l 1. By Claim.6ii), cwx) C 1 for all w W 1 and x VH 1 ) \ VM ). Hence, d c H 1 z) k C 1 = k l 1 for all z VH 1 )\VM ). Note that this statement also holds for any rainbow matchings M of size k 1 l 1 in H 1. Hence H 1 satisfies the hypothesis of the lemma with k = k l 1. By the induction hypothesis, H 1 contains a rainbow matching M of size k l 1. By b), there exists a rainbow matching M 1 of size l 1 in G[W 1 ] such that cm 1 ) = C 1. Since cm 1 ) cm ) C 1 ch 1 ) =, M 1 M is a rainbow matching of size k as required. Therefore we may assume that γ )l 1 <. ) Recall that W is a C,l 1 + 1)-adapter. So there exist rainbow matchings M 1, M,..., M l 1+1 such that cm i ) = C for all i [l 1 +1] and W = W \VMi )). 3) l 1+1 i=1 Let M U be a rainbow matching of size l 0 in G[U] with cm U ) C = which exists by c)). By d), there exists z U \VM U ). Note that z sends at least d c z) VM U ) k l 0 edges of distinct colours to VG)\VM U ). Let q = k l 0 )/l 1 +1). By 3) and an averaging argument, there exists i [l 1 +1] such that there exist vertices x 1,...,x q VG)\VM U Mi ) such that czx j) is distinct for each j [q]. By Claim.6i), we have czx j ) C = cmi ) for all j [q]. Let e 1,...,e q be edges of Mi such that ce j) = czx j ) for all j [q]. Set W = j [q] Ve j) {x j,z}) and C = {ce j ) : j [q]}. By Proposition.4i), W is a C -adapter. Set U = VG)\W and M U = Mi M U)\W. Note that VM U ) U and M U is arainbowmatching ofsize k 1 q with cm U ) C =. Therefore, the vertex partition P = {W,U } has parameter q). By the maximality of P, we have l 1 q k l 0 )/l 1 +1) and so l 0 k l 1 l 1 +1))/. 4) Recall that W i = 3l i +1 4l i for all i [p], that p i=1 l i +l 0 = k 1, and 7

8 that < γ 3. Finally, we have G = W 1 + p i= W i + U 1) 3l p l i +γl 0 +1) i= = 3l k 1 l 1 ) 4 γ)l 0 +γ 4) 4k 3 l 1 4 γ)k l 1l 1 +1)) = < + γ ) k 3 l γ)l 1l 1 +1) + γ ) k + 4 γ)l 1 3+γ ) < +γ +γ a contradiction. This completes the proof of the lemma. We are now ready to prove Theorems 1.1 and γ ) k + 4 γ) γ ) 3+γ, Proof of Theorems 1.1 and 1.. We first prove Theorem 1.1 by induction on k. Let G be an edge-coloured graph on n 7k/ + vertices with δ c G) k. This is trivial for k = 1 and so we may assume that k. By the induction hypothesis G contains a rainbow matching of size k 1. Since δ c G) k, Corollary.3 implies that G satisfies the hypothesis of Lemma.5 with γ = 3. Therefore, G contains a rainbow matching of size k as required. To prove Theorem 1., first note that by Proposition.1, γg ) =, where G is the family of all bipartite graphs. Also, for γ = +ε, we have + γ ) k + 4 γ) ε) 3+γ = 3+ε)k + γ ) 4ε 1+ε 3+ε)k +ε. Therefore, Theorem 1. follows from a similar argument used in the preceding paragraph, where we take γ = + ε and G to be the family of all bipartite graphs in the application of Lemma.5. We would like to point out that an improvement of Corollary.3 would lead to an improvement of Theorem 1.1. However, we believe that new ideas are needed to prove the case when k < G < 3k. 3. Existence of rainbow matching covers Proof of Theorem 1.3. By colouring every missing edge in G with a new colour, we may assume that G is an edge-coloured complete graph on n vertices with mon G) = t and colours {1,,...,p}. For i p, let G i be the subgraph of G induced by the edges of colour i. Without loss of generality, we may assume that eg 1 ) eg ) eg p ). For1 i p,supposethatwehavealreadyfoundasetm = {M 1,...,M tn/ } ofedge-disjointpossiblelyempty)rainbowmatchingssuchthat 1 j tn/ M j = 8

9 j <i EGj ). We now assign edges of G i to these matchings so that the resulting rainbow matchings M 1,...,M tn/ contain all edges of G1 G i. Define an auxiliary bipartite graph H as follows. The vertex classes of H are EG i ) and M. An edge f EG i ) is joined to a rainbow matching M j M if and only if f is vertex-disjoint from M j. If H contains a matching of size eg i ), then we assign f EG i ) to M j M according to the matching in H. Thus we have obtained the desired rainbow matchings M 1,...,M tn/. Therefore, to prove the theorem, it is sufficient to show that H satisfies Hall s conditions. Let f EG i ). Since f is incident to n ) edges in G, f is incident to at most n ) matchings M j M. Thus, N H f) M n ) t 4)n/. 5) We divide the proof into two cases depending on the value of i. Case 1: i t 4)n 4t+1). Let S EGi ) with S. Note that each M j M has size at mosti 1. IfS containsamatching ofsize i 1, then foreverym j M, there exists an edge f S vertex-disjoint from M j. Thus, N H S) = M and so N H S) = tn/ eg i ) S. Therefore, we may assume that S does not contain a matching of size i 1. By Vizing s theorem, S i 1) G i ) +1) i 1)t +1). By 5) and the assumption on i, we have N H S) t 4)n/ i 1)t+1) S. Therefore, Hall s condition holds for this case. Case : i > t 4)n 4t+1). Since eg1 ) eg ) eg p ), we have eg i ) ) /i < t+1)n/t 4). Let S EG i ) with S. By 5) and the fact that n t 11, we have N H S) t 4)n/ t+1)n/t 4) > eg i ) S. Therefore, Hall s condition also holds for this case. This completes the proof of the theorem. Acknowledgements The author would like to thank the referees for their helpful suggestions. References [1] J. Diemunsch, M. Ferrara, A. Lo, C. Moffatt, F. Pfender, and P. S. Wenger, Rainbow matching of size δg) in properly-colored graphs, Electronic Journal of Combinatorics 19 01), #P5. [] A. Gyárfás and G. N. Sarkozy, Rainbow matchings and cycle-free partial transversals of Latin squares, Discrete Mathematics ),

10 [3] M. Kano and X. Li, Monochromatic and heterochromatic subgraphs in edgecolored graphs a survey, Graphs Combin ), [4] A. Kostochka and M. Yancey, Large rainbow matchings in edge-coloured graphs, Combinatorics, Probability and Computing 1 01), [5] A. Kostochka, F. Pfender and M. Yancey, Large rainbow matchings in large graphs, arxiv: [6] T. D. LeSaulnier, C. Stocker, P. S. Wenger, and D. B. West, Rainbow matching in edge-colored graphs, Electronic Journal of Combinatorics ), #N6. [7] T. D. LeSaulnier and D. B. West, Rainbow edge-coloring and rainbow domination, Discrete Mathematics ), [8] H. Li and G. Wang, Heterochromatic matchings in edge-colored graphs, Electronic Journal of Combinatorics ), #R138. [9] A. Lo and T. S. Tan, A note on large rainbow matchings in edge-coloured graphs, Graphs and Combinatorics ), [10] H. J. Ryser, Neuere probleme der kombinatorik, Vortrage über Kombinatorik Oberwolfach, Mathematisches Forschungsinstitut Oberwolfach 1967), 4 9. [11] G. Wang, Rainbow matchings in properly edge colored graphs, Electronic Journal of Combinatorics ), #P16. 10