Enumeration of Two Particular Sets of Minimal Permutations

3 47 6 3 Journal of Integer Sequences, Vol. 8 (05), Article 5.0. Enumeration of Two Particular Sets of Minimal Permutations Stefano Bilotta, Elisabetta Grazzini, and Elisa Pergola Dipartimento di Matematica e Informatica Ulisse Dini Università di Firenze Viale G. B. Morgagni 65 5034 Firenze Italy egrazzini@unifi.it Abstract Minimal permutations with d descents and size d+ have a unique ascent between two sequences of descents. Our aim is the enumeration of two particular sets of these permutations. The first set contains the permutations having d+ as the top element of the ascent. The permutations in the latter set have as the last element of the first sequence of descents and are the reverse-complement of those in the other set. The main result is that these sets are enumerated by the second-order Eulerian numbers. Introduction. Preliminary definitions A permutation of size n is a bijective map from {..n} to itself. We denote by S n the set of permutations of size n. We consider a permutation σ S n as the word σ σ σ n of n letters on the alphabet {,,...,n}, containing each letter exactly once (we often use the word element or entry instead of letter). For example, 6435 represents the permutation σ S 6 such that σ = 6,σ =,...,σ 6 =. Corresponding author.

Definition. Let σ be a permutation in S n. We say that σ has a descent in position i whenever σ i > σ i+. In the same way, we say that σ has an ascent in position i whenever σ i < σ i+. Example. The permutation σ = 6984375 S 9 has 4 descents, namely in positions, 3, 4, 7, and 4 ascents in positions, 5, 6 and 8. Definition 3. Let σ be a permutation in S n. The reverse of σ is the permutation σ r = σ n σ n σ. The complement of σ is the permutation σ c = (n+ σ )(n+ σ ) (n+ σ n ). Example 4. If σ = 4653, then σ r = 3564, σ c = 3546 and σ rc = σ cr = 6453. Definition 5. A permutation π S k is a pattern of a permutation σ S n if there is a subsequence of σ which is order-isomorphic to π, i.e., if there is a subsequence σ i σ i σ ik of σ, i < i < < i k n, such that σ il < σ im whenever π l < π m. We also say that π is contained in σ and call σ i σ i σ ik an occurrence of π in σ. Example 6. Thepermutationσ = 3854796containsthepattern34sinceσ σ 3 σ 5 σ 7 is an increasing subsequence of size 4. We write π σ to denote that π is a pattern of σ. A permutation σ that does not contain π as a pattern is said to avoid π. The class of all permutations avoiding the patterns π,π,...,πk is denoted S(π,π,...,πk). We say that S(π,π,...,πk) is a class of pattern-avoiding permutations of basis {π,π,...,πk}.. Minimal permutations with d descents Minimal permutations with d descents arise from biological motivations [, 3, 4]. Among the many models for genome evolution, the whole genome duplication - random loss model represents genomes with permutations, that can evolve through duplication-loss steps representing the biological phenomenon that duplicates fragments of genomes, and then loses one copy of every duplicated gene []. Bouvel and Rossin [3] showed that the class of permutations obtained in this model after a given number p of steps is a class of pattern-avoiding permutations of finite basis, and proved the following theorem. Theorem 7. The class of permutations obtainable by at most p steps in the whole genome duplication - random loss model is a class of pattern-avoiding permutations whose basis B d is finite and is composed of the minimal permutations with d = p descents, minimal being intended in the sense of. In this paper, we focus on the basis B d of excluded patterns appearing in Theorem 7. More generally, we do not assume that d is a power of. From here on, by minimal permutation with d descents, we mean a permutation that is minimal with respect to the pattern-involvement relation for the property of having d descents.

Example 8. Let σ = 7435869 be a permutation with 4 descents; σ is not minimal with 4 descents. Indeed, the elements and 5 can be removed from σ without changing the number of descents. Doing this, we obtain permutation π = 53647 which is minimal with 4 descents: it is impossible to remove an element from it while preserving the number of descents equal to 4. However, π is not of minimal size among the permutation with 4 descents: π has size 7 whereas permutation 543 has 4 descents but size 5. A characterization of minimal permutations with d descents is given in Proposition 9, whose proof is given in []. Proposition 9. Let σ be a minimal permutation with d descents. Then every ascent of σ is immediately preceded and immediately followed by a descent, and the size n of σ satisfies d+ n d. The condition provided by Proposition 9 is not sufficient to give a characterization of minimal permutations with d descents. Example 0. The permutation σ = 75308496, with 6 descents, does not contain consecutive ascents. However, σ is not minimal as it contains the pattern π = 6497385, which is minimal with 6 descents. An exhaustive characterization of minimal permutations, as given in [], can be summarized in the following theorem, giving a local characterization of minimal permutations with d descents. Theorem. A permutation σ of size n is minimal with d descents if and only if it has exactly d descents and its ascents σ i σ i+ are such that i n and σ i σ i σ i+ σ i+ forms an occurrence of either the pattern 43 or the pattern 34. The characterization of minimal permutations with d descents in Theorem directly leads to a partially ordered set (or poset) representation of permutations. Consider the set of all minimal permutations of size n with d descents, and having their descents and ascents in the same positions. In all these permutations, the elements are locally ordered in the same way, even around the ascents, because of Theorem. This whole set of permutations can be represented by a partially ordered set indicating the necessary conditions on the relative order of the elements between them. For a descent, there is a link from the first and greatest element to the second and smallest one. For any ascent σ i σ i+, the elements σ i σ i σ i+ σ i+ form a diamond-shaped structure with σ i+ at the top, σ i at the bottom, σ i on the left and σ i+ on the right. By Theorem, any labelling of the elements of the poset respecting its ordering constraints is a minimal permutation with d descents. See Figure for an example. We will say that a permutation σ satisfies the diamond property when each of its ascents σ i σ i+ is such that σ i σ i σ i+ σ i+ forms a diamond, that is to say is an occurrence of either 43 or 34. 3

0 8 5 4 9 7 0 8 3 6 9 7 6 5 3 4 Figure : Permutations and authorized labelling of the posets.3 Outline of the paper As claimed in Proposition 9, the size of minimal permutations with d descents is at least d+ and at most d. Obviously there is only one minimal permutation with d descents and size d+, that is the reverse identity permutation (d+)d(d ) 3. Bouvel and Pergola [] found that the number of minimal permutations with d descents and maximal size d is given by the d-th Catalan number c d = d+( d d). Mansour and Yan [5] showed that the number of minimal permutations with d descents andsized is d 3 (d )c d. Theyalsoobtained(i)arecurrencerelationonthemultivariate generating function for the minimal permutations of length n, for fixed n, counted by the number of descents, and the values of the first and second elements of the permutation, (ii) a recurrence relation on the multivariate generating function for the minimal permutations of length n with n d descents, for fixed d, counted by the length, and the values of the first and second elements of the permutation. In this paper we are interested in minimal permutations with d descents and size d+ (minimal non trivial case). Let us recall that a minimal permutation with d descents and size d + has a unique ascent, between two sequences of descents, and that the elements surrounding the ascent are organized in a diamond in the poset representation of the permutation. Therefore, the greatest element d + is either the first entry of the permutation or the top element of the diamond. Our aim is the enumeration of two particular sets of minimal permutations with d descents and size d+. The first set M we deal with contains the permutations such that d+ is the top element of the diamond. The other set M contains the permutations in which the first sequence of descents ends with the entry. The main result is that both these sets are enumerated by the second-order Eulerian numbers. Bouvel and Pergola [] obtained a closed formula for the enumeration of minimal permu- 4

tations with d descents and size d+ as reported in the following theorem. Theorem. The minimal permutations with d descents and size d+ are enumerated by the sequence (s d ) defined as follows: s d = d+ (d+)(d+). In particular, they give a proof of Theorem defining two bijections Φ and Φ between the set of minimal permutations with d descents and size d+ and the non-interval subsets of {,,...,d+}. We will use these bijections to enumerate the sets M and M. Therefore, in Section we recall the definition of the bijections Φ and Φ. The enumeration of the sets M and M is obtained in Sections 3 and 4, respectively. As corollaries of this main result, we obtain the enumeration of other subsets of minimal permutations with d descents and size d+. See table at the end of the paper, where we list the counting sequences connected to our results. The bijections Φ and Φ We need to recall the bijections between the non-interval subsets of {,,...,d+} and the set of minimal permutation with d descents and size d+ to proceed. A non-interval subset of {,,...,d+} is a non-empty subset of {,,...,d+} that is not an interval. The number of non-interval subsets of {,,...,d+} is d+ (d+)(d+) []. To prove Theorem Bouvel and Pergola [] showed that there are twice as many permutations with d descents and size d+ as non-interval subsets of {,,...,d+}. For this purpose they partitioned the set of minimal permutations with d descents and size d+ into two subset S and S, and defined two bijections between S and S, respectively, and the set of non-interval subsets of {,,...,d+}, denoted as Nl. The set S contains the minimal permutations with d descents and size d+ such that (i) d + is the top element of the diamond and (ii) the elements in the first sequence of descents are not consecutive. The set S contains all the other minimal permutations with d descents and size d+. Let s be a non-interval subset of {,,...,d+}, and let w = {,,...,d+}\s be the set of wholes associated with s. The bijection Φ between Nl and S is defined as follows: the permutation Φ (s) consists of the elements of s in decreasing order, followed by d+ and then by the elements of w in decreasing order. Example 3. In this example and in the following ones we consider d = 5. Given s = {3,5,6}, and w = {,,4}, Φ (s) is the minimal permutation 65374 with 5 descents and size 7. In order to define the bijection between Nl and S, Bouvel and Pergola [] divided the permutations in S into five types, from A to E in the following way. Let σ be a permutation of S. Then σ is of one of the five types: 5

A) (i) d+ is the top element of the diamond, (ii) the first sequence of descents contains only two consecutive elements; B) (i) d+ is the top element of the diamond, (ii) the first sequence of descents contains at least three consecutive elements, (iii) the second sequence of descents has the form (d+)(d+)r, where r = or r = k(k )(k )..., for some k ; C) (i) d+ is the top element of the diamond, (ii) the first sequence of descents contains at least three consecutive elements, (iii) the second sequence of descents of has the form (d + )(d + )r r, were r = d...(d l), for some l 0, r = or r = k(k )(k )..., for some k. Notice that r cannot be empty; D) (i) d+ is the first element, (ii) the second sequence of descents contains consecutive elements; E) (i) d+ is the first element, (ii) the second sequence of descents contains not consecutive elements. Now we can describe the application Φ from Nl to S. Let s be a non-interval subset of {,,...,d+}, and let w be the associate set of wholes. A) If w contains only one element x, then necessarily x and x d +. In this case, Φ (s) is the permutation of type A whose first sequence of descents is x(x ). Example 4. Given s = {,,3,5,6}, and w = {4}, Φ (s) is the permutation 43765 of type A. If w contains at least two elements, let n be the cardinality of the non-interval subset s, and let m be the cardinality of the associated set w increased by. Moreover, let w and w be the smallest and the second-smallest elements of w, and let s n and s n be the greatest and the second-greatest elements of s. The permutation Φ (s) will contain m elements on its first sequence of descents and n on its second, according to the relative order of w, w, s n, and s n. Notice that m 3, n, and w < s n. B) If s n < w < s n < w, then s = {,...,n,n+} and consequently w = {n,n+,...,d + }. The permutation Φ (s) is of type B and it is such that (i) the second sequence of descents starts with (d + )(d + ) and then contains n consecutive elements from n to, (ii) the first sequence of descents contains m consecutive elements starting with d. Example 5. Given s = {,,4}, and w = {3,5,6}, Φ (s) is the permutation 54376 of type B. 6

C) If w < s n < s n < w, then s = {,...,w,w +,...,n +} and w = {w,n+,...,d + }, i.e., w = n +. To determine the non-interval set s it is sufficient to know its cardinality n and the number p = n + w of elements between w and w. Since s n and s n are between w and w and s is non-interval, p satisfies the conditions p n. The permutation Φ (s) of type C is obtained as follows. The second sequence of descents splits into two parts (the second one possibly empty). The first part contains p+ consecutive elements in decreasing order starting with d+; the second part is composed of n p consecutive elements from n p to. The remaining m elements, written in decreasing order, constitute the first sequence of descents. Example 6. Givens = {,,4,5},w = {3,6},thenp = andthetypecpermutation Φ (s) is 54376. D) If s n < w < w < s n, then s = {,,...,n,s n }. The permutation Φ (s) is of type D and its is such that (i) the second sequence of descents contains n consecutive elements in decreasing order starting with s n, (ii) the first sequence of descents starts with d+ and then contains the remaining m elements in decreasing order. Example 7. Given s = {,,6}, w = {3,4,5}, the type D permutation Φ (s) is 73654. E) If w < w < s n < s n or w < s n < w < s n, then Φ (s) is the permutation of type E obtained as follows. The first sequence of descents of Φ (s) starts with d + and then contains the elements of w in decreasing order; the second sequence of descents contains the element of s in decreasing order. Example 8. Given s = {3,5,6}, w = {,,4}, the type E permutation Φ (s) is 74653. The 3 minimal permutations with 4 descents and size 6 (d = 4) associated with the 6 non-interval subsets of {,,3,4,5} by the bijections Φ and Φ, respectively, are shown in table. 3 The enumeration of M In this section we will count the permutations in the set M, that is, the minimal permutations with d descents and size d+ which have d+ as the second element of the unique ascent. Referring to the definitions given in Section, the set M contains all the permutations in S and the permutations of type A, B, and C. 7

s w Φ (s) Φ (s) Type {,, 4, 5} {3} 5463 3654 A {,, 3, 5} {4} 5364 4365 A {, 3, 4, 5} {} 5436 6543 A {,, 4} {3, 5} 4653 4365 B {,, 5} {3, 4} 5643 6543 D {, 3, 4} {, 5} 4365 3654 C {, 3, 5} {, 4} 5364 6453 E {, 4, 5} {, 3} 5463 6354 E {, 4, 5} {, 3} 5463 6354 E {, 3, 5} {, 4} 5364 6453 E {, 3} {, 4, 5} 3654 4365 B {, 4} {, 3, 5} 4653 6543 D {, 5} {, 3, 4} 5643 6354 D {, 4} {, 3, 5} 4653 6534 E {, 5} {, 3, 4} 5643 6435 E {3, 5} {,, 4} 5364 6453 E Table : Minimal permutations with 4 descents and size 6 (d = 4) Owing to the bijection Φ between the set S and the set Nl, the number N S of minimal permutations with d descents and size d+ in S is N S = d+ (d+)(d+). () The minimal permutations with d descents and size d+ of type A are associated by the bijection Φ with the sets s such that the corresponding sets w contain only one element x with x and x d+. Therefore, there exists one permutation of type A for each possible value of x. Consequently, the number N A of permutations of type A is N A = d. () If σ = Φ (s) is a permutation of type B, then s is completely determined by its cardinality n. Thus, there exists only one permutation of type B for each possible value of n. Since n ranges from to d, the number N B of permutations of type B is N B = d. (3) Because of the definition of Φ, the permutations of type C depend on the cardinality n of s and on the smallest element w of w. Since w satisfies the conditions w n, there are n possible values of w for each value of n. Moreover, for the permutations of 8

type C, n satisfies the conditions 3 n d. Therefore, the number N C of permutations of type C is N C = d d 3 (n ) = n n=3 n= = (d 3)(d ). (4) Theorem 9. The minimal permutations with d descents and size d+ having d+ as the top element of the diamond are enumerated by the sequence (m ) d defined as follows: (m ) d = d+ (d+). (5) Proof. The total number of minimal permutations with d descents and size d+ in M is given by N S +N A +N B +N C, that is N S +N A +N B +N C = d+ (d+)(d+) = d+ (d+). +(d )+(d )+ (d 3)(d ) The first terms of the sequence (5) are,8,,5,4,40,494..., for d. They are the second-order Eulerian numbers and correspond to the sequence A005803 in the On-line Encyclopedia of Integer Sequence [6]. Corollary 0. The minimal permutations with d descents and size d+ whose first entry is d+ are enumerated by the sequence (f) d defined as follows: (f) d = d+ d(d+). (6) Proof. Since minimal permutations with d descents and size d+ start with d+ or have d+ as the second element of the unique ascent, the number of minimal permutations with d descents and size d + whose first entry is d + is given by the difference between the total number of these permutations (see Theorem ) and (m ) d. This number is d+ (d+)(d+) [ d+ (d+)] = d+ d(d+). The first terms of the sequence (6) are 0,,0,3,84,98,438,..., for d. This sequence does not appear in [6]. 9

4 The enumeration of M The set M contains the minimal permutations with d descents and size d+ whose first sequence of descents ends with, that is having as the bottom element of the diamond. Let σ be a permutation in M with the ascent in position i and σ i+ = d +. By Definition 3, σ rc = d+3 σ d+, σ rc = d+3 σ d+,..., σ rc d+ i = d+3 σ i+, σ rc d + 3 σ i+, σ rc d+ i+ = d + 3 σ i, σ rc d+ i+ = d + 3 σ i,..., σ rc Example 4). Since d+ i = d+ = d + 3 σ, (see σ rc > σ rc > > σ rc d+ i > σ rc d+ i = < σ rc d+ i+ < σ rc d+ i+ < < σ rc d+ σ rc isapermutationofsize(d+)withddescentswheretheuniqueascentisinpositiond+ iandthefirstsequenceofdescentsendswith. Moreover,sinceσd+ i rc σrc d+ i σrc d+ i+ σrc d+ i+ forms an occurrence of either the pattern 43 or the pattern 34, (depending on σ), σ rc is a minimal permutation of size d+ with d descents, (see Theorem ). Therefore the permutations in M are the reverse-complement of those in M and the following theorem holds. Theorem. The minimal permutations with d descents and size d + having as the bottom element of the diamond are enumerated by the sequence (m ) d defined as follows: (m ) d = d+ (d+). (7) Since in a minimal permutation σ with d descents and size d + the entry is at the end of the first sequence of descents or it is the last element of σ, the proof of the following corollary is straightforward. Corollary. The minimal permutations with d descents and size d+ whose last entry is are enumerated by the sequence (f) d defined in Corollary 0. Corollary 3. The minimal permutations with d descents and size d+ whose unique ascent is (d+) are enumerated by the sequence (g) d defined as follows: (g) d = d. (8) Proof. By the definition of the bijection Φ, the unique minimal permutation with d descents andsized+oftypeainwhichthebottomelementofthediamondisisthethepermutation (d+)(d+)d 3. Similarly, if a permutation of type B has as the bottom element of the diamond then the associated non-interval subset has cardinality. Therefore, there is an unique minimal permutation with d descents and size d+ of type B whose first sequence of descents ends with, and it is the permutation Φ (s) where s = {,3} and w = {,4,...,d+}, that is the permutation d(d ) (d+)(d+). 0

The minimal permutations with d descents and size d + of type C in M are those in which the segment r of the second sequence of descent is empty. Recall that the first sequence of descent contains at least three elements. By the definition of Φ (s) for permutations of typec, r is empty if n p = 0, that is w =, as p = n+ w. Therefore, for each value of the cardinality n of s there is only one permutation of type C in which is the bottom element of the diamond. Since n ranges from 3 to d, the number of minimal permutations with d descents and size d+ of type C in M is d 3. To sum up, the total number M ABC of minimal permutations with d descents and size d+ of type A, B, and C with unique ascent (d+) is M ABC = ++(d 3) = d. (9) NowwehavejusttocountthepermutationsinS havingattheendofthefirstsequence of descents. The first sequence of descents in a permutations Φ (s) contains the elements of s in descending order. Therefore, it is sufficient to count the non-interval sets s containing the entry. Given the cardinality n, if s contains then the other n elements are a non-interval set of cardinality n. As we have seen before, the intervals of length n are d+ (n ), so the non-interval sets of cardinality n are ( d n ) (d+ )+(n ), or an interval of length n without the entry. As before, it is simple to see that the intervals of length n starting with 3 are d+ n. Thus, the non-interval sets s of cardinality n containing the entry are ( ) ( ) d d (d+)+(n )+d+ n =. (0) n n Hence, the permutations in S having at the end of the first sequence of descents are d ( ) d M S = [ ] n n= d ( ) d d = n n= n= ( ) ( ) d d = d (d ) 0 d = d d. () The number of minimal permutations with d descents and size d+ having the pair (d+) as unique ascent is M S +M ABC = d d +d = d.

The first terms of the sequence (8) are,6,4,30,6,6,54..., for d. They correspond to the sequence A00098 in the On-line Encyclopedia of Integer Sequence [6]. This sequence is the first differences of A005803, as noted in [6]. Then the minimal permutations with d descents and size d + whose unique ascent is (d + ) are a combinatorial interpretation of the first differences of A005803. Corollary 4. The minimal permutations with d descents and size d+ having the first or the second sequence of descents starting with d+ and ending with are enumerated by the sequence (h) d defined as follows: (h) d = d d. () Proof. The number of minimal permutations with d descents and size d + whose first sequence of descents is (d+) is given by the difference between the number of minimal permutations with d descents and size d+ having as the bottom element of the diamond (see Theorem ) and the number of those having the pair (d + ) as unique ascent (see Corollary 3), that is d+ (d+) ( d ) = d d. The number of minimal permutations with d descents and size d+ whose second sequence of descents is (d+) is obtained in a similar way from Theorem 9 and Corollary 3. Corollary 5. The minimal permutations with d descents and size d+ having d+ as the first entry and as the last one are enumerated by the sequence (k) d defined as follows: (k) d = d d(d ). (3) Proof. The number of minimal permutations with d descents and size d + having as the last entry is d+ d(d + ) (see Corollary ). If from this set we cancel those permutation having d + as the top element of the diamond (see Corollary 4) we obtain the set of minimal permutations with d descents and size d+ having d+ as the first entry and as the last one, whose cardinality is given by d+ d(d+) ( d d) = d d(d ). The first terms of the sequence (3) are 0,0,,0,3,84,98..., for d.

Shape of the permutation Number of Formula OEIS Reference permutations d+,8,,5, d+ (d+) A005803 Theorems 9, 4,40,494,... d+ 0,,0,3, d+ d(d+) Corollaries 0, 84,98,438,... d+,6,4,30, d A00098 Corollary 3 6,6,54,... d+ d+ 0,,8,, d d A005803 Corollary 4 5,4,40,... d+ 0,0,,0, d d(d ) Corollary 5 3,84,98,... Table : Number sequences for some subsets of minimal permutations with d descents and size d+, d. OEIS refers to entry in [6]. 3

References [] J.-L. Baril and R. Vernay, Whole mirror duplication-random loss model and pattern avoiding permutations, Inform. Process. Lett. 0 (00), 474 480. [] M. Bouvel and E. Pergola, Posets and permutations in the duplication-loss model: Minimal permutations with d descents, Theoret. Comput. Sci. 4 (00), 487 50. [3] M. Bouvel and D. Rossin, A variant of the tandem duplication-random loss model of genome rearrangement, Theoret. Comput. Sci., 40 (009), 847 858. [4] K. Chaudhuri, K. Chen, R. Mihaescu, and S. Rao, On the tandem duplication-random loss model of genome rearrangement, in Proc. 7th Ann. ACM-SIAM Symposium on Discrete Algorithms (SODA), ACM, 006, pp. 564 570. [5] T. Mansour and S. H. F. Yan, Minimal permutations with d descents, European J. Combin. 3 (00), 445 460. [6] N. J. A. Sloane, The On-Line Encyclopedia of Integer Sequences, http://oeis.org. 00 Mathematics Subject Classification: Primary 05A5; Secondary 05A05. Keywords: minimal permutation, enumeration. (Concerned with sequences A00098 and A005803.) Received April 9 05; revised version received August 5 05. Published in Journal of Integer Sequences, September 8 05. Return to Journal of Integer Sequences home page. 4