加载中…
A family of permutations is said to be \emph{-set-intersecting} if for any two permutations , there exists a -set whose image is the same under both permutations, i.e. . We prove that if is sufficiently large depending on , the largest -set-intersecting families of permutations in are cosets of stabilizers of -sets. The case of this was conjectured by J'anos K"orner. It can be seen as a variant of the Deza-Frankl conjecture, proved in [4]. Our proof uses similar techniques to those of [4], namely, eigenvalue methods, together with the representation theory of the symmetric group, but the combinatorial part of the proof is harder.

生成讲解博客的中文版本

生成AI智能校验的中文版本