Asymptotc multpartte verson of the Alon-Yuster theorem Ryan R. Martn a,1, Jozef Soan b arxv:1307.5897v1 [math.co] 22 Jul 2013 a Department of Mathematcs, Iowa State Unversty, Ames, Iowa 50011 b Department of Mathematcs, London School of Economcs, London, WC2A 2AE, UK and Department of Mathematcs, Unversty of Illnos, 1409 W. Green Street, Urbana, IL 61801 Abstract In ths paper, we prove the asymptotc multpartte verson of the Alon-Yuster theorem, whch s a generalzaton of the Hajnal-Szemeréd theorem: If 3 s an nteger, H s a -colorable graph and γ > 0 s fxed, then, for every suffcently large n and for every balanced -partte graph G on n vertces wth each of ts correspondng ( 2) bpartte subgraphs havng mnmum degree at least ( 1)n/ + γn, G has a subgraph consstng of n/ V (H) vertexdsjont copes of H. The proof uses the Regularty method together wth lnear programmng. Keywords: tlng, Hajnal-Szemeréd, Alon-Yuster, multpartte, regularty, lnear programmng 2010 AMS Subject Classfcaton: 05C35, 05C70 1. Introducton 1.1. Motvaton One of the celebrated results of extremal graph theory s the theorem of Hajnal and Szemeréd on tlng smple graphs wth vertex-dsjont copes of a gven complete graph K on vertces. Let G be a smple graph wth vertex-set V (G) and edge-set E(G). We denote by deg G (v), or smply deg(v), the degree of a vertex v V (G) and we denote by δ(g) the mnmum degree of the graph G. For a graph H, we say that G has a perfect H-tlng (also a perfect H-factor or perfect H-pacng) f there s a subgraph of G that conssts of V (G) / V (H) vertex-dsjont copes of H. The theorem of Hajnal and Szemeréd can be then stated n the followng way: Emal addresses: rymartn@astate.edu (Ryan R. Martn), j.soan@lse.ac.u (Jozef Soan) 1 Ths author s research partally supported by NSF grant DMS-0901008, NSA grant H982320-13-1-0226 and by an Iowa State Unversty Faculty Professonal Development grant.
Theorem 1 (Hajnal, Szemeréd [12]). If G s a graph on n vertces and δ(g) ( 1)n/, then G has a perfect K -tlng. The case of = 3 was frst proven by Corrád and Hajnal [6] before the general case. The orgnal proof n [12] was relatvely long and ntrcate. A shorter proof was provded later by Kerstead and Kostocha [18]. The queston of fndng a mnmum-degree condton for the exstence of a perfect H-tlng n the case when H s not a clque and n obeys some dvsblty condtons was frst consdered by Alon and Yuster [2]: Theorem 2 (Alon, Yuster [2]). Let H be a graph wth chromatc number and let γ > 0. If n s large enough and G s a graph on n vertces wth δ(g) ( 1)n/ + γn, then G has a perfect H-tlng. Komlós, Sárözy and Szemeréd [22] removed the γn term from the mnmum degree condton and replaced t wth a constant that depends only on H. Kühn and Osthus [25] determned that (1 1/χ (H)) n + C was the necessary mnmum degree to guarantee an H-tlng n an n-vertex graph for n suffcently large, and they also showed that ths was best possble asymptotcally. The constant C = C(H) depends only on H and χ s an nvarant related to the so-called crtcal chromatc number of H, whch was ntroduced by Komlós [20]. 1.2. Bacground In ths paper, we consder the multpartte varant of Theorem 2. Before we can state the problem, we need several a few defntons. A -partte graph G = (V 1,..., V ; E) s balanced f V 1 = = V. The natural bpartte subgraphs of G are those nduced by the pars (V, V j ), and whch we denote by G[V, V j ]. For a -partte graph G = (V 1,..., V ; E), we defne the mnmum bpartte degree, ˆδ (G), to be the smallest mnmum degree among all of the natural bpartte subgraphs of G, that s, ˆδ (G) = mn δ(g[v, V j ]). 1 <j Now we can state the conjecture that nspred ths wor, a slghtly weaer verson of whch appeared n [7]. Conjecture 3. Fx an nteger 3. If G s a balanced -partte graph on n vertces such that ˆδ(G) ( 1)n/, then ether G has a perfect K -tlng or both and n/ are odd ntegers and G s somorphc to the fxed graph Γ (n). The exceptonal graphs Γ (n), where n s an nteger dvsble by, are due to Catln [4] who called them type 2 graphs. The graph Γ () has vertex set {h j :, j {1,..., }} and h j s adjacent to h j f and ether j = j { 1, } or j j and at least one of j, j s n {1,..., 2}. For n dvsble by, we obtan the graph Γ (n) by replacng each vertex wth an ndependent set of n/ vertces and each edge wth a copy of the complete bpartte graph K n/,n/. 2
We notce that f G satsfes the mnmum bpartte degree condton n Conjecture 3, then ts mnmum degree δ(g) can stll be as small as ( 1) ( ) 1 n = ( 1 ) 2 (n), whch s not enough to apply Theorem 1 drectly. The case of = 2 of Conjecture 3 s an mmedate corollary of the classcal matchng theorem due to Köng [24] and Hall [13]. Fscher [9] observed that f G s a balanced -partte graph on n vertces wth ˆδ(G) (1 1/2( 1)) n, then G has a perfect K -tlng. If there were necessary and suffcent condtons, à la Hall s condton for = 2, that we could use to determne whether a trpartte graph has a K 3 -tlng, then P would equal co-np (see, e.g. [10]). Hence, fndng such condtons s unlely. Consequently, we loo for the smallest ˆδ(G) that would guarantee a perfect K -tlng. Some partal results were obtaned, for = 3, by Johansson [15] and, for = 3, 4, by Fscher [9]. The case of = 3 was settled for n suffcently large by Magyar and the frst author [27], and the case of = 4 was settled for n suffcently large by Szemeréd and the frst author [28]. The results n [27, 28] each have as a ey lemma a varaton of the results from Fscher. However, t seems that such technques are mpossble for 5. An nterestng result toward provng Conjecture 3 for general s due to Csaba and Mydlarz [7] who proved that f G s a balanced -partte graph on n vertces, ˆδ(G) q q +1 n and n s large enough, then G has a perfect K -tlng. Here, q := 3 2 + 1 1 2 = + O(log ). Recently, Keevash and Mycroft [16] proved that, for any γ > 0, f n s large enough, then ˆδ(G) ( 1)n/ + γn guarantees a perfect K -tlng n a balanced -partte graph G on n vertces. Ther result s a consequence of a more general theorem on hypergraph matchng, proof of whch uses the hypergraph regularty method and a hypergraph verson of the Blow-up Lemma. Very shortly thereafter, Lo and Marström [26] proved the same result usng methods from lnear programmng and the so-called absorbng method. Ths effort culmnated n [17], n whch Keevash and Mycroft proved Conjecture 3. In ths paper, we are nterested n more general problem of tlng -partte balanced graphs by a fxed -colorable graph H. More precsely, f H s a - colorable graph and n obeys certan natural dvsblty condtons, we loo for a condton on ˆδ(G) to ensure that every balanced -partte graph G on n vertces satsfyng ths condton has a perfect H-tlng. Zhao [34] found that the mnmum degree requred to perfectly tle a balanced bpartte graph on 2n vertces wth copes of K h,h (h dvdes n) s n/2 + C(h), where C(h) dffers sharply as to whether n/h s odd or even. Zhao and the frst author [29, 30] showed smlar results for tlng wth K h,h,h. Hladý and Schacht [14] and then Czygrnow and DeBaso [8] mproved the results of [34] by fndng the mnmum degree for copes of K s,t, where s + t dvdes n. Bush and Zhao [3] proved a Kühn-Osthus-type result by fndng asymptotcally bestpossble mnmum degree condton n a balanced bpartte graph on 2n vertces n order to ensure ts perfect H-tlng, for any bpartte H. All results are for n suffcently large. =1 3
1.3. Man Result We prove a multpartte verson of the Alon-Yuster theorem (Theorem 2). Let Kh denote a -partte graph wth h vertces n each partte set. For example, the complete bpartte graph K h,h would be denoted Kh 2. Snce the partte sets can be rotated, t s easy to see that any -chromatc graph H of order h perfectly tles the graph Kh. Hence, the followng theorem gves a suffcent condton for a perfect H-tlng. Theorem 4. Fx an nteger 2, an nteger h 1 and γ (0, 1). There exsts an n 4 = n 4 (, h, γ) such that f G s a balanced -partte graph on n vertces wth ˆδ(G) ( 1 + γ ) n and n n 4, then G has a perfect Kh -tlng. Our proof reles on the regularty method for graphs and lnear programmng and t dffers from approaches n [16, 26]. 1.4. Structure of the Paper In Secton 2, we prove a fractonal verson of the multpartte Hajnal-Szemeréd theorem. Ths s the man tool n provng Theorem 4. Secton 3 s the man proof and Secton 4 gves the proofs of the supportng lemmas. We fnsh wth Secton 5, whch has some concludng remars. 2. Lnear Programmng In ths secton, we shall prove a fractonal verson of Conjecture 3. Defnton 5. For any graph G, let T (G) denote the set of all copes of K n G. The fractonal K -tlng number τ (G) s defned as: τ (G) = max w(t ) (1) s.t. T T (G) T T (G) V (T ) v w(t ) 1, w(t ) 0, v V (G), T T (G). From the Dualty Theorem of lnear programmng (see Secton 7.4 n [31]), we obtan that τ (G) = mn x(v) (2) s.t. v V (G) v V (T ) x(v) 1, x(v) 0, T T (G), v V (G). Let w be a functon that acheves an optmal soluton to (1). If there exsts a vertex v V (G) such that T T (G),V (T ) v w (T ) < 1, then we call v a 4
slac vertex or just say that v s slac. Smlarly, f x s a functon that acheves an optmal soluton to (2) and there exsts a T T (G) such that v V (G),v v(t ) x (v) > 1, then we say that T s slac. Remar 6. Consder an optmal soluton to (1), call t w. We may assume that w (T ) s ratonal for each T T (G). To see ths, observe that the set of feasble solutons s a polyhedron for whch each vertex s the soluton to a system of equatons that result from settng a subset of the constrants of the program (1) to equalty. (For more detals, see Theorem 18.1 n [5].) Snce the objectve functon acheves ts maxmum at such a vertex (See Secton 3.2 of [11].) we may choose an optmal soluton w (T ) wth ratonal entres. Now we can state and prove a fractonal verson of the multpartte Hajnal- Szemeréd Theorem. Theorem 7. Let 2. If G s a balanced -partte graph on n vertces such that ˆδ (G) ( 1)n/, then τ (G) = n. Proof. Settng x(v) = 1/ for all vertces v V (G) gves a feasble soluton x to (2), and so τ (G) x(v) = n. We establsh that τ (G) n by nducton on. v V (G) Base Case. = 2. Ths case follows from the fact that Hall s matchng condton mples that a balanced bpartte graph on 2n vertces wth mnmum degree at least n/2 has a perfect matchng. Settng w(e) equal to 1 f edge e s n the matchng and equal to 0 otherwse, gves a feasble soluton to (1), thus establshng that τ (G) n. Inducton step. 3. Now we assume 3 and suppose, for any balanced ( 1)-partte graph G on a total of ( 1)n vertces wth ˆδ 1 (G ) 2 1 n, that τ (G) n. Let w be an optmal soluton to (1). Let x be an optmal soluton correspondng to (2) such that x (z) = 0 whenever vertex z s slac. Denote by S the set of slac vertces, and, for [], set S = S V. We may assume that every S s non-empty. As n the base case, f V has no slac vertces, then τ (G) = n. Denote [] := {1,..., }. For every [], fx some z S, choose exactly n := 1 n neghbors of z n each V j, j [] {}, and denote by G the subgraph of G nduced on these ( 1)n neghbors. Observe that the set of weghts {x (v) : v V (G )} must be a feasble soluton to the mnmzaton problem (2) defned by the ( 1)-partte graph G. Ths s because every copy of K 1 n G extends to a copy of K n G contanng the vertex z and the sum of the weghts of the vertces on that K 1 must be at least 1. Hence, we have that x (v) τ 1 (G ). v V (G ) 5
Each vertex of G has at most n n neghbors outsde of V (G ) n each of ts classes. Thus, ˆδ(G ) n (n n ) = 2 ( ) 1 n + 1 n n 2 1 n. So, for every, we may apply the nductve hypothess to G and conclude that τ 1 (G ) = n. Combnng the prevous two observatons wth the fact that each vertex v s n at most 1 of the subgraphs G, we get ( 1)τ (G) = ( 1) n n. Ths concludes the proof of Theo- So, τ (G) rem 7. 1 n = v V (G) 1 x (v) 1 =1 v V (G ) x (v) τ 1(G ) = n. =1 3. Proof of Theorem 4 Frst, we wll have a sequence of constants and the notaton a b means that the constant b s suffcently small compared to a. We fx 2 and h 1 and let γ d ε ε = (ε ) 5 /16 ζ, (3) 3.1. Applyng the Regularty Lemma We are gong to use a varant of Szemeréd s Regularty Lemma. Before we can state t, we need a few basc defntons. For dsjont vertex sets A and B n some graph, let e(a, B) denote the number of edges wth one endpont n A and the other n B. Further, let the densty of the par (A, B) be d(a, B) = e(a, B)/ A B. The par (A, B) s ε-regular f X A, Y B, X ε A and Y ε B mply d(x, Y ) d(a, B) ε. We say that a par (A, B) s (ε, δ)-super-regular f X A, Y B, X ε A and Y ε B mply d(x, Y ) δ and deg B (a) δ B for all a A and deg A (b) δ A for all b B. The degree form of Szemeréd s Regularty Lemma (see, for nstance, [23]) s suffcent here, modfed for the multpartte settng. Theorem 8. For every nteger 2 and every ε > 0, there s an M = M(, ε) such that f G = (V 1,..., V ; E) s a balanced -partte graph on n vertces and d [0, 1] s any real number, then there s an nteger l, a subgraph G = (V 1,..., V ; E ) and, for = 1,...,, parttons of V nto clusters V (0), V (1),..., V (l) wth the followng propertes: (P1) l M, 6
(P2) V (0) εn for [l], (P3) V (j) = L εn for [] and j [l], (P4) deg G (v, V ) > deg G (v, V ) (d + ε)n for all v V,, and (P5) all pars (V (j), V (j ) ),, [],, j, j [l], are ε-regular n G, each wth densty ether 0 or exceedng d. We omt the proof of Theorem 8, whch follows from the proof gven n [33]. Gven a balanced -partte graph G on n vertces wth ˆδ(G) ( 1 + γ ) n, and gven d and ε, we construct the reduced graph, G r, on l vertces correspondng to the clusters V (j), 1, 1 j l, obtaned from Theorem 8. Each edge of G r corresponds to an ε-regular par wth densty at least d n G. Observe that G r s -partte and balanced. Lemma 9 shows that G r has a smlar mnmum-degree condton to that of G. Lemma ( 9. Let G be a balanced -partte graph G on n vertces wth ˆδ(G) 1 + γ ) n. Then, for the reduced graph G r defned as above, we have ˆδ(G r ) ( 1 + γ (( + 2)ε + d) ) l. Furthermore, f ( + 2)ε + d γ/2, then ( 1 ˆδ(G r ) ) + γ/2 l. The proof of Lemma 9 s mmedate (see [7]). 3.2. Parttonng the clusters We frst apply the fractonal verson of the -partte Hajnal-Szemeréd Theorem (Theorem 7) to G r and obtan that the value of τ (G r) s equal to l. Consder a correspondng optmal soluton w to the lnear program (1) as t s appled to G r. By Remar 6, we may fx a correspondng soluton w (T ) that s ratonal for every T T (G r ). We wll call ths w a ratonal-entry soluton for G r and denote by D(G r ) the common denomnator of all of the entres of w. Note that D(G r ) depends only on and l M(, ε). Snce the lnear program (1) depends only on G r and the number of such reduced graphs s only dependent on M(, ε), the number of possble lnear programs s only dependent only on and ε. For each possble lnear program we fx one ratonal-entry soluton. Therefore, the least common multple of all of the common denomnators D(G r ) for these reduced graphs s a functon only of and ε. Call t D = D(, ε). In sum, D has the property that for every reduced graph G r, there s a ratonalentry soluton w of the lnear program (1) such that D w (T ) s an nteger for every T T (G r ). The next step s to randomly partton each set V (j) nto D parts of sze h L/(Dh) and put the remanng L Dh L/(Dh) < Dh vertces nto the 7
correspondng leftover set, V (0). The resultng leftover set, Ṽ (0), has sze less than εn + Dhl < 2εn. Thus, for L = L/D, we obtan l clusters Ṽ (j), [], j [Dl], such that each of them has sze exactly L. Ths new partton has the followng propertes: (P1 ) l = Dl, (P2 ) Ṽ (0) 2εn for [], (P3 ) Ṽ (j) = L = L/D for [] and j [l ], (P4 ) deg G (v, V ) > deg G (v, V ) (d + ε)n for all, [],, v V and Now we prove that a property smlar to property (P5) holds. (P5 ) all pars (Ṽ (j), Ṽ (j ) ),, [],, j, j [l ] are ε -regular n G, each wth densty ether 0 or exceedng d := d ε. Recall from (3) that ε (ε ) 5 /16 and, consequently, ε (16ε) 1/5. The upcomng Lemma 10, a slght modfcaton of a smlar lemma by Csaba and Mydlarz [7], mples that, n fact, (P5 ) holds wth probablty gong to 1 as n. Lemma 10 (Random Slcng Lemma). Let 0 < d < 1/3, 0 < ε < d/4 and D be a postve nteger. There exsts a C 10 = C 10 (ε, D) > 0 such that the followng holds: Let (X, Y ) be an ε-regular par of densty d wth X = Y = L = DL. If X and Y are randomly parttoned nto sets A 1,..., A D, and B 1,..., B D, respectvely, each of sze L, then, wth probablty at least 1 exp{ C 10 L}, all pars (A, B j ) are (16ε) 1/5 -regular wth densty at least d ε. Consequently, wth probablty at least 1 ( 2) l 2 exp{ C 10 L}, the property (P5 ) holds. Snce l M = M(, ε) and L n(1 ε)/m, then for every suffcently large n, a partton satsfyng (P1 )-(P5 ) exsts (wth hgh probablty). We fx one such a partton. To understand ths new partton, we defne ts reduced graph G r wth vertex,..., u (l ) }. The vertex u (j) corresponds to the cluster Ṽ (j). The set =1 {u(1) vertces u (j) and u (j ) are adjacent n G r f and only f the par (Ṽ (j), Ṽ (j ) ) s ε -regular wth densty at least d. The graph G r clearly has the followng propertes: G r s -partte and balanced on l vertces. We denote ts partte sets U = {u(1),..., u (l ) }, []. ˆδ(G r) ( 1 + γ/2 ) l. The usefulness of G r s that t has a K -tlng, whch s derved from the fractonal K -tlng of G r : 8
Fact 11. The reduced graph G r has a perfect K -tlng. Proof of Fact 11. Observe frst that, n fact, G r s smply a blow-up of G r ; that s, each vertex v n V (G r ) s replaced wth a set U v of D vertces and each edge {v 1, v 2 } n G r s replaced wth a copy of K D,D wth partte sets U v1 and U v2. Let w be the prevously-chosen ratonal-valued soluton to the lnear program (1) as t s appled to G r. Consder some T T (G r ) wth vertces {v 1,..., v }. Observe that, by the defnton of D, Dw (T ) s an nteger. Then, we tae Dw (T ) of the vertces from U v1, Dw (T ) of the vertces from U v2 and so on. Ths process generates Dw (T ) vertex-dsjont copes of K n G r. By the constrant nequaltes n (1), the total number of vertces used from U v s Dw (T ) D = U v, T T (G r),v (T ) v hence the process never fals. The total number of vertex-dsjont K -s that are created n ths way s T T (G r) Dw (T ) = Dl = l. Ths uses each of the l vertces of G r. Snce G r has a perfect tlng, we may re-ndex ts vertces so that vertces of G r (hence, sub-clusters of G) wth the same upper-ndex are n the same copy of the tlng from Fact 11. More precsely, for j = 1,..., l, the -tuple (u (j) 1,..., u(j) ) forms a K n G r. We refer to the -tuples (Ṽ (j) 1,..., Ṽ (j) ) as columns.2 3.3. Mang the clques super-regular In preparaton for usng the Blow-up Lemma (Lemma 18 below), we need to mae each -tuple (Ṽ (j) 1,..., Ṽ (j) ), j {1,..., l } parwse super-regular by placng some vertces from the correspondng clusters nto the respectve leftover set. Ths s easy to do by a smple fact: Fact 12. Let ε > 0 and ε < d /(2( + 1)) let (A 1,..., A ) be a -tuple that s parwse ε -regular of densty at least d wth A 1 = = A = L. There exst subsets A A for [] such that A = h (1 ( 1)ε )L /h and each par of (A 1,..., A ) s (2ε, d ε )-super-regular (wth densty at least d ε ). Fact 12 follows from well-nown propertes of regular pars. We apply t to each -tuple (Ṽ (j) 1,..., Ṽ (j) ), j {1,..., l }. We do not rename the sets Ṽ (j) snce they only shrn n magntude only by ( 1)ε L. Consequently, the leftover sets Ṽ (0), 1, are of sze 2εn + ( 1)ε L l < ε n, 2 We vsualze the vertex sets V as beng horzontal, le rows n a matrx, so t s natural to thn of these -tuples as columns. 9
each par (Ṽ (j), Ṽ (j) ),, s (2ε, d /2)-super-regular, and each par (Ṽ (j), Ṽ (j ) ) s 2ε -regular wth densty ether 0 or at least d ε, regardless of whether or not j = j. If we use the Blow-up Lemma (Lemma 18) at ths pont, we would obtan a Kh -tlng that covers every vertex of G except those n the leftover sets. The remander of the proof s to establsh that we can, n fact, ensure that the leftover vertces can be absorbed by the clusters and we can obtan a Kh -tlng that covers all the vertces of G. 3.4. Preparng for absorpton In order to nsert the vertces from the leftover sets, we need to prepare some copes of Kh throughout G that may be ncluded n the fnal K h-tlng. Ther purpose s to ensure that, after vertex-nserton, the number of vertces n each of the clusters wll be balanced so that the Blow-up Lemma (Lemma 18) can be used. These copes of Kh wll be specally desgnated and colored ether red or blue accordng to ther role. The Reachablty Lemma (Lemma 13) s how we transfer the mbalance of the szes of one column to the frst column. Lemma 13 (Reachablty Lemma). Let G r be a balanced -partte graph wth partte sets U = {u(j) : j [l ]}, []. Let ˆδ(G r) 1 l + 2. Then, for each [] and j {2,..., l }, there s a par (T 1, T 2 ) of copes of K such that ther symmetrc dfference s {u (1), u (j) } and T 1 and T 2 contan no addtonal vertces from {u (1) 1,..., u(1), u(j) 1,..., u(j) }. Fgure 1: Dagram for T 1 and T 2 formed n reachng u (1) 1 from u (j) 1. Proof of Lemma 13. Wthout loss of generalty, t suffces to show that u (1) 1 can be reached from u (l ) 1. The vertces u (1) 1 and u (l ) 1 have at least l 2ˆδ(G r) 10
l 2 ( l 1 l 2 ) = ( ) 2 l + 4 common neghbors n each of U 2,..., U. Hence, one can choose a sequence w 2,..., w of vertces so that, for = 2,...,, w s n U {u(1), u (l ) } and s a common neghbor of u (1) 1, ) u(l 1, w 2,..., w 1. Note that at each stage, the number of avalable choces for w s at least ( ) ( 2 l + 4 ( 2) l 1 ) l 2 2 = l + 2 2. Ths quantty s postve snce and 2. In preparaton to nsert the vertces, we create a set of specal vertex-dsjont copes of Kh. Lemma 14. There exst dsjont sets X (j) Ṽ (1), [], j [l ], such that for every [], j [l ]: (1.) X (j) = 3hζn, and (2.) for every v X (j), there exst two vertex-dsjont copes of Kh, call them R(v) and B(v), such that (.) R(v) contans v, (.) R(v) contans h 1 vertces from Ṽ (j) and B(v) contans h vertces from Ṽ (j), and (.) for every, there exsts a j {1, j} such that both R(v) and B(v) each have h vertces from Ṽ (j ). Proof of Lemma 14. The proof wll proceed as follows: We wll have some arbtrary order on the pars {(, j) : [], j [l ] {1}} and dynamcally defne X = (V (R(v)) V (B(v))). (,j ) (,j) v X (j ) That s, X s the set of all vertces belongng to a R(v) or a B(v) for all (, j ) that precede the current (, j). We wll show that, for all v X (j) the vertex-dsjont R(v) and B(v) can be found among vertces not n X, as long as X ζ 1/2 L. Fx [] and j [l ]. Let (T 1, T 2 ) be a par of K -s n G r from Lemma 13 for these values of and j. Consder the subgraph F of G nduced on the clusters Ṽ (j ) such that ) u(j form V (T 2). Snce T 2 s a K n the reduced graph G r, every par of clusters n ths subgraph s ε -regular wth densty at least d. Snce X ζ 1/2 L, Ṽ (j ) X 1 2 Ṽ (j ) and t follows from the defnton of regularty that each par of clusters of F X s 2ε -regular wth densty at least d ε. By the Key Lemma (Lemma 2.1 from [23]), F X contans at least 3hζn vertex-dsjont copes of Kh as long as 3hζn ε L. Ths s satsfed because 3hζn (P2 ) 3hζ l L 1 2ε 4hζl L = 4hζlDL 4hζMDL (3) ε L. 11
In the above nequalty, we use the fact that ζ ε and that ε 1. Also, l = l D M D and M and D depend only on and ε ε. We refer to these 3hζn copes of Kh as blue copes of K h and we add ther vertces to X. In a smlar fashon, let F now be the graph nduced on the clusters Ṽ (j ) such that u (j ) s n V (T 1) V (T 2 ). The graph F X also satsfes the assumptons of the Key Lemma and therefore we can fnd 3hζn copes of Kh n such a way that each copy has one vertex n Ṽ (1) X and h 1 vertces n Ṽ (j) X. We refer to these 3hζn copes of Kh as red copes of K h and add ther vertces to X. For each red copy of Kh (1), we put ts unque vertex n V nto X (j) and call ths copy R(v). For each v X (j), let B(v) be a dstnct blue copy of Kh as found above. For ths process to wor, we need to ensure that X ζ 1/2 L at each step. Ths s true because each member of each X (j) corresponds to two Kh - s whch have a total of 2h vertces and, hence, X 2h j X (j) = 2h(l ) (3hζn) = 6h 2 2 l ζn ζ 1/2 L. We color the vertces of each R(v) red and the vertces of each B(v) blue. 3.5. Nearly-equalzng the szes of the clusters Let us summarze where we are: We have a desgnated frst column (we call the frst column the receptacle column and ts clusters receptacle clusters) wth each cluster of sze L and each cluster havng the same number of red vertces, whch s at most ζ 1/2 L. Each such red vertex s n a dfferent vertex-dsjont red copy of Kh. In the remanng columns, each cluster has L orgnal vertces, of whch at most ζ 1/2 L are colored red and at most ζ 1/2 L are colored blue. The total number of red vertces n each V s the same multple of h. Moreover, n every column, every par of clusters s (2ε, d /2)-super regular. Fnally, for each [], there s a leftover set, V (0), of sze at most ε n. We shall now re-dstrbute the vertces from leftover sets V (0), [], to nonreceptacle clusters n such a way that the sze of leftover sets becomes O(ζn) and each non-receptacle cluster wll contan exactly h (1 d /4) (L /h) nonred vertces. These two propertes wll be essental for our procedure for fndng perfect Kh -tlng to wor. We say that a vertex v belongs n the cluster Ṽ (j) f v V and v s adjacent to at least (d /2)L vertces n each of the other clusters Ṽ (j),, n the j-th column. Fact 15. For every [], we partton the leftover set Ṽ (0) Y (2),..., Y (l ) so that the members of Y (j) of vertces each cluster receves s no more than ε n (1/ + γ/2)l 2 ε L. belong n cluster Ṽ (j) nto subsets. The number 12
The number of red vertces n each cluster may vary, but t s always less than ζ 1/2 L. Hence, after applyng Fact 15, the number of non-red vertces n each cluster s n the nterval ( (1 ζ 1/2 )L, (1 + 2 ε )L ). Next, we wsh to remove copes of Kh n such a way that the number of non-red vertces n each non-receptacle cluster s the same and there are new leftover sets of sze O(ζn). Ths s accomplshed va Lemma 16. Lemma 16. For each [], there exst dsjont vertex sets n V such that the followng occurs: (0) (1) ˆV, ˆV,..., ˆV (l ) (0) ˆV 3hζn, (1) ˆV = Ṽ (1), has exactly 3hζn red vertces and exactly L vertces total, for j {2,..., l }, of Ṽ (j), for j {2,..., l }, and ˆV (j) ˆV (j) Ṽ (j) and the graph nduced by V (G ) =1 vertex-dsjont copes of Kh. ˆV (j) ( contans exactly h 1 d 4 l j=0 contans all red and blue vertces ˆV (j) ) L h non-red vertces, s spanned by the unon of Proof of Lemma 16. In ths proof, we wll remove some copes of Kh to thn the graph so that the clusters satsfy the condtons above. We shall do ths by tang the reduced graph G r and creatng an auxlary graph A r and then we apply Theorem 7 to A r. The resultng fractonal K -tlng n A r wll produce a famly of vertex-dsjont Kh -s n G that we shall remove. From Secton 3.2, recall that D = D(, ε) was the least common multple of a common denomnator of a ratonal-valued soluton to lnear program (1) over all balanced -partte graphs wth at most M = M(, ε) vertces. In a smlar way, we may defne D 0 = D 0 (, ε, ζ) to be the least common multple of the common denomnator of a ratonal-valued soluton to lnear program (1) over d all balanced -partte graphs wth at most 3hζ l 1 3hζ D(, ε)m(, ε) vertces n each class. Now we wll defne the auxlary reduced graph A r by blowng up the vertces and edges of the subgraph of G r nduced by V (G r) {u (1) 1, u(1) 2,..., u(1) }. The number of copes of each vertex, however, wll not be the same. For [] and j {2,..., l }, defne ν(u (j) ) to be the number of non-red vertces n cluster Ṽ (j). For V (A r ), replace each vertex u (j) wth the followng number of copes: ether the celng or the floor of ν(u (j) ) (1 d /4)L hd 0 ζl 1. /D 0 13
The choce of celng or floor s made arbtrarly, but only to ensure that the resultng graph s balanced. Ths s always possble because l j=2 ν(u(j) ) s the same for all []. For E(A r ), we replace each edge n G r by a complete bpartte graph and each nonedge by an empty bpartte graph. Frst, we need to chec that the number of vertces of A r s not too large. Snce (1 ζ 1/2 )L ν(u (j) ) (1+ 2 ε )L, the number of vertces n each partte set of A r s at most l ν(ṽ (j) ) (1 d /4)L hd j=2 0 ζl 1 /D 0 (1 + (l 2 ε )L (1 d /4)L 1) hζl 1 < (l 1) d /4 + 2 ε. (4) hζ Ths quantty s at most d 3ζ l because ζ ε d. Second, we need to chec that each vertex A r has suffcently large degrees n order to apply Theorem 7. We observe that f u were adjacent to u (j) n G r, then every copy of u n V (A r ) s adjacent to at least copes of u (j) [( 1 (1 ζ 1/2 )L (1 d /4)L hd 0 ζl /D 0 1 d /4 2ζ 1/2 hζ n V (A r ). So, each vertex n V (A r ) s adjacent to at least + γ 2 ) ] d l /4 2ζ 1/2 ( 1 1 (l 1) + γ ) d hζ 3 4hζ vertces n each of the other partte sets of V (A r ). By (4), every partte set of V (A r ) has sze at most (l 1) d /4+ 2 ε hζ. Usng (3), the proporton of neghbors of a vertex n V (A r ) n any other vertex class s at least (l 1) ( 1 + γ ) d 3 4hζ (l 1) d /4+ 2 ε hζ 1. So, we can apply Theorem 7 to the auxlary reduced graph A r and obtan an optmal soluton to lnear program (1) wth the property that D 0 w(t ) s an nteger for every T T (A r ). As n Fact 11, ths mples that the blow-up graph A r (D 0 ) must have a perfect K -tlng. For each K n ths tlng, we wll remove ζl /D 0 vertexdsjont copes of Kh from the uncolored vertces of the correspondng clusters 14
of G r. 3 So, the total number of vertces removed from cluster V (j) s hd 0 ζl ν(ṽ (j) ) (1 d /4)L /D 0 hd 0 ζl 1, /D 0 where s ether the floor or celng of ts argument. Removng these copes of Kh has the effect of mang the number of uncolored vertces n each cluster nearly dentcal, wthn hζl of each other, gnorng celngs. For [], place nto the new leftover set of V at most hd 0 ζl /D 0 1 uncolored vertces from each cluster to ensure that every cluster retans ether (1 d /4)L or (1 d /4)L + hd 0 ζl /D 0 uncolored vertces, dependng on whether the celng or floor functon was chosen for roundng. In the latter case, place an addtonal hd 0 ζl /D 0 uncolored vertces from the cluster to the leftover set. Summarzng: We removed at most 2hD 0 ζl /D 0 vertces from each cluster, so each new leftover set has a sze of at most l 2hD 0 ζl /D 0 3hζn. The sets Ṽ (1) ˆV (0) are unchanged. For j {2,..., l (j) }, ˆV Ṽ (j). s formed by removng uncolored vertces from For j {2,..., l }, the number of non-red vertces n prescrbed to be h (1 d /4) (L /h). ˆV (j) s explctly The vertces that are removed are all n vertex-dsjont copes of K h. 3.6. Insertng the leftover vertces and constrcuton of perfect K h -tlng We frst nsert the leftover vertces from =1 to non-receptacle clusters n such a way that we shall be able to fnd a perfect Kh -tlng n every column usng the Blow-up Lemma. That s, each cluster n the column wll have the same number of vertces (dvsble by h) and each par of clusters wll be superregular. ˆV (0) 3 It s easy to fnd such vertex-dsjont copes of Kh n a -tuple. Observe that every cluster has at most 2 ε L uncolored vertces added to the cluster. Moreover, a set of hd 0 ζl /D 0 vertces wll be removed from a cluster at most d /(2ζ) tmes as long as ε d. So, there wll always be at least (1 d /4)L 2 ε L hd L /2 (1 d )L uncolored vertces from the orgnal cluster. Usng the Slcng Lemma (Fact 19), any par of them form a 2(2ε )-regular par. As long as ζ ε d, we could apply, say, the Key Lemma from [23] to ensure the exstence of at most ζl /D 0 vertex-dsjont copes of Kh n the -tuple. 15
ˆV (0) Suppose that vertex w belongs to cluster Ṽ (j), j {2,..., l }. We then tae any v X (j) and the red and blue copes R(v), B(v) of Kh guaranteed by Lemma 14. We uncolor the vertces of R(v), remove the vertces of B(v) from ther respectve clusters and place B(v) asde to be ncluded n the fnal tlng of G. We also add w to the cluster Ṽ (j) and remove v from X (j). Each tme ths procedure s undertaen, the number of non-red vertces n each non-receptacle cluster does not change and t s equal to h (1 d /4) (L /h). After dong ths procedure for every vertex n the leftover sets, we remove all the remanng (unused) red copes of of Kh and place them asde to be ncluded n the fnal tlng of G. Ths ensures that the clusters n the frst (receptacle) column have the same number of non-red vertces as each other and the number of non-red vertces n each receptacle cluster has the same congruency modulo h as n does. That s, f we remove n h n/h non-red vertces from each receptacle cluster, the remanng number of non-red vertces s dvsble by h. The non-red vertces n each receptacle cluster form parwse (4ε, d /4)- super-regular pars, ths follows from the Slcng Lemma (Fact 19) because no vertces were added to these clusters. So we focus on the non-receptacle clusters. Throughout ths proof, n every non-receptacle cluster, at most ε L vertces were colored red and at most ε L red vertces wll be uncolored (.e., they become non-red). In addton, the non-red vertces n any non-receptacle cluster wll have cardnalty exactly h (1 d /4)L /h. Recall that the orgnal clusters formed (2ε, d )-super-regular pars n each column. There were at most 2 ε L new vertces added to each cluster, each of whch were adjacent to at least (d /2)L vertces n each of the orgnal clusters of the column. The next lemma wll mply that the non-red vertces n every non-receptacle column wll form super-regular pars. Fact 17. Let (A, B) be an (ε 1, δ 1 )-super-regular par. Furthermore, let at most ε 2 A vertces be added to A such that each has at least δ 2 B neghbors n B and at most ε 2 B vertces be added to B such that each has at least δ 2 A neghbors n A. The resultng par (A, B ) s (ε 0, δ 0 )-super-regular, where ε 0 = ε 1 + ε 2 and δ 0 = mn{δ1,δ2} (1+ε 2). 2 We apply Fact 17 wth ε 1 = 2ε, δ 1 = d, ε 2 = ε and δ 2 = d /2. Consequently, we use ε 1 + ε 2 ( + 2)ε ε and mn{δ1,δ2} (1+ε 2) = d /2 2 (1+ε ) d /3 to 2 conclude that the augmented pars n each column are ( ε, d /3)-super-regular. Fnally, to fnsh the tlng, apply the Blow-up Lemma to non-red vertces n each non-receptacle column (recall that the number of such vertces s the same and s dvsble by h). In the receptacle column, we can apply the Blow-up Lemma to all but n h n/h of the non-red vertces: 16
Lemma 18 (Blow-up Lemma, Komlós-Sárözy-Szemeréd [21]). Gven a graph R of order r and postve parameters δ,, there exsts an ε 18 > 0 such that the followng holds: Let N be an arbtrary postve nteger, and let us replace the vertces of R wth parwse dsjont N-sets V 1, V 2,..., V r (blowng up). We construct two graphs on the same vertex-set V = V. The graph R(N) s obtaned by replacng all edges of r wth copes of the complete bpartte graph K N,N and a sparser graph G s constructed by replacng the edges of R wth some (ε 18, δ)-super-regular pars. If a graph H wth maxmum degree (H) can be embedded nto R(N), then t can be embedded nto G. Our Kh -tlng conssts of (1) the copes of Kh Lemma 16, (j) that are outsde of the sets ˆV, as establshed n (2) the red copes of Kh that were not used n absorbng vertces from the leftover sets to non-receptacle clusters, and ˆV (0) (3) the copes of Kh found by applyng the Blow-up Lemma to the non-red vertces n each column. Ths s the tlng of G wth n/h copes of K h. What remans to show s that we can choose our constants to satsfy (3) so that all nequaltes n our proof wll be satsfed for suffcently large n. Indeed, for gven γ > 0 and h, we let d = γ/4. We also set R = K, r =, = ( 1)h and δ = γ/12 and apply Lemma 18 to obtan ε 18. Now we defne ε = mn{ε 2 18, d/(12 2 )} and we let ε = mn{(ε ) 5 /16, d/4( + 2)}. Fnally, we set ζ = 1/(12h 2 2 M(, ε) 2 D(, ε) 2 ), where M(, ε) comes from the Regularty Lemma (Theorem 8) and D(, ε) s defned n Secton 3.2. Ths concludes the proof of Theorem 4. 4. Proofs of Facts For convenence, we restate the facts to be proven. Fact 15. For every [], we partton the leftover set Ṽ (0) nto subsets Y (2),..., Y (l ) so that the members of Y (j) belong n cluster Ṽ (j). The number ε of vertces each cluster receves s no more than n (1/+γ/2)l 2 ε L. Proof of Fact 15. Frst, we show that each vertex belongs n at least (1/ + γ/2)l clusters. To see ths, let x be the number of clusters n V, such that v s adjacent to less than (d /2)L vertces of that cluster. Then, x d 2 L + (l x)l + (n l L ) ( 1 + γ ) n. From ths t s easy to derve that wth d, ε small enough relatve to γ, t s the case that x < (1/ γ/2)l. By a smple unon bound, the number of clusters 17
n whch v belongs s greater than l ( 1)(1/ γ/2)l (1/ + γ/2)l. Hence, there are at least (1/ + γ/2)l clusters outsde of the receptacle column n whch v belongs. Sequentally and arbtrarly assgn v Ṽ (0) to Y (j) f both v belongs n Ṽ (j) and Y (j) ε < n (1/+γ/2)l. Snce the sze of Ṽ (0) s at most ε n, we can always fnd a place for v. Fact 12. Let ε > 0 and ε < d /(2( + 1)) let (A 1,..., A ) be a -tuple that s parwse ε -regular of densty at least d wth A 1 = = A = L. There exst subsets A A for [] such that A = h (1 ( 1)ε )L /h and each par of (A 1,..., A ) s (2ε, d ε )-super-regular (wth densty at least d ε ). Proof of Fact 12. We use the so-called Slcng Lemma, whch s Fact 19 s Fact 1.5 n [23]. Fact 19 (Slcng Lemma). Gven ε, α, d such that 0 < ε < α < 1 and d, 1 d max{2ε, ε/α}. Let (A, B) be an ε-regular par wth densty d, A A wth A α A and B B wth B α B. Then (A, B ) s ε 0 -regular wth ε 0 = max{2ε, ε/α} and densty n [d ε, d + ε]. It follows from the ε -regularty of (A, A j ) that all but at most ε A vertces of A have at least (d ε ) A j neghbors n A j. So, there s a set A A of sze (1 ( 1)ε ) A such that each vertex of A has at least (d ε ) A j neghbors n A j for every j and, consequently, at least (d ε ) A j ( 1)ε A j = (d ε ) A j neghbors n A j for every j. Snce ε < d /(2(+1)), (1 ( 1)ε ) > 1/2 and the Slcng Lemma (Fact 19) Usng Fact 19 wth α = 1/2 and ε < d /2( + 1), we conclude that each par (A, A j ) s (2ε, d ε )-super-regular. Fact 17. Let (A, B) be an (ε 1, δ 1 )-super-regular par. Furthermore, let at most ε 2 A vertces be added to A such that each has at least δ 2 B neghbors n B and at most ε 2 B vertces be added to B such that each has at least δ 2 A neghbors n A. The resultng par (A, B ) s (ε 0, δ 0 )-super-regular, where ε 0 = ε 1 + ε 2 and δ 0 = mn{δ1,δ2} (1+ε 2) 2. Proof of Fact 17. Frst we establsh the mnmum degree condton. Each of A the orgnal vertces n A s adjacent to at least δ 1 A = δ 1 A A vertces n A. A Each of the new vertces n A adjacent to at least δ 2 A = δ 2 A A neghbors n A. Smlar condtons hold for vertces n B. Snce δ 0 mn{δ { } 1, δ 2 } A (1 + ε 2 ) 2 mn δ 1 A, δ A 2 A, δ B 1 B, δ B 2 B, each vertex a A has at least δ 0 B neghbors n B and each vertex b B has at least δ 0 A neghbors n A. 18
Now, consder any X A and Y B such that X ε 0 A and Y ε 0 A. Consder X = X (A A) and Y = Y (B B). Note that X X ε 2 A ε 0 A ε 2 A ε 1 A. Smlarly, Y ε 1 B and so d(x, Y ) δ 1. Consequently, d(x, Y ) d(x, Y ) X Y X Y δ 1 (1 + ε 2 ) 2 δ 0, and the par s (ε 0, δ 0 )-super-regular. 5. Concludng Remars The common denomnator D = D(, ε) used n Secton 3.2 can, n prncple, be astronomcally large, as t s the common denomnator of values of ratonalvalued solutons for all balanced -partte graphs on at most M = M(, ε) vertces. We chose ths value for the convenence of the proof. Indeed, the constant M s qute large tself and so D s not so large, relatvely speang. We could utlze a much smaller nteger value of D by choosng a D such that f w s the ratonal-valued soluton of (1), then for every v V (G r ) and every T T (G r ) for whch V (T ) v, we assgn Dw (T ) vertces of G r to copes of T. Because Dw (T ) s not necessarly an nteger, we end up wth D V (T ) v Dw (T ) unused vertces. Choose D large enough to ensure that ths s always small (O(εM 1 ) suffces), and they can be placed n the leftover set. We should also note that, asymptotcally, Conjecture 3 s stronger than the Hajnal-Szemeréd Theorem. That s, f G s a graph on n vertces wth + γ ) n, then a random partton of the vertex set nto equal parts gves a -partte graph G wth ˆδ( G) ( 1 + γ ) n O( n log n) and applyng Conjecture 3 would gve a K -tlng n G and, hence, G tself. mnmum degree at least ( 1 6. Acnowledgements The authors would le to than the London School of Economcs and Poltcal Scence. Part of ths research had been done as part of a vst by the frst author. We express our apprecaton to Hong-Jan La who has made the publcatons of Paul Catln avalable onlne (http://www.math.wvu.edu/~hjla/). Thans also to Bernhard von Stengel for helpful comments on lnear programmng. 19
References [1] N. Alon and J. Spencer, The probablstc method. Thrd edton. Wth an appendx on the lfe and wor of Paul Erdős. Wley-Interscence Seres n Dscrete Mathematcs and Optmzaton. John Wley & Sons, Inc., Hoboen, NJ, 2008. xv+352 pp. [2] N. Alon and R. Yuster, H-factors n dense graphs. J. Combn. Theory Ser. B 66 (1996), no. 2, 269 282. [3] A. Bush and Y. Zhao, Mnmum degree thresholds for bpartte graph tlng. J. Graph Theory 70 (2012), no. 1, 92 120. [4] P.A. Catln, On the Hajnal-Szemeréd theorem on dsjont clques. Utltas Math. 17 (1980), 163 177. [5] V. Chvátal, Lnear Programmng. A seres of Boos n the Mathematcal Scences. W. H. Freeman and Company, New Yor, 1983. x+478 pp. [6] K. Corrád and A. Hajnal, On the maxmal number of ndependent crcuts n a graph. Acta Math. Acad. Sc. Hungar. 14 (1963), 423 439. [7] B. Csaba and M. Mydlarz, Approxmate multpartte verson of the Hajnal- Szemeréd theorem. J. Combn. Theory Ser. B 102 (2012), no. 2, 395 410. [8] A. Czygrnow and L. DeBaso, A note on bpartte graph tlng, SIAM J. Dscrete Math., 25 (2011), no. 4, 1477 1489. [9] E. Fscher, Varants of the Hajnal-Szemeréd theorem, J. Graph Theory 31 (1999), no. 4, 275 282. [10] M.R. Garey and D.S. Johnson, Computers and ntractablty. A gude to the theory of NP-completeness. A Seres of Boos n the Mathematcal Scences. W. H. Freeman and Co., San Francsco, Calf., 1979. x+338 pp. [11] S. I. Gass, Lnear programmng. Methods and applcatons. Thrd edton, McGraw-Hll Boo Co., New Yor-London-Toronto, Ont. 1969 x+358 pp. [12] A. Hajnal and E. Szemeréd, Proof of a conjecture of P. Erdős, Combnatoral theory and ts applcatons, II (Proc. Colloq. Balatonfüred, 1969), pp. 601 623. North-Holland, Amsterdam, 1970. [13] P. Hall, On representaton of subsets. J. London Math. Soc. 10 (1935), 26 30. [14] J. Hladý and M. Schacht, Note on bpartte graph tlngs. SIAM J. Dscrete Math. 24 (2010), no. 2, 357 362. [15] R. Johansson, Trangle factors n a balanced blown-up trangle. Dscrete Math. 211 (2000), no. 1-3, 249 254. 20
[16] P. Keevash and R. Mycroft, A geometrc theory for hypergraph matchng, manuscrpt, arxv:1108.1757. [17] P. Keevash and R. Mycroft, A Multpartte Hajnal-Szemeréd Theorem, arxv:1201.1882v1, 43pp., to appear n Mem. Amer. Math. Soc. [18] H.A. Kerstead and A.V. Kostocha, A short proof of the Hajnal-Szemeréd theorem on equtable colourng. Combn. Probab. Comput. 17 (2008), no. 2, 265 270. [19] Y. Kohayaawa and V. Rödl, Szemeréd s regularty lemma and quasrandomness. Recent advances n algorthms and combnatorcs, 289 351, CMS Boos Math./Ouvrages Math. SMC, 11, Sprnger, New Yor, 2003. [20] J. Komlós, Tlng Turán theorems. Combnatorca 20 (2000), no. 2, 203-218. [21] J. Komlós, G. Sárözy and E. Szemeréd, Blow-up lemma. Combnatorca 17 (1997), no. 1, 109 123. [22] J. Komlós, G. Sárözy and E. Szemeréd, Proof of the Alon-Yuster conjecture. Combntatorcs (Prague, 1998). Dscrete Math. 235 (2001), no. 1-3, 255-269. [23] J. Komlós and M. Smonovts, Szemeréd s regularty lemma and ts applcatons n graph theory, Combnatorcs, Paul Erdős s eghty, Vol. 2 (Keszthely, 1993), 295 352, Bolya Soc. Math. Stud., 2, János Bolya Math. Soc., Budapest, 1996. [24] D. Köng, Graphen und Matrzen, Mat. Lapo 38 (1931), 116 119. [25] D. Kühn and D. Osthus, The mnmum degree threshold for perfect graph pacngs. Combnatorca 29 (2009), no. 1, 65 107. [26] A. Lo and K. Marström, A multpartte verson of the Hajnal-Szemeréd theorem for graphs and hypergraphs, Combn. Probab. Comput. 22 (2013), no. 1, 97 111. [27] Cs. Magyar and R. Martn, Trpartte verson of the Corrád-Hajnal theorem, Dscrete Math. 254 (2002), no. 1-3, 289 308. [28] R. Martn and E. Szemeréd, Quadrpartte verson of the Hajnal-Szemeréd theorem, Dscrete Math. 308 (2008), no. 19, 4337 4360. [29] R. Martn and Y. Zhao, Tlng trpartte graphs wth 3-colorable graphs, Electron. J. Combn. 16 (2009), no. 1, Research Paper 109, 16pp. [30] R. Martn and Y. Zhao, Tlng trpartte graphs wth 3-colorable graphs: The extreme case. Preprnt. 21
[31] A. Schrjver, Theory of lnear and nteger programmng. Wley-Interscence Seres n Dscrete Mathematcs. John Wley & Sons, Ltd., Chchester, 1986. x+471 pp. [32] A. Shooufandeh and Y. Zhao, Proof of a tlng conjecture of Komlós. Random Structures Algorthms 23 (2003), no. 2, 180 205. [33] E. Szemeréd, Regular parttons of graphs. Problèmes combnatores et théore des graphes (Colloq. Internat. CNRS, Unv. Orsay, Orsay, 1976), pp. 399 401, Colloq. Internat. CNRS, 260, CNRS, Pars, 1978. [34] Y. Zhao, Bpartte graph tlng, SIAM J. Dscrete Math. 23 (2009), no. 2, 888 900. Appendx A. Proof of the Random Slcng Lemma Suppose that (X, Y ) s an ε-regular par such that X = Y = L. We wll show that f X = A 1 A m A 0 and Y = B 1 B m B 0 s a random equpartton (that s, A 1 = = A m = B 1 = = B m = L and A 0 = B 0 < m), then, wth hgh probablty, each par (A, B j ) s 2ε 1/5 - regular, provded L = ω( L log L). Frst we cte the relevant theorem of Kohayaawa and Rödl [19]. In order to do so, for a vertex set Y and vertces x, x X, we denote deg Y (x, x ) = N Y (x) N Y (x ). Theorem 20. Let ε be a constant such that 0 < ε < 1. Let G be a graph wth (X, Y ) a par of nonempty dsjont vertex sets wth X 2/ε. Set d = d(x, Y ) = e(x, Y )/ X Y. Let D be the collecton of all pars {x, x } of vertces of X for whch () deg Y (x), deg Y (x ) > (d ε) Y, () deg Y (x, x ) < (d + ε) 2 Y. Then f D > (1/2)(1 5ε) X 2, the par (X, Y ) s (16ε) 1/5 -regular. We prefer to use ordered pars, so we modfy the statement. Corollary 21. Let ε be a constant such that 0 < ε < 1. Let G be a graph wth (X, Y ) a par of nonempty dsjont vertex sets wth X 2/ε. Set d = d(x, Y ) = e(x, Y )/ X Y. Let P be the collecton of all ordered pars (x, x ) of vertces of X for whch () deg Y (x), deg Y (x ) > (d ε) Y, () deg Y (x, x ) < (d + ε) 2 Y. If P > (1 4.5ε) X 2, then the par (X, Y ) s (16ε) 1/5 -regular. Furthermore, f ε 1/9, 4ε d 1 4ε and P > (1 5ε) X 2, then (X, Y ) s (16ε) 1/5 -regular. 22
Proof of Corollary 21. The number of ordered pars that can satsfy the condtons s P 2D + X because the pars (x, x) can be ncluded. D P/2 + X /2 = P/2 + 1/(2 X ) X 2 > (1/2)(1 4.5ε) X 2 + (ε/4) X 2, gvng the man result. The second result follows f we can prove that the pars (x, x) cannot exst. Ths s true as long as (d ε) (d + ε) 2. (A.1) Ths, however, s true as long as ε 1/9 and 4ε d 1 4ε because 1 2ε 1 8ε 2 4ε d 1 4ε 1 2ε + 1 8ε. 2 The upper and lower bounds are the solutons to the quadratc equaton resultng from (A.1). A lemma that we need s a drect result from martngales: Lemma 22. Let Y be a set of sze L and S Y. If B Y s chosen unformly at random from all sets of sze L, then wth probablty at most exp { ε 2 (L ) 2 /(2L) }, t s the case that S B S L L εl and wth probablty at most exp { ε 2 (L ) 2 /(2L) }, t s the case that S B > S L L + εl. Proof of Lemma 22. We use a smple constructon of a Doob martngale, whch mght be thought of as an element-exposure martngale. We refer the reader to Chapter 7 of Alon and Spencer [1]. We order the members of Y = {y 1,..., y L } and defne a sequence of random varables Z 0,..., Z L as follows: Z (C) = E[ B S B {y 1,..., y } = C {y 1,..., y }, 1 j ]. So, Z L (C) = C S and Z 0 (C) = E B ( Y L )[ B S ]. The sequence of random varables Z 0 (C), Z 1 (C),..., Z L (C) forms a martngale because E[Z +1 (C) Z (C),..., Z 0 (C)] = Z (C). In fact, ths s an example of a so-called Doob Martngale. Furthermore, the random varables satsfy a Lpschtz condton. That s, X +1 (C) X (C) 1 for = 1,..., L 1. Usng ths, Azuma s nequalty gves that [ Pr B S E[ B S ] > λ ] L < e λ2 /2 [ Pr B S E[ B S ] < λ ] L < e λ2 /2 and our result follows. 23
We say that a par (x, x ) X 2 s good n Y f deg Y (x), deg Y (x ) > (d ε) Y and deg Y (x, x ) < (d + ε) 2 Y. For some B Y, wth B = L, we say that the par s good n B f deg Y (x), deg Y (x ) > (d 2ε) Y and deg Y (x, x ) < (d + 2ε) 2 Y. Proposton 23 shows that a par that s good n Y s good n all parts of the partton, f chosen unformly. Proposton 23. Fx 0 < ε 1/3. If (x, x ) X 2 s a par that s good n Y, then the par (x, x ) s good n each of B 1,..., B m where (B 1,..., B m ) s chosen unformly from among all equparttons of Y nto m sets of sze L, wth probablty at most 2m exp{ ε 2 (L ) 2 /(2L)} + m exp{ 9ε 4 (L ) 2 /(2L)} 3m exp{ 9ε 4 (L ) 2 /(2L)}. Proof of Proposton 23. Let d be the densty of (X, Y ). Let B be chosen unformly at random from ( Y L ). Let µ1 = E[ N Y (x) B ]. Pr [ N Y (x) B < (d 2ε) B ] = Pr [ N Y (x) B µ 1 < (d 2ε) B µ 1 ] [ = Pr N Y (x) B µ 1 < (d 2ε) B N Y (x) B ] Y [ Pr N Y (x) B µ 1 < (d 2ε) B (d ε) Y B ] Y [ = Pr N Y (x) B µ 1 < (d 2ε) B (d ε) Y B ] Y [ ] = Pr N Y (x) B µ 1 < ε B Y Y } 12 B 2 < exp { ε2, Y where the last nequalty s Azuma s nequalty. Symmetrcally, } 12 B 2 Pr [ N Y (x) B < (d 2ε) B ] < exp { ε2. Y Let µ 2 = E[ N Y (x) B ]. Pr [ N Y (x, x ) B > (d + 2ε) 2 B ] = Pr [ N Y (x) B µ 2 > (d + 2ε) 2 ] B µ 2 [ = Pr N Y (x) B µ 2 > (d + 2ε) 2 B N Y (x, x ) B ] Y [ Pr N Y (x) B µ 2 > (d + 2ε) 2 B (d + ε) 2 Y B ] Y [ ] = Pr N Y (x) B µ > (2dε + 3ε 2 ) B Y Y < exp { 12 } (2d + 3ε)2 ε 2 B 2, Y 24
where the last nequalty s Azuma s nequalty. For fxed {1,..., m}, the probablty that a good par (x, x ) s not good n B s at most 2 exp{ ε 2 (L ) 2 /(2L)} + exp{ (2d + 3ε) 2 ε 2 (L ) 2 /(2L)}. The unon bound gves that the probablty that a good par s not good n at least one member of {B 1,..., B m } s at most 2m exp{ ε 2 (L ) 2 /(2L)}+m exp{ (2d+ 3ε) 2 ε 2 (L ) 2 /(2L)} and a smple computaton gves the statement of the proposton. The proof wll be fnshed by showng that, wth hgh probablty, each of the sets A 1,..., A m have at most 6ε(L ) 2 pars that are not good n Y. Proposton 24. Fx 0 < ε < 1. If (X, Y ) s an ε-regular par wth X = Y = L, then each set A 1,..., A m has at least (1 8ε)(L ) 2 good pars, where (A 1,..., A m ) s chosen unformly from among all equparttons of X nto m sets of sze L, wth probablty at most 4m exp{ ε 2 (L ) 2 /(2L)}. Proof of Proposton 24. Let A be chosen unformly at random from ( X L ). Let S 1 consst of the pars (x, x ) A 2 for whch deg Y (x) (d ε) Y, let S 2 consst of the pars (x, x ) A 2 for whch deg Y (x ) (d ε) Y and let S 3 consst of the pars (x, x ) A 2 for whch deg Y (x), deg Y (x ) > (d ε) Y and deg Y (x, x ) (d + ε) 2 Y. Let X = {x X : deg Y (x) εl}. By ε-regularty, X ε X. Pr [ S 1 > 2ε(L ) 2] = Pr [ X A > 2εL ] [ Pr X A E[ X A ] > 2εL ε X A ] X = Pr [ X A E[ X A ] > εl ] ] = Pr [ X A E[ X A ] > ε L L L < exp { 12 ε2 (L ) 2 }, L where the last nequalty s Azuma s nequalty. Symmetrcally, Pr [ S 2 > 2ε(L ) 2] < exp { 12 ε2 (L ) 2 }. L Now we address S 3. By ε-regularty, there are at most ε X elements x X for whch deg Y (x) (d + ε) Y. Moreover, f deg Y (x) < (d + ε) Y then there are at most ε X elements x X for whch deg Y (x, x ) (d + ε) 2 Y. If x X has small degree, then we compute the probablty that Pr [(x, x ) s not good n A] Pr [deg Y (x) (d + ε) Y ] + Pr [ deg Y (x, x ) (d + ε) 2 Y deg Y (x) < (d + ε) Y ] 2 exp { 12 ε2 (L ) 2 }, L 25