VERTEX DEGREE SUMS FOR PERFECT MATCHINGS IN 3-UNIFORM HYPERGRAPHS
|
|
- Camilla Horn
- 6 years ago
- Views:
Transcription
1 VERTEX DEGREE SUMS FOR PERFECT MATCHINGS IN 3-UNIFORM HYPERGRAPHS YI ZHANG, YI ZHAO, AND MEI LU Abstract. We determine the minimum degree sum of two adjacent vertices that ensures a perfect matching in a 3-graph without isolated vertex. More precisely, suppose that H is a 3-uniform hypergraph whose order n is sufficiently large and divisible by 3. If H contains no isolated vertex and deg(u+deg(v > 3 n 8 3 n+ for any two vertices u and v that are contained in some edge of H, then H contains a perfect matching. This bound is tight. 1. Introduction A k-uniform hypergraph (in short, k-graph H is a pair (V, E, where V := V (H is a finite set of vertices and E := E(H is a family of k-element subsets of V. A matching of size s in H is a family of s pairwise disjoint edges of H. If the matching covers all the vertices of H, then we call it a perfect matching. Given a set S V, the degree deg H (S of S is the number of the edges of H containing S. We simply write deg(s when H is obvious from the context. Given integers l < k n such that k divides n, we define the minimum l-degree threshold m l (k, n as the smallest integer m such that every k-graph H on n vertices with δ l (H m contains a perfect matching. In recent years the problem of determining m l (k, n has received much attention, see, e.g., [, 4, 5, 6, 7, 8, 9, 11, 1, 13, 15, 16, 17, 19, 0, 1]. In particular, Rödl, Ruciński, and Szemerédi [17] determined m k 1 (k, n for all k 3 and sufficiently large n. Treglown and Zhao [19, 0] determined m l (k, n for all l k/ and sufficiently large n. For more Dirac-type results on hypergraphs, we refer readers to surveys [14, 5]. In this paper we consider vertex degrees in 3-graphs. Hàn, Person and Schacht [4] showed that ( ( 5 n m 1 (3, n = 9 + o(1. (1 Kühn, Osthus and Treglown [10] and independently Khan [6] later proved that m 1 (3, n = ( ( n 1 n/3 + 1 for sufficiently large n. Motivated by the relation between Dirac s condition and Ore s condition for Hamilton cycles, Tang and Yan [18] studied the degree sum of two (k 1-sets that guarantees a tight Hamilton cycle in k-graphs. Zhang and Lu [] studied the degree sum of two (k 1-sets that guarantees a perfect matching in k- uniform hypergraphs. It is more natural to consider the degree sum of two vertices that guarantees a perfect matching in hypergraphs. For two distinct vertices u, v in a hypergraph, we call u, v adjacent if there exists an edge containing both of them. The following are three possible ways of defining the minimum degree sum of 3-graphs. Let σ (H = min{deg(u + deg(v : u, v V (H}, σ (H = min{deg(u + deg(v : u and v are adjacent} and σ (H = min{deg(u + deg(v : u and v are not adjacent}. The parameter σ is closely related to the Dirac threshold m 1 (3, n. We can prove that when n is divisible by 3 and sufficiently large, every 3-graph H on n vertices with σ (H ( ( ( n 1 n/3 + 1 contains a perfect matching. Indeed, such H contains at most one vertex u with deg(u ( ( n 1 n/3. If deg(u (5/9 ε ( n for some ε > 0, then we choose an edge containing u and find a perfect matching in Date: October 11, 017. Key words and phrases. Perfect matchings; Hypergraphs; Dirac s theorem; Ore s condition. Yi Zhang and Mei Lu are supported by the National Natural Science Foundation of China (Grants and Yi Zhao is partially supported by NSF grants DMS and DMS
2 the remaining 3-graph by (1 immediately. Otherwise, δ 1 (H (5/9 ε ( n. We can prove that H contains a perfect matching by following the same process as in [10]. 1 On the other hand, no condition on σ alone guarantees a perfect matching. In fact, let H be the 3-graph whose edge set consists of all triples that contain a fixed vertex. This H contains no two disjoint edges even though it satisfies all conditions on σ (because any two vertices of H are adjacent. Therefore we focus on σ. More precisely, we determine the largest σ (H among all 3-graphs H of order n without isolated vertex such that H contains no perfect matching. (Trivially H contains no perfect matching if it contains an isolated vertex. Let us define a 3-graph H, whose vertex set is partitioned into two vertex classes S and T of size n/3 + 1 and n/3 1, respectively, and whose edge set consists of all the triples containing at least two vertices of T. For any two vertices u T and v S, ( n/3 ( n ( ( deg(u = n n/3 1 3 > = deg(v. Hence σ (H = ( ( n/3 + (n/3 + 1(n/3 + n/3 1 = n /3 8n/3 +. Obviously, H contains no perfect matching. The following is our main result. Theorem 1. There exists n 0 N such that the following holds for all integers n n 0 that are divisible by 3. Let H be a 3-graph of order n n 0 without isolated vertex. If σ (H > σ (H = 3 n 8 3n +, then H contains a perfect matching. Theorem 1 actually follows from the following stability result. Theorem. There exist ε > 0 and n 0 N such that the following holds for all integers n n 0 that are divisible by 3. Suppose that H is a 3-graph of order n n 0 without isolated vertex and σ (H > n /3 εn, then H H or H contains a perfect matching. Indeed, if σ (H > n /3 8n/3 +, then H H and by Theorem, H contains a perfect matching. Furthermore, Theorem implies that H is the unique extremal 3-graph for Theorem 1 because all proper subgraphs H of H satisfy σ (H < σ (H. This paper is organized as follows. In Section, we provide preliminary results and an outline of our proof. We prove an important lemma in Section 3 and we complete the proof of Theorem in Section 4. Section 5 contains concluding remarks and open problems. Notation: Given vertices v 1,..., v t, we often write v 1 v t for {v 1,..., v t }. The neighborhood N(u, v is the set of the vertices w such that uvw E(H. Let V 1, V, V 3 be three vertex subsets of V (H, we say that an edge e E(H is of type V 1 V V 3 if e = {v 1, v, v 3 } such that v 1 V 1, v V and v 3 V 3. Given a vertex v V (H and a set A V (H, we define the link L v (A to be the set of all pairs uw such that u, w A and uvw E(H. When A and B are two disjoint sets of V (H, we define L v (A, B as the set of all pairs uw such that u A, w B and uvw E(H. We write 0 < a 1 a a 3 if we can choose the constants a 1, a, a 3 from right to left. More precisely there are increasing functions f and g such that given a 3, whenever we choose some a f(a 3 and a 1 g(a, all calculations needed in our proof are valid. We will need small constants. Preliminaries and proof outline 0 < ε η γ γ ρ τ 1. Suppose H is a 3-graph such that σ (H > n /3 εn. Let W = {v V (H : deg(v n /3 εn /}, U = V \ W. If W =, then (1 implies that H contains a perfect matching. We thus assume that W 1. Any two vertices of W are not adjacent otherwise σ (H n /3 εn, a contradiction. If W n/3 + 1, then H H and we are done. We thus assume W n/3 for the rest of the proof. Our proof will use the following claim. 1 In fact, due to the absorbing method, we only need to verify the extremal case.
3 Claim 3. If W n/4, then every vertex of U is adjacent to some vertex of W. Proof. To the contrary, assume that some vertex u 0 U is not adjacent to any vertex in W. Then we have deg(u 0 ( ( U 1 = n W 1. Since W n/4 and n is sufficiently large, ( n n/4 1 deg(u 0 = 9 3 n 9 8 n + 1 < n 3 ε n, which contradicts the definition of U. By Claim 3, when W n 4, we have deg(u (n /3 εn ( n W for every u U. This is stronger than the bound given by the definition of U because ( ( ( ( n W n n/4 3 n εn 3 n εn > n 3 ε n. Our proof consists of two steps. Step 1. We prove that H contains a matching that covers all the vertices of W. Lemma 4. There exist ε > 0 and n 0 N such that the following holds. Suppose that H is a 3-graph of order n n 0 without isolated vertex and σ (H > n /3 εn. Let W = {v V (H : deg(v n /3 εn /}. If W n/3, then H contains a matching that covers every vertex of W. Our approach towards Lemma 4 begins by considering a largest matching M such that every edge of M contains one vertex from W and suppose M < W. If W (1/3 γn, then we choose two adjacent vertices, one from W and the other from V \ W to derive a contradiction with σ (H. If n/3 W > (1/3 γn, we use three unmatched vertices, one from W and two from V \ W to derive a contradiction. Step. We show that H contains a perfect matching. Because of Lemma 4, we begin by considering a largest matching M such that M covers every vertex of W and suppose that M < n/3. After choosing three vertices from V \ V (M, we distinguish the cases when M n/3 ηn and when M > n/3 ηn and derive a contradiction by comparing upper and lower bounds for the degree sum of these three vertices. When M > n/3 ηn, we need to apply (1. In Step we need three simple extremal results. The first lemma is Observation 1.8 of Aharoni and Howard [1]. A k-graph H is called k-partite if V (H can be partitioned into V 1,, V k, such that each edge of H meets every V i in precisely one vertex. If all parts are of the same size n, we call H n-balanced. Lemma 5. [1] Let F be the edge set of an n-balanced k-partite k-graph. If F does not contain s disjoint edges, then F (s 1n k 1. The bound in the following lemma is tight because we may let G 1 be the empty graph and G = G 3 = K n. Lemma 6. Given two sets A V such that A = 3 and V = n 4, let G 1, G, G 3 be three graphs on V such that no edge of G 1 is disjoint from an edge from G or G 3. Then 3 v A deg G i (v 6(n 1. Proof. Assume A = {u 1, u, u 3 } and let b = n 3 1. We need to show that 3 3 (u j 6b+1. Let l i denote the number of the vertices in A of degree at least 3 in G i. We distinguish the following two cases: Case 1: l 1 1. If l 1, say, deg G1 (u j 3 for j = 1,, then E(G i {u 1 u } for i =, 3 otherwise we can find two disjoint edges, one from G 1 and the other from G or G 3. Therefore, 3 (u j for i =, 3. Moreover, 3 (u j 3b + 6. We have 3 3 (u j 3b + 10 < 6b + 1. If l 1 = 1, say, deg G1 (u 1 3, then G i is a star centered at u 1 for i =, 3 otherwise one edge of G 1 must be disjoint from one edge of G or G 3. In this case we have 3 (u j b and 3 (u j b + 4 for i =, 3. Therefore, 3 3 (u j 3b + 14 < 6b + 1 as b 1. Case : l 1 = 0. If l i = 3 for some i {, 3}, then E(G 1 =. In this case 3 3 (u j (3b + 6 6b
4 Suppose l, l 3 and l = or l 3 =. Without loss of generality, assume l = and deg G (u j 3 for j = 1,. Then E(G 1 {u 1 u }. In this case 3 (u j and 3 (u j b for i =, 3. Hence 3 3 (u j 4b b + 1 as b 1. Assume l, l 3 1 and l = 1 or l 3 = 1. Without loss of generality, assume l = 1 and deg G (u 1 3. Then G 1 is a star centered at u 1. We have 3 (u j 4 and 3 (u j b for i =, 3. So 3 3 (u j b b + 1 as b 1. Suppose l, l 3 = 0. In this case 3 (u j 6 for i = 1,, 3. Therefore, 3 3 (u j 18 6b + 1 as b 1. The bound in the following lemma is tight because we may let G 1 = G = G 3 be a star of order n centered at a vertex of A. Lemma 7. Given two sets A V such that A = 3 and V = n 5, let G 1, G, G 3 be three graphs on V such that no edge of G i is disjoint from an edge from G j for any i j. Then 3 v A deg G i (v 3(n+1. Proof. Assume A = {u 1, u, u 3 } and let b = n 3. We need to show that 3 3 (u j 3b+1. Let l i denote the number of the vertices in A of degree at least 3 in G i. We distinguish the following two cases: Case 1: l i 1 for some i [3]. Without loss of generality, l 1 1 and deg G1 (u 1 3. If deg G1 (u 3 or deg G1 (u 3 3, say, deg G1 (u 3, then E(G i {u 1 u } for i =, 3 otherwise we can find two disjoint edges e 1 and e from two distinct graphs of G 1, G, G 3. In this case 3 (u j 3b + 6 and 3 (u j for i =, 3, which implies that 3 3 (u j 3b Assume deg G1 (u j for j =, 3. We know that G i, i =, 3 is a star centered at u 1 otherwise one edge of G 1 must be disjoint from one edge of G i, i {, 3}. If deg G (u 1 3 or deg G3 (u 1 3, then G 1 is also a star centered at u 1. In this case 3 (u j b+4 for i [3], so 3 3 (u j 3b+1. Otherwise deg Gi (u 1 for i =, 3, hence 3 (u j 4 for i =, 3. Since 3 (u j b + 6, we have 3 3 (u j b b + 1. Case : l i = 0 for i [3]. In this case 3 (u j 6 for i = 1,, 3. Hence 3 3 (u j 18 3b + 1 as b. 3. Proof of Lemma 4 Choose a largest matching of H, denoted by M, such that every edge of M is of type UUW. To the contrary, assume that M W 1. Let U 1 = V (M U, U = U \U 1, W 1 = V (M W, and W = W \W 1. Then U 1 = M, and U = n W M. We distinguish the following two cases. Case 1: 0 < W ( 1 3 γn. We further distinguish the following two sub-cases: Case 1.1: A vertex v 0 W is adjacent to a vertex u 0 U. Let M = {e M : u e, N(v 0, u U 3}. Assume {u 1, u, v 1 } M such that u 1, u U 1, v 1 W 1, and N(v 0, u 1 U 3. We claim that N(u 0, v 1 (U {u } =. ( Indeed, if {u 0, v 1, u 3 } E(H for some u 3 U, then we can find u 4 U \ {u 0, u 3 } such that {v 0, u 1, u 4 } E(H. Replacing {u 1, u, v 1 } by {u 0, v 1, u 3 } and {v 0, u 1, u 4 } gives a larger matching than M, a contradiction. The case when {u 0, v 1, u } E(H is similar. By the definition of M, there are at most ( U 1 M edges containing v 0 with one vertex in U 1 \V (M and one vertex in U. This implies that ( U1 deg(v 0 + M U + ( U 1 M = 4 ( U1 + U 1 + M ( U 4.
5 By (, there are at most U 1 W 1 M edges consisting of u 0, one vertex in U 1, and one vertex in W 1, and at most ( U 1( W 1 M edges consisting of u 0, one vertex in U, and one vertex in W 1. Therefore, ( U 1 deg(u 0 + U 1 W + U 1 W 1 M + ( U 1( W 1 M ( U 1 = + U 1 W + ( U 1 W 1 U M, and consequently, ( ( U1 U 1 deg(v 0 + deg(u 0 + U U 1 W + ( U 1 W 1 + M ( U 4. Since W ( 1 3 γn, we have U > 3γn > 4. As M M = W 1 = U1, it follows that ( ( U1 U 1 deg(v 0 + deg(u 0 + U U 1 W + ( U 1 U 1 + U 1 ( U 4 (( ( ( ( U U U 1 = + + W 1 U 1 ( = ( U 1 U + ( W 1 M. Since M W 1 and U n 3 W +, we derive that ( n 3 W + deg(v 0 + deg(u 0 (n W 1 + ( W 1( W 1 = 3 n 7 3 n ( n W. Since W ( 1 3 γn, 0 < ε γ and n is sufficiently large, we have deg(v 0 + deg(u 0 3 n 7 3 n ( γn + 7 < 6 3 n εn. This contradicts our assumption on σ (H because v 0 and u 0 are adjacent. Case 1.: No vertex in W is adjacent to any vertex in U. Fix v 0 W. Since v 0 is not adjacent to any vertex in U, we have deg(v 0 ( U 1 ( = M. Since v0 is not an isolated vertex, there exists a vertex u 1 U 1 that is adjacent to v 0. By the assumption, H contains no edge containing u 1 with one vertex in U, one vertex in W. Thus deg(u 1 ( U 1 +( U 1 W U W. Since M W 1 and U = n W, it follows that ( ( ( W 1 U 1 deg(v 0 + deg(u ( U 1 W (n 3 W + = 3 ( W n 5 n Furthermore, since W ( 1 3 γn and 0 < ε γ, we derive that deg(v 0 + deg(u 1 3 ( n 3 γn n 5 n + 13 ( 8 = 3 γ + 3 γ < 3 n εn, contradicting our assumption on σ (H. Case : W > ( 1 3 γn. Claim 8. M n/3 γ n. 5 n (3 3 γ n +
6 Proof. To the contrary, assume that M < n/3 γ n. Fix v 0 W. Then deg(v 0 ( ( U U because there is no edge of type U U W. Suppose u U is adjacent to v 0. Trivially deg(u ( U 1 + ( U 1 W. Thus ( U 1 deg(v 0 + deg(u + ( U 1 W + ( U ( ( U U = (n 1( U 1 Our assumptions imply that U n/3 + γn and U γ n. As a result, ( ( γ deg(v 0 + deg(u (n 1 3 n + γn 1 n < 3 n εn, because ε γ γ and n is sufficiently large. This contradicts our assumption on σ (H. Fix u 1 u U and v 0 W. Trivially deg(w ( ( U for any vertex w W and deg(u U 1 + W ( U 1 for any vertex u U. Furthermore, for any two distinct edges e 1, e M, we observe that at least one triple of type UUW with one vertex from each of e 1 and e and one vertex from {u 1, u, v 0 } is not an edge otherwise there is a matching M 3 of size three on e 1 e {u 1, u, v 0 } and M 3 M \ {e 1, e } is thus a matching larger than M. By Claim 8, M n/3 γ n. Thus, (( U 1 deg(u 1 + deg(u + deg(v 0 + W (U 1 + ( U ( n/3 γ n On the other hand, since W > ( 1 3 γn n/4, Claim 3 implies that u i is adjacent to some vertex in W for i = 1,. We know that v 0 is adjacent to some vertex in U. Therefore, deg(u i > ( n /3 εn ( U for i = 1,, and deg(v 0 > ( n /3 εn ( ( U 1 + W ( U 1. It follows that ( ( ( n U U 1 deg(u 1 + deg(u + deg(v 0 > 3 3 εn W ( U 1. The upper and lower bounds for deg(u 1 + deg(u + deg(v 0 together imply that (( ( ( U 1 U n/3 γ ( n n 3 + W ( U 1 + > 3 3 εn, or ( U 1(n 1 1 ( n/3 γ n > n 3 3 εn, which is impossible because U n/3+γn, 0 < ε γ γ 1 and n is sufficiently large. This completes the proof of Lemma Proof of Theorem Choose a matching M such that (i M covers all the vertices of W ; (ii subject to (i, M is the largest. Lemma 4 implies that such a matching exists. Let M 1 = {e M : e W }, M = M \ M 1, and U 3 = V (H \ V (M. We have M 1 = W, M = M W, U 3 = n 3 M. Suppose to the contrary, that M n/3 1. Fix three vertices u 1, u, u 3 of U 3. We distinguish the following two cases. Case 1: M n/3 ηn. Trivially there are at most 3 M edges in H containing u i and two vertices from the same edge of M for i = 1,, 3. For any distinct e 1, e from M, we claim that L ui (e 1, e 18. Indeed, let H 1 be the 3-partite subgraph of H induced on three parts e 1, e, and {u 1, u, u 3 }. We observe that H 1 does not contain a perfect matching otherwise, letting M 1 be a perfect matching of H 1, (M \ {e 1, e } M 1 is a larger matching than M, a contradiction. Apply Lemma 5 with n = k = s = 3, we obtain that E(H Therefore 3 L u i (e 1, e
7 For any e M 1, we claim that L ui (e, U 3 6( U 3 1. Indeed, assume e = {v 1, v, v 3 } M 1 with v 1 W. Apply Lemma 6 with A = {u 1, u, u 3 }, V = U 3, and G i = (U 3, L vi (U 3 for i = 1,, 3. Since M n/3 4, we have B = U 3 3. By the maximality of M, no edge of G 1 is disjoint from an edge of G or G 3. By Lemma 6, 3 3 (u j 6( U 3 1. Hence 3 L u i (e, U 3 = 3 3 (u j 6( U 3 1. Similarly, for any e M, we can apply Lemma 7 to obtain that L ui (e, U 3 3( U Putting these bounds together gives ( M deg(u i 18 ( M M + L ui (V (M 1, U 3 + L ui (V (M, U M + 6 M 1 ( U M ( U Since M 1 = W, M = M W, U 3 = n 3 M, we derive that ( M deg(u i M + 6 W (n 3 M 1 + 3( M W (n 3 M + 1 = (3n 9 W + 3 M + 3 W n 9 W. Furthermore, 3n 9 W + 3 > 0 and M n/3 ηn implies that If W n/4, from (3, we have ( n deg(u i (3n 9 W ηn + 3 W n 9 W = (9ηn 9 W + (1 3η n + (1 3η n. (3 deg(u i (9ηn 9 n 4 + (1 3η n + (1 3η n = (1 34 ( η n 3η + 5 n, 4 which contradicts the condition ( 3 deg(u n i 3 3 εn because u i U 3 for i [3] and ε η. If W > n/4, Claim 3 implies that u i is adjacent to one vertex of W, i = 1,, 3. Furthermore, deg(w for w W. So ( U ( n deg(u i > 3 3 εn ( ( U n = 3 3 εn The upper and lower bounds for 3 deg(u i together imply that ( n W (9ηn 9 W + (1 3η n + (1 3η n + 3 ( n W. ( n > 3 3 εn, which is a contradiction because W > n/4, 0 < ε η 1 and n is sufficiently large. Case : M > n/3 ηn. If M = n/3 1, then U 3 = 3 and we can not apply Lemmas 6 and 7. In fact, whenever M > n/3 ηn, Lemma 5 suffices for our proof. 7
8 Let W = {v W : deg(v (5/18+τn }. Let M be the sub-matching of M covering every vertex of W. If W ρn, we claim that deg H (u ( γ ( n for every vertex u V (H, where H := H[V \ V (M ]. Indeed, from the definition of W, deg H (u > (5/18 + τn for every vertex u V (H. Hence, ( 5 deg H (u deg H (u 3n W > 18 + τ n 3n W. Since W ρn, 0 < γ ρ τ 1 and n is sufficiently large, we have ( ( ( 5 5 n deg H (u > 18 + τ n 3ρn > 9 + γ. In addition, n is divisible by 3, so V (H is divisible by 3. (1 implies that H contains a perfect matching M. Now M M is a perfect matching of H. Therefore, we assume that W ρn in the rest of the proof. If one vertex of u 1, u, u 3, say, u 1, is adjacent to one vertex in W, the definition of W implies that deg(u 1 > n /3 εn ( τ n. Recall that deg(u i > n /3 εn / for i =, 3. Thus deg(u i > By Lemma 5, we have ( ( ( n εn 18 + τ n = 18 ε τ n. (4 ( M deg(u i 18 = M + 9 M (n 3 M 1 ( M 1 4 n n 9 4 n + 9 8, where 18 ( M accounts for edges between pairs of matching M, 9 M for edges with two vertices in the same matching edge from M, and 9 M (n 3 M 1 for edges with one vertex in V (M, one vertex in U 3. Since M > n/3 ηn, it follows that ( n deg(u i 18 3 ηn 1 4 n n 9 4 n = (1 + 3η 18η n + (9η 3n. However, (1 + 3η 18η n + (9η 3n < ( ε τ n because 0 < ε η τ 1 and n is sufficiently large. It contradicts (4. If none of these three vertices u 1, u, u 3 are adjacent to the vertices in W, we have ( M M deg(u i 18 ( M + 3 = 3 + 9( M M + 9( M M (n 3 M 1 + 3( M (n 3 M 1 ( M + 1 n 3 M 45 4 M + 9 n M 9 M n. Here 18 ( M M accounts for edges between pairs of matching M \ M, 9( M M for edges with two vertices in the same matching edge from M \ M, 9( M M (n 3 M 1 for edges with one vertex in V (M \M, one vertex in U 3, 3 ( M for edges with two vertices in V (M \W, and 3( M (n 3 M 1 for edges with one vertex in V (M \ W, one vertex in V (H \ V (M. Since n/ + 3 M / < 0 and 8
9 M = W ρn, then ( deg(u i 3 ρn + 1 n 3 M 45 4 M + 9 n M 9 M n ( = 18 M 1 4 n ρn + 1 ( ρ 3 4 ρ n 9 4 ρn 9 4 n Recall that 0 < ρ 1, so 1 4 n ρn 1 4 < n 3 ηn. Furthermore, M > n 3 ηn, hence we have ( n deg(u i 18 3 ηn 1 4 n 1 4 ρn + 1 ( ρ 3 4 ρ n 9 4 ρn 9 4 n = ( 1 3ρ 9ηρ + 3η 18η n + (9η 3n, which contradicts the condition 3 deg(u i 3 ( n /3 εn / because 0 < ε η ρ 1 and n is sufficiently large. This completes the proof of Theorem. 5. Concluding remarks In this paper we consider the minimum degree sum of two adjacent vertices that guarantees a perfect matching in 3-graphs. Given 3 k < n and s n/k, can we generalize this problem to k-graphs not containing a matching of size s? For 1 l k, let Hn,k,s l denote the k-graph whose vertex set is partitioned into two sets S and T of size n sl + 1 and sl 1, respectively, and whose edge set consists of all the k-sets with at least l vertices in T. Apparently Hn,k,s l contains no matching of size s. A well-known conjecture of Erdös [3] says that Hn,k,s 1 or Hk n,k,s is the densest k-graph on n vertices not containing a matching of size s. It is reasonable to speculate that the largest σ (H among all k-graphs H on n vertices not containing a matching of size s is also attained by Hn,k,s l. Note that Hk n,k,s is a complete k-graph of order sk 1 together with n sk + 1 isolated vertices and thus σ (H n,k,s k = ( sk k 1. When 1 l k, any two vertices of Hn,k,s l are adjacent and thus σ (Hn,k,s l = δ 1(Hn,k,s l. When l = k 1, it is easy to see that σ (H k 1 n,k,s = ( ( s(k 1 k 1 + (n s(k 1 + s(k 1 k. Assume s = n/k. Since Hn,k,n/k k contains isolated vertices and δ 1(Hn,k,n/k l δ 1(Hn,k,n/k 1 for 1 l k, we only need to compare σ (H n,k,n/k 1 and σ (H k 1 n,k,n/k. For sufficiently large n, it is easy to see that σ (H n,k,n/k 1 < σ (H k 1 n,k,n/k when k 6 and σ (Hn,k,n/k 1 > σ (H k 1 n,k,n/k when k 7. Problem 9. Does the following hold for any sufficiently large n that is divisible by k? Let H be a k-graph of order n without isolated vertex. If k 6 and σ (H > σ (H k 1 n,k,n/k or k 7 and σ (H > σ (H n,k,n/k 1, then H contains a perfect matching. Now assume k = 3 and s n/3. Note that ( (( ( 3s n 1 n s σ (H n,3,s 3 =, σ (Hn,3,s 1 =, and ( ( ( s s s 1 σ (H n,3,s = + (n s = (s (n 1. 1 It is easy to see that σ (H n,3,s > σ (H 1 n,3,s. Zhang and Lu [3] made the following conjecture. Conjecture 10. [3] There exists n 0 N such that the following holds. Suppose that H is a 3-graph of order n n 0 without isolated vertex. If σ (H > (( ( n 1 n s and n 3s, then H contains no matching of size s if and only if H is a subgraph of Hn,3,s. Zhang and Lu [3] showed that the conjecture holds when n 9s. Later the same authors [4] proved the conjecture for n 13s. If Conjecture 10 is true, then it implies the following theorem of Kühn, Osthus and Treglown [10]. 9
10 Theorem 11. [10] There exists n 0 N such that if H is a 3-graph of order n n 0 with δ 1 (H ( n and n 3s, then H contains a matching of size s. ( n s Our Theorem 1 suggests a weaker conjecture than Conjecture 10. Conjecture 1. There exists n 1 N such that the following holds. Suppose that H is a 3-graph of order n n 1 without isolated vertex. If σ (H > σ (H n,3,s and n 3s, then H contains a matching of size s. On the other hand, we may allow a 3-graph to contain isolated vertices. Note that σ (H n,3,s σ (H 3 n,3,s if and only if s (n + 4/9. We make the following conjecture. Conjecture 13. There exists n N such that the following holds. Suppose that H is a 3-graph of order n n and s n/3. If σ (H > σ (H n,3,s and s (n+4/9 or σ (H > σ (H 3 n,3,s and s > (n+4/9, then H contains a matching of size s. In fact, we can derive Conjecture 13 from Conjecture 1 as follows. Let n = max{ ( n 1, 3 n 1} and H be a 3-graph of order n n satisfying the assumption of Conjecture 13. If H contains no isolated vertex, then H contains a matching of size s by Conjecture 1. Otherwise, let W be the set of isolated vertices in H. Let H = H[V (H \ W ] and n = n W. Then H is a 3-graph without isolated vertex and σ (H = σ (H. When s (n + 4/9, we have σ (H > σ (H n,3,s > σ (H n,3,s. In addition, since n ( n 1 and ( n 1 σ (H > (s (n 1 (n 1, we have n n 1. When s > (n + 4/9, we have σ (H > σ (H n,3,s 3 > σ (H n,3,s > σ (H n,3,s. In addition, since n 3n 1 / and ( n ( ( 1 3s (n 1/3 σ (H > >, we have n n 1. In both cases, Conjecture 1 implies that H contains a matching of size s. References [1] R. Aharoni and D. Howard, A rainbow r-partite version of the Erdős-Ko-Rado theorem, Combin. Probab. Comput. 6 (017, [] N. Alon, P. Frankl, H. Huang, V. Rödl, A. Ruciński, and B. Sudakov. Large matchings in uniform hypergraphs and the conjectures of Erdős and Samuels, J. Combin. Theory Ser. A 119 (01, [3] P. Erdős, A problem on independent r-tuples, Ann. Univ. Sci. Budapest. Eőtvős Sect. Math. 8 (1965, [4] H. Hàn, Y. Person, and M. Schacht, On perfect matchings in uniform hypergraphs with large minimum vertex degree, SIAM J. Discrete Math. 3 (009, [5] J. Han, Perfect matchings in hypergraphs and the Erdős matching conjecture, SIAM J. Discrete Math. 30 (016, [6] I. Khan, Perfect matching in 3-uniform hypergraphs with large vertex degree, SIAM J. Discrete Math. 7 (013, [7] I. Khan, Perfect matchings in 4-uniform hypergraphs, J. Combin. Theory Ser. B 116 (016, [8] D. Kühn and D. Osthus, Matchings in hypergraphs of large minimum degree, J. Graph Theory 51 (006, [9] D. Kühn and D. Osthus, Embedding large subgraphs into dense graphs. In Surveys in combinatorics 009, volume 365 of London Math. Soc. Lecture Note Ser., pages Cambridge Univ. Press, Cambridge, 009. [10] D. Kühn, D. Osthus and A. Treglown, Matchings in 3-uniform hypergaphs, J. Combin. Theory Ser. B 103 (013, [11] D. Kühn, D. Osthus and T. Townsend, Fractional and integer matchings in uniform hypergraphs, European J. Combin. 38 (014, [1] K. Markström and A. Ruciński, Perfect matchings (and Hamilton cycles in hypergraphs with large degrees, European J. Combin. 3 (011, [13] O. Pikhurko, Perfect matchings and K4 3 -tilings in hypergraphs of large codegree, Graphs Combin. 4 (008, [14] V. Rödl and A. Ruciński, Dirac-type questions for hypergraphs a survey (or more problems for Endre to solve, An Irregular Mind, Bolyai Soc. Math. Studies 1 (010, [15] V. Rödl, A. Ruciński, and E. Szemerédi, Perfect matchings in uniform hypergraphs with large minimum degree, European J. Combin. 7 (006, [16] V. Rödl, A. Ruciński, and E. Szemerédi, An approximate Dirac-type theorem for k-uniform hypergraphs, Combinatorica, 8 (008, [17] V. Rödl, A. Ruciński, and E. Szemerédi, Perfect matchings in large uniform hypergraphs with large minimum collective degree, J. Combin. Theory Ser. A 116 (009,
11 [18] Y. Tang, and G. Yan, An approximate Ore-type result for tight hamilton cycles in uniform hypergraphs, Discrete Math. 340 (017, [19] A. Treglown and Y. Zhao, Exact minimum degree thresholds for perfect matchings in uniform hypergraphs, J. Combin. Theory Ser. A 119 (01, [0] A. Treglown and Y. Zhao, Exact minimum degree thresholds for perfect matchings in uniform hypergraphs II, J. Combin. Theory Ser. A 10 (013, [1] A. Treglown and Y. Zhao, A note on perfect matchings in uniform hypergraphs, Electron. J. Combin. 3 (016, [] Y. Zhang and M. Lu, Some Ore-type results for matching and perfect matching in k-uniform hypergraphs, submitted. [3] Y. Zhang and M. Lu, d-matching in 3-uniform hypergraphs, submitted. [4] Y. Zhang and M. Lu, Matching in 3-uniform hypergraphs, submitted. [5] Y. Zhao, Recent advances on dirac-type problems for hypergraphs. In Recent Trends in Combinatorics, volume 159 of the IMA Volumes in Mathematics and its Applications. Springer, New York, 016. Department of Mathematical Sciences, Tsinghua University, Beijing, address: shouwangmm@sina.com Department of Mathematics and Statistics, Georgia State University, Atlanta, GA address: yzhao6@gsu.edu Department of Mathematical Sciences, Tsinghua University, Beijing, address: mlu@math.tsinghua.edu.cn 11
1. Introduction Given k 2, a k-uniform hypergraph (in short, k-graph) consists of a vertex set V and an edge set E ( V
MINIMUM VERTEX DEGREE THRESHOLD FOR C 4-TILING JIE HAN AND YI ZHAO Abstract. We prove that the vertex degree threshold for tiling C4 (the - uniform hypergraph with four vertices and two triples in a -uniform
More informationTight minimum degree conditions forcing perfect matchings in. matchings in uniform hypergraphs
Tight minimum degree conditions forcing perfect matchings in uniform hypergraphs University of Birmingham 11th September 013 Joint work with Yi Zhao (Georgia State Advertisement: Birmingham Fellowship
More informationNonnegative k-sums, fractional covers, and probability of small deviations
Nonnegative k-sums, fractional covers, and probability of small deviations Noga Alon Hao Huang Benny Sudakov Abstract More than twenty years ago, Manickam, Miklós, and Singhi conjectured that for any integers
More informationA DEGREE VERSION OF THE HILTON MILNER THEOREM
A DEGREE VERSION OF THE HILTON MILNER THEOREM PETER FRANKL, JIE HAN, HAO HUANG, AND YI ZHAO Abstract An intersecting family of sets is trivial if all of its members share a common element Hilton and Milner
More informationMATCHINGS IN k-partite k-uniform HYPERGRAPHS
MATCHINGS IN k-partite k-uniform HYPERGRAPHS JIE HAN, CHUANYUN ZANG, AND YI ZHAO Abstract. For k 3 and ɛ > 0, let H be a k-partite k-graph with parts V 1,..., V k each of size n, where n is sufficiently
More informationEXACT MINIMUM CODEGREE THRESHOLD FOR K 4 -FACTORS. MSC2000: 5C35, 5C65, 5C70. Keywords: Tiling, Hypergraphs, Absorbing method.
EXACT MINIMUM CODEGREE THRESHOLD FOR K 4 -FACTORS JIE HAN, ALLAN LO, ANDREW TREGLOWN AND YI ZHAO Abstract. Given hypergraphs F and H, an F -factor in H is a set of vertex-disjoint copies of F which cover
More informationBipartite Graph Tiling
Bipartite Graph Tiling Yi Zhao Department of Mathematics and Statistics Georgia State University Atlanta, GA 30303 December 4, 008 Abstract For each s, there exists m 0 such that the following holds for
More informationKatarzyna Mieczkowska
Katarzyna Mieczkowska Uniwersytet A. Mickiewicza w Poznaniu Erdős conjecture on matchings in hypergraphs Praca semestralna nr 1 (semestr letni 010/11 Opiekun pracy: Tomasz Łuczak ERDŐS CONJECTURE ON MATCHINGS
More informationOn tight cycles in hypergraphs
On tight cycles in hypergraphs Hao Huang Jie Ma Abstract A tight k-uniform l-cycle, denoted by T Cl k, is a k-uniform hypergraph whose vertex set is v 0,, v l 1, and the edges are all the k-tuples {v i,
More informationPartitioning 2-edge-colored Ore-type graphs by monochromatic cycles
Partitioning 2-edge-colored Ore-type graphs by monochromatic cycles János Barát MTA-ELTE Geometric and Algebraic Combinatorics Research Group barat@cs.elte.hu and Gábor N. Sárközy Alfréd Rényi Institute
More informationForbidding complete hypergraphs as traces
Forbidding complete hypergraphs as traces Dhruv Mubayi Department of Mathematics, Statistics, and Computer Science University of Illinois Chicago, IL 60607 Yi Zhao Department of Mathematics and Statistics
More informationStability of the path-path Ramsey number
Worcester Polytechnic Institute Digital WPI Computer Science Faculty Publications Department of Computer Science 9-12-2008 Stability of the path-path Ramsey number András Gyárfás Computer and Automation
More informationTiling on multipartite graphs
Tiling on multipartite graphs Ryan Martin Mathematics Department Iowa State University rymartin@iastate.edu SIAM Minisymposium on Graph Theory Joint Mathematics Meetings San Francisco, CA Ryan Martin (Iowa
More informationDIRAC-TYPE RESULTS FOR LOOSE HAMILTON CYCLES IN UNIFORM HYPERGRAPHS
DIRAC-TYPE RESULTS FOR LOOSE HAMILTON CYCLES IN UNIFORM HYPERGRAPHS Abstract. A classic result of G. A. Dirac in graph theory asserts that every n-vertex graph n 3 with minimum degree at least n/2 contains
More informationMatchings in hypergraphs of large minimum degree
Matchings in hypergraphs of large minimum degree Daniela Kühn Deryk Osthus Abstract It is well known that every bipartite graph with vertex classes of size n whose minimum degree is at least n/2 contains
More informationThe Turán number of sparse spanning graphs
The Turán number of sparse spanning graphs Noga Alon Raphael Yuster Abstract For a graph H, the extremal number ex(n, H) is the maximum number of edges in a graph of order n not containing a subgraph isomorphic
More informationThe Complexity of the Hamilton Cycle Problem in Hypergraphs of High Minimum Codegree
The Complexity of the Hamilton Cycle Problem in Hypergraphs of High Minimum Codegree Frederik Garbe 1 and Richard Mycroft 2 1 School of Mathematics, University of Birmingham, Birmingham B15 2TT, United
More informationarxiv: v1 [math.co] 28 Jan 2019
THE BROWN-ERDŐS-SÓS CONJECTURE IN FINITE ABELIAN GROUPS arxiv:191.9871v1 [math.co] 28 Jan 219 JÓZSEF SOLYMOSI AND CHING WONG Abstract. The Brown-Erdős-Sós conjecture, one of the central conjectures in
More informationMONOCHROMATIC SCHUR TRIPLES IN RANDOMLY PERTURBED DENSE SETS OF INTEGERS
MONOCHROMATIC SCHUR TRIPLES IN RANDOMLY PERTURBED DENSE SETS OF INTEGERS ELAD AIGNER-HOREV AND YURY PERSON Abstract. Given a dense subset A of the first n positive integers, we provide a short proof showing
More informationBetter bounds for k-partitions of graphs
Better bounds for -partitions of graphs Baogang Xu School of Mathematics, Nanjing Normal University 1 Wenyuan Road, Yadong New District, Nanjing, 1006, China Email: baogxu@njnu.edu.cn Xingxing Yu School
More informationarxiv: v1 [math.co] 1 Oct 2013
Tiling in bipartite graphs with asymmetric minimum degrees Andrzej Czygrinow and Louis DeBiasio November 9, 018 arxiv:1310.0481v1 [math.co] 1 Oct 013 Abstract The problem of determining the optimal minimum
More informationPacking k-partite k-uniform hypergraphs
Available online at www.sciencedirect.com Electronic Notes in Discrete Mathematics 38 (2011) 663 668 www.elsevier.com/locate/endm Packing k-partite k-uniform hypergraphs Richard Mycroft 1 School of Mathematical
More informationProof of the (n/2 n/2 n/2) Conjecture for large n
Proof of the (n/2 n/2 n/2) Conjecture for large n Yi Zhao Department of Mathematics and Statistics Georgia State University Atlanta, GA 30303 September 9, 2009 Abstract A conjecture of Loebl, also known
More informationRelating minimum degree and the existence of a k-factor
Relating minimum degree and the existence of a k-factor Stephen G Hartke, Ryan Martin, and Tyler Seacrest October 6, 010 Abstract A k-factor in a graph G is a spanning regular subgraph in which every vertex
More informationOn the size-ramsey numbers for hypergraphs. A. Dudek, S. La Fleur and D. Mubayi
On the size-ramsey numbers for hypergraphs A. Dudek, S. La Fleur and D. Mubayi REPORT No. 48, 013/014, spring ISSN 1103-467X ISRN IML-R- -48-13/14- -SE+spring On the size-ramsey number of hypergraphs Andrzej
More informationMatchings and Tilings in Hypergraphs
Georgia State University ScholarWorks @ Georgia State University Mathematics Dissertations Department of Mathematics and Statistics 8-12-2016 Matchings and Tilings in Hypergraphs Chuanyun Zang Follow this
More informationCodegree problems for projective geometries
Codegree problems for projective geometries Peter Keevash Yi Zhao Abstract The codegree density γ(f ) of an r-graph F is the largest number γ such that there are F -free r-graphs G on n vertices such that
More informationChromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz
Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz Jacob Fox Choongbum Lee Benny Sudakov Abstract For a graph G, let χ(g) denote its chromatic number and σ(g) denote
More informationOn the Regularity Method
On the Regularity Method Gábor N. Sárközy 1 Worcester Polytechnic Institute USA 2 Computer and Automation Research Institute of the Hungarian Academy of Sciences Budapest, Hungary Co-authors: P. Dorbec,
More informationRainbow Hamilton cycles in uniform hypergraphs
Rainbow Hamilton cycles in uniform hypergraphs Andrzej Dude Department of Mathematics Western Michigan University Kalamazoo, MI andrzej.dude@wmich.edu Alan Frieze Department of Mathematical Sciences Carnegie
More informationarxiv: v2 [math.co] 29 Oct 2017
arxiv:1404.3385v2 [math.co] 29 Oct 2017 A proof for a conjecture of Gyárfás, Lehel, Sárközy and Schelp on Berge-cycles G.R. Omidi Department of Mathematical Sciences, Isfahan University of Technology,
More informationHow many randomly colored edges make a randomly colored dense graph rainbow hamiltonian or rainbow connected?
How many randomly colored edges make a randomly colored dense graph rainbow hamiltonian or rainbow connected? Michael Anastos and Alan Frieze February 1, 2018 Abstract In this paper we study the randomly
More informationAll Ramsey numbers for brooms in graphs
All Ramsey numbers for brooms in graphs Pei Yu Department of Mathematics Tongji University Shanghai, China yupeizjy@16.com Yusheng Li Department of Mathematics Tongji University Shanghai, China li yusheng@tongji.edu.cn
More informationARRANGEABILITY AND CLIQUE SUBDIVISIONS. Department of Mathematics and Computer Science Emory University Atlanta, GA and
ARRANGEABILITY AND CLIQUE SUBDIVISIONS Vojtěch Rödl* Department of Mathematics and Computer Science Emory University Atlanta, GA 30322 and Robin Thomas** School of Mathematics Georgia Institute of Technology
More informationMinimum degree conditions for large subgraphs
Minimum degree conditions for large subgraphs Peter Allen 1 DIMAP University of Warwick Coventry, United Kingdom Julia Böttcher and Jan Hladký 2,3 Zentrum Mathematik Technische Universität München Garching
More informationQuadruple Systems with Independent Neighborhoods
Quadruple Systems with Independent Neighborhoods Zoltan Füredi Dhruv Mubayi Oleg Pikhurko Abstract A -graph is odd if its vertex set can be partitioned into two sets so that every edge intersects both
More informationarxiv: v1 [math.co] 6 Jan 2017
Domination in intersecting hypergraphs arxiv:70.0564v [math.co] 6 Jan 207 Yanxia Dong, Erfang Shan,2, Shan Li, Liying Kang Department of Mathematics, Shanghai University, Shanghai 200444, P.R. China 2
More informationStar Versus Two Stripes Ramsey Numbers and a Conjecture of Schelp
Combinatorics, Probability and Computing (2012) 21, 179 186. c Cambridge University Press 2012 doi:10.1017/s096358311000599 Star Versus Two Stripes Ramsey Numbers and a Conjecture of Schelp ANDRÁS GYÁRFÁS1
More informationProof of a Conjecture of Erdős on triangles in set-systems
Proof of a Conjecture of Erdős on triangles in set-systems Dhruv Mubayi Jacques Verstraëte November 11, 005 Abstract A triangle is a family of three sets A, B, C such that A B, B C, C A are each nonempty,
More informationRainbow Hamilton cycles in uniform hypergraphs
Rainbow Hamilton cycles in uniform hypergraphs Andrzej Dude Department of Mathematics Western Michigan University Kalamazoo, MI andrzej.dude@wmich.edu Alan Frieze Department of Mathematical Sciences Carnegie
More informationDiscrete Mathematics. The average degree of a multigraph critical with respect to edge or total choosability
Discrete Mathematics 310 (010 1167 1171 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc The average degree of a multigraph critical with respect
More informationarxiv: v2 [math.co] 6 Sep 2016
Acyclic chromatic index of triangle-free -planar graphs Jijuan Chen Tao Wang Huiqin Zhang Institute of Applied Mathematics Henan University, Kaifeng, 475004, P. R. China arxiv:504.06234v2 [math.co] 6 Sep
More informationMonochromatic subgraphs of 2-edge-colored graphs
Monochromatic subgraphs of 2-edge-colored graphs Luke Nelsen, Miami University June 10, 2014 Abstract Lehel conjectured that for all n, any 2-edge-coloring of K n admits a partition of the vertex set into
More informationc 2010 Society for Industrial and Applied Mathematics
SIAM J. DISCRETE MATH. Vol. 24, No. 3, pp. 1038 1045 c 2010 Society for Industrial and Applied Mathematics SET SYSTEMS WITHOUT A STRONG SIMPLEX TAO JIANG, OLEG PIKHURKO, AND ZELEALEM YILMA Abstract. A
More informationOn judicious bipartitions of graphs
On judicious bipartitions of graphs Jie Ma Xingxing Yu Abstract For a positive integer m, let fm be the maximum value t such that any graph with m edges has a bipartite subgraph of size at least t, and
More informationRandom Graphs III. Y. Kohayakawa (São Paulo) Chorin, 4 August 2006
Y. Kohayakawa (São Paulo) Chorin, 4 August 2006 Outline 1 Outline of Lecture III 1. Subgraph containment with adversary: Existence of monoχ subgraphs in coloured random graphs; properties of the form G(n,
More informationOn directed versions of the Corrádi-Hajnal Corollary
On directed versions of the Corrádi-Hajnal Corollary Andrzej Czygrinow H. A. Kierstead heodore Molla October 4, 01 Abstract For k N, Corrádi and Hajnal proved that every graph G on k vertices with minimum
More informationRainbow factors in hypergraphs
Rainbow factors in hypergraphs Matthew Coulson Peter Keevash Guillem Perarnau Liana Yepremyan March 27, 2018 Abstract For any r-graph H, we consider the problem of finding a rainbow H-factor in an r-graph
More informationCompatible Hamilton cycles in Dirac graphs
Compatible Hamilton cycles in Dirac graphs Michael Krivelevich Choongbum Lee Benny Sudakov Abstract A graph is Hamiltonian if it contains a cycle passing through every vertex exactly once. A celebrated
More informationNear-domination in graphs
Near-domination in graphs Bruce Reed Researcher, Projet COATI, INRIA and Laboratoire I3S, CNRS France, and Visiting Researcher, IMPA, Brazil Alex Scott Mathematical Institute, University of Oxford, Oxford
More informationChromatic Ramsey number of acyclic hypergraphs
Chromatic Ramsey number of acyclic hypergraphs András Gyárfás Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences Budapest, P.O. Box 127 Budapest, Hungary, H-1364 gyarfas@renyi.hu Alexander
More informationOn the chromatic number and independence number of hypergraph products
On the chromatic number and independence number of hypergraph products Dhruv Mubayi Vojtĕch Rödl January 10, 2004 Abstract The hypergraph product G H has vertex set V (G) V (H), and edge set {e f : e E(G),
More informationAn asymptotic multipartite Kühn-Osthus theorem
An asymptotic multipartite Kühn-Osthus theorem Ryan R. Martin 1 Richard Mycroft 2 Jozef Skokan 3 1 Iowa State University 2 University of Birmingham 3 London School of Economics 08 August 2017 Algebraic
More informationTHE ROBUST COMPONENT STRUCTURE OF DENSE REGULAR GRAPHS AND APPLICATIONS
THE ROBUST COMPONENT STRUCTURE OF DENSE REGULAR GRAPHS AND APPLICATIONS DANIELA KÜHN, ALLAN LO, DERYK OSTHUS AND KATHERINE STADEN Abstract. In this paper, we study the large-scale structure of dense regular
More informationCounting substructures II: hypergraphs
Counting substructures II: hypergraphs Dhruv Mubayi December, 01 Abstract For various k-uniform hypergraphs F, we give tight lower bounds on the number of copies of F in a k-uniform hypergraph with a prescribed
More informationOn subgraphs of large girth
1/34 On subgraphs of large girth In Honor of the 50th Birthday of Thomas Vojtěch Rödl rodl@mathcs.emory.edu joint work with Domingos Dellamonica May, 2012 2/34 3/34 4/34 5/34 6/34 7/34 ARRANGEABILITY AND
More informationGraphs with large maximum degree containing no odd cycles of a given length
Graphs with large maximum degree containing no odd cycles of a given length Paul Balister Béla Bollobás Oliver Riordan Richard H. Schelp October 7, 2002 Abstract Let us write f(n, ; C 2k+1 ) for the maximal
More informationREGULARITY INHERITANCE IN PSEUDORANDOM GRAPHS
REGULARITY INHERITANCE IN PSEUDORANDOM GRAPHS PETER ALLEN*, JULIA BÖTTCHER*, JOZEF SKOKAN*, AND MAYA STEIN Abstract. Advancing the sparse regularity method, we prove one-sided and two-sided regularity
More informationCycles in 4-Connected Planar Graphs
Cycles in 4-Connected Planar Graphs Guantao Chen Department of Mathematics & Statistics Georgia State University Atlanta, GA 30303 matgcc@panther.gsu.edu Genghua Fan Institute of Systems Science Chinese
More informationOn (δ, χ)-bounded families of graphs
On (δ, χ)-bounded families of graphs András Gyárfás Computer and Automation Research Institute Hungarian Academy of Sciences Budapest, P.O. Box 63 Budapest, Hungary, H-1518 gyarfas@sztaki.hu Manouchehr
More information1.1 Szemerédi s Regularity Lemma
8 - Szemerédi s Regularity Lemma Jacques Verstraëte jacques@ucsd.edu 1 Introduction Szemerédi s Regularity Lemma [18] tells us that every graph can be partitioned into a constant number of sets of vertices
More informationAvoider-Enforcer games played on edge disjoint hypergraphs
Avoider-Enforcer games played on edge disjoint hypergraphs Asaf Ferber Michael Krivelevich Alon Naor July 8, 2013 Abstract We analyze Avoider-Enforcer games played on edge disjoint hypergraphs, providing
More informationHAMBURGER BEITRÄGE ZUR MATHEMATIK
HAMBURGER BEITRÄGE ZUR MATHEMATIK Heft 563 Clique factors in locally dense graphs Appendix to Triangle factors of graphs without large independent sets and of weighted graphs by J. Balogh, Th. Molla, and
More informationIndependent Transversals in r-partite Graphs
Independent Transversals in r-partite Graphs Raphael Yuster Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract Let G(r, n) denote
More informationTripartite Ramsey Numbers for Paths
Tripartite Ramsey Numbers for Paths András Gyárfás, Miklós Ruszinkó, Gábor N. Sárközy,,2 and Endre Szemerédi 3 COMPUTER AND AUTOMATION RESEARCH INSTITUTE HUNGARIAN ACADEMY OF SCIENCES BUDAPEST, P.O. BOX
More informationMaximum union-free subfamilies
Maximum union-free subfamilies Jacob Fox Choongbum Lee Benny Sudakov Abstract An old problem of Moser asks: how large of a union-free subfamily does every family of m sets have? A family of sets is called
More informationON THE STRUCTURE OF ORIENTED GRAPHS AND DIGRAPHS WITH FORBIDDEN TOURNAMENTS OR CYCLES
ON THE STRUCTURE OF ORIENTED GRAPHS AND DIGRAPHS WITH FORBIDDEN TOURNAMENTS OR CYCLES DANIELA KÜHN, DERYK OSTHUS, TIMOTHY TOWNSEND, YI ZHAO Abstract. Motivated by his work on the classification of countable
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationarxiv: v1 [math.co] 2 Dec 2013
What is Ramsey-equivalent to a clique? Jacob Fox Andrey Grinshpun Anita Liebenau Yury Person Tibor Szabó arxiv:1312.0299v1 [math.co] 2 Dec 2013 November 4, 2018 Abstract A graph G is Ramsey for H if every
More informationOn the Turán number of Triple-Systems
On the Turán number of Triple-Systems Dhruv Mubayi Vojtĕch Rödl June 11, 005 Abstract For a family of r-graphs F, the Turán number ex(n, F is the maximum number of edges in an n vertex r-graph that does
More informationProof of a Tiling Conjecture of Komlós
Proof of a Tiling Conjecture of Komlós Ali Shooufandeh, 1 Yi Zhao 2 1 Department of Computer Science, Drexel University, Philadelphia, Pennsylvania 19104 2 Department of Mathematics, Statistics, and Computer
More informationRamsey-type problem for an almost monochromatic K 4
Ramsey-type problem for an almost monochromatic K 4 Jacob Fox Benny Sudakov Abstract In this short note we prove that there is a constant c such that every k-edge-coloring of the complete graph K n with
More informationInduced subgraphs of prescribed size
Induced subgraphs of prescribed size Noga Alon Michael Krivelevich Benny Sudakov Abstract A subgraph of a graph G is called trivial if it is either a clique or an independent set. Let q(g denote the maximum
More informationON THE DECOMPOSITION THRESHOLD OF A GIVEN GRAPH
ON THE DECOMPOSITION THRESHOLD O A GIVEN GRAPH STEAN GLOCK, DANIELA KÜHN, ALLAN LO, RICHARD MONTGOMERY AND DERYK OSTHUS Abstract. We study the -decomposition threshold δ for a given graph. Here an - decomposition
More informationTurán numbers of expanded hypergraph forests
Turán numbers of expanded forests Rényi Institute of Mathematics, Budapest, Hungary Probabilistic and Extremal Combinatorics, IMA, Minneapolis, Sept. 9, 2014. Main results are joint with Tao JIANG, Miami
More informationOn an Extremal Hypergraph Problem of Brown, Erdős and Sós
On an Extremal Hypergraph Problem of Brown, Erdős and Sós Noga Alon Asaf Shapira Abstract Let f r (n, v, e) denote the maximum number of edges in an r-uniform hypergraph on n vertices, which does not contain
More informationThe typical structure of maximal triangle-free graphs
The typical structure of maximal triangle-free graphs József Balogh Hong Liu Šárka Petříčková Maryam Sharifzadeh September 3, 2018 arxiv:1501.02849v1 [math.co] 12 Jan 2015 Abstract Recently, settling a
More informationIMA Preprint Series # 2385
LIST COLORINGS WITH DISTINCT LIST SIZES, THE CASE OF COMPLETE BIPARTITE GRAPHS By Zoltán Füredi and Ida Kantor IMA Preprint Series # 2385 ( October 2011 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS
More informationMinimal Paths and Cycles in Set Systems
Minimal Paths and Cycles in Set Systems Dhruv Mubayi Jacques Verstraëte July 9, 006 Abstract A minimal k-cycle is a family of sets A 0,..., A k 1 for which A i A j if and only if i = j or i and j are consecutive
More informationThe regularity method and blow-up lemmas for sparse graphs
The regularity method and blow-up lemmas for sparse graphs Y. Kohayakawa (São Paulo) SPSAS Algorithms, Combinatorics and Optimization University of São Paulo July 2016 Partially supported CAPES/DAAD (430/15),
More informationThe regularity method and blow-up lemmas for sparse graphs
The regularity method and blow-up lemmas for sparse graphs Y. Kohayakawa (São Paulo) SPSAS Algorithms, Combinatorics and Optimization University of São Paulo July 2016 Partially supported CAPES/DAAD (430/15),
More informationPaul Erdős and Graph Ramsey Theory
Paul Erdős and Graph Ramsey Theory Benny Sudakov ETH and UCLA Ramsey theorem Ramsey theorem Definition: The Ramsey number r(s, n) is the minimum N such that every red-blue coloring of the edges of a complete
More informationLondon E1 4NS, United Kingdom
PROOF OF THE 1-FACTORIZATION AND HAMILTON DECOMPOSITION CONJECTURES BÉLA CSABA 1, DANIELA KÜHN 2, ALLAN LO 2, DERYK OSTHUS 2 AND ANDREW TREGLOWN 3 1 Bolyai Institute, University of Szeged, H-6720 Szeged,
More informationAn Algorithmic Hypergraph Regularity Lemma
An Algorithmic Hypergraph Regularity Lemma Brendan Nagle Vojtěch Rödl Mathias Schacht October 14, 2015 Abstract Szemerédi s Regularity Lemma [22, 23] is a powerful tool in graph theory. It asserts that
More informationImproved degree conditions for 2-factors with k cycles in hamiltonian graphs
Improved degree conditions for -factors with k cycles in hamiltonian graphs Louis DeBiasio 1,4, Michael Ferrara,, Timothy Morris, December 4, 01 Abstract In this paper, we consider conditions that ensure
More informationUniformly X Intersecting Families. Noga Alon and Eyal Lubetzky
Uniformly X Intersecting Families Noga Alon and Eyal Lubetzky April 2007 X Intersecting Families Let A, B denote two families of subsets of [n]. The pair (A,B) is called iff `-cross-intersecting A B =`
More informationAdding random edges to create the square of a Hamilton cycle
Adding random edges to create the square of a Hamilton cycle Patrick Bennett Andrzej Dudek Alan Frieze October 7, 2017 Abstract We consider how many random edges need to be added to a graph of order n
More informationOdd independent transversals are odd
Odd independent transversals are odd Penny Haxell Tibor Szabó Dedicated to Béla Bollobás on the occasion of his 60th birthday Abstract We put the final piece into a puzzle first introduced by Bollobás,
More informationarxiv: v1 [math.co] 24 Apr 2014
On sets of integers with restrictions on their products Michael Tait, Jacques Verstraëte Department of Mathematics University of California at San Diego 9500 Gilman Drive, La Jolla, California 9093-011,
More informationRational exponents in extremal graph theory
Rational exponents in extremal graph theory Boris Bukh David Conlon Abstract Given a family of graphs H, the extremal number ex(n, H) is the largest m for which there exists a graph with n vertices and
More informationCOMPUTATIONAL COMPLEXITY OF THE PERFECT MATCHING PROBLEM IN HYPERGRAPHS WITH SUBCRITICAL DENSITY
International Journal of Foundations of Computer Science c World Scientific Publishing Company COMPUTATIONAL COMPLEXITY OF THE PERFECT MATCHING PROBLEM IN HYPERGRAPHS WITH SUBCRITICAL DENSITY MAREK KARPIŃSKI
More informationDecomposing oriented graphs into transitive tournaments
Decomposing oriented graphs into transitive tournaments Raphael Yuster Department of Mathematics University of Haifa Haifa 39105, Israel Abstract For an oriented graph G with n vertices, let f(g) denote
More information4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**
4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published
More informationConstructions in Ramsey theory
Constructions in Ramsey theory Dhruv Mubayi Andrew Suk Abstract We provide several constructions for problems in Ramsey theory. First, we prove a superexponential lower bound for the classical 4-uniform
More informationTesting Equality in Communication Graphs
Electronic Colloquium on Computational Complexity, Report No. 86 (2016) Testing Equality in Communication Graphs Noga Alon Klim Efremenko Benny Sudakov Abstract Let G = (V, E) be a connected undirected
More informationarxiv: v1 [math.co] 1 Aug 2013
Semi-degree threshold for anti-directed Hamiltonian cycles Louis DeBiasio and Theodore Molla May 11, 014 arxiv:1308.069v1 [math.co] 1 Aug 013 Abstract In 1960 Ghouila-Houri extended Dirac s theorem to
More informationBalanced bipartitions of graphs
2010.7 - Dedicated to Professor Feng Tian on the occasion of his 70th birthday Balanced bipartitions of graphs Baogang Xu School of Mathematical Science, Nanjing Normal University baogxu@njnu.edu.cn or
More informationOn the Turán number of forests
On the Turán number of forests Bernard Lidický Hong Liu Cory Palmer April 13, 01 Abstract The Turán number of a graph H, ex(n, H, is the maximum number of edges in a graph on n vertices which does not
More informationOff-diagonal hypergraph Ramsey numbers
Off-diagonal hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum such that every red-blue coloring of the k- subsets of {1,..., } contains a red set of
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More information