arxiv: v3 [math.co] 6 Aug 2014

Transcription

1 NEAR PERFECT MATCHINGS IN -UNIFORM HYPERGRAPHS arxiv: v3 [math.co] 6 Aug 2014 JIE HAN Abstract. Let H be a -uiform hypergraph o vertices where is a sufficietly large iteger ot divisible by. We prove that if the miimum ( 1)- degree of H is at least /, the H cotais a matchig with / edges. This cofirms a cojecture of Rödl, Rucińsi ad Szemerédi [13], who proved that miimum ( 1)-degree /+O(log) suffices. More geerally, we show that H cotais a matchig of size d if its miimum codegree is d < /, which is also best possible. 1. Itroductio Give 2, a -uiform hypergraph (i short, -graph) cosists of a vertex set V(H) ad a edge set E(H) ( ) V(H), where every edge is a -elemet subset of V(H). A matchig i H is a collectio of vertex-disjoit edges of H. A perfect matchig M i H is a matchig that covers all vertices of H. Clearly a perfect matchig i H exists oly if divides V(H). Whe does ot divide = V(H), we call a matchig M i H a ear perfect matchig if M = /. Give a -graph H with a set S of d vertices (where 1 d 1) we defie deg H (S) to be the umber of edges cotaiig S (the subscript H is omitted if it is clear from the cotext). The miimum d-degree δ d (H) of H is the miimum of deg H (S) over all d-vertex sets S i H. We refer to δ 1 (H) as the miimum codegree of H. Over the last few years there has bee a strog focus i establishig miimum d-degree thresholds that force a perfect matchig i a -graph [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14]. I particular, Rödl, Rucińsi ad Szemerédi [13] determied the miimum codegree threshold that esures a perfect matchig i a -graph o vertices for all 3 ad sufficietly large N. The threshold is 2 +C, where C {3/2,2,5/2,3} depeds o the values of ad. I cotrast, they proved that the miimum codegree threshold that esures a ear perfect matchig i a -graph o / N vertices is betwee ad +O(log). It is cojectured, i [13] ad [10, Problem 3.3], that this threshold is. I this ote we verify this cojecture. Theorem 1.1. For ay iteger 3, let be a sufficietly large iteger which is ot divisible by. Suppose H is a -uiform hypergraph o vertices with δ 1 (H). The H cotais a matchig of size. It is also atural to as for the miimum codegree threshold for the matchig umber of -graphs, amely, the size of a maximum matchig. The followig Date: July 16, Correspodig author: Jie Ha, Georgia State Uiversity, Atlata, GA, USA. jha22@gsu.edu. 1

2 2 JIE HAN theorem [13, Fact 2.1] is obtaied by a greedy algorithm. Let ν(h) be the size of a maximum matchig i H. Theorem 1.2. [13] Let 2. For every -uiform hypergraph H o vertices, ν(h) δ 1 (H) if δ 1 (H) +2. Note that for N ad δ 1(H) 2, H may ot cotai a perfect matchig, amely, a matchig of size (see [13]). So the oly ope cases are whe +3 δ 1 (H) <. I this ote, we close this gap for large. Corollary 1.3. For ay iteger 3, let be a sufficietly large iteger. For every -uiform hypergraph H o vertices, ν(h) δ 1 (H) if δ 1 (H) <. Proof. Let δ 1 (H) = c. We oly prove Corollary 1.3 i the cases whe 1 c 3, sice Theorem 1.2 covers the cases whe c 2 ad Theorem 1.1 covers the case whe δ 1 (H) = <. Let r mod such that 0 r 1. Note that = +c if r + c < ad + 1 = +c+1 otherwise. For the first case, we add c vertices to H ad get H such that H cotais all edges of H ad all -sets cotaiig ay of these ew vertices. Note that H has +c vertices ad δ 1 (H ) = +c. Moreover, does ot divide +c sice 1 r+c <. We apply Theorem 1.1 o H ad get a ear perfect matchig M of H. Deletig up to c edges from M that cotai the ew vertices, we get a matchig i H of size c. I the secod case, we add c+1 vertices to H ad get H such that H cotais all edges of H ad all -sets cotaiig ay of these ew vertices. Note that H has +c+1 vertices ad δ 1 (H ) = +1 = +c+1. Moreover, does ot divide +c+1 sice +1 r+c Similarly we apply Theorem 1.1 o H ad getaearperfectmatchigm ofh. Deletiguptoc+1edgesfromM thatcotai the ew vertices, we get a matchig i H of size +1 (c+1) = c. It is easy to see that Theorem 1.1 ad Corollary 1.3 are best possible. For a iteger 0 d <, let H be a -graph with a partitio A B of the vertex set V(H) such that A = d ad E(H) cosists of all -tuples that itersect A. Sice every edge itersects A, we have ν(h) = δ 1 (H) = A = d. Let us describe this iterestig pheomeo by the followig dyamic process. Cosider a -graph H o vertices with E(H) = at the begiig ad add edges to E(H) gradually. Corollary 1.3 says ν(h) δ 1 (H) whe δ 1 (H) <. I order to guaratee a perfect matchig, δ 1 (H) eeds to be about /2 [13]. As a typical approach to obtai exact results, our proof of Theorem 1.1 cosists of a extremal case ad a oextremal case. We say that H is γ-extremal if V(H) cotais a idepedet subset B of order at least (1 γ) 1. Theorem 1.4 (Noextremal case). For ay iteger 3 ad costat γ > 0, there is a iteger 0 such that the followig holds. Let 0 be a iteger ot divisible by ad let H be a -vertex -graph with δ 1 (H) γ. If H is ot 5γ-extremal, the H cotais a ear perfect matchig.

3 NEAR PERFECT MATCHINGS IN -UNIFORM HYPERGRAPHS 3 Theorem 1.5 (Extremal case). For ay iteger 3, there exist a ǫ > 0 ad a iteger 1 such that the followig holds. Let 1 be a iteger ot divisible by ad let H be a -vertex -graph with δ 1 (H). If H is ǫ-extremal, the H cotais a ear perfect matchig. Theorem 1.1 follows from Theorem 1.4 ad Theorem 1.5 immediately. We prove Theorem 1.4 by the absorbig method, iitiated by Rödl, Rucińsi ad Szemerédi [11]. Give a set S of + 1 vertices, we call a edge e E(H) disjoit from S S-absorbig if there are two disjoit edges e 1 ad e 2 i E(H) such that e 1 S = 1, e 1 e = 1, e 2 S = 2, ad e 2 e = 2. Note that this is ot the absorbig i the usual sese because e 1 e 2 misses oe vertex of S e. Let us explai how such absorbig wors. Let S be a ( + 1)-set ad M be a matchig, where V(M) S =, which cotais a S-absorbig edge e. The M ca absorb S by replacig e i M by e 1 ad e 2 (oe vertex of e becomes ucovered). The followig absorbig lemma was proved i [13, Fact 2.3] with the coclusio that the umber of S-absorbig edges i M is at least 2. However, its proof shows that 2 ca be replaced by ay costat. Note that we do ot require that does ot divide i Lemma 1.6 ad Lemma 1.7. Lemma 1.6. [13, Absorbig lemma] For all c,γ > 0 there exist C > 0 ad 2 such that if H is a -graph with 2 vertices ad δ 1 (H) c, the there exists a matchig M i H of size M Clog ad such that for every (+1)-tuple S of vertices of H, the umber of S-absorbig edges i M is at least /γ. We also eed the followig lemma, which provides a matchig that covers all but a costat umber of vertices whe H is ot extremal. Lemma 1.7 (Almost perfect matchig). For ay iteger 3 ad costat γ > 0 the followig holds. Let H be a -vertex -graph such that is sufficietly large ad δ 1 (H) γ. If H is ot 2γ-extremal, the H cotais a matchig that covers all but at most 2 /γ vertices. Nowletuscompareourproofwiththeproofi[13],whichshowedthatδ 1 (H) + O(log) guaratees a ear perfect matchig. I [13], the authors first build a absorbig matchig of size Clog ad the apply Theorem 1.2 i the remaiig -graph. Fially, they absorb the leftover vertices ad get the ear perfect matchig. I our proof, istead of Theorem 1.2, we apply Lemma 1.7 after buildig the absorbig matchig. Lemma 1.7 oly requires a weaer degree coditio δ 1 (H) γ ad the coditio that H is ot extremal. We the hadle the extremal case separately. 2. Proof of Theorem 1.4 I this sectio we prove Theorem 1.4 with the help of Lemma 1.6 ad Lemma 1.7. Proof of Lemma 1.7. Let M = {e 1,e 2,...,e m } be a maximum matchig of size m i H. Let V be the set of vertices covered by M ad let U be the set of vertices which are ot covered by M. We assume that H is ot 2γ-extremal ad U > 2 /γ. Note that U is a idepedet set by the maximality of M. We arbitrarily partitio all but at most 2 vertices of U as disjoit ( 1)-sets A 1,...,A t where t = U 1 > γ.

4 4 JIE HAN Let D be the set of vertices v V such that {v} A i E(H) for at least sets A i, i [t]. We claim that e i D 1 for ay i [m]. Otherwise, assume that x,y e i D. By the defiitio of D, we ca pic A i,a j for some distict i,j [t] such that {x} A i E(H) ad {y} A j E(H). We obtai a matchig of size m+1 by replacig e i i M by {x} A i ad {y} A j, cotradictig the maximality of M. Next we show that D ( 1 2γ). By the miimum degree coditio, we have ( ) 1 t t γ deg(a i ) D t+, where we use the fact that U is a idepedet set. So we get ( ) 1 D γ ( ) 1 > t 2γ, i=1 where we use t > /γ. Let V D := {e i,e i D }. Note that V D \D = ( 1) D ( 1)( 1 2γ). Sice H is ot 2γ-extremal, H[V D \D] cotais at least oe edge, deoted by e 0. We assume that e 0 itersects e i1,...,e il i M for some 2 l. Suppose {v ij } = e ij D for all j [l]. By the defiitio of D, we ca greedily pic A i1,...,a il such that {v ij } A ij E(H) for all j [l]. Let M be the matchig obtaied from replacig the edges e i1,...,e il by e 0 ad {v ij } A ij for j [l]. Thus, M has m+1 edges, cotradictig the maximality of M. Now we prove Theorem 1.4. Proof of Theorem 1.4. Suppose H is a -graph o / N vertices with δ 1 (H) / γ ad H is ot 5γ-extremal. I particular, γ < 1 5. Sice δ 1(H) 2, we first apply Lemma 1.6 o H with c = 1 2 ad fid the absorbig matchig M of size at most Clog such that for every set S of +1 vertices of H, the umber of S-absorbig edges i M is at least /γ. Let H = H[V(H)\V(M )] ad = V(H ). Note that δ 1 (H ) δ 1 (H) Clog > ( 1 2γ). If H is 4γ-extremal, amely, V(H ) cotais a idepedet set B of order at least (1 4γ) 1, the sice (1 4γ) 1 (1 5γ) 1, we get that H is 5γ-extremal, a cotradictio. Thus, H is ot 4γ-extremal ad we ca apply Lemma 1.7 o H with parameter 2γ ad get a matchig M i H that covers all but at most 2 /(2γ) vertices. Sice for every ( + 1)-tuple S i V(H), the umber of S-absorbig edges i M is at least /γ, we ca repeatedly absorb the leftover vertices (at most /(2γ) times, each time the umber of leftover vertices is reduced by ) util the umber of leftover vertices is at most (strictly less tha by the assumptio). Let M deote the absorbig matchig after the absorptio. The M M is the desired ear perfect matchig i H. 3. Proof of Theorem 1.5 We prove Theorem 1.5 i this sectio. We use the followig result of Pihuro [9], stated here i a less geeral form.

5 NEAR PERFECT MATCHINGS IN -UNIFORM HYPERGRAPHS 5 Theorem3.1. [9,Theorem3]Let H be a-partite -graph with -partitio V(H) = V 1 V 2 V such that V i = m for all i []. Let δ {1} (H) = mi{ N(v 1 ) : v 1 V 1 } ad δ []\{1} (H) = mi{ N(v 2,...,v ) : v i V i for every 2 i }. For sufficietly large iteger m, if the H cotais a perfect matchig. δ {1} (H)m+δ []\{1} (H)m m, Proof of Theorem 1.5. Fix a sufficietly small ǫ > 0. Suppose is sufficietly large ad ot divisible by. Let H be a -graph o vertices satisfyig δ 1 (H). Assume that H is ǫ-extremal, amely, there is a idepedet set S V(H) with S (1 ǫ) 1. We partitio V(H) as follows. Let α = ǫ 1/2. Let C be a maximum idepedet set of V(H). Defie (3.1) A = { ( )} C x V \C : deg(x,c) (1 α), 1 ad B = V \(A C). We first observe the followig bouds of A, B, C. Propositio 3.2. A α, B α, ad (1 ǫ) ( 1) C ( 1). Proof. The lower boud for C follows from our hypothesis immediately. For ay S C of order 1, we have N(S) A B. By the miimum degree coditio, we have (3.2) N(S) A + B = C 1) +ǫ(, which gives the upper boud for C. By the defiitios of A ad B, we have ( ) ( ) ( ) C C C e((a B)C 1 ) (1 α) B + A, where e((a B)C 1 ) deotes the umber of edges that cotais 1 vertices i C ad oe vertex i A B. Thus, we get A + B α B, which gives that α B A + B ǫ by (3.2). So B α ad A B α. We will build four disjoit matchigs M 1, M 2, M 3, ad M 4 i H, whose uio gives the desired ear perfect matchig i H. Let r mod ad 1 r 1. Note that = r. For i [3], let A i = A \ V( j [i] M j ) ad C i = C \ V( j [i] M j ) be the sets of ucovered vertices of A ad C, respectively. Let i = V(H)\V( j [i] M j ) ad ote that i r mod. Step 1. Small matchigs M 1 ad M 2 coverig B. We build the first matchig M 1 o vertices of B C of size t oly if t := A > 0. Note that it is possible that t 0 i this case M 1 =. By Propositio 3.2, we ow that t = A α. Sice δ 1(H) ad by the defiitio of t, we have δ 1 (H[B C]) t. Sice C ( 1), we have B = C A A = t. We pic arbitrary t disjoit ( 1)-sets from

6 6 JIE HAN C. Sice C is a idepedet set, each of the ( 1)-sets has at least t eighbors i B, so we ca choose a matchig M 1 of size t. Next we build the secod matchig M 2 that covers all the vertices i B\V(M 1 ). For each v B\V(M 1 ), we pic 2 arbitrary vertices from C ot covered by the existig matchig, ad a ucovered vertex v V to complete a edge ad add it to M 2. Sice δ 1 (H) ad the umber of vertices covered by the existig matchig is at most B α <, such a edge always exists. Our costructio guaratees that each edge i M 1 M 2 cotais at least oe vertex from B ad thus M 1 M 2 B. We claim that A 1 1 r ad A 2 2 r. To see the boud for A 1, we separate two cases depedig o t. Whe t > 0, sice M 1 = t, we have A 1 = r t = r M 1 = 1 r. Otherwise t 0, we have 1 = ad A 1 = A r. For the boud for A 2, sice each edge of M 2 cotais at most oe vertex of A, we have A 2 A 1 M 2 1 r = 1 r M 2 = 2 r. Let s := A 2 2 r 0. Sice 2 = M 1 M 2 B α ad C (1 ǫ) ( 1) (Propositio 3.2), we get s C α r ( 1) ǫ +α+1 2α. Step 2. A small matchig M 3. Startigwith M 3 =, wewill greedilyaddatmost 2αedgestoM 3 froma 2 C 2 util we have A 3 3 r {0,1}. Ideed, throughout the process, deote by the umber of ucovered vertices of H ad deote by A,C the set of ucovered vertices i A,C, respectively. Let c = A r. If c 1, the we arbitrarily pic 1 vertices from A ad a vertex from A C to form a edge. As a result, A r decreases by 1 or 2. If c < 1, the we pic c vertices from A, c 1 vertices from C, ad form a edge with some vertex from A C. I this case, A r decreases by c or c 1. The iteratio stops whe A r becomes 0 or 1 after at most s 2 s 2α steps. Note that we ca always form a edge i each step because the umber of covered vertices is at most B + 2α 3α < δ 1 (H). So we get a matchig M 3 of at most 2α edges. Step 3. The last matchig M 4. Now we have two cases, A 3 3 r = 0 or 1. I the first case, we will fid a matchig M 4 of size A 3 which leaves r vertices i C 3. I the secod case, we will fid a matchig M 4 of size A 3 1 which leaves oe vertex i A 3 ad r 1 vertices i C 3. Note that i either case we are doe sice M = M 1 M 2 M 3 M 4 is a matchig that covers all but r vertices of V(H). We defie A 3 ad C 3 as follows. If A 3 3 r = 0, we let A 3 = A 3 ad obtai C 3 by deletig arbitrary r vertices from C 3. Otherwise, we obtai A 3 by deletig oe arbitrary vertex from A 3 ad obtai C 3 by deletig r 1 arbitrary vertices

7 NEAR PERFECT MATCHINGS IN -UNIFORM HYPERGRAPHS 7 from C 3. Note that i both cases, we have A 3 A 3 + C 3 = 0, which implies C 3 = ( 1) A 3. Furthermore, we have A 3 A M 1 M 2 M 3 1 α α 2α 1 5α, because M 1 M 2 B α ad M 3 2α. Letm := A 3. Next, wepartitioc 3 arbitrarilyito 1partsC1,C 2,...,C 1 of the same size m. We wat to apply Theorem 3.1 o the -partite -graph H := H[A 3,C 1,...,C 1 ]. Let us verify the assumptios. First, sice C 3 is idepedet, foraysetof 1verticesv 1,...,v 1 suchthatv i C i fori [ 1], the umber of its o-eighbors i A B is at most A + B 1) +ǫ( ǫ 2ǫm, where we use (3.2) ad the last iequality follows from m = A 3 5α > 1. So we have δ 2 []\{1} (H ) m 2ǫm = (1 2ǫ)m. Next, by (3.1), for ay v A 3, we have ( ) C deg H (v,c) α α C 1 1 ( 1)! α ( 1 ) 1 ( 1)! α (m) 1 ( 1)! = αc m 1, where c = 1 ( 1)!. This implies that δ {1}(H ) (1 αc )m 1. Thus, we have δ {1} (H )m+δ []\{1} (H )m 1 (1 αc )m 1 m+(1 2ǫ)mm 1 > 3 2 m, sice ǫ is small eough. By Theorem 3.1, we fid a perfect matchig i H, which gives the perfect matchig M 4 o H[A 3 C 3]. 4. Acowledgemet The author would lie to tha his advisor, Yi Zhao, for suggestig this problem. The author also thas Adrzej Rucińsi, Yi Zhao ad the aoymous referee for ivaluable commets o the mauscript. Refereces [1] N. Alo, P. Fral, H. Huag, V. Rödl, A. Rucińsi, ad B. Sudaov. Large matchigs i uiform hypergraphs ad the cojecture of Erdős ad Samuels. J. Combi. Theory Ser. A, 119(6): , [2] A. Czygriow ad V. Kamat. Tight co-degree coditio for perfect matchigs i 4-graphs. Electro. J. Combi., 19(2):Paper 20, 16, [3] H. Hà, Y. Perso, ad M. Schacht. O perfect matchigs i uiform hypergraphs with large miimum vertex degree. SIAM J. Discrete Math, 23: , [4] I. Kha. Perfect matchigs i 4-uiform hypergraphs. arxiv: [5] I. Kha. Perfect matchigs i 3-uiform hypergraphs with large vertex degree. SIAM J. Discrete Math., 27(2): , [6] D. Küh ad D. Osthus. Matchigs i hypergraphs of large miimum degree. J. Graph Theory, 51(4): , [7] D. Küh, D. Osthus, ad A. Treglow. Matchigs i 3-uiform hypergraphs. J. Combi. Theory Ser. B, 103(2): , [8] K. Marström ad A. Rucińsi. Perfect Matchigs (ad Hamilto Cycles) i Hypergraphs with Large Degrees. Eur. J. Comb., 32(5): , July [9] O. Pihuro. Perfect matchigs ad K4 3 -tiligs i hypergraphs of large codegree. Graphs Combi., 24(4): , [10] V. Rödl ad A. Rucińsi. Dirac-type questios for hypergraphs a survey (or more problems for edre to solve). A Irregular Mid, Bolyai Soc. Math. Studies 21: , 2010.

8 8 JIE HAN [11] V. Rödl, A. Rucińsi, ad E. Szemerédi. A Dirac-type theorem for 3-uiform hypergraphs. Combiatorics, Probability ad Computig, 15(1-2): , [12] V. Rödl, A. Rucińsi, ad E. Szemerédi. Perfect matchigs i uiform hypergraphs with large miimum degree. Europea J. Combi., 27(8): , [13] V. Rödl, A. Rucińsi, ad E. Szemerédi. Perfect matchigs i large uiform hypergraphs with large miimum collective degree. J. Combi. Theory Ser. A, 116(3): , [14] A. Treglow ad Y. Zhao. Exact miimum degree thresholds for perfect matchigs i uiform hypergraphs ii. J. Combi. Theory Ser. A, 120: , 2013.