459 research outputs found
On Saturated -Sperner Systems
Given a set , a collection is said to
be -Sperner if it does not contain a chain of length under set
inclusion and it is saturated if it is maximal with respect to this property.
Gerbner et al. conjectured that, if is sufficiently large with respect to
, then the minimum size of a saturated -Sperner system
is . We disprove this conjecture
by showing that there exists such that for every and there exists a saturated -Sperner system
with cardinality at most
.
A collection is said to be an
oversaturated -Sperner system if, for every
, contains more
chains of length than . Gerbner et al. proved that, if
, then the smallest such collection contains between and
elements. We show that if ,
then the lower bound is best possible, up to a polynomial factor.Comment: 17 page
- β¦