Permutations fixing a k-set

Abstract

Let $i(n,k)$ be the proportion of permutations $π\in\mathcal{S}_n$ having an invariant set of size $k$. In this note we adapt arguments of the second author to prove that $i(n,k) \asymp k^{-δ} (1+\log k)^{-3/2}$ uniformly for $1\leq k\leq n/2$, where $δ= 1 - \frac{1 + \log \log 2}{\log 2}$. As an application we show that the proportion of $π\in\mathcal{S}_n$ contained in a transitive subgroup not containing $\mathcal{A}_n$ is at least $n^{-δ+o(1)}$ if $n$ is even.