arxiv: v3 [cs.dm] 7 Jul 2012

Transcription

1 Perfect matchng n -unform hypergraphs wth large vertex degree arxv: v [cs.dm] 7 Jul 01 Imdadullah Khan Department of Computer Scence College of Computng and Informaton Systems Umm Al-Qura Unversty Makkah, Saud Araba khan@uqu.edu.sa Abstract A perfect matchng n a -unform hypergraph on n = k vertces s a subset of n dsjont edges. We prove that f H s a -unform hypergraph on n = k vertces such that every vertex belongs to at least ( ( n 1 n/ + 1 edges then H contans a perfect matchng. We gve a constructon to show that ths result s best possble. 1 Introducton and Notaton For graphs we follow the notaton n []. For a set T, we refer to all of ts k-element subsets (k-sets for short as ( ( T k and to the number of such k-sets as T k. We say that H = (V (H, E(H s an r-unform hypergraph or r-graph for short, where V (H s the set of vertces and E ( V (H r, a famly of r-sets of V (H, s the set of edges of H. We say that H(V 1,..., V r s an r-partte r-graph, f there s a partton of V (H nto r sets,.e. V (H = V 1 V r and every edge of H uses exactly one vertex from each V. We call t a balanced r-partte r-graph f all V s are of the same sze. Furthermore H(V 1,..., V r s a complete r-partte r-graph f every r-tuple that uses one vertex from each V belongs to E(H. We denote a complete balanced r-partte r-graph by K (r (t, where t = V. When the graph referred to s clear from the context we wll use V nstead of V (H and wll dentfy H wth E(H and e r (H = E(H. A matchng n H s a set of dsjont edges of H and a perfect matchng s a matchng that contans all vertces. For U V, H U s the restrcton of H to U. Research supported n part by a DIMACS research grant. 1

2 For an r-graph H and a set D = {v 1,..., v d } ( V d, 1 d r, the degree of D n H, deg H (D = deg r (D denotes the number of edges of H that contan D. For 1 d r, let δ d = δ d (H = mn { deg r (D : D When H s an r-graph and A and B are dsjont subsets of V (H, for a vertex v A we denote by deg r (v, ( B r 1 the number of (r 1-sets of B that make edges wth v, whle dr (v, ( B r 1 = deg r (v, ( ( B r 1 / B r 1 denotes the densty. For such A and B, er (A, ( B r 1 s the sum of degr (v, ( B r 1 over all v A whle d r (A, ( e B r (A, ( B r 1 = r 1 A (. We denote by H(A, ( B B r 1 such an r-graph when r 1 all edges of H use one vertex from A and r 1 vertces from B. When A 1,..., A r are dsjont subsets of V, for a vertex v A 1 we denote by deg r (v, (A A r the number of edges n the r-partte r-graph nduced by the subsets {v}, A,..., A r, and e(a 1, (A A r s the sum of deg r (v, (A A r over all v A 1. Smlarly ( V d }. d r (A 1, (A A r = e(a 1, (A A r A 1 A A r. An r-graph H on n vertces s η-dense f t has at least η ( n r edges. We use the notaton dr (H η to refer to an η-dense r-graph H. A bpartte graph G = (A, B s η-dense f d(a, B η. For U V, for smplcty we refer to d r (H U as d r (U and to E(H U as E(U. Throughout the paper log denotes the base logarthm. Moreover we wll only deal wth r-graphs on n vertces where n = rk for some nteger k, we denote ths by n rz. Defnton 1. Let d, r and n be ntegers such that 1 d < r, and n rz. Denote by m d (r, n the smallest nteger m, such that every r-graph H on n vertces wth δ d (H m contans a perfect matchng. For graphs (r =, by the Drac s theorem on Hamltoncty of graphs [5], t s easy to see that m 1 (, n n/, and snce the complete bpartte K n/ 1,n/+1 does not have a perfect matchng we get m 1 (, n = n/. For r and d = r 1, t follows from a result of Rödl, Rucńsk and Szemeréd on Hamltoncty of r-graph [18] that m r 1 (r, n n/ + o(n. Kühn and Osthus [9] mproved ths result to m r 1 (r, n n/ + r n log n. Ths bound was further sharpened n [17] to m r 1 (r, n n/ + C log n. In [15] the bound was mproved to almost the true value; t was proved that m r 1 (r, n n/ + r/4. Fnally [19] settled the problem for d = r 1. Kühn and Osthus [9] and Aharon, Georgakopoulos and Sprüssel [1] studed the mnmum degree threshold for perfect matchng n r-partte r-graphs.

3 The case d < r 1 s rather hard. Pkhurko [1] proved that for all d r/, m d (r, n s close to ( 1 n d r d. For 1 d < r/, Hàn, Person and Schacht [7] proved that ( ( r d n d m d (r, n + o(1 r r d A recent survey of these and other related results appear n [14]. followng conjecture. Conjecture ([7], see [14] P.. For all 1 d < r/, { ( } 1 r 1 r d (n d m d (r, n max, 1 r r d Note that for r = and d = 1 the above bound yelds m 1 (, n 5 ( n 1 9 In [7] the authors posed the Improvng an old result of Daykn and Häggvst [4], the authors of [7] proved an approxmate verson of ther conjecture for the case r = and d = 1, they showed that m 1 (, n ( o(1 ( n for large n. For the case r = 4 and d = 1, Markström and Rucńsk [1] proved that m 1 (4, n ( o(1 ( n 1. Lo and Markström [11] determned the exact degree threshold for r = and d = 1 for the case of -partte -graphs. In ths paper we settle Conjecture for the case r = and d = 1. Parallel to ths work, ndependently Kühn, Osthus and Treglown [10] proved the same result. We beleve our technques are more general and have many other applcatons. In our subsequent work [8] we use smlar technques to prove Conjecture for the case r = 4 and d = 1 as well. Our man result n ths paper s the followng theorem. Theorem. There exst an nteger n 0 such that f H s a -graph on n n 0 vertces (n Z, and ( ( n 1 n/ δ 1 (H + 1 (1 then H has a perfect matchng. On the other hand the followng constructon from [7] shows that the result s best possble. Constructon 4. Let H = (V (H, E(H be a -graph on n vertces (n Z, such that V (H s parttoned nto A and B, A = n 1 and B = n A and E(H s the set of all -sets of V (H, T, such that T A 1 (see Fgure 1. We have δ 1 (H = ( ( n 1 n/ (the degree of a vertex n B but snce every edge n a matchng must use at least one vertex from A, the maxmum matchng n H s of sze A = n 1.

4 A = n 1 B = n + 1 The man result Fgure 1: The extremal example: every edge ntersects the set A. We dstngush two cases to prove Theorem. In Secton 4 we show that a slghtly relaxed mnmum degree condton mples that ether H has an almost perfect matchng or H s close to the extremal example of Constructon 4. In case H s not close to the extremal example we frst fnd an almost perfect matchng and extend t to a perfect matchng n H usng the absorbng technque. On the other hand, when H s close to the extremal example, n Secton 5 we buld a perfect matchng n H wth a greedy approach. Defnton 5 (Extremal Case wth parameter α. For a constant 0 < α < 1, we say that H s α-extremal, f the followng s satsfed otherwse t s α-non-extremal. There exsts a B V (H such that B ( α n d (B < α. When H s α-non-extremal, we use the absorbng lemma, whch roughly states that n H there exsts a small matchng M wth the property that every not too large subset of vertces W can be absorbed nto a matchng coverng V (M W. Lemma 6. (Absorbng Lemma, [7] For every η > 0, there s an nteger n 0 = n 0 (η such that f H s a -graph on n n 0 vertces wth δ 1 (H (1/ + η ( n, then there exsts a matchng M n H of sze M η n such that for every set W V \ V (M of sze at most η 6 n W Z, there exsts a matchng coverng all the vertces n V (M W. After removng an absorbng matchng M from H we fnd an almost perfect matchng n H V \V (M. The few vertces not covered by ths almost perfect matchng are absorbed nto M to get a perfect matchng n H. Theorem 7 n Secton 4, usng the tools developed n Secton, guarantees the exstence of an almost perfect matchng n the non-extremal case. 4

5 Theorem 7. For all 0 < η α 1, there s an n 0 such that f H s a -graph on n n 0 vertces wth ( ( 5 n δ 1 (H 9 10η, then ether H contans a matchng leavng strctly less than η n vertces unmatched or H s α-extremal. When H s α-extremal then almost all vertces of A make edges wth almost all -sets n ( B, where B s as n Defnton 5 and A = V (H \ B. In Secton 5 we frst match the few vertces of A that do make edges wth almost all -sets n ( B and the remanng vertces are matched usng a Köng-Hall type argument. Theorem 8. For all 0 < α 1, there s an n 0 such that f H s an α-extremal -graph on n n 0 vertces wth ( ( n 1 n/ δ 1 (H + 1, then H contans a perfect matchng. Proof of Theorem. Let 0 < α 1 be gven. Applyng Lemma 6 wth parameter α, Theorem 7 wth parameter α / and Theorem 8 wth parameter α, we get n 0, n 0 and n 0 respectvely. Let n 0 = max{n 0, n 0, n 0 }. Now assume that we have a -graph H on n n 0 vertces satsfyng (1. From (1 when n s large we have ( ( n 1 n/ δ 1 (H + 1 > 5 ( n 1 n 9 > ( 1/ + α ( n. Hence H satsfes the condtons of Lemma 6 wth parameter α. We remove from H an absorbng matchng M of sze at most α / n. Let H = H V \V (M be the remanng hypergraph (after removng M on n = n V (M vertces. Snce ( V (M + V (M n < 7α / ( n 10α / ( n, t s easy to see that ( ( 5 n δ 1 (H 9 10α/ As n > n 0, usng Theorem 7 (wth η = α/, n H we fnd an almost perfect matchng that leaves out a set of at most α n < α n vertces. As guaranteed by Lemma 6 the vertces that are left out from ths almost perfect matchng are absorbed nto M, and we get a perfect matchng n H. In case H s α-extremal, usng Theorem 8 we get a perfect matchng n H, whch concludes the proof of Theorem. 5

6 Tools We use the followng result of Erdös [6] to fnd complete balanced r-partte subhypergraphs of r-graphs. Lemma 9. For every nteger l 1 there s an nteger n 0 = n 0 (r, l such that every r-graph on n > n 0 vertces, that has at least n r 1/lr 1 edges, contans a K (r (l. Corollary 10. For 0 < η 1 and r, f H s an r-graph on n > n 0 (η, r vertces wth ( n E(H η r then H contans a K (r (t, where Ths s so because η ( n ηn r r r! nr = 1/ηr 1 t = η(log n 1/(r 1. n 1/(ηr 1 log n = The followng lemma s a very useful tool n ths secton. n r n r n 1/t(r 1, as η > r! 1/η(r 1. Lemma 11. Let m be a suffcently large nteger. If G(A, B s an η-dense bpartte graph wth A = c 1 m and B c m for some constants 0 < c 1, c < 1, then there exsts a complete bpartte subgraph G (A, B of G such that A A, B B, A η A / and B η B c 1m ηc (1 c1m. Proof. Frst we show that there s a set B 1 B such that B 1 η B / and for every vertex b B 1, deg(b, A η A /. Such a subset exsts because otherwse the total number of edges n G would be strctly less than η B A + B η A = η A B a contradcton to the fact that G(A, B s η-dense. Now we show that there s the requred complete bpartte subgraph n G(A, B 1. To see ths consder the neghborhoods n A, of the vertces n B 1. Snce there can be at most A = c1m such neghborhoods, by averagng there must be a neghborhood that appears for at least B 1 c 1m η B c 1m ηc m c 1m = ηc (1 c1m vertces of B 1. Hence we get the desred complete bpartte graph. The followng two lemmas are repeatedly used n Secton 4. Lemma 1. Let m be a suffcently large nteger and let H(X, Y, Z be a -partte -graph wth X = Y = c 1 m and Z c m for some constants 0 < c 1, c < 1. If d (Z, (X Y η, then there exsts a complete -partte -graph H (X, Y, Z as a subgraph of H, such that X = Y = Z η 4 log X. 6

7 Proof. Frst consder the auxlary bpartte graph G 1 (A, Z, where A = X Y and a vertex z Z s connected to a par (a, b A f {a, b, z} s an edge of H. Clearly G 1 satsfes the condtons of Lemma11. Applyng Lemma 11 on G 1 we get a complete bpartte graph G (A, Z such that A A = X Y, Z Z, A η X Y / and Z c η m (1 c 1 > X where the last nequalty follows when m s large. Now Let G be a graph on vertex set X Y and (a, b s an edge n G f (a, b A. Snce A η X Y /, we have E(G η ( X Y 4. Applyng Corollary 10 (for r =, n G we get a complete bpartte graph G 4 (X, Y wth X X and Y Y such that X = Y η 4 log X. Clearly X, Y and a subset of Z (of sze X, correspond to the color classes of requred complete -partte -graph. ( Lemma 1. Let m be a suffcently large nteger and let H A, ( B be a -graph such that A = ( c 1 m, B c m, for some constants 0 < c 1, c < 1. If d A, ( B η, then there exsts a complete -partte -graph H (A, B, B, wth A A, B and B are dsjont subsets of B such that A = B = B = η A /. Proof. Frst consder the auxlary bpartte graph G 1 (A, P, where P = ( B and a vertex a A s connected to a par (b 1, b P f (a, b 1, b s an edge of H. Applyng Lemma 11 on G 1 we get a complete bpartte graph (A, P n G 1 wth A A and P P such that A η A / and P η P c 1m η 5 B c 1m η 5 B ( c1 /m = B c c η 5 ( B c c1 /m B /η A where the last nequalty follows when m s large and η, c 1 and c are small constants. Now construct an auxlary graph G where V (G = B and edges of G corresponds to pars n P. Snce E(G B /η A, applyng lemma 9 on G (for r = we get a complete bpartte graph wth color classes B and B each of sze η A /. Clearly A, B, and B corresponds to color classes of a complete -partte -graph n H as n the statement of the fact. We also use the followng smple facts about graphs. Lemma 14. Any graph on n vertces wth m edges has a subgraph of mnmum degree m/n. Lemma 15. Any graph on n vertces has a matchng of sze mn{δ(g, n }. 7

8 4 Proof of Theorem 7 Let H be a -unform hypergraph on n vertces where n s suffcently large and ( ( 5 n δ 1 (H 9 10η. ( In H we wll fnd an almost perfect matchng (coverng at least (1 η n vertces. In fact, we wll prove a much stronger result. We are gong to buld a cover T = {T 1, T,...} where each T s a dsjont complete -partte -graph n H. These complete -partte -graphs wll be balanced and wll be of the same sze. We refer to them as trpartte graphs. We say that such a cover s optmal f t covers at least (1 η n vertces. We wll show that ether we can fnd an optmal cover or H s α-extremal. It s easy to see that such an optmal cover readly gves us a matchng n H that leaves out at most η n vertces. Proof of Theorem 7. We begn wth a cover T obtaned by repeatedly applyng Lemma 9 n the remanng part of H as long as there are at least η n vertces left and the condton of Lemma 9 s satsfed, to get dsjont K ( (t s where t = η log(η n. Note that by Lemma 9 we can fnd larger trpartte graphs n H (at least ntally but snce we want all trpartte graphs to be of the same sze we fnd all trpartte graphs of sze t. Identfy by T the set of trpartte graphs n the cover and let V (T be the unon of vertces n the trpartte graphs n T. We refer to V (T as sze of the cover and to a subset of T as a subcover n T. Let I = V (H \ V (T be the set of remanng vertces. If T s not an optmal cover, then snce we cannot apply Lemma 9 n H I (wth parameters η to get another K (t, we must have that I > η n and d (I < η. ( Note that from ( and ( we mmedately get that V (T > ηn. We show that f H s α-nonextremal and T s not optmal then usng the teratve procedure outlned below we can sgnfcantly ncrease the sze of our cover (by at least η 4 n vertces. After every teraton all trpartte graphs n T wll be of the same sze. Furthermore, all trpartte graphs n T wll be balanced and f the sze of a color class n the trpartte graphs at a gven teraton s t, then after the teraton t wll be η 4 log t. We take n to be suffcently large so that tll the end of the procedure the sze of each color class s large enough for Lemma 1 and Lemma 1 to be applcable. Let T = (V1, V, V be a trpartte graph n T. For 1 l, k, we say that T s k-sded, f d (Vl, ( I η, for k color classes Vl of T. We wll show that most of the trpartte graphs n T are at most 1-sded or we can sgnfcantly ncrease the sze of our cover. 8

9 Clam 16. If the number of vertces n the at least -sded trpartte graphs n T s more than η V (T, then we can ncrease the sze of T by at least η n/8 vertces, such that all trpartte graphs n the cover are balanced and are of the same sze. We repeatedly use Clam 16 to ncrease the sze of our cover as long as the condton of Clam 16 s satsfed. Hence n at most 8η teratons we ether get an optmal cover or the number of vertces n the at least -sded trpartte graphs s reduced to at most η V (T. For smplcty we stll denote the cover by T and I = V (H \ V (T. The sze of a color class n each trpartte graph s stll denoted by t. Suppose that T s not optmal and we cannot apply Clam 16, then the number of -sded vertces ( n T s at most η V (T. Note that f T T s at most 1-sded, then by defnton d T, ( I (1/ + 4η. Ths together wth the bound on the number of -sded trpartte graphs gves us e (V (T, v I ( ( I 1 + 5η V (T ( I. (4 For the sum of the degrees of vertces n I, ( gves us ( ( 5 n deg (v I 9 10η. (5 On the other hand consderng the number of tmes each edge s counted, by ( and (4 ( ( ( V (T I deg (v = e (I, + e V (T, + e (H I v I ( ( ( ( V (T 1 I I e (I, + + 5η V (T + η (6 Combnng (5 and (6 we get ( ( ( ( ( ( V (T 5 n 1 I I e (I, I 9 10η + 5η V (T η (( ( ( 5 n 1 I 9 10η + 5η V (T I ( I η ( ( 5 V (T I 9 8η. ( In (5 and (6 usng e I, ( V (T I ( V (T and the fact that η s a small constant we get V (T n/. 9

10 For a vertex v V (H, consder the edges that v makes wth pars of vertces wthn a trpartte graph. Snce the sze of a trpartte graph s t η log(η n, the number of pars of vertces of any trpartte graph T T s O(log n. Hence the total number of pars of vertces wthn the trpartte graphs n T s O(n log n = o ( ( n. We gnore the at most o n edges that use more than one vertex from a trpartte graph. By the above observaton we stll have ( ( V (T 5 d (I, 9 40η (7 Let T = (V1, V, V and T j = ( 1,, be two trpartte graphs n T. We say that I s connected to a par of color classes (Vp, Vq j, 1 p, q, f d (I, (Vp Vq j η. For (T, T j ( T we defne the lnk graph, L j, to be a balanced bpartte graph, where the vertex set of each color class of L j corresponds to the color classes n T and T j. A par of vertces s an edge n L j ff I s connected to the correspondng par of color classes. We wll use the followng fact from [7] for the analyss of the lnk graph. B 0 B 11 Fgure : The balanced bpartte graphs on 6 vertces, B 0 and B 11 Fact 17. Let B 0 and B 11 be as defned n Fgure. If B s a balanced bpartte graph on 6 vertces wth E(B 5, then at least one of the followng must be true. B has a perfect matchng. B contans B 0 as a subgraph. B s somorphc to B 11. Clam 18. If there are η ( T pars of trpartte graphs (T, T j such that L j has a perfect matchng or contans a B 0, then we can ncrease the sze of T by at least η n/8 vertces such that all trpartte graphs n the cover are balanced and are of the same sze. We can repeatedly use Clam 18 to ncrease the sze of our cover as long as the condton of Clam 18 s satsfed. Hence n at most 8η teratons we ether get an optmal cover or we have 10

11 that there are at most η ( T pars of trpartte graphs (T, T j such that the lnk graph L j has at least 5 edges and contans ether a perfect matchng or B 0 as a subgraph. For smplcty we stll denote the cover by T and I = V (H \ V (T. Assume that T s not optmal. We show that f we cannot apply Clam 18, then for most of the pars of trpartte graphs n ( T, the lnk graph has exactly 5 edges and s somorphc to B11. Indeed, f there are many ( η-fracton pars of trpartte graphs (T, T j for whch E(L j 4 then there s another set of at least η-fracton of pars of trpartte graphs (T, T j for whch E(L j 6. To see ths let P 4 = {(T, T j ( T : E(Lj 4} and P 6 = {(T, T j ( T : E(Lj 6}. Note that for any (T, T j P 4 by defnton d (I, V (T V (T j (4/9 + 10η. Now f P 4 η ( T ( V (T d (I, and P6 < η ( T then ( 4 η η + η (1 ( 5 η 9 + 8η a contradcton to (7. Therefore for at least (1 η ( T pars of trpartte graphs (T, T j ( T, L j has at least 5 edges. Snce we cannot apply Clam 18, for at least (1 η ( T of them the L j s somorphc to B 11 and E(L j = 5. Clam 19. If there are at least (1 η ( T somorphc to B 11, then ether pars of trpartte graphs (T, T j such that L j s we can ncrease the sze of T by at least η 4 n vertces such that all trpartte graphs n the cover are balanced and are of the same sze, or H s α-extremal. We repeatedly use Clam 19 to ncrease the sze of our cover as long as the condton of Clam 19 s satsfed. Hence proceedng n teratons applyng the approprate clam at each teraton, t s clear that n at most 8η 4 teratons we ether get an optmal cover or that H s α-extremal. The optmal cover readly gves us an almost perfect matchng. 4.1 Proof of Clam 16 Let T = {T 1, T,...} T be the subcover of the at least -sded trpartte graphs such V (T η V (T η n. Wthout loss of generalty, say n each T T we have ( ( ( ( I I d V1, η and d V, η. 11

12 For each such T, we have V1 = V = t η log(η n = ηm and I η n > η m. By Lemma 1 (wth parameter η we fnd two dsjont balanced complete trpartte graphs (U1, A 1, B 1 and (U, A, B where U 1 and U are subsets of V 1 and V respectvely, and A 1, A, B 1 and B are dsjont subsets of I (see Fgure. The sze of each color class of these trpartte graphs s η V1 / (we assume t s an nteger. Note that we can fnd larger trpartte graphs but we keep the sze of these new trpartte graphs η V1 / only. We remove the vertces of these new trpartte graphs from ther respectve sets and add the trpartte graphs to our cover. Removng these vertces from V1 and V creates an mbalance n the leftover part of T (V has more vertces. To restore the balance n the leftover of T we dscard (add to I some arbtrary U1 = U = η V 1 / vertces from V vertces from I. Therefore,. The new trpartte graphs use at least A 1 + B 1 = η V 1 after dscardng the vertces from V the trpartte graphs n T are balanced. the net ncrease n the sze of our cover s η V 1 /, whle all T V1 V V I Fgure : Shaded trangles represent -sded color classes. Sold trangles represent the new complete trpartte graphs. V has extra vertces. We proceed as above for the remanng trpartte graphs n T one by one untl we remove at least η I /8 η n/8 vertces from I. Snce each T T s at least -sded we can contnue as above. Indeed, untl we remove η I /8 vertces from I, for the remanng trpartte graphs n T and the remanng part of I the condton of Lemma 1 s stll satsfed (wth parameter η. Snce V (T η V (T η n, t s easy to see that wth ths procedure we ncrease the sze of our cover by at least η n/8 vertces. Note that the newly made trpartte graphs have color classes of sze ηt/ whle the remanng parts of trpartte graphs n T and those n T \ T are bgger. To make all trpartte graphs n the cover of the same sze, we splt each trpartte graph n the cover, nto dsjont balanced complete trpartte graphs, such that each color class of every trpartte graph s of sze ηt/ (we assume dvsblty. 1

13 4. Proof of Clam 18 We frst fnd a set of dsjont pars of trpartte graphs such that for each par the lnk graph ether has a perfect matchng or contans a B 0. Consder the auxlary graph where vertces are the trpartte graphs n T and two vertces are connected f for the correspondng trpartte graphs T and T j, L j has a perfect matchng or contans a B 0. Snce ths auxlary graph has at least η ( T edges, by Lemma 14 and Lemma 15, we fnd a matchng of sze η T / n ths graph. Clearly, ths matchng corresponds to a set of dsjont pars of trpartte graphs, P ( T, such that for the each par (T, T j P, L j has a perfect matchng or contans a B 0. The number of vertces n the P trpartte graphs n P s at least ηn/ as V (T n/. We dstngush the followng two cases for each par n P, to make new trpartte graphs usng some vertces from I. Case 1: L j has a perfect matchng. Wthout loss of generalty assume that the perfect matchng n L j corresponds to the pars (V1, 1, (V, and (V,. Note that by constructon of L j, I s connected to (V1, 1, (V, and (V,. By defnton of connectedness, d (I, V1 η and V 1 = 1 = t η log(η n and I η n > η t, hence the -partte -graph H(V1, 1, I satsfes the condtons of Lemma 1. Applyng Lemma 1 (wth parameter η we fnd a complete balanced trpartte graph T 1 = (U1, U j 1, I 1, such that I 1 I, U1 V1, U j 1 1 and I 1 = U1 = U j 1 = η log t. 4 Smlarly, we fnd such complete balanced trpartte graphs T and T n H(V,, I and H(V,, I respectvely (see Fgure 4. Clearly we can have that T 1, T and T are dsjont from each other as I η n. We remove the vertces n T 1, T and T from ther respectve sets and add these three new trpartte graphs to our cover. In the remanng parts of T and T j we remove another such set of dsjont trpartte graphs. By defnton of connectedness untl we remove at least η t/ vertces from each color class of T and T j we stll have d (I, (V1 1 > η. Hence by Lemma 1 we contnue removng such three trpartte graphs untl from each color class of T and T j we remove η t/ vertces. Note that the new trpartte graphs use η t/ vertces from I. Therefore addng these new trpartte graphs to our cover ncreases the sze of the cover by ηt / vertces whle all trpartte graphs n the cover are stll balanced. Case : L j contans a B 0. Agan wthout loss of generalty assume that n the B 0 the vertces of degree and correspond to the color classes V1 and V respectvely. Furthermore, we may assume that I s connected to (V1, 1, (V 1,, (V, and (V,. By defnton of connectedness the -partte subhypergraph of H nduced by I and any of the above four pars of color classes satsfes the condtons of Lemma 1. 1

14 I V 1 1 V V T T j Fgure 4: The new trpartte graphs T 1, T and T usng vertces from T, T j and I when L j has a perfect matchng. Shaded rectangles represent pars connected to I. Sold lnes represent the new complete trpartte graphs. Smlarly as n the prevous case, applyng Lemma 1 (wth parameter η we fnd the followng four dsjont complete trpartte graphs: (V11, 11, I 1, (V,, I, (V1,, I and (V4, 4, I 4 such that for 1 p and 1 q 4, I q, Vpq and Vpq j are dsjont subsets of I, Vp respectvely (see Fgure 5. For the szes of these new trpartte graphs we have and p and I 1 = I = V 11 = 11 = V = = η log t 4 I = I 4 = V1 = = V 4 = 4 = η log t. 8 In the remanng parts of T and T j we remove another such set of 4 dsjont trpartte graphs. Agan by defnton of connectedness and Lemma 1 we can contnue ths process untl we remove η t/ vertces each from V1 and V. Note that when we remove the vertces of these new trpartte graphs from ther respectve color classes n T and T j, the remanng part of T j s stll balanced whle t creates an mbalance n the remanng part of T, as V has η t/ more vertces than the other two color classes To restore the balance we dscard (add to I an arbtrary subset of vertces n V (of sze η t/. These new trpartte graphs use at least η t vertces from I. Therefore, after dscardng the vertces from V the net ncrease n the number of vertces n the cover s η t/. We proceed n smlar manner for all pars n P one by one untl we remove at least η I /8 η n/8 vertces from I. Applyng the approprate procedure n Case 1 or Case we ncrease the sze 14

15 I V 1 1 V V T T j Fgure 5: The new trpartte graphs usng vertces from T, T j and I when L j contans a B 0. Shaded rectangles represent pars connected to I. Sold lnes represent the new complete trpartte graphs. V has extra vertces. of the cover by η n/8 vertces (as the sze of P s at least ηn/ and for every par the ncrease s η t/ whle keepng all the trpartte graphs n the cover balanced. Note that even after removng η I /8 vertces from I for the remanng pars (T, T j P, the condtons of Lemma 1 are satsfed (wth parameter η. Agan as above we make all trpartte graphs n the cover of the same sze, by arbtrarly splttng each larger trpartte graph nto dsjont trpartte graphs wth color classes of sze η log t/4. 4. Proof of Clam 19 Smlarly as above, frst consder the auxlary graph where vertces are the trpartte graphs n T and two vertces are connected f for the correspondng trpartte graphs T and T j, L j s somorphc to B 11. Ths auxlary graph has T vertces and at least (1 η ( T edges. By Lemma 14 and Lemma 15, n ths graph we can fnd a matchng of sze (1 η T /. Ths matchng corresponds to a set of dsjont pars of trpartte graphs, P g ( T, such that for each par (T, T j P g, L j s somorphc to B 11. Let the set of trpartte graphs n P g be T g and let V (P g be the set of vertces n these trpartte graphs, we have V (P g (1 η V (T. (8 Wthout loss of generalty assume that for each (T, T j P g, the vertces of degree n the B 11 n L j correspond to the color classes V1 and 1. Thus by defnton of connectedness for each (T, T j P g, (see Fgure 6 for 1 q ( d I, (V 1 Vq j η ( and d I, (Vq 1 η. (9 15

16 Let V 1 = V1 (V and V are smlarly defned. We have T T g ( V V d (I, < η. (10 V 1 V V Fgure 6: The pars of trpartte graphs n P g. All L j s are somorphc to B 11. Shaded rectangles represent pars connected to I. For each (T, T j P g the condtons of Lemma 1 are satsfed for H(V1,, I, H(V 1,, I, H(V, 1, I and H(V, 1, I. We fnd a dsjont complete trpartte graphs n each of these four -partte -graphs (see Fgure 7. The sze of each color class n the new trpartte graphs s η log t. 4 Agan we contnue removng such sets of four trpartte graphs untl we remove η t vertces each from V1 and 1. By constructon, these new trpartte graphs remove η t/ vertces each from V, V, and. I V1 1 V V T T j Fgure 7: The new trpartte graphs usng vertces from T, T j and I when L j s somorphc to B 11. Shaded rectangles represent pars connected to I. Sold lnes represent the new complete trpartte graphs. These new trpartte graphs use η t vertces from I. Removng these new trpartte graphs creates an mbalance among the color classes of the remanng parts of T and T j, to restore the 16

17 balance we wll have to dscard η t/ vertces from each color class of T and T j except V 1 and 1. Ths leaves us wth no net gan n the sze of the cover. Therefore we wll not dscard any vertces from these color classes at ths tme and say that these color classes have η t/ extra vertces. We proceed n smlar manner for each par n P g. Snce n total we wll use T g η t η n η I vertces from I for the remanng pars of trpartte graphs n P g the condtons of Lemma 1 (wth parameter η are satsfed. So we can contnue to make new trpartte graphs. Let V g 1 V 1, V g V, V g V be the unon of the correspondng color classes of remanng parts of trpartte graphs n T g. Snce the number of vertces used n the newly made trpartte graphs above s at most η n, by (8 we have V g = V g (1 η V (T /. (11 Next we show that f at least one of the followng densty condtons s true then we can ncrease the sze of our cover: d (V g V g η, (1 ( ( d V g V g I, η. (1 Assume that d (V g V g η. We wll show that n H V g V g there exst dsjont balanced complete trpartte -graphs of sze η t/4 (half the number of extra vertces n a color class coverng at least η 4 n vertces. Furthermore, we can fnd such trpartte graphs n H V g V g such that from no color class we use more than the number of extra vertces n that color class. To see ths, call a color class full f these new trpartte graphs use at least η t/4 vertces. We remove all vertces of each full color class and fnd trpartte graphs of sze η t/4 n the remanng vertces. Let k be the number of full color classes at a gven tme and suppose that the total number of vertces covered by the new trpartte graphs s at most η 4 n. Then, k η t/4 < η 4 n whch mples that tk < 4ηn.e. the total number of vertces n the full color classes s at most 4ηn. Let H be the remanng part of H V g V g (after removng all vertces n every full color class. By the above observaton V (H (1 η V (T / 4ηn η 4 n and d (H η 6(η + η 4 η/. Hence by Lemma 9 we can contnue to fnd complete trpartte graphs of sze η t/4 n H. Note that we do not use more than the number of extra vertces from any color classes. We remove some of these new trpartte graphs so that the total number of vertces covered by them s at least η 4 n. Now addng these new trpartte graphs to our cover ncreases the sze of our cover by at least η 4 n vertces, as we dd not dscard vertces from V g V g for rebalancng. Instead the extra vertces are part of these new trpartte graphs. Now n the remanng parts of each T T g we arbtrarly remove some extra vertces to restore the balance n the trpartte graphs 17

18 and as above make all trpartte graphs of the same sze. On the other hand f d (V g V g, ( I η, then snce both I and V g V g are at least η n, by Lemma 9 we fnd dsjont complete trpartte graphs wth one color class n V g V g and two color classes n I coverng at least η 4 n vertces. Agan as above we make these trpartte graphs so as to not use more than the number of extra vertces n any color class. Addng these trpartte graphs ncreases the sze of our cover by at least η 4 n vertces. In case none of the above densty condtons hold then by (10, (1, (1 and the fact that d (I < η, we get d (V g 1 V g I < 10 η < α. By (11 we have V g 1 V g I (/ αn. Hence H s α-extremal. Ths concludes the proof of Clam Proof of Theorem 8 Let α be gven and let n Z 1. Our hypergraph H s α-extremal.e. there exsts a B V (H α such that B ( αn d (B < α. Let A = V (H \ B, by shftng some vertces between A and B we can have that A = n/ and B = n/ (we keep the notaton A and B. It s easy to see that we stll have Snce we have ( n 1 δ 1 (H d (B < 6α (14 ( n/ + 1 = ( n 1 ( B + 1 (15 together wth (14 ths mples that almost all -sets of V (H are edges of H except -sets of B. Thus roughly speakng almost every vertex b B makes edges wth almost all pars of vertces n ( A and wth almost all pars of vertces n B \ {b} A and vce versa. Therefore, we wll bascally match every vertex n A wth a dstnct par of vertces n ( B to get the perfect matchng. However, there may be a few vertces makng edges wth dfferent pars of vertces than the typcal ones. Hence we wll frst match those few vertces and then we wll use a Köng-Hall type argument to match every remanng vertex n A wth a dstnct par of remanng vertces n B. Proof of Theorem 8. We frst dentfy vertces n A and B that do not satsfy the typcal degree condtons as follows. 18

19 Defnton 0. X A (Exceptonal vertces n A := {a A deg (a, ( B < ( 1 α ( B } X B (Exceptonal vertces n B := {b B deg (b, (B A < (1 α A ( B 1} ( ( B B S A (Strongly Exceptonal vertces n A := {a A deg (a, < α 1/ } S B (Strongly Exceptonal vertces n B := {b B deg (b, (B A < α 1/ A ( B 1} We wll show that there are few vertces n X A and X B and very few vertces n S A and S B. Clam 1. We have the followng bounds on the szes of the sets defned above. ( X A 18 α A. ( X B 18 α B. ( S B 40α B. (v S A 40α A. Proof. We only prove the bounds on X B and S A (the others are smlar. Assume that X B 18 ( α B. By (15 and the defnton of X B, for any vertex b X B, deg b, ( B α A ( B 1/. Therefore for the number of edges nsde B we have E(B X B α A ( B 1/ 9 α B α A ( B ( B 1 9α B ( B 1 A 7α where the last nequalty uses A = B /. Ths mples that d (B 9α, a contradcton to (14. To see the bound on S A, note that by (15, f there s a set of k vertces {a 1, a,..., a k } n A and a par {b 1, b } of vertces n B such that for 1 k, {a, b 1, b } / E(H, then to make up the mnmum degree of b 1, there are at least k + 1 edges n E(B contanng b 1. Smlarly (not necessarly dstnct k + 1 edges exst n B to make up the mnmum degrees of b. Ths, together wth the fact that every a S A does not make edges wth at least (1 α 1/ ( B pars of vertces n B, mples that ( B E(B > S A (1 α 1/. If S A > 40α A, then ( B E(B > 40α A (1 α 1/ = 40α(1 α 1/ B ( ( B B 40α where the last nequalty holds when α s a small constant and s a contradcton to (14. 19

20 Clam. There exsts a matchng M n H such that M covers all the strongly exceptonal vertces and f A = A \ V (M, B = B \ V (M and n = n V (M, then B = A = n /. Proof. We frst show that f both S B and S A are non empty, then we can reduce the szes of both. To see ths assume b S B and a S A. By defnton, deg (a, ( B < α 1/ ( B and deg (b, (B A < α 1/ A ( B 1. Hence by (15, deg (a, A B (1 α 1/ ( A 1 B and deg (b, ( B (1 α 1/ ( B. We can exchange a wth b and reduce the sze of both SB and S A, as both a and b are not strongly exceptonal n ther new sets. Applyng the above procedure we take the sets A and B such that S A + S B s as small as possble (and one of the sets S A and S B s empty. Frst assume that S B. As observed above by the mnmum degree condton and defnton of S B, for every vertex b S B, deg (b, ( B (1 α 1/ ( B. Snce SB s very small and every vertex n S B makes many edges nsdes B we can greedly fnd S B vertex dsjont edges n H B each contanng exactly one vertex of S B. Indeed after removng at most S B 1 dsjont edges from H B the remanng vertex n S B stll makes edges wth at least (1 α 1/ ( ( B SB B SB > 1 pars of the remanng vertces. Hence we can greedly match each vertex n S B n a matchng M n H B. To keep the rato of the szes of the remanng parts of A and B ntact, we add to M, S B other vertex dsjont edges such that each edge has a vertex n B \ X B and the two other vertces are n A. We can clearly fnd such edges because by (15 and (14 almost every vertex n B \ X B makes edges wth at least (1 α ( A pars of vertces n A (as otherwse d (B wll be very large. We remove the vertces of M from A and B and by constructon n = n 6 S B, A = A S B and B = B 4 S B, hence B = A = n /. In case S A (and S B =, we wll fnd a matchng such that each edge contan a vertex n S A. Note that n ths case for any vertex b B we have deg (b, ( B < α 1/ ( B. Indeed, f there s a vertex b B such that deg (b, ( B α 1/ ( B then we can replace b wth any vertex a S A to reduce the sze of S A (as the vertex b s not strongly exceptonal n A and a s not strongly exceptonal n the set B. We say that vertces n S A are exchangeable wth vertces n B and consder the whole set S A B. By (15 for any vertex v S A B ( ( ( ( SA B SA B 1 B SA 1 deg (v, + 1 = + ( S A 1 B + 1. We wll prove by nducton on S A that we can fnd a matchng M n H SA B of sze S A. Note that ths also follows from a result of Bollobás, Daykn and Erdös []. If S A = 1 then clearly we get an edge n H SA B and we are done. Now assume that S A > 1 and that the asserton s true for smaller values of S A. Let v be a maxmum degree vertex n H SA B and let H = H SA B\{v}. 0

21 For any vertex u V (H the number of pars of vertces n S A B, contanng v but not u, s at most S A B. Therefore we get that ( δ 1 (H SA 1 + ( S A 1 B + 1 ( S A + B ( SA = + ( S A B + 1 where the last equalty follows by a smple calculaton. Hence by nducton hypothess there s a matchng n H of sze at least S A 1. Let M 1 be a maxmum matchng n H, f M 1 S A then we are done so assume that M 1 = S A 1 and every edge n H ntersects V (M 1. Ths gves us a lower bound on the maxmum degree of a vertex n V (M 1 and snce v s the overall maxmum degree vertex we get deg (v E(H V (M 1 V (H δ 1 (H V (M 1 ( ( SA ( S A + B 1 + ( SA B ( S A 1 ( S A + B 1 (7 ( S A 1 > 9 ( S A 1 > ( S A 1( S A + B where the last nequalty uses the fact that B s much larger compared to S A. Snce the last quantty s larger then the number of pars that use at least one vertex from V (M 1, there s a par of vertces n S A B \ V (M 1 that makes an edge wth v. Addng ths edge to M 1 we get a matchng M whch s the requred matchng. Usng the fact that vertces n S A are exchangeable wth vertces n B, we get n = n S A, A = A S A and B = B S A, hence we get B = A = n /. Havng dealt wth the strongly exceptonal vertces, the vertces of X A and X B n A and B can be elmnated usng the fact that ther szes are much smaller than the crossng degrees of vertces n those sets. We have X A 18 α A whle for any vertex a X A, we have that deg (a, ( B α 1/ ( B / (because a / SA. For each a X A we remove a dsjont edge that contans a and two vertces from B. Ths can be done greedly as after coverng X A 1 vertces of X A, the total number of edges removed s at most 50 α ( B. So there are pars of vertces n the remanng part of B makng edges wth the next vertex of X A. Smlarly for each b X B we 1

22 remove an edge that contans b and uses one vertex from A and the other vertex s from B dstnct from b. Clearly we can fnd such dsjont edges by a smple greedy procedure. Hence we removed a partal matchng that covers all vertces n the exceptonal sets. Denote the leftover sets of A and B by A and B respectvely. By constructon B = A. We wll fnd A dsjont edges each contanng one vertex from A and two vertces from B. Note that for every vertex a A we have deg (a, ( B (1 α 1/ ( B (as a / XA. We say that a par (b 1, b of vertces n B s good f (b, b j, a k E(H for at least (1 40α 1/4 A vertces a k n A. Any vertex b B makes a good par wth at least (1 40α 1/4 B other vertces n B (agan ths s so because b / X B. We randomly select a set P 1 of 100α 1/4 B vertex dsjont good pars of vertces n B. By the above observaton wth hgh probablty every vertex a A make edges n H wth at least P 1 /4 pars n P 1 and every par n P 1 makes an edge wth at least A /4 vertces n A. In B \ V (P 1 stll every vertex makes good pars wth almost all other vertces. We par up each vertex of B \ V (P 1 wth a dstnct vertex n B \ V (P 1 such that they make a good par. Ths can be done by consderng a -graph wth vertex set B \V (P 1 and all the good pars as ts edges. A smple applcaton of Drac s theorem on ths -graph gves such a perfect matchng of vertces n B \ V (P 1. Let the set of these pars be P. Now construct an auxlary bpartte graph G(L, R, such that L = A and vertces n R correspond to the pars n P 1 and P. A vertex n a k L s connected to a vertex y R f the par correspondng to y (say b, b j s such that (b, b j, a k E(H. We wll show that G(L, R satsfes the Köng-Hall crtera. Consderng the szes of A and P 1 t s easy to see that for every set Q R f Q (1 40α 1/4 A then N(Q Q. When Q > (1 40α 1/4 A (usng B = A any such Q must have at least 6 P 1 /10 vertces correspondng to pars n P 1, hence wth hgh probablty N(Q = L Q. Therefore there s a perfect matchng of R nto L. Ths perfect matchng n G readly gves us a matchng n H coverng all vertces n A and B, whch together wth the edges we already removed (coverng exceptonal and strongly exceptonal vertces s a perfect matchng n H. References [1] R. Aharon, A. Georgakopoulos, and P. Sprüssel, Perfect matchngs n r-partte r-graphs, Eur. J. Comb. 0(1 (009, pp [] B. Bollobás, Extremal Graph Theory, Academc Press, London (1978. [] B. Bollobás, D. Daykn and P. Erdös, Sets of Independent edges of a hypergraph, Qurart. J. Math. Oxford, 1 (1976, pp. 5-.

23 [4] D. Daykn and R. Häggkvst, Degrees gvng ndependent edges n a hypergraph, Bull. Austral. Math. Soc., (1 (1981, pp [5] G.A. Drac, Some theorems on abstract graphs, Proc. Lond. Math. Soc., (195, pp [6] P. Erdös, On extremal problems of graphs and generalzed graphs, Israel J. Math., (1964, pp [7] H. Hàn, Y. Person and M. Schacht, On perfect matchngs n unform hypergraphs wth large mnmum vertex degree, SIAM J. Dscret. Math., ( (009, pp [8] I. Khan, Perfect matchngs n 4-unform hypergraphs, Submtted. [9] D. Kühn and D. Osthus, Matchngs n hypergraphs of large mnmum degree, J. Graph Theory, 51(4 (006, pp [10] D. Kühn, D. Osthus and A. Treglown, Matchngs n -unform hypergraphs, Submtted. [11] A. Lo and K. Markström, Perfect matchngs n -partte -unform hypergraphs, Preprnt. [1] K. Markström and A. Rucńsk, Perfect matchngs (and Hamlton cycles n hypergraphs wth large degrees, Eur. J. Comb., (5 (011, pp [1] O. Pkhurko, Perfect matchngs and K4 -tlngs n hypergraphs of large codegree, Graphs Combn., 4(4 (008, pp [14] V. Rödl and A. Rucńsk, Drac-type questons for hypergraphs a survey (or more problems for Endre to solve, An Irregular Mnd (Szemeréd s 70, Bolya Soc. Math. Studes, 1 (010. [15] V. Rödl, A. Rucńsk, M. Schacht and E. Szemeréd, A note on perfect matchngs n unform hypergraphs wth large mnmum collectve degree, Commentatones Mathematcae Unverstats Carolnae, 49(4 (008, pp [16] V. Rödl, A. Rucńsk and E. Szemeréd, A Drac-type theorem for -unform hypergraphs, Comb. Probab. Comput., 15 (006, pp [17] V. Rödl, A. Rucńsk and E. Szemeréd, Perfect matchngs n unform hypergraphs wth large mnmum degree, Europ. J. Combn., 7 (006, pp [18] V. Rödl, A. Rucńsk and E. Szemeréd, An approxmate Drac-type theorem for k-unform hypergraphs, Combnatorca, 8( (008, pp

24 [19] V. Rödl, A. Rucńsk and E. Szemeréd, Perfect matchngs n large unform hypergraphs wth large mnmum collectve degree, J. Comb. Theory Ser. A, 116( (009, pp