Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest set system, where the system of the parwse unons s l-ntersectng. Then we nvestgate set systems where the unon of any s sets ntersect the unon of any t sets. The maxmal sze of such a set system s determned exactly f s +t 4, and asymptotcally f s + t 5. Fnally, we exactly determne the maxmal sze of a k-unform set system that has the above descrbed (s, t-unon-ntersectng property, for large enough n. Keywords Extremal set systems, Intersectng famly, Erdős-Ko-Rado theorem, -system, Forbdden subposets 1 Introducton In the present paper we prove three ntersecton theorems, nspred by the followng queston. Queston (J. Körner, [9] Let F be a set system whose elements are subsets of = {1,,...n}. Assume that there are no four dfferent sets F 1,F,G 1,G F such that (F 1 F (G 1 G =. What s the maxmal possble sze of F? We wll solve ths problem as a specal case of Theorem.1. (See Remark.. The paper s organzed as follows. In the rest of ths secton we revew some theorems that wll be used later. In Secton, the sze of the largest set system wll be determned, where the system of the parwse unons s l-ntersectng. In Secton 3, we nvestgate set systems where the unon of any s sets ntersect the unon of any t sets. The maxmal sze of such a set system s determned exactly f s+t 4, and asymptotcally f s+t 5. In Secton 4, we exactly determne the maxmal sze of a k-unform set system that has the above descrbed (s,t-unon-ntersectng property, for large enough n. The followng ntersecton theorems wll be used n the proof of Theorem.1. Alfréd Rény Insttute of Mathematcs Eötvös Loránd Unversty, Budapest 1
Defnton Let ( k denote the set of all k-element subsets of. A set system F s called l-ntersectng, f A B l holds for all A, B F (l > 0. The followng set systems (contanng k-element subsets of are obvously l-ntersectng systems. { ( } F = F F [l+] l+ k 0 n l (1 For 1 l k n let AK(n,k,l = max F. ( 0 n l It was conjectured by Frankl [5] that ths s the maxmum sze of a k-unform l-ntersectng famly. (See also [6]. Theorem 1.1. (Ahlswede-Khachatran, [1] Let F be a k-unform l-ntersectng set system whose elements are subsets of. (1 l k n Then AK(n,k,l. (3 Theorem 1.. (Katona, [7], formula (1 Let F be a t-ntersectng system of subsets of. Then ( ( F + F n+t 1 n. 0 < n+t 1 n+t 1 (4 The followng results are about set systems not contanng certan subposets. We wll use them to prove Theorem 3.1. Defnton Let P be a fnte poset wth the relaton, and F be a famly of subsets of. We say that P s contaned n F f there s an njectve mappng f : P F satsfyng a b f(a f(b for all a,b P. F s called P-free f P s not contaned n t. Defnton Let K xy denote the poset wth elements {a 1,a,...a x,b 1,...b y }, where a < b j for all (,j and there s no other relaton. Theorem 1.3. (Katona-Tarján, [8] Assume that G s a famly of subsets of that s K 1 -free and K 1 -free. Then 1 G n 1. (5 Theorem 1.4. (De Bons-Katona, [] Assume that G s a K 1y -free famly of subsets of. Then ( ( n (y 1 G 1+ +O(n. (6 n/ n Theorem 1.5. (De Bons-Katona, [] Assume that G s a K xy -free famly of subsets of. Then ( ( n (x+y 3 G + +O(n. (7 n/ n
Unon-l-ntersectng systems Defnton Let F be a set system and k N. Then F k denotes the set of the k-element sets n F. Defnton A set system F s called unon-l-ntersectng, f t satsfes (F 1 F (G 1 G l for all sets F 1,F,G 1,G F, F 1 F, G 1 G. Theorem.1. Let F be a unon-l-ntersectng set system whose elements are subsets of. (n 3 Then we have the the followng upper bounds for F. a If n+l s even, then b If n+l s odd, then = n+l 1 ( AK n, n+l 3,l. (8 + = n+l 1. (9 These are the best possble bounds. Proof. We can assume that F s an upset, that s A F, A B mply B F. (If there are sets A B, A F, B F then we can replace F by F A+B. After fntely many steps we arrve at an upset of the same sze that s stll unon-l-ntersectng. Frst, assume that l {1,}. Note that f A,B F, A B =, and A B = n+l 3 < n, then both A and B can not be n F at the same tme. A,B F and F beng an upset would mply that there are two sets C,D F such that A C, B D and (A C (B D = C D = l 1, wth contradcton. For all 0 < n+l 3 defne the bpartte graph G (S,T,E as follows. Let S be the set of all the -element subsets of, let T be the set of subsets of sze n+l 3, and connect two sets A S and B T f they are dsjont. Then both vertex classes contan vertces of the same degree, so t follows by Hall s theorem that there s a matchng that covers the smaller vertex class, that s S. Snce at most one of two matched subsets can be n F, t follows that ( ( F + F n+l 3 n n+l 3 0 < n+l 3. (10 Now let l 3. We wll show that (10 holds for all n. Assume that there are A,B F, A,B such that A B l 3. Take x A and y B. Then A {x}, B {y} F, snce F s an upset and (A (A {x} (B (B {y} = (A {x} (B {y} (A B {x,y} = l 3+ < l. So F {} s an (l -ntersectng system, so F s one too. Now use Theorem 1. wth t = l. (l s postve snce l 3. It gves us that (10 holds for all n and l. Assume that l s a postve nteger n+l s odd. Then the sets n F n+l 3 form an l-ntersectng famly. A,B F n+l 3, A B l 1 and F beng an upset would mply that there are two sets C,D F such that A C, B D and (A C (B D = C D = l 1. So Theorem 1.1 provdes an upper bound: ( F n+l 3 AK n, n+l 3,l. (11 3
mply The upper bounds of the theorem follow after some calculatons. When l, the nequaltes of (10 F = =0 F = F n+l 3 + n+l =0 ( F + F n+l 3 + =n+l F F n+l 3 + Let l 3. Snce F s (l -ntersectng, F = 0 for all < l. Usng (10, we get F = =l 3 F = F n+l 3 + n+l =l 3 ( F + F n+l 3 F n+l 3 + = n+l 1 = n+l 1. (1. (13 We got the same nequalty n the two cases. The upper bounds of the theorem follow mmedately, snce F n+l 3 =, f n+l s even, and F n+l 3 AK ( n, n+l 3,l, f n+l s odd (see (11. To verfy that the gven bounds are best possble, consder the followng unon-l-ntersectng set systems. When n+l s even, take all the subsets of sze at least n+l 1. When n+l s odd, take all the subsets of sze at least n+l 1 and an n+l 3 -unform l-ntersectng set system of sze AK ( n, n+l 3,l. Remark.. Let us formulate the specal case l = 1 what was orgnally asked by Körner. The Erdős- Ko-Rado theorem [3] states that the sze of the largest k-unform ntersectng system of subsets of s k 1, when n k. It means that AK(n, n 1,1 = ( n 1 n, so the best upper bound for F when l = 1 s f n s odd, =(n 1/ n ( (14 n n + f n s even. = n 3 Consderng the unon of more subsets In ths secton we nvestgate a varaton of the problem where we take the unon of s and t subsets nstead of and. Defnton A set system F s called (s,t-unon-ntersectng f t has the property that for all s + t parwse dfferent sets F 1,F,...F s,g 1,...G t F ( s t F. (15 =1 j=1 The sze of the largest (s, t-unon-ntersectng system whose elements are subsets of s denoted by f(n,s,t. G j In ths secton we determne the value of f(n,s,t exactly when s+t 4 and asymptotcally n the other cases. Snce f(n,s,t = f(n,t,s, we can assume that s t. Theorem 3.1. Let n 3. 4
a f(n,1,1 = n 1. (16 b f(n,1, = =n/ n 3 + n =(n+1/ f n s even, f n s odd. (17 c =(n 1/ f(n,, = n n + =n/ f n s odd, f n s even. (18 d f(n,1,3 = =n/ n 1 + n =(n+1/ f n s even, f n s odd. (19 e If t 4, then n 1 + 1 ( ( ( n n 1 f(n,1,t n 1 + n/ n/ + t n +O(n. (0 f If s and t 3, then n n 1 + n/ n+ f(n,s,t n 1 + ( ( n 1+ t+s 3 +O(n. (1 n/ n Proof. a (See [3]. f(n,1,1 s the sze of the largest ntersectng system among the subsets of. It s at most n 1, snce a subset and ts complement cannot be n the ntersectng system at the same tme. By choosng all the subsets contanng a fxed element, we get an ntersectng system of sze n 1. b Let F be a (1,-unon-ntersectng system. We can assume that F s an upset. Note that f A,B F, A B =, and A B = n 1, then A and B can not be n F at the same tme. To see ths, take let {x} = (A B. Then A (B (B {x} = A (B {x} =. For all 0 < n 1 defne the bpartte graph G (S,T,E as follows. Let S be the set of all the -element subsets of, let T be the set of subsets of sze n 1, and connect two sets A S and B T f they are dsjont. Then both vertex classes contan vertces of the same degree, so t follows by Hall s theorem that there s a matchng that covers the smaller vertex class, that s S. Snce at most one of two matched subsets can be n F, t follows that ( ( F + F n 1 n n 1 0 < n 1. ( 5
When n s even, these nequaltes together mply =n/. (3 Assume that n s odd. Then F n 1 s an ntersectng famly. A,B F n 1, A B = and F beng an upset would mply that there s a set C F such that B C and A (B C = A C =. So the Erdős-Ko-Rado theorem provdes an upper bound: ( F n 1 n 1. (4 Ths, together wth the nequaltes of ( mples 1 n 3 + n 3 =(n+1/. (5 To verfy that the gven bounds are best possble, consder the followng (1,-unon-ntersectng set systems. When n s even, take all the subsets of sze at least n. When n s odd, take all the subsets of sze at least n+1 and the subsets of sze n 1 contanng a fxed element. c We already solved ths problem as the case l = 1 n Theorem.1. (See Remark.. d Let F be a (1,3-unon-ntersectng system of subsets of. Let F = { F F F}, and let G = F F. Now we prove that G s K 1, -free and K,1 -free. (See Secton 1 for the defntons. Snce G s nvarant to takng complements, t s enough to show that G s K 1 -free. Assume that there are three parwse dfferent sets A,B,C G, such that A B and A C. Then the sets A, A, B, C F would satsfy A (( A ( B ( C = A ( A =. (6 Theorem 1.3 gves us the followng upper bound for a set system that s K 1 -free and K 1 -free: 1 G n 1. (7 Snce n + G, we have n 1 + 1 n 1 = =n/ n 1 + n =(n+1/ f n s even, f n s odd. (8 To verfy that the gven bounds are best possble, consder the followng (1,3-unon-ntersectng set systems. When n s even, take all the subsets of sze at least n. When n s odd, take all the subsets of sze at least n+1 and the subsets of sze n 1 not contanng a fxed element. e Let F be a (1,t-unon-ntersectng system of subsets of. Defne G as above, and note that G s K 1,t 1 -free. Theorem 1.4 mples G ( ( n 1+ (t +O(n. (9 n/ n 6
Snce n + G, we have n 1 + The lower bound follows obvously from f(n,1,t f(n,1,3 = n 1 + ( ( n 1 n/ + t n +O(n. (30 1 n 1 n 1 + 1. (31 n/ f Let F be an (s,t-unon-ntersectng system of subsets of. Defne G as above. Now we prove that G s K s,t -free. Assume that A 1,A,...A s,b 1,...B t G are parwse dfferent subsets and A B j ( s t for all (,j. Then A ( B j =. It s a contradcton, snce B j F for all j. Theorem 1.5 mples =1 G Snce n + G, we have The lower bound follows from j=1 n 1 + ( ( n + (s+t 3 +O(n. (3 n/ n ( ( n 1+ t+s 3 +O(n. (33 n/ n f(n,s,t f(n,, n 1 + n n/ n+. (34 (The second nequalty can be verfed by elementary calculatons snce the exact value of f(n,, s known. Equalty holds when n s even. 4 The k-unform case In ths secton we determne the sze of the largest k-unform (s, t-unon-ntersectng set system of subsets of for all large enough n. Theorem 4.1. Assume that 1 s t and F ( k s an (s,t-unon-ntersectng set system. Then 1 +s 1 k 1 holds for all n > n(k,t. Remark 4.. There s k-unform (s,t-unon-ntersectng set system of sze k 1 + s 1. Take all k-element sets contanng a fxed element, then take s 1 arbtrary sets of sze k. We need some preparaton before we can start the proof of Theorem 4.1. Defnton A sunflower (or -system wth r petals and center M s a famly {S 1,S,...S r } where S S j = M for all 1 < j r. 7
Lemma 4.3. (Erdős-Rado [4] Assume that A ( k and A > k!(r 1 k. Then A contans a sunflower wth r petals as a subfamly. Proof. We prove the lemma by nducton on k. The statement of the lemma s obvously true when k = 0. Let A ( k a set system not contanng a sunflower wth r petals. Let {A1,A,...A m } be a maxmal famly of parwse dsjont sets n A. Snce parwse dsjont sets form a sunflower, m r 1. m For every x A, let A x = {S {x} S A, x S}. Then each A x s a k 1-unform set system =1 not contanng sunflowers wth r petals. By nducton we have A x (k 1!(r 1 k 1. Then m A (k 1!(r 1 k 1 A (k 1!(r 1 k 1 k(r 1 = k!(r 1 k. (35 =1 Lemma 4.4. Let c be a fxed postve nteger. If A ( k, K, K c and A K holds for every A A, then A O(n k. Proof. Choose a set K K wth K = c. The condtons of the lemma are also satsfed wth K. c ( ( c n c A. (36 k The rght hand sde s a polynomal of n wth degree k, so A O(n k. = Lemma 4.5. Let s,t be fxed postve ntegers. Let A,B ( k. Assume that B s, A B s (s,t- unon-ntersectng, and there s an element a such that a A holds for every A A, and a B holds for every B B. Then A O(n k. Proof. Choose s dfferent sets B 1,B,...B s B. Let A = {A A s A B }. Snce A B s (s,t-unon-ntersectng, A A t 1. ( A {a} holds for all A A. Use Lemma 4.4 wth K = {a} Then A O(n k +(t 1 = O(n k. =1 s B (37 =1 s B and c = sk +1, t mples A O(n k. Proof. (of Theorem 4.1 Use Lemma 4.3 wth r = ks + t. If F > k!(ks + t k, then F contans a sunflower {S 1,S,...S ks+t } as a subfamly. (Note that k 1 > k!(ks + t k holds for large enough n. Let M denote the center of the sunflower and ntroduce the notatons M = {a 1,a,...a m } and C = S M (1 ks + t. Let F 0 = {F F F M = }, and F = {F F a F} for 1 m. s Assume that F 0 s. Let B 1,B,...B s F 0 be dfferent sets. Snce B ks, and the sets {C 1,C,...C ks+t } are parwse dsjont, there some ndces 1,,... t such that ( s ( t s t = B = B. (38 =1 j=1 C j =1 =1 j=1 S j =1 8
It contradcts our assumpton that F s (s,t-unon-ntersectng, so F 0 s 1. Note that the obvous nequalty F k 1 holds for all 1 m, so the statement of the theorem s true f F F s 1 holds for any. Fnally, assume that F F s holds for all 1 m. Usng Lemma 4.5 wth A = F and B = F F, we get that F = O(n k. Then m F (s 1+m O(n k = O(n k. (39 =0 Snce ( ( n 1 k 1 +s 1 s a polynomal of n wth degree k 1, n 1 k 1 +s 1 holds for large enough n. Remark 4.6. Note that Theorem 4.1 generalzes the Erdős-Ko-Rado theorem [3] for large enough n, snce lettng s = 1 and t, we get the same upper bound for F whle havng weaker condtons on F. Queston Let F be a set system satsfyng the condtons of Theorem 4.1. What s the best upper bound for F, when n s small? References [1] Ahlswede, R., Khachatran, L.H.: The Complete Intersecton Theorem for Systems of Fnte Sets. Europ. J. Combnatorcs 18, 15-136. (1997 [] De Bons, A., Katona, G. O. H.: Largest famles wthout an r-fork. Order 4, 181-191. (007 [3] Erdős, P., Ko, C., Rado, R.: Intersecton theorems for systems of fnte sets. The Quarterly Journal of Mathematcs. Oxford. Second Seres 1., 313-30. (1961 [4] Erdős, P., Rado, R.: Intersecton theorems for systems of sets. J. London Math. Soc. 35, 85-90. (1960 [5] Frankl, P.: The Erdős-Ko-Rado theorem s true for n=ckt. Combnatorcs (Proc. Ffth Hungaran Colloq., Keszthely, 1976, Vol. I, 365-375. Colloq. Math. Soc. János Bolya, 18, North-Holland, Amsterdam-New York, (1978 [6] Frankl, P., Füred, Z.: Beyond the Erdős-Ko-Rado theorem. J. Combn. Theory Ser. A 56, no., 18-194. (1991 [7] Katona, G.: Intersecton theorems for systems of fnte sets. Acta Math. Acad. Sc. Hungar. 15, 39-337. (1964 [8] Katona, G. O. H., Tarján, T. G.: Extremal problems wth excluded subgraphs n the n-cube. Lecture Notes n Math. 1018, 84-93. (1981 [9] Körner, J.: personal communcaton. 9