22 research outputs found
Minimum saturated families of sets
We call a family of subsets of -saturated if it
contains no pairwise disjoint sets, and moreover no set can be added to
while preserving this property (here ).
More than 40 years ago, Erd\H{o}s and Kleitman conjectured that an
-saturated family of subsets of has size at least . It is easy to show that every -saturated family has size at
least , but, as was mentioned by Frankl and Tokushige,
even obtaining a slightly better bound of , for some
fixed , seems difficult. In this note, we prove such a result,
showing that every -saturated family of subsets of has size at least
.
This lower bound is a consequence of a multipartite version of the problem,
in which we seek a lower bound on
where are families of subsets of ,
such that there are no pairwise disjoint sets, one from each family
, and furthermore no set can be added to any of the families
while preserving this property. We show that , which is tight e.g.\ by taking
to be empty, and letting the remaining families be the families
of all subsets of .Comment: 8 page
Bounds on three- and higher-distance sets
A finite set X in a metric space M is called an s-distance set if the set of
distances between any two distinct points of X has size s. The main problem for
s-distance sets is to determine the maximum cardinality of s-distance sets for
fixed s and M. In this paper, we improve the known upper bound for s-distance
sets in n-sphere for s=3,4. In particular, we determine the maximum
cardinalities of three-distance sets for n=7 and 21. We also give the maximum
cardinalities of s-distance sets in the Hamming space and the Johnson space for
several s and dimensions.Comment: 12 page
Multiply intersecting families of sets
AbstractLet [n] denote the set {1,2,…,n}, 2[n] the collection of all subsets of [n] and F⊂2[n] be a family. The maximum of |F| is studied if any r subsets have an at least s-element intersection and there are no ℓ subsets containing t+1 common elements. We show that |F|⩽∑i=0t−sn−si+t+ℓ−st+2−sn−st+1−s+ℓ−2 and this bound is asymptotically the best possible as n→∞ and t⩾2s⩾2, r,ℓ⩾2 are fixed
On -close Sperner systems
For a set of positive integers, a set system is said to be -close Sperner, if for any pair of distinct
sets in the skew distance belongs to . We reprove an extremal result of Boros,
Gurvich, and Milani\v c on the maximum size of -close Sperner set systems
for and generalize to and obtain slightly weaker bounds for
arbitrary . We also consider the problem when might include 0 and
reprove a theorem of Frankl, F\"uredi, and Pach on the size of largest set
systems with all skew distances belonging to