On saturated k-Sperner systems

From MaRDI portal
(Redirected from Publication:405311)
On saturated \(k\)-Sperner systems




Abstract: Given a set X, a collection mathcalFsubseteqmathcalP(X) is said to be k-Sperner if it does not contain a chain of length k+1 under set inclusion and it is saturated if it is maximal with respect to this property. Gerbner et al. conjectured that, if |X| is sufficiently large with respect to k, then the minimum size of a saturated k-Sperner system mathcalFsubseteqmathcalP(X) is 2k1. We disprove this conjecture by showing that there exists varepsilon>0 such that for every k and |X|geqn0(k) there exists a saturated k-Sperner system mathcalFsubseteqmathcalP(X) with cardinality at most 2(1varepsilon)k. A collection mathcalFsubseteqmathcalP(X) is said to be an oversaturated k-Sperner system if, for every SinmathcalP(X)setminusmathcalF, mathcalFcupS contains more chains of length k+1 than mathcalF. Gerbner et al. proved that, if |X|geqk, then the smallest such collection contains between 2k/21 and Oleft(fraclogkk2kight) elements. We show that if |X|geqk2+k, then the lower bound is best possible, up to a polynomial factor.









This page was built for publication: On saturated \(k\)-Sperner systems

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