Intersecting families, signed sets, and injection

From MaRDI portal
Publication:5109063



Abstract: Let k,r,ngeq1 be integers, and let Sn,k,r be the family of r-signed k-sets on [n]=1,dots,n given by mathcal{S}_{n, k, r} = Big{{(x_1, a_1), dots, (x_k, a_k)}: {x_1, dots, x_k} in �inom{[n]}{k}, a_1, dots, a_k in [r] Big}. A family mathcalAsubseteqSn,k,r is emph{intersecting} if A,BinmathcalA implies AcapBot=emptyset. A well-known result (first stated by Meyer and proved using different methods by Deza and Frankl, and Bollob'as and Leader) states that if mathcalAsubseteqmathcalSn,k,r is intersecting, rgeq2 and 1leqkleqn, then |mathcal{A}| leq r^{k-1}�inom{n-1}{k - 1}. We provide a proof of this result by injection (in the same spirit as Frankl and F"uredi's and Hurlbert and Kamat's injective proofs of the ErdH{o}s--Ko--Rado Theorem, and Frankl's and Hurlbert and Kamat's injective proofs of the Hilton--Milner Theorem) whenever rgeq2 and 1leqkleqn/2, leaving open only some cases when kleqn.












This page was built for publication: Intersecting families, signed sets, and injection

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