Title:A probabilistic variant of Sperner's theorem and of maximal $r$-cover free families

Abstract:A family of sets is called $r$-\emph{cover free} if it does not contain $2\leq\ell+1\leq r+1$ distinct sets $A_0,A_1,\ldots,A_{\ell}$ such that $A_0\subseteq A_1\cup\cdots\cup A_{\ell}$. A $1$-cover free family is simply an antichain with respect to set inclusion. Thus, Sperner's classical result determines the maximal cardinality of a $1$-cover free family of subsets of an $n$-element set. Estimating tha maximal cardinality of an $r$-cover free family of subsets of an $n$-element set for $r>1$ was also studied. In this paper we are interested in the following probabilistic variant of this problem. Let $S_0,S_1,\ldots, S_r$ be independent and identically distributed random subsets of an $n$-element set. Which distribution minimizes the probability that $S_0\subseteq S_1\cup\cdots\cup S_r$? A natural candidate is the uniform distribution on an $r$-cover-free family of maximal cardinality. We show that for $r=1$ such distribution is indeed best possible. In a complete contrast, we also show that for every $r>1$ and $n$ large enough, such distribution can be beaten by an exponential factor.