Two-part set systems

From MaRDI portal




Abstract: The two part Sperner theorem of Katona and Kleitman states that if X is an n-element set with partition X1cupX2, and cF is a family of subsets of X such that no two sets A,BincF satisfy AsubsetB (or BsubsetA) and AcapXi=BcapXi for some i, then |cF|lenchooselfloorn/2floor. We consider variations of this problem by replacing the Sperner property with the intersection property and considering families that satisfiy various combinations of these properties on one or both parts X1, X2. Along the way, we prove the following new result which may be of independent interest: let cF,cG be families of subsets of an n-element set such that cF and cG are both intersecting and cross-Sperner, meaning that if AincF and BincG, then AotsubsetB and BotsubsetA. Then |cF|+|cG|<2n1 and there are exponentially many examples showing that this bound is tight.









This page was built for publication: Two-part set systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q426823)