Intersecting generalised permutations

From MaRDI portal



Abstract: For any positive integers k,r,n with rleqmink,n, let mathcalPk,r,n be the family of all sets (x1,y1),dots,(xr,yr) such that x1,dots,xr are distinct elements of [k]=1,dots,k and y1,dots,yr are distinct elements of [n]. The families mathcalPn,n,n and mathcalPn,r,n describe permutations of [n] and r-partial permutations of [n], respectively. If kleqn, then mathcalPk,k,n describes permutations of k-element subsets of [n]. A family mathcalA of sets is said to be intersecting if every two members of mathcalA intersect. In this note we use Katona's elegant cycle method to show that a number of important ErdH{o}s-Ko-Rado-type results by various authors generalise as follows: the size of any intersecting subfamily mathcalA of mathcalPk,r,n is at most k−1chooser−1frac(n−1)!(n−r)!, and the bound is attained if and only if mathcalA=AinmathcalPk,r,ncolon(a,b)inA for some ain[k] and bin[n].












This page was built for publication: Intersecting generalised permutations

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