Infinite Sperner's theorem

From MaRDI portal
Publication:2068601




Abstract: One of the most classical results in extremal set theory is Sperner's theorem, which says that the largest antichain in the Boolean lattice 2[n] has size . Motivated by an old problem of ErdH{o}s on the growth of infinite Sidon sequences, in this note we study the growth rate of maximum infinite antichains. Using the well known Kraft's inequality for prefix codes, it is not difficult to show that infinite antichains should be "thinner" than the corresponding finite ones. More precisely, if mathcalFsubset2mathbbN is an antichain, then liminf_{n ightarrow infty}�ig|mathcal{F} cap 2^{[n]}�ig|left(frac{2^n}{nlog n} ight)^{-1}=0. Our main result shows that this bound is essentially tight, that is, we construct an antichain mathcalF such that liminf_{n ightarrow infty}�ig|mathcal{F} cap 2^{[n]}�ig|left(frac{2^n}{nlog^{C} n} ight)^{-1}>0 holds for some absolute constant C>0.









This page was built for publication: Infinite Sperner's theorem

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