### Crucial and bicrucial permutations with respect to arithmetic monotone patterns [article]

Sergey Avgustinovich, Sergey Kitaev, Alexandr Valyuzhenich
2012 arXiv   pre-print
A pattern τ is a permutation, and an arithmetic occurrence of τ in (another) permutation π=π_1π_2...π_n is a subsequence π_i_1π_i_2...π_i_m of π that is order isomorphic to τ where the numbers i_1<i_2<...<i_m form an arithmetic progression. A permutation is (k,ℓ)-crucial if it avoids arithmetically the patterns 12... k and ℓ(ℓ-1)... 1 but its extension to the right by any element does not avoid arithmetically these patterns. A (k,ℓ)-crucial permutation that cannot be extended to the left
more » ... creating an arithmetic occurrence of 12... k or ℓ(ℓ-1)... 1 is called (k,ℓ)-bicrucial. In this paper we prove that arbitrary long (k,ℓ)-crucial and (k,ℓ)-bicrucial permutations exist for any k,ℓ≥ 3. Moreover, we show that the minimal length of a (k,ℓ)-crucial permutation is (k,ℓ)((k,ℓ)-1), while the minimal length of a (k,ℓ)-bicrucial permutation is at most 2(k,ℓ)((k,ℓ)-1), again for k,ℓ≥3.