Abstract
In this paper we consider the conjectured Erdős-Ko-Rado property for $2$-pointwise and $2$-setwise intersecting permutations. Two permutations $\sigma,\tau \in \operatorname{Sym}(n)$ are $t$-setwise intersecting if there exists a $t$-subset $S$ of $\{1,2,\dots,n\}$ such that $S^\sigma = S^\tau$. Further, two permutations $\sigma,\tau \in \operatorname{Sym}(n)$ are $t$-pointwise intersecting if there exists a $t$-subset $S$ of $\{1,2,\dots,n\}$ such that $s^\sigma = s^\tau$ for each $s \in S$. A family of permutations $\mathcal{F} \subset \operatorname{Sym}(n)$ is called $t$-setwise (resp. $t$-pointwise) intersecting, if any two permutations in $\mathcal{F}$ are $t$-setwise (resp. $t$-pointwise) intersecting. We say that $\operatorname{Sym}(n)$ has the $t$-setwise intersecting property if for any family $\mathcal{F}$ of $t$-setwise intersecting permutations, $|\mathcal{F}| \leqslant t!(n-t)!$. Similarly, $\operatorname{Sym}(n)$ has the $t$-pointwise intersecting property if for any family $\mathcal{F}$ of $t$-pointwise intersecting permutations, $|\mathcal{F}| \leqslant (n-t)!$.Ellis ([``"Setwise intersecting families of permutations". J. Combin. Theory Ser. A, 119(4):825-849, 2012]), proved that if $n$ is sufficiently large relative to $t$, then $\operatorname{Sym}(n)$ has the $t$-setwise intersecting property. Ellis also conjectured that this result holds for all $n \geqslant t$. Ellis, Friedgut and Pilpel ["``Intersecting families of permutations." J. Amer. Math. Soc. 24(3):649-682, 2011] also proved that for $n$ sufficiently large relative to $t$, $\operatorname{Sym}(n)$ has the $t$-pointwise intersecting property. It is also conjectured that $\operatorname{Sym}(n)$ has the $t$-pointwise intersecting property for $n\geqslant 2t+1$. In this work, we prove these two conjectures for $\operatorname{Sym}(n)$ when $t=2$.
Highlights
The study of intersecting properties of finite sets is a central theme in extremal combinatorics
In [18] it is shown for any 2-transitive group G that the characteristic vector of any maximum intersecting set of permutations in G lies in the sum of the trivial and the φ-module
We denote by Der(G) the set of all derangements of the permutation group G
Summary
The study of intersecting properties of finite sets is a central theme in extremal combinatorics. The proof of Theorem 3 uses similar arguments to the proof of the Deza-Frankl conjecture in [8] In both proofs, the result holds for n sufficiently large relative to t and exact bounds for n are not given. In [18] it is shown for any 2-transitive group G that the characteristic vector of any maximum intersecting set of permutations in G lies in the sum of the trivial and the φ-module. We will determine the modules in which the characteristic vectors of the maximum 2-setwise and 2-pointwise intersecting sets in Sym(n) lie.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have