Abstract.
A set system
\mathcal{F} \subseteq 2^{[n]}
shatters a given set
S \subseteq [n] if
\{F\cap S : F \in \mathcal{F} \}=2^S
, and
\mathrm{Sh}(\mathcal{F})
denotes the collection of all sets shattered by
\mathcal{F}. A system is said to
be (n,k)-universal if it shatters
all k-subsets of
[n], that is,
\binom{[n]}{k} \subseteq \mathrm{Sh}(\mathcal{F})
. Much research has been devoted to determining the
minimum possible size of an
(n,k)-universal system, as well
as to finding explicit constructions of small universal
systems.
We introduce a refined version of this problem, studying
the quantity
\mathrm{sh}_{\text{max}}(n,k,m),
the maximum number of k-subsets
of [n] that can be shattered by a
set system of size m. We obtain
precise results when m = 2^k, in
particular showing that as soon as a system can shatter a
single k-subset, it can shatter a
positive fraction of all
k-subsets.
Joint work with Shagnik Das.