Set families with forbidden subposets

Let $F$ be a family of subsets of $\{1,\ldots,n\}$. We say that $F$ is $P$-free if the inclusion order on $F$ does not contain $P$ as an induced subposet. The \emph{Tur\'an function} of $P$, denoted $\pi^*(n,P)$, is the maximum size of a $P$-free family of subsets of $\{1,\ldots,n\}$. We show that $\pi^*(n,P) \le (4r + O(\sqrt{r}))\binom{n}{n/2}$ if $P$ is an $r$-element poset of height at most $2$. We also show that $\pi^*(n,S_r) = (r+O(\sqrt{r}))\binom{n}{n/2}$ where $S_r$ is the standard example on $2r$ elements, and that $\pi^*(n,B_2) \le (2.583+o(1))\binom{n}{n/2}$, where $B_2$ is the $2$-dimensional Boolean lattice.

[1]  Vladimir Vapnik,et al.  Chervonenkis: On the uniform convergence of relative frequencies of events to their probabilities , 1971 .

[2]  de Ng Dick Bruijn A combinatorial problem , 1946 .

[3]  Gyula O. H. Katona,et al.  No four subsets forming an N , 2008, J. Comb. Theory, Ser. A.

[4]  Hong-Bin Chen,et al.  A Note on the Largest Size of Families of Sets with a Forbidden Poset , 2014, Order.

[5]  E. Sperner Ein Satz über Untermengen einer endlichen Menge , 1928 .

[6]  Gábor Tardos,et al.  Excluded permutation matrices and the Stanley-Wilf conjecture , 2004, J. Comb. Theory, Ser. A.

[7]  Boris Bukh,et al.  Set Families with a Forbidden Subposet , 2008, Electron. J. Comb..

[8]  Maria Axenovich,et al.  Q2-free Families in the Boolean Lattice , 2012, Order.

[9]  Gyula O. H. Katona,et al.  Bounds on Maximal Families of Sets Not Containing Three Sets with A ∩ B ⊂ C, A ⊄ B , 2008 .

[10]  Abhishek Methuku,et al.  An Improvement of the General Bound on the Largest Family of Subsets Avoiding a Subposet , 2017, Order.

[11]  Ryan R. Martin,et al.  On diamond-free subposets of the Boolean lattice , 2013, J. Comb. Theory, Ser. A.

[12]  Dömötör Pálvölgyi,et al.  Forbidden Hypermatrices Imply General Bounds on Induced Forbidden Subposet Problems , 2014, Combinatorics, Probability and Computing.

[13]  Linyuan Lu,et al.  Diamond-free families , 2010, J. Comb. Theory, Ser. A.

[14]  Norbert Sauer,et al.  On the Density of Families of Sets , 1972, J. Comb. Theory A.

[15]  Dániel T. Nagy,et al.  The method of double chains for largest families with excluded subposets , 2013, Electron. J. Graph Theory Appl..

[16]  Linyuan Lu,et al.  On Families of Subsets With a Forbidden Subposet , 2008, Combinatorics, Probability and Computing.

[17]  Tao Jiang,et al.  Set Families With a Forbidden Induced Subposet , 2012, Comb. Probab. Comput..

[18]  S. Shelah A combinatorial problem; stability and order for models and theories in infinitary languages. , 1972 .

[19]  G. Katona,et al.  Extremal problems with excluded subgraphs in the n-cube , 1983 .

[20]  Annalisa De Bonis,et al.  Largest Families Without an r-Fork , 2007, Order.

[21]  Annalisa De Bonis,et al.  Largest family without A ∪ B ⊆ C ∩ D , 2005 .

[22]  Hai Tran Thanh,et al.  An Extremal Problem with Excluded Subposet in the Boolean Lattice , 1998 .

[23]  Martin Klazar,et al.  Extensions of the linear bound in the Füredi-Hajnal conjecture , 2007, Adv. Appl. Math..

[24]  P. Erdös On a lemma of Littlewood and Offord , 1945 .

[25]  Linyuan Lu,et al.  Boolean algebras and Lubell functions , 2013, J. Comb. Theory, Ser. A.