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 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 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 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 .
Recommendations
Cites work
- scientific article; zbMATH DE number 53676 (Why is no real title available?)
- scientific article; zbMATH DE number 6319745 (Why is no real title available?)
- scientific article; zbMATH DE number 3111990 (Why is no real title available?)
- A problem of arrangements
- An infinite Sidon sequence
- Infinite Sidon sets contained in sparse random sets of integers
- On a Problem of Sidon in Additive Number Theory and on Some Related Problems Addendum
- On a Problem of Sidon in Additive Number Theory, and on some Related Problems
- On strong Sidon sets of integers
- Short proofs of some extremal results. III
- The cycle lemma and some applications
Cited in
(7)- A Note on Infinite Antichain Density
- scientific article; zbMATH DE number 4075524 (Why is no real title available?)
- An infinitary version of the Graham-Leeb-Rothschild theorem
- scientific article; zbMATH DE number 3931779 (Why is no real title available?)
- scientific article; zbMATH DE number 4196578 (Why is no real title available?)
- scientific article; zbMATH DE number 2216156 (Why is no real title available?)
- The width of downsets
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)