English

Clustering of consecutive numbers in permutations avoiding a pattern of length three or avoiding a finite number of simple patterns

Probability 2023-04-28 v4 Combinatorics

Abstract

For ηS3\eta\in S_3, let Snav(η)S_n^{\text{av}(\eta)} denote the set of permutations in SnS_n that avoid the pattern η\eta, and let Enav(η)E_n^{\text{av}(\eta)} denote the expectation with respect to the uniform probability measure on Snav(η)S_n^{\text{av}(\eta)}. For nk2n\ge k\ge2 and τSkav(η)\tau\in S_k^{\text{av}(\eta)}, let Nn(k)(σ)N_n^{(k)}(\sigma) denote the number of occurrences of kk consecutive numbers appearing in kk consecutive positions in σSnav(η)\sigma\in S_n^{\text{av}(\eta)}, and let Nn(k;τ)(σ)N_n^{(k;\tau)}(\sigma) denote the number of such occurrences for which the order of the appearance of the kk numbers is the pattern τ\tau. We obtain explicit formulas for Enav(η)Nn(k;τ)E_n^{\text{av}(\eta)}N_n^{(k;\tau)} and Enav(η)Nn(k)E_n^{\text{av}(\eta)}N_n^{(k)}, for all 2kn2\le k\le n, all ηS3\eta\in S_3 and all τSkav(η)\tau\in S_k^{\text{av}(\eta)}. These exact formulas then yield asymptotic formulas as nn\to\infty with kk fixed, and as nn\to\infty with k=knk=k_n\to\infty. We also obtain analogous results for Snav(η1,,ηr)S_n^{\text{av}(\eta_1,\cdots,\eta_r)}, the subset of SnS_n consisting of permutations avoiding the patterns {τi}i=1r\{\tau_i\}_{i=1}^r, where τiSmi\tau_i\in S_{m_i}, in the case that {τi}i=1n\{\tau_i\}_{i=1}^n are all simple permutations. A particular case of this is the set of separable permutations, which corresponds to r=2r=2, τ1=2413,τ2=3142\tau_1=2413,\tau_2=3142.

Keywords

Cite

@article{arxiv.2211.12090,
  title  = {Clustering of consecutive numbers in permutations avoiding a pattern of length three or avoiding a finite number of simple patterns},
  author = {Ross G. Pinsky},
  journal= {arXiv preprint arXiv:2211.12090},
  year   = {2023}
}

Comments

A number of typos have been corrected