arXiv++ Combinatorics

A set of permutations $I \subset S_n$ is said to be {\em k-intersecting} if any two permutations in $I$ agree on at least $k$ points. We show that for any $k \in \mathbb{N}$, if $n$ is sufficiently large depending on $k$, then the largest $k$-intersecting subsets of $S_n$ are cosets of stabilizers of $k$ points, proving a conjecture of Deza and Frankl. We also prove a similar result concerning $k$-cross-intersecting subsets. Our proofs are based on eigenvalue techniques and the representation theory of the symmetric group.

If X is an n-element set, we call a family G of subsets of X a k-generator for X if every subset of X can be expressed as a union of at most k disjoint sets in G. Frein, Leveque and Sebo conjectured that for n > 2k, the smallest k-generators for X are obtained by taking a partition of X into classes of sizes as equal as possible, and taking the union of the power-sets of the classes. We prove this conjecture for all sufficiently large n when k = 2, and for n a sufficiently large multiple of k when k > 2.

A family of graphs F is said to be triangle-intersecting if for any two graphs G,H in F, the intersection of G and H contains a triangle. A conjecture of Simonovits and Sos from 1976 states that the largest triangle-intersecting families of graphs on a fixed set of n vertices are those obtained by fixing a specific triangle and taking all graphs containing it, resulting in a family of size (1/8) 2^{n choose 2}. We prove this conjecture and some generalizations (for example, we prove that the same is true of odd-cycle-intersecting families, and we obtain best possible bounds on the size of the family under different, not necessarily uniform, measures). We also obtain stability results, showing that almost-largest triangle-intersecting families have approximately the same structure.

We consider the problem of finding the maximum possible size of a family of k-dimensional subcubes of the n-cube {0,1}^{n}, none of which is contained in the union of the others. (We call such a family `irredundant'). Aharoni and Holzman conjectured that for k > n/2, the answer is {n choose k} (which is attained by the family of all k-subcubes containing a fixed point). We give a new proof of a general upper bound of Meshulam, and we prove that for k >= n/2, any irredundant family in which all the subcubes go through either (0,0,...,0) or (1,1,...,1) has size at most {n choose k}. We then give a general lower bound, showing that Meshulam's upper bound is always tight up to a factor of at most e.

We call a family G of subsets of [n] a k-generator of (\mathbb{P}[n]) if every (x \subset [n]) can be expressed as a union of at most k disjoint sets in (\mathcal{G}). Frein, Leveque and Sebo conjectured that for any (n \geq k), such a family must be at least as large as the k-generator obtained by taking a partition of [n] into classes of sizes as equal as possible, and taking the union of the power-sets of the classes. We generalize a theorem of Alon and Frankl \cite{alon} in order to show that for fixed k, any k-generator of (\mathbb{P}[n]) must have size at least (k2^{n/k}(1-o(1))), thereby verifying the conjecture asymptotically for multiples of k.

A family of permutations (\mathcal{A} \subset S_{n}) is said to be (t)-\textit{intersecting} if any two permutations in (\mathcal{A}) agree on at least (t) points, i.e. for any (σ, π\in \mathcal{A}), (|\{i \in [n]: σ(i)=π(i)\}| \geq t). It was recently proved by Friedgut, Pilpel and the author that for (n) sufficiently large depending on (t), a (t)-intersecting family (\mathcal{A} \subset S_{n}) has size at most ((n-t)!), with equality only if (\mathcal{A}) is a coset of the stabilizer of (t) points (or `(t)-coset' for short), proving a conjecture of Deza and Frankl. Here, we first obtain a rough stability result for (t)-intersecting families of permutations, namely that for any (t \in \mathbb{N}) and any positive constant (c), if (\mathcal{A} \subset S_{n}) is a (t)-intersecting family of permutations of size at least (c(n-t)!), then there exists a (t)-coset containing all but at most a (O(1/n))-fraction of (\mathcal{A}). We use this to prove an exact stability result: for (n) sufficiently large depending on (t), if (\mathcal{A} \subset S_{n}) is a (t)-intersecting family which is not contained within a (t)-coset, then (\mathcal{A}) is at most as large as the family \mathcal{D} & = & \{σ\in S_{n}: σ(i)=i \forall i \leq t, σ(j)=j \textrm{for some} j > t+1\} && \cup \{(1 t+1),(2 t+1),...,(t t+1)\} which has size ((1-1/e+o(1))(n-t)!). Moreover, if (\mathcal{A}) is the same size as (\mathcal{D}) then it must be a `double translate' of (\mathcal{D}), meaning that there exist (π,τ\in S_{n}) such that (\mathcal{A}=π\mathcal{D} τ). We also obtain an analogous result for (t)-intersecting families in the alternating group (A_{n}).

A family of permutations A \subset S_n is said to be intersecting if any two permutations in A agree at some point, i.e. for any σ, π\in A, there is some i such that σ(i)=π(i). Deza and Frankl showed that for such a family, |A| <= (n-1)!. Cameron and Ku showed that if equality holds then A = {σ\in S_{n}: σ(i)=j} for some i and j. They conjectured a `stability' version of this result, namely that there exists a constant c < 1 such that if A \subset S_{n} is an intersecting family of size at least c(n-1)!, then there exist i and j such that every permutation in A maps i to j (we call such a family `centred'). They also made the stronger `Hilton-Milner' type conjecture that for n \geq 6, if A \subset S_{n} is a non-centred intersecting family, then A cannot be larger than the family C = {σ\in S_{n}: σ(1)=1, σ(i)=i \textrm{for some} i > 2} \cup {(12)}, which has size (1-1/e+o(1))(n-1)!. We prove the stability conjecture, and also the Hilton-Milner type conjecture for n sufficiently large. Our proof makes use of the classical representation theory of S_{n}. One of our key tools will be an extremal result on cross-intersecting families of permutations, namely that for n \geq 4, if A,B \subset S_{n} are cross-intersecting, then |A||B| \leq ((n-1)!)^{2}. This was a conjecture of Leader; it was recently proved for n sufficiently large by Friedgut, Pilpel and the author.