An improvement of the general bound on the largest family of subsets avoiding a subposet
Let La(n,P) be the maximum size of a family of subsets of [n]={1,2,...,n} not containing P as a (weak) subposet, and let h(P) be the length of a longest chain in P. The best known upper bound for La(n,P) in terms of ∣P∣ and h(P) is due to Chen and Li, who showed that La(n,P)≤m+11(∣P∣+21(m2+3m−2)(h(P)−1)−1)(⌊n/2⌋n) for any fixed m≥1. In this paper we show that La(n,P)≤2k−11(∣P∣+(3k−5)2k−2(h(P)−1)−1)(⌊n/2⌋n) for any fixed k≥2, improving the best known upper bound. By choosing k appropriately, we obtain that La(n,P)=O(h(P)log2(h(P)∣P∣+2))(⌊n/2⌋n) as a corollary, which we show is best possible for general P. We also give a different proof of this corollary by using bounds for generalized diamonds. We also show that the Lubell function of a family of subsets of [n] not containing P as an induced subposet is O(nc) for every c>21.