On set systems without a simplex-cluster and the junta method

From MaRDI portal
Publication:2010639




Abstract: A family A0,ldots,Ad of k-element subsets of [n]=1,2,ldots,n is called a simplex-cluster if A0capcdotscapAd=varnothing, |A0cupcdotscupAd|le2k, and the intersection of any d of the sets in A0,ldots,Ad is nonempty. In 2006, Keevash and Mubayi conjectured that for any d+1leklefracdd+1n, the largest family of k-element subsets of [n] that does not contain a simplex-cluster is the family of all k-subsets that contain a given element. We prove the conjecture for all kgezetan for an arbitrarily small zeta>0, provided that ngen0(zeta,d). We call a family A0,ldots,Ad of k-element subsets of [n] a (d,k,s)-cluster if A0capcdotscapAd=varnothing and |A0cupcdotscupAd|les. We also show that for any zetanleklefracdd+1n the largest family of k-element subsets of [n] that does not contain a (d,k,(fracd+1d+zeta)k)-cluster is again the family of all k-subsets that contain a given element, provided that ngen0(zeta,d). Our proof is based on the junta method for extremal combinatorics initiated by Dinur and Friedgut and further developed by Ellis, Keller, and the author.









This page was built for publication: On set systems without a simplex-cluster and the junta method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2010639)