pith. sign in

arxiv: 1408.5783 · v2 · pith:IOIVLBPBnew · submitted 2014-08-25 · 🧮 math.CO

An improvement of the general bound on the largest family of subsets avoiding a subposet

classification 🧮 math.CO
keywords fracbestboundfamilyleftlfloorrfloorright
0
0 comments X
read the original abstract

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) \le \frac{1}{m+1} \left(|P| + \frac{1}{2}(m^2 +3m-2)(h(P)-1) -1 \right) {\binom {n} {\lfloor n/2 \rfloor}}$ for any fixed $m \ge 1$. In this paper we show that $La(n,P) \le \frac{1}{2^{k-1}} (|P| + (3k-5)2^{k-2}(h(P)-1) - 1 ) {n \choose {\lfloor n/2\rfloor} }$ for any fixed $k \ge 2$, improving the best known upper bound. By choosing $k$ appropriately, we obtain that $La(n,P) = O\left( h(P) \log_2\left(\frac{|P|}{h(P)}+2\right) \right) {n \choose \lfloor n/2 \rfloor }$ 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(n^c)$ for every $c>\frac{1}{2}$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.