6 research outputs found
Cross-intersecting families and primitivity of symmetric systems
Let be a finite set and , the power set of ,
satisfying three conditions: (a) is an ideal in , that is,
if and , then ; (b) For with , if for any
with ; (c) for every . The
pair is called a symmetric system if there is a group
transitively acting on and preserving the ideal . A
family is said to be a
cross--family of if for any and with . We prove that if is a
symmetric system and is a
cross--family of , then where . This generalizes Hilton's theorem on
cross-intersecting families of finite sets, and provides analogs for
cross--intersecting families of finite sets, finite vector spaces and
permutations, etc.
Moreover, the primitivity of symmetric systems is introduced to characterize
the optimal families.Comment: 15 page
Improved bounds for cross-Sperner systems
A collection of families (F1,F2,⋯,Fk)∈P([n])k is cross-Sperner if there is no pair i≠j for which some Fi∈Fi is comparable to some Fj∈Fj. Two natural measures of the 'size' of such a family are the sum ∑ki=1|Fi| and the product ∏ki=1|Fi|. We prove new upper and lower bounds on both of these measures for general n and k≥2 which improve considerably on the previous best bounds. In particular, we construct a rich family of counterexamples to a conjecture of Gerbner, Lemons, Palmer, Patkós, and Szécsi from 2011
Recommended from our members
Combinatorics, Probability and Computing
One of the exciting phenomena in mathematics in recent years has been the widespread and surprisingly effective use of probabilistic methods in diverse areas. The probabilistic point of view has turned out to b