1 Introduction
Let denote the symmetric group on . It is well-known that every permutation in
can be written either in its cycle form as a product of disjoint cycles or in its one-line notation as , where for all . If is composed of a single -cycle, then is called a cycle permutation. Let
and with . If there exists a subset of indices
such that if and only if for all , then we say that is contained in
and the subsequence is called an occurrence of in and denoted by .
For example, , because appear in the same order of size as the letters in . The theory of pattern avoidance in permutations was introduced by Knuth in [10], which has been widely studied for half a century, refer to [5, 14]. A lot of attention has been given to the concept of pattern avoidance over the years. Some interesting and relevant results regarding pattern avoidance can be found in [3, 4, 6, 7, 8, 10, 11, 12, 13].
Let be a cycle permutation in . Thereby, can be expressed one-line notation and cycle form as and , respectively. In particular, can also be written for each ; if then we call is the standard cycle form of . Archer et al. [1] introduced the notion of pattern avoidance of one-line and standard cycle form for a cycle permutation, that is, if avoids and avoids , then avoids in its one-line form and avoids in its standard cycle form. Archer et al. [2] defined the notion of pattern avoidance of one-line and all cycle forms for a cycle permutation, namely, if avoids and avoids for each , then avoids in its one-line form and avoids in its all cycle forms. Let denote the set of cyclic permutations in that avoid in their one-line form and avoid in their all cycle forms. Archer et al. [2] proposed an interesting conjecture about , as follows:
Conjecture 1.1.
([2, Open Questions])
is the Pell number.
In this paper, we prove that the Conjecture 1.1 is true, and so we obtain the following theorem.
Theorem 1.2.
is the Pell number for any positive integer .
2 Proof of Theorem 1.2
It is well-known that the Pell numbers are defined by and , and the recurrence relation for . Moreover, one easily checks that and and and . Thus, we see that the Theorem 1.2 holds for . So we shall prove the Theorem 1.2 by induction on . In other words, it suffices to prove for . Next we start by providing an useful fact that has been pointed out in [2].
Fact 2.1.
Let be a cycle permutation in with . Then and . Moreover, if then the elements after appear in increasing order.
Base on the Fact 2.1, we define
|
|
|
Thereby, we have
|
|
|
(2.1) |
Lemma 2.2.
Let be a positive integer with . Then for each .
Proof Consider . For every , we define a mapping by the rule that
|
|
|
We claim that is a bijection from to . Firstly, we prove that the definition of this mapping is reasonable. Clearly, avoids in its all cycle forms. So it suffices to prove that avoids in its one-line form. Let where and . Note that and for . Pick . Obviously, avoids in its one-line form. Moreover, we see that and for . Note and thus . Therefore, the definition of this mapping is reasonable. In addition, it is clear that is an injection, and it can be shown that is surjection by the same method. Thereby, our claim is true, and so .
Consider for . By Fact 2.1, we see that every can be expressed as . For convenience, we set . Now we define a mapping by the rule that
|
|
|
Next we prove that is a bijection from to . Firstly, we prove that the definition of this mapping is reasonable. Clearly, avoids in its all cycle forms. So it suffices to prove that avoids in its one-line form. Let . Note that and if then for . Taking
|
|
|
Obviously, avoids in its one-line form. Moreover, we see that and for . Note and thus . Therefore, the definition of this mapping is reasonable. In addition, it is clear that is an injection, and it can be shown that is surjection by the same method. Thereby, is a bijection and so . The proof of this lemma is completed.
According to equation (2.1) and Lemma 2.2, we deduce that for ,
|
|
|
and
|
|
|
Thereby, we deduce that
|
|
|
So far, we have seen that it suffices to prove
|
|
|
Inspired by Lemma 2.2, we define
|
|
|
Thereby, we have
|
|
|
(2.2) |
Next we consider in three situations.
Lemma 2.3.
Let be a positive integer with . Then
|
|
|
Proof For each , we define a mapping by the rule that
|
|
|
Proceeding as in the proof of Lemma 2.2, we deduce that is a bijection from to . Thereby, . It follows from Lemma 2.2 that , as desired.
Lemma 2.4.
Let be a positive integer with . Then for , we have
|
|
|
Proof Suppose with . Since avoids in its all cycle forms, we infer that . Thereby, . Let . Note , , and . Hence, contains in its one-line form, a contradiction. Therefore, for , as desired.
Lemma 2.5.
Let be a positive integer with . Then
|
|
|
Proof For every , we define a mapping by the rule that
|
|
|
Proceeding as in the proof of Lemma 2.2, we see that is a bijection from to . Thereby, , as desired.
According to equation (2.2) and Lemma 2.3 and Lemma 2.4 and Lemma 2.5, we deduce that
|
|
|
Up to now we have completed the proof of Theorem 1.2.