Quotients of the Malvenuto-Reutenauer algebra and permutation enumeration
|
|
- Adela Booker
- 5 years ago
- Views:
Transcription
1 Quotients of the Malvenuto-Reutenauer algebra and permutation enumeration Ira M. Gessel Department of Mathematics Brandeis University Sapienza Università di Roma July 10, 2013
2 Exponential generating functions and permutations The exponential generating function for a sequence u 0, u 1,... is n=0 u n x n n!.
3 Exponential generating functions and permutations The exponential generating function for a sequence u 0, u 1,... is n=0 u n x n n!. We multiply exponential generating functions by x m m! x n ( ) m + n x m+n n! = m (m + n)! and distributivity so where i=0 u i x i i! x j v j j! = j=0 w n = i+j=n n=0 ( ) n u i v j. i w n x n n!,
4 There is a well-known way of interpreting exponential generating functions as counting labeled objects. Here is an informal description. Suppose that for each i, u i is the number of objects that we are interested in with the label set [i] = {1, 2,..., i}. For example, we might want to count directed graphs in which every vertex is reachable from vertex 1, and then u 3 = 32. Then for any totally ordered set S of size i (e.g., a set of integers), we can construct a set of w i objects with label set S by taking each of the objects with label set [i], and replacing each j with the jth smallest element of S.
5 For example if S = {3, 6, 8} we might have
6 Suppose also that v j counts some kind of labeled object with label set [j]. Then the interpretation of the term ( i+j) i ui v j that appears in the coefficient of x i+j /(i + j)! in i=0 u i x i i! j=0 v j x j j! is that we take an object U counted by u i and an object V counted by v j. We take the set [i + j] and partition it into two sets A and B of sizes i and j, and we replace the labels in U with the elements of A, and replace the labels in V with the elements of B, preserving their order, obtaining an ordered pair (U, V ).
7 Suppose also that v j counts some kind of labeled object with label set [j]. Then the interpretation of the term ( i+j) i ui v j that appears in the coefficient of x i+j /(i + j)! in i=0 u i x i i! j=0 v j x j j! is that we take an object U counted by u i and an object V counted by v j. We take the set [i + j] and partition it into two sets A and B of sizes i and j, and we replace the labels in U with the elements of A, and replace the labels in V with the elements of B, preserving their order, obtaining an ordered pair (U, V ). We have a similar interpretation to multiplying more than two exponential generating functions.
8 An example: Eulerian polynomials Let s take u(x) = n=0 x n /n! = e x, so all coefficients are 1. The coefficient of x n /n! in e x is the number of increasing permutations of [n], which is just 1.
9 An example: Eulerian polynomials Let s take u(x) = n=0 x n /n! = e x, so all coefficients are 1. The coefficient of x n /n! in e x is the number of increasing permutations of [n], which is just 1. Therefore the coefficient of x n /n! in u(x) 2 = (e x ) 2 is the number of permutations of [n] split into two increasing permutations:
10 An example: Eulerian polynomials Let s take u(x) = n=0 x n /n! = e x, so all coefficients are 1. The coefficient of x n /n! in e x is the number of increasing permutations of [n], which is just 1. Therefore the coefficient of x n /n! in u(x) 2 = (e x ) 2 is the number of permutations of [n] split into two increasing permutations: Similarly (e x ) k counts permutations of [n] split into k increasing permutations: I call this a barred permutation.
11 Let us weight a barred permutation with k bars (and thus k parts) by t k. So the exponential generating function for all barred permutations is t k (e x ) k = k=0 1 1 te x.
12 Let us weight a barred permutation with k bars (and thus k parts) by t k. So the exponential generating function for all barred permutations is t k (e x ) k = k=0 1 1 te x. We want to count barred permutations in another way. We define the descent set of a permutation π = a 1 a 2 a n to be the set D(π) = { i : a i > a i+1 } and we define the descent number to be des(π) = D(π).
13 For any barred permutation we can get an underlying permutation by removing the bars: What are the barred permutations corresponding to ?
14 For any barred permutation we can get an underlying permutation by removing the bars: What are the barred permutations corresponding to ? Since the numbers in each part must increase, we need a bar between 4 and 2, and we need a bar at the end: After we ve inserted these required bars, we can put an arbitrary number of bars in each of the other 7 spaces (between the numbers and at the beginning and end). So the contribution from the permutation is t 2 (1 + t + t 2 + ) 7 = t 2 (1 t) 7.
15 In general, the contribution from a permutation π of length n is t des(π)+1 (1 t) n+1.
16 In general, the contribution from a permutation π of length n is So we have the identity 1 t des(π)+1 (1 t) n+1. 1 te x = 1 + n=1 A n (t) x n (1 t) n+1 n!, where the Eulerian polynomials A n (t) are defined by A n (t) = π S n t des(π)+1, and S n is the set of permutations of [n]. A 1 (t) = t, A 2 (t) = t + t 2, A 3 (t) = t + 4t 2 + t 3,...
17 We can get more information from this analysis by looking more closely at the operation on permutations that exponential generating functions reflect.
18 We can get more information from this analysis by looking more closely at the operation on permutations that exponential generating functions reflect. The standardization of a sequence of numbers is obtained by replacing the smallest entry by 1, the next smallest by 2, and so on. So st(436) = 213. (For now, we assume that the entries are distinct.)
19 We can get more information from this analysis by looking more closely at the operation on permutations that exponential generating functions reflect. The standardization of a sequence of numbers is obtained by replacing the smallest entry by 1, the next smallest by 2, and so on. So st(436) = 213. (For now, we assume that the entries are distinct.) Then permutations π = a 1 a m S m and σ = b 1 b n S n combine to give all permutations c 1 c m+n of [m + n] such that the st(c 1 c m ) = π and st(c m+1 c m+n ) = σ. We define the product π σ to be the sum of all these permutations (in the vector space spanned by permutations).
20 We can get more information from this analysis by looking more closely at the operation on permutations that exponential generating functions reflect. The standardization of a sequence of numbers is obtained by replacing the smallest entry by 1, the next smallest by 2, and so on. So st(436) = 213. (For now, we assume that the entries are distinct.) Then permutations π = a 1 a m S m and σ = b 1 b n S n combine to give all permutations c 1 c m+n of [m + n] such that the st(c 1 c m ) = π and st(c m+1 c m+n ) = σ. We define the product π σ to be the sum of all these permutations (in the vector space spanned by permutations). For example 12 1 =
21 We can get more information from this analysis by looking more closely at the operation on permutations that exponential generating functions reflect. The standardization of a sequence of numbers is obtained by replacing the smallest entry by 1, the next smallest by 2, and so on. So st(436) = 213. (For now, we assume that the entries are distinct.) Then permutations π = a 1 a m S m and σ = b 1 b n S n combine to give all permutations c 1 c m+n of [m + n] such that the st(c 1 c m ) = π and st(c m+1 c m+n ) = σ. We define the product π σ to be the sum of all these permutations (in the vector space spanned by permutations). For example 12 1 = (For simplicity, I ll also use π σ to denote the set of these permutations.)
22 Then the Malvenuto-Reutenauer algebra MR is to be defined to be the span of n S n with this multiplication.
23 Then the Malvenuto-Reutenauer algebra MR is to be defined to be the span of n S n with this multiplication. (Also called the algebra of free quasi-symmetric functions.)
24 Then the Malvenuto-Reutenauer algebra MR is to be defined to be the span of n S n with this multiplication. (Also called the algebra of free quasi-symmetric functions.) Then multiplication of exponential generating functions, when applied to permutations can be stated in the following way: For a permutation π, let Φ(π) = x π π!, where π is the length of π, and extend Φ by linearity.
25 Then the Malvenuto-Reutenauer algebra MR is to be defined to be the span of n S n with this multiplication. (Also called the algebra of free quasi-symmetric functions.) Then multiplication of exponential generating functions, when applied to permutations can be stated in the following way: For a permutation π, let Φ(π) = x π π!, where π is the length of π, and extend Φ by linearity. Then for any two permutations π and σ, Φ(π σ) = Φ(π)Φ(σ); i.e., Φ is a homomorphism from MR to the algebra of formal power series in x.
26 The computation that we did for the Eulerian polynomials works in exactly the same way in MR, and it gives the following formula: ( 1 t 1 12 n) = 1 + n=0 n=1 π S n t des(π)+1 π (1 t) n+1,
27 The computation that we did for the Eulerian polynomials works in exactly the same way in MR, and it gives the following formula: ( 1 t 1 12 n) = 1 + n=0 n=1 π S n t des(π)+1 π (1 t) n+1, Our formula for the exponential generating function for Eulerian polynomials is obtained by applying the homomorphism Φ to this formula.
28 The computation that we did for the Eulerian polynomials works in exactly the same way in MR, and it gives the following formula: ( 1 t 1 12 n) = 1 + n=0 n=1 π S n t des(π)+1 π (1 t) n+1, Our formula for the exponential generating function for Eulerian polynomials is obtained by applying the homomorphism Φ to this formula. But there are other homomorphisms that we can apply that give us more information.
29 Inversions of permutations An inversion of the permutation π = a 1 a n is a pair (i, j) with i < j such that a i > a j. Let inv(π) be the number of inversions of the permutation π.
30 Inversions of permutations An inversion of the permutation π = a 1 a n is a pair (i, j) with i < j such that a i > a j. Let inv(π) be the number of inversions of the permutation π. Inversions are compatible with the Malvenuto-Reutenauer algebra in the following way:
31 We define the q-factorial n! q to be 1 (1 + q) (1 + q + q 2 ) (1 + q + q n 1 ). There is also a variation (q) n = (1 q) n n! q = (1 q)(1 q 2 ) (1 q n ). We define the q-binomial coefficient [ ] m = n m! q n! q (m n)! q = [ ] m by n (q) m (q) n (q) m n.
32 We define the q-factorial n! q to be 1 (1 + q) (1 + q + q 2 ) (1 + q + q n 1 ). There is also a variation (q) n = (1 q) n n! q = (1 q)(1 q 2 ) (1 q n ). We define the q-binomial coefficient [ ] m = n m! q n! q (m n)! q = [ ] m by n (q) m (q) n (q) m n. Theorem. For any two permutations π and σ of lengths m and n we have [ ] m + n q inv(τ) = q inv(π)+inv(σ). m τ π σ
33 The Eulerian generating function for the sequence u 0, u 1,... is n=0 u n x n n! q.
34 The Eulerian generating function for the sequence u 0, u 1,... is n=0 u n x n n! q. Eulerian generating functions multiply just like exponential generating functions but with q-binomial coefficients instead of binomial coefficients, i.e., x m x n = m! q n! q [ ] m + n m x m+n (m + n)! q.
35 The Eulerian generating function for the sequence u 0, u 1,... is n=0 u n x n n! q. Eulerian generating functions multiply just like exponential generating functions but with q-binomial coefficients instead of binomial coefficients, i.e., x m x n = m! q n! q [ ] m + n m x m+n (m + n)! q. Then the Eulerian generating function for π σ, where π = m and σ = n, and inversions are weighted by q, is [ ] m + n q inv(π)+inv(σ) x m+n = q inv(π) x m q inv(σ) x n. m (m + n)! q m! q n! q
36 In other words the linear map from MR to the ring of Eulerian generating functions given by is a homomorphism. inv(π) x π π q π! q
37 In other words the linear map from MR to the ring of Eulerian generating functions given by is a homomorphism. inv(π) x π π q π! q So if we define the q-eulerian polynomials A n (t, q) by A n (t, q) = π S n t des(π)+1 q inv(π) then where 1 1 te q (x) = 1 + n=1 e q (x) = n=0 A n (t, q) x n (1 t) n+1, n! q x n n! q.
38 Are there any other permutation statistics with the same property?
39 Are there any other permutation statistics with the same property? A trivial example is the number of non-inversions.
40 Are there any other permutation statistics with the same property? A trivial example is the number of non-inversions. A more interesting example is the inverse major index (the major index of π 1 ).
41 Are there any other permutation statistics with the same property? A trivial example is the number of non-inversions. A more interesting example is the inverse major index (the major index of π 1 ). The descent set of a permutation π = a 1 a n is the set { i : a i > a i+1 }. The major index maj(π) is the sum of the descents.
42 Are there any other permutation statistics with the same property? A trivial example is the number of non-inversions. A more interesting example is the inverse major index (the major index of π 1 ). The descent set of a permutation π = a 1 a n is the set { i : a i > a i+1 }. The major index maj(π) is the sum of the descents. So the same q-eulerian polynomials A n (t, q) count permutations by descents and inverse major index.
43 Up-down permutations Another example of a simple exponential generating function formula for permutations is ( ( 1) n x 2n ) 1 = (2n)! n=0 n=0 E 2n x 2n (2n)!, where E 2n is the number of up-down permutations a 1 a 2n of [n] satifying a 1 < a 2 > a 3 < a 4 > < a 2n.
44 Up-down permutations Another example of a simple exponential generating function formula for permutations is ( ( 1) n x 2n ) 1 = (2n)! n=0 n=0 E 2n x 2n (2n)!, where E 2n is the number of up-down permutations a 1 a 2n of [n] satifying a 1 < a 2 > a 3 < a 4 > < a 2n. It s not hard to show that there is an analogue of this formula in the Malvenuto-Reutenauer algebra: ( 1 ( 1) n 12 (2n)) = n=0 π, n=0 π U 2n where U 2n is the set of up-down permutations of [2n].
45 So ( ( 1) n x 2n ) 1 = (2n)! q n=0 n=0 E 2n (q) x 2n (2n)!, where E 2n (q) counts up-down permutations of [2n] by inversions, or by inverse major index.
46 MR-compatible permutation statistics We might also look for statistics with a more general property. We will call a permutation statistic stat (i.e., any function defined on the set of permutations) MR-compatible if it has the following property:
47 MR-compatible permutation statistics We might also look for statistics with a more general property. We will call a permutation statistic stat (i.e., any function defined on the set of permutations) MR-compatible if it has the following property: For any two permutations π and σ, the multiset { stat(τ) : τ π σ } depends only on stat(π), stat(σ), π, and σ.
48 MR-compatible permutation statistics We might also look for statistics with a more general property. We will call a permutation statistic stat (i.e., any function defined on the set of permutations) MR-compatible if it has the following property: For any two permutations π and σ, the multiset { stat(τ) : τ π σ } depends only on stat(π), stat(σ), π, and σ. Any permutation statistic gives an equivalence relation on permutations by π σ if stat(π) = stat(σ) and π = σ Equivalently, we can define an equivalence relation on permutations to be compatible if it comes from a compatible permutation statistic.
49 MR-compatible permutation statistics We might also look for statistics with a more general property. We will call a permutation statistic stat (i.e., any function defined on the set of permutations) MR-compatible if it has the following property: For any two permutations π and σ, the multiset { stat(τ) : τ π σ } depends only on stat(π), stat(σ), π, and σ. Any permutation statistic gives an equivalence relation on permutations by π σ if stat(π) = stat(σ) and π = σ Equivalently, we can define an equivalence relation on permutations to be compatible if it comes from a compatible permutation statistic. (Different permutations statistics could give the same equivalence relation, but in practice the permutation statistics are easier to describe.)
50 There are a number of such known statistics related to trees, tableaux, and descents of permutations.
51 There are a number of such known statistics related to trees, tableaux, and descents of permutations. Interesting question: Can we describe or classify all MR-compatible equivalence relations?
52 There are a number of such known statistics related to trees, tableaux, and descents of permutations. Interesting question: Can we describe or classify all MR-compatible equivalence relations? Unfortunately I have nothing to say about this question. I will discuss only some MR-compatible statistics related to the descents of permutations.
53 To see why MR is related to descents of permutations, we ll look at another way of representing it.
54 To see why MR is related to descents of permutations, we ll look at another way of representing it. Let s extend the concept of standardization to words with repetitions: in comparing two occurrences of the same number, the one on the left is considered smaller. So st( ) = For any permutation π MR, let W (π) be the sum of all words whose standardization is π, in the algebra generated by the free monoid on {1, 2, 3... }.
55 To see why MR is related to descents of permutations, we ll look at another way of representing it. Let s extend the concept of standardization to words with repetitions: in comparing two occurrences of the same number, the one on the left is considered smaller. So st( ) = For any permutation π MR, let W (π) be the sum of all words whose standardization is π, in the algebra generated by the free monoid on {1, 2, 3... }. Theorem. W (π)w (σ) = τ π σ W (τ) Thus MR is isomorphic to the algebra generated by the W (π) (with π W (π)).
56 Now let s map letters to commuting variables: i x i. The image of MR is called the algebra of quasi-symmetric functions, denoted QSym.
57 Now let s map letters to commuting variables: i x i. The image of MR is called the algebra of quasi-symmetric functions, denoted QSym. Example: What are the words whose standardization is 312?
58 Now let s map letters to commuting variables: i x i. The image of MR is called the algebra of quasi-symmetric functions, denoted QSym. Example: What are the words whose standardization is 312? They are the words i 3 i 1 i 2 such that i 1 i 2 < i 3. So the image of W (312) is i 1 i 2 <i 3 x i1 x i2 x i3 For any permutation π, the strict inequalities occur when i + 1 is to the left of i, and these are the descents of π 1.
59 It s convenient to work with descents of permutations rather than descents of their inverses, so we will denote the commutative image of W (π) by F π 1. So F π depends only on the descent set of π (and the length of π).
60 It s convenient to work with descents of permutations rather than descents of their inverses, so we will denote the commutative image of W (π) by F π 1. So F π depends only on the descent set of π (and the length of π). For example, if π has length 8 and descent set {3, 5} then F π = x i1 x i2 x i8 where i 1 i 2 i 3 < i 4 i 5 < i 6 i 7 i 8 ; the strict inequalities come after the positions of the descents.
61 It s convenient to work with descents of permutations rather than descents of their inverses, so we will denote the commutative image of W (π) by F π 1. So F π depends only on the descent set of π (and the length of π). For example, if π has length 8 and descent set {3, 5} then where F π = x i1 x i2 x i8 i 1 i 2 i 3 < i 4 i 5 < i 6 i 7 i 8 ; the strict inequalities come after the positions of the descents. The distinct F π are linearly independent, so if we know the quasi-symmetric generating function for a set of permutations, we know how many permutations are in the set with each descent set.
62 In working with descent sets rather than inverse descent sets, it s convenient to look at the Malvenuto-Reutenauer algebra a little differently. We define another operation on permutations by π σ = τ 1 π 1 σ 1 τ The span of n S n with the operation is isomorphic to MR, since it is just a relabeling of the basis elements. The operation can be described most easily in terms of shuffles.
63 Shuffles Let us now redefine a permutation to be any sequence of distinct integers. Two permutations are disjoint if they have no elements in common.
64 Shuffles Let us now redefine a permutation to be any sequence of distinct integers. Two permutations are disjoint if they have no elements in common. If π and σ are disjoint permutations, let π σ be the set of all shuffles of π and σ. Example: π = σ =
65 Shuffles Let us now redefine a permutation to be any sequence of distinct integers. Two permutations are disjoint if they have no elements in common. If π and σ are disjoint permutations, let π σ be the set of all shuffles of π and σ. Example: π = σ =
66 Shuffles Let us now redefine a permutation to be any sequence of distinct integers. Two permutations are disjoint if they have no elements in common. If π and σ are disjoint permutations, let π σ be the set of all shuffles of π and σ. Example: π = σ =
67 To compute π σ, we first add π to each entry of σ, obtaining a permutation σ of { π + 1,, π + σ }. Then we sum the elements of π σ. For example, if π = 12 and σ = 1 then σ = 3 and π σ = 12 3 = {123, 132, 312}, so π σ =
68 We have seen that π σ depends only on the descent sets of π and σ. However a stronger property holds. Theorem. (Stanley). Let π and σ be disjoint permutations. Then the number of permutations in π σ with descent set A depends only on D(π), D(σ), and A.
69 We have seen that π σ depends only on the descent sets of π and σ. However a stronger property holds. Theorem. (Stanley). Let π and σ be disjoint permutations. Then the number of permutations in π σ with descent set A depends only on D(π), D(σ), and A. This result is a consequence of Richard Stanley s theory of P-partitions.
70 We have seen that π σ depends only on the descent sets of π and σ. However a stronger property holds. Theorem. (Stanley). Let π and σ be disjoint permutations. Then the number of permutations in π σ with descent set A depends only on D(π), D(σ), and A. This result is a consequence of Richard Stanley s theory of P-partitions. Note that we do not require that all the entries of σ be greater than the entries of π, only that π and σ be disjoint. (More generally π and σ could be words with repetitions, as long as they are disjoint.)
71 We have seen that π σ depends only on the descent sets of π and σ. However a stronger property holds. Theorem. (Stanley). Let π and σ be disjoint permutations. Then the number of permutations in π σ with descent set A depends only on D(π), D(σ), and A. This result is a consequence of Richard Stanley s theory of P-partitions. Note that we do not require that all the entries of σ be greater than the entries of π, only that π and σ be disjoint. (More generally π and σ could be words with repetitions, as long as they are disjoint.)
72 Shuffle-compatible permutation statistics With our new definition of permutations, let us call two permutations equivalent if they have the same standardization: A permutation statistic is a function defined on permutations that takes the same value on equivalent permutations. For example if f is a permutation statistic then f (132) = f (253) = f (174). A permutation statistic stat is shuffle-compatible if it has the property that the multiset { stat(τ) : τ π σ } depends only on stat(π) and stat(σ) (and the lengths of π and σ).
73 A permutation statistic is a descent statistic if it depends only on the descent set. Some important descent statistics: the descent set D(π) the descent number des(π) = #D(π) the major index maj(π) = i D(π) i the comajor index comaj(π) = i D(π) (n i), where π = n. the peak set P(π) = { i : π(i 1) < π(i) > π(i + 1) the peak number pk(π) = #P(π) the ordered pair (des, maj) the ordered pair (pk, des) An important permutation statistic that is not a descent statistic is the number of inversions.
74 All of the above descent statistics are shuffle-compatible. This was proved by Richard Stanley, using P-partitions for des, maj, and (des, maj), and by John Stembridge, using enriched P-partitions, for the peak set and the peak number.
75 Question: Can we describe all shuffle-compatible permutation statistics and their algebras?
76 Question: Can we describe all shuffle-compatible permutation statistics and their algebras? To make the problem a little easier, we consider only shuffle-compatible descent statistics. (I don t know of any other kind of shuffle compatible statistics.)
77 Algebras Note that for any shuffle-compatible permutation statistic stat we get an algebra A stat : First we define an equivalence relation stat on permutations by π stat σ if π and σ have the same length and stat(π) = stat(σ). We define A stat by taking as a basis all equivalence classes of permutations, with multiplication defined as follows: To multiply two equivalence classes, choose disjoint representatives π and σ of the equivalence classes [π] and [σ] and define their product to be [π][σ] = [τ]. τ π σ By the definition of a shuffle-compatible permutation statistic, this product is well-defined.
78 So A D is QSym and each of the other algebras is a quotient of QSym. We would like to describe them explicitly if possible. In each case we can describe this quotient in terms of evaluations of the variables (though it s not always straightforward, especially when peaks are involved).
79 Given a quotient algebra of QSym, in order for it to be associated with a shuffle-compatible equivalence relation, the distinct images of the F π must be linearly independent (over the rationals).
80 Given a quotient algebra of QSym, in order for it to be associated with a shuffle-compatible equivalence relation, the distinct images of the F π must be linearly independent (over the rationals). As a first example, we ll look at the comajor index. If we set x i = q i z for i 0 in F π, where π = n, we get q comaj(π) zn (q) n So we get the algebra of Eulerian generating functions directly as a quotient of QSym, and the quotient algebra A comaj is essentially the algebra of Eulerian generating functions. (We could have gotten maj instead of comaj by reversing left-to-right.)
81 To get the descent number we need to do something a little more complicated. If we evaluate F π at x 0 = x 1 = = x λ = z x λ+1 = x λ+2 = = 0 we get ( ) λ+n des(π) n z n. We think of this as a function of λ.
82 To get the descent number we need to do something a little more complicated. If we evaluate F π at x 0 = x 1 = = x λ = z x λ+1 = x λ+2 = = 0 we get ( ) λ+n des(π) n z n. We think of this as a function of λ. As polynomials in λ, the polynomials ( ) λ+n i n for i = 0,..., n 1 are linearly independent, and they form a basis for the polynomials of degree at most n that vanish at 1 (for n > 0). So the algebra A des is isomorphic to the algebra spanned by p(λ)z n, where p(λ) is a polynomial of degree at most n that vanishes at 1.
83 Another way to look at this algebra is to take the generating functions on λ of such polynomials: ( λ + n i λ=0 n ) t λ = t i (1 t) n+1 So instead of multiplying polynomials in λ, we can take Hadamard products of rational functions of t: a m t m b n t n = a n b n t n n n m
84 Similarly for the ordered pair (des, comaj) we take the homomorphism from QSym in which we evaluate quasi-symmetric functions at { q i z for 0 i λ x i 0 for i > λ Here the image of F π, where π = n, is [ ] λ + n des(π) q comaj(π) z n. n If we apply this homomorphism to our earlier example of Eulerian polynomials, we count permutations π according to the descent number of π and the descent number and comajor index of π 1,
85 The peak number algebra We can describe the peak number algebra in a similar, but somewhat more complicated way. Instead of the rational functions t k /(1 t) n+1, we have the rational functions P n,j (t) = 2 2j 1 tj (1 + t) n 2j+1 (1 t) n+1 = 1 (1 + t) n+1 2 (1 t) n+1 ( 4t (1 + t) 2 ) j, for 1 j (n + 1)/2, corresponding to permutation of length n with j 1 peaks.
86 Then coefficients in the expansion of P m,i (t) P n,j (t) as a linear combination of the P m+n,k (t) are the structure constants for the peak number algebra (John Stembridge).
87 Then coefficients in the expansion of P m,i (t) P n,j (t) as a linear combination of the P m+n,k (t) are the structure constants for the peak number algebra (John Stembridge). More precisely, suppose that π = m, σ = n, pk(π) = i, and pk(σ) = j. Then the number of permutations in π σ with k peaks is the coefficient c k in the expansion P m,i (t) P n,j (t) = k c k P m+n,k (t).
88 Peaks and descents It is possible to generalize both the descent number algebra and the peak number algebra:
89 Peaks and descents It is possible to generalize both the descent number algebra and the peak number algebra: The ordered pair (des, pk) is shuffle-compatible.
90 Peaks and descents It is possible to generalize both the descent number algebra and the peak number algebra: The ordered pair (des, pk) is shuffle-compatible. There exists a permutation of length n > 0 with j 1 peaks and k 1 descents if and only if 1 j (n + 1)/2 and j k n + 1 j. For such n, j, k let PD n,j,k (t, y) = tj (y + t) k j (1 + yt) n j k+1 (1 + y) 2j 1 (1 t) n+1 Then the structure constants for the (des, pk) algebra are the same as the structure constants for the rational functions PD n,j,k under the operation of Hadamard product in t.
91 Let s see how this result specializes to the known results for descents and peaks separately. PD n,j,k (t, y) = tj (y + t) k j (1 + yt) n j k+1 (1 + y) 2j 1 (1 t) n+1 If we set y = 0, we get PD n,j,k (t, 0) = and if we set y = 1, we get t k (1 t) n+1 PD n,j,k (t, 1) = tj (1 + t) n 2j+1 2 2j 1 (1 t) n+1 = P n,j (t).
92 The simplest example: PD 2,1,1 = PD 1,1,1 = t(1 + y) (1 t) 2 t(1 + y)(1 + yt) (1 t) 3, PD 2,1,2 = t(1 + y)(y + t) (1 t) 3
93 The simplest example: PD 2,1,1 = PD 1,1,1 = t(1 + y) (1 t) 2 t(1 + y)(1 + yt) (1 t) 3, PD 2,1,2 = PD 1,1,1 PD 1,1,1 = (1 + y) 2 ( λ=0 ( ) = (1 + y) 2 λ 2 t λ λ=0 t(1 + y)(y + t) (1 t) 3 ) ( ) λt λ λt λ (1 + y)(1 + t) = t(1 + y) (1 t) 3 = t(1 + y) = PD 2,1,1 + PD 2,1,2 λ=0 (1 + yt) + (y + t) (1 t) 3 = (1 + y) 2 t + t2 (1 t) 3
94 How could we prove this? We can also do this by evaluating quasi-symmetric functions, but we need to use a different representation for them, based on John Stembridge s enriched P-partitions ( superized quasi-symmetric functions ).
95 How could we prove this? We can also do this by evaluating quasi-symmetric functions, but we need to use a different representation for them, based on John Stembridge s enriched P-partitions ( superized quasi-symmetric functions ). My original derivation used noncommutative symmetric functions.
96 Signed permutations and type B quasi-symmetric functions A signed permutation is a permutation in which each entry has a plus or minus sign: This looks much better if we write ā for a: We define the descent set of a signed permutation in the same way as for an ordinary permutation (with the usual ordering 2 < 1 < 0 < 1 < 2 ) except that if the permutation starts with a negative number we also count 0 as a descent. (Thus we might think of the permutation as starting with a 0.) So the descent set of is {0, 3}.
97 We can represent descent sets for signed permutations of length n by generalized compositions of n in which we allow the first part to be 0, corresponding to an initial descent. So the descent composition of is (0, 3, 2).
98 We can represent descent sets for signed permutations of length n by generalized compositions of n in which we allow the first part to be 0, corresponding to an initial descent. So the descent composition of is (0, 3, 2). Just as with ordinary permutations, the descent set is shuffle compatible: the multiset { D(τ) : τ π σ } depends only on D(π) and D(σ) (and the lengths of π and σ), and the algebra of descent sets is isomorphic to the algebra of type B quasi-symmetric functions. These were studied by Chak-On Chow, but a closely related algebra, which keeps track of signs, was studied earlier by Stéphane Poirier (related to the Mantaci-Reutenauer algebra).
99 These are very much like ordinary quasi-symmetric functions, but the variable x 0 that behaves somewhat differently from the other variables. For example F (3,2,3) = x i1 x i2 x i8 where and 0 i 1 i 2 i 3 }{{} 3 < i 4 i }{{ 5 < i } 6 i 7 i }{{ 8 } 2 3 F (0,3,2,3) = x i1 x i2 x i8 where 0 < i 1 i 2 i 3 }{{} 3 < i 4 i 5 }{{} 2 < i 6 i 7 i 8 }{{} 3
100 Just as with ordinary permutations, we have for disjoint signed permutations π and σ F π F σ = F τ. τ π σ Similarly we get a quotient algebra corresponding to the number of descents in which the image of F π, where π = n, is the polynomial in λ ( ) λ + n des(π) z n n but here des(π) can range from 0 to n.
101 There is an interesting variation of the descent number of a signed permutation. Adin, Brenti, and Roichman defined the flag descent number fdes(π) by { 2 des(π), if π(1) > 0 fdes(π) = 2 des(π) 1, if π(1) < 0 In other words, a descent at the beginning of a signed permutation contributes 1 to the flag descent number, but a descent anywhere else contributes 2.
102 The flag descent number is shuffle-compatible, and in the corresponding quotient algebra the image of F π, where π = n, is the quasi-polynomial function of λ ( n + 1 2( λ fdes(π) ) Equivalently, the image of F π is n t fdes(π) (1 t)(1 t 2 ) n zn ) z n with the operation of Hadamard product in t.
103 We can transform the problem of counting signed permutations by descents into a problem of counting ordinary permutations.
104 We can transform the problem of counting signed permutations by descents into a problem of counting ordinary permutations. Suppose we want to count permutations of the set { 3, 2, 1} by descents. We think of these permutations as prefixed with a 0, so if we start with 3 or 2 we will have an initial descent. But we could just add 4 to everything to get the set {1, 2, 5} and think of the permutations as prefixed with a 4, so that if we start with a 1 or 2 we have an initial descent So in our algebra, we re shuffling permutations with a fixed 4 at the beginning that doesn t move.
105 Augmented quasi-symmetric functions We could also have a fixed last element for our permutations, so that we might have descents at the beginning and end. For example, if we consider only permutations that start with 4 and end with 1, we might shuffle the two permutations of length 1 (the fixed beginning and end don t move): and with descent set {0, 1} with descent set {1} to get with descent set {0, 2} and with descent set {1, 2}.
106 We can represent these descent sets (subsets of {0, 1,..., n}) by compositions in which both the first and last parts may be 0, corresponding to descents at the beginning and end. For our generalized quasi-symmetric functions, we need in addition to the variable x 0 a new variable x. So for the generalized compositions of 1 we have F (0,1,0) = F (0,1) = F (1,0) = F (1) = 0<i< 0<i 0 i< 0 i x i x i x i x i
107 We can represent these descent sets (subsets of {0, 1,..., n}) by compositions in which both the first and last parts may be 0, corresponding to descents at the beginning and end. For our generalized quasi-symmetric functions, we need in addition to the variable x 0 a new variable x. So for the generalized compositions of 1 we have F (0,1,0) = F (0,1) = F (1,0) = F (1) = 0<i< 0<i 0 i< 0 i x i x i x i x i But this isn t quite right.
108 We can represent these descent sets (subsets of {0, 1,..., n}) by compositions in which both the first and last parts may be 0, corresponding to descents at the beginning and end. For our generalized quasi-symmetric functions, we need in addition to the variable x 0 a new variable x. So for the generalized compositions of 1 we have F (0,1,0) = F (0,1) = F (1,0) = F (1) = 0<i< 0<i 0 i< 0 i x i x i x i x i But this isn t quite right. These aren t linearly independent.
109 They re spanned by x 0, x, and 0<i< x i, so F (0,1) + F (1,0) = F (0,1,0) + F (1).
110 They re spanned by x 0, x, and 0<i< x i, so What s wrong? F (0,1) + F (1,0) = F (0,1,0) + F (1).
111 They re spanned by x 0, x, and 0<i< x i, so F (0,1) + F (1,0) = F (0,1,0) + F (1). What s wrong? We should decompose 0 i as 0 < i < 0 = i < 0 < i = 0 = i = We need to add a new variable x 0= with x 0= x i = x 0= x 0 = x 0= x = 0. Then everything works: the descent set is shuffle-compatible and the corresponding algebra is described by these generalized quasi-symmetric functions.
112 There is one hitch: we can t shuffle a permutation having all possible descents with a permutation having no descents.
113 There is one hitch: we can t shuffle a permutation having all possible descents with a permutation having no descents. Combinatorially, they can t both exist, and algebraically, F (m) F (0,1,1...,1,0) has some negative coefficients when expanded into the F L. So in order to be combinatorially meaningful, we need to work in one of two subalgebras: one in which all of the F (m) are excluded and one in which all of the F (0,1,1...,1,0) are excluded.
114 As before the descent number is shuffle-compatible. The quotient algebra is obtained, just as for type B quasi-symmetric functions, by ( ) λ + n des(π) F π z n, n where π = n, but now des(π) can range from 0 to n + 1.
115 As before the descent number is shuffle-compatible. The quotient algebra is obtained, just as for type B quasi-symmetric functions, by ( ) λ + n des(π) F π z n, n where π = n, but now des(π) can range from 0 to n + 1. As polynomials, these are not linearly independent, but we re not allowed to use both ( ) ( λ+n n and λ 1 ) n at the same time.
116 As before the descent number is shuffle-compatible. The quotient algebra is obtained, just as for type B quasi-symmetric functions, by ( ) λ + n des(π) F π z n, n where π = n, but now des(π) can range from 0 to n + 1. As polynomials, these are not linearly independent, but we re not allowed to use both ( ) ( λ+n n and λ 1 ) n at the same time. When we look at the corresponding generating functions, ( λ+n n ( λ + n i n λ ) t λ = ) must start with λ = 0 and ( λ 1 n t i (1 t) n+1, ) must start with λ = 1.
117 Cyclic permutations and cyclic shuffles We consider cycles as equivalence classes of ordinary permutations, so (152) is the equivalence class of the permutations 152, 521 and 215.
118 Cyclic permutations and cyclic shuffles We consider cycles as equivalence classes of ordinary permutations, so (152) is the equivalence class of the permutations 152, 521 and 215. If α and β are cycles then we define the set of cyclic shuffles α β to be the set of equivalence classes of shuffles of the elements of α and of β.
119 Cyclic permutations and cyclic shuffles We consider cycles as equivalence classes of ordinary permutations, so (152) is the equivalence class of the permutations 152, 521 and 215. If α and β are cycles then we define the set of cyclic shuffles α β to be the set of equivalence classes of shuffles of the elements of α and of β. For examples, the shuffles of (12) and (34) are (1234), (1324), (1423),... How many shuffles of α and β are there?
120 Theorem. Let α and β be disjoint cycles of lengths m and n. Then the number of different shuffles of α and β is ( ) mn m + n (m + n 1)! = m + n m (m 1)! (n 1)! Proof. By shuffling the m representatives of α with the n representatives of β, we get mn ( ) m+n m as the total number of representatives of all the shuffles of α and β. We then divide by m + n to get the number of distinct cycles.
121 Note that (m + n 1)! (m 1)! (n 1)! is the coefficient of x m+n (m + n 1)! in x m x n (m 1)! (n 1)!. So the algebra of shuffles of cycles is the algebra of shifted exponential generating functions : n=1 a n x n (n 1)!
122 We can define a descent composition of a cycle α. Suppose that α 2. Then choose a representative a of α whose last entry is greater than its first entry. Then we define C(α) to be the equivalence class under rotation of C(a). For example, the descent composition of (25134) is (23).
123 We can define a descent composition of a cycle α. Suppose that α 2. Then choose a representative a of α whose last entry is greater than its first entry. Then we define C(α) to be the equivalence class under rotation of C(a). For example, the descent composition of (25134) is (23). For α = 1, we defined C(α) to be (1).
124 We can define a descent composition of a cycle α. Suppose that α 2. Then choose a representative a of α whose last entry is greater than its first entry. Then we define C(α) to be the equivalence class under rotation of C(a). For example, the descent composition of (25134) is (23). For α = 1, we defined C(α) to be (1). Theorem. The multiset { C(γ) : γ α β } depends only on C(α) and C(β).
125 We can define a descent composition of a cycle α. Suppose that α 2. Then choose a representative a of α whose last entry is greater than its first entry. Then we define C(α) to be the equivalence class under rotation of C(a). For example, the descent composition of (25134) is (23). For α = 1, we defined C(α) to be (1). Theorem. The multiset { C(γ) : γ α β } depends only on C(α) and C(β). So there is an algebra of cyclic quasi-symmetric functions though it s not so easy to describe explicitly.
126 However, there s a simple description of the quotient algebra for the number of descents (the number of parts in the descent composition). The image of Fα, where α = n and α has i cyclic descents, is the polynomial in λ ( ) n + λ i 1 z n, n 1 where we multiply polynomials in λ by p(λ) q(λ) = λp(λ)q(λ).
127 However, there s a simple description of the quotient algebra for the number of descents (the number of parts in the descent composition). The image of Fα, where α = n and α has i cyclic descents, is the polynomial in λ ( ) n + λ i 1 z n, n 1 where we multiply polynomials in λ by p(λ) q(λ) = λp(λ)q(λ). In other words, if α and β are cycles of lengths m and n with i and j cyclic descents, then the number of elements of α β with l cyclic descents is the coefficient of t l in A(t), where ( )( m + λ i 1 n + λ j 1 λ m 1 n 1 λ=0 ) t λ = A(t) (1 t) m+n.
Counting Permutations by Putting Balls into Boxes
Counting Permutations by Putting Balls into Boxes Ira M. Gessel Brandeis University C&O@40 Conference June 19, 2007 I will tell you shamelessly what my bottom line is: It is placing balls into boxes. Gian-Carlo
More informationCounting Permutations with Even Valleys and Odd Peaks
Counting Permutations with Even Valleys and Odd Peaks Ira M. Gessel Department of Mathematics Brandeis University IMA Workshop Geometric and Enumerative Combinatorics University of Minnesota, Twin Cities
More informationMA 524 Midterm Solutions October 16, 2018
MA 524 Midterm Solutions October 16, 2018 1. (a) Let a n be the number of ordered tuples (a, b, c, d) of integers satisfying 0 a < b c < d n. Find a closed formula for a n, as well as its ordinary generating
More informationThe Sign of a Permutation Matt Baker
The Sign of a Permutation Matt Baker Let σ be a permutation of {1, 2,, n}, ie, a one-to-one and onto function from {1, 2,, n} to itself We will define what it means for σ to be even or odd, and then discuss
More information17. Symmetries. Thus, the example above corresponds to the matrix: We shall now look at how permutations relate to trees.
7 Symmetries 7 Permutations A permutation of a set is a reordering of its elements Another way to look at it is as a function Φ that takes as its argument a set of natural numbers of the form {, 2,, n}
More informationChapter 1. The alternating groups. 1.1 Introduction. 1.2 Permutations
Chapter 1 The alternating groups 1.1 Introduction The most familiar of the finite (non-abelian) simple groups are the alternating groups A n, which are subgroups of index 2 in the symmetric groups S n.
More informationFast Sorting and Pattern-Avoiding Permutations
Fast Sorting and Pattern-Avoiding Permutations David Arthur Stanford University darthur@cs.stanford.edu Abstract We say a permutation π avoids a pattern σ if no length σ subsequence of π is ordered in
More informationPermutation group and determinants. (Dated: September 19, 2018)
Permutation group and determinants (Dated: September 19, 2018) 1 I. SYMMETRIES OF MANY-PARTICLE FUNCTIONS Since electrons are fermions, the electronic wave functions have to be antisymmetric. This chapter
More informationChapter 6.1. Cycles in Permutations
Chapter 6.1. Cycles in Permutations Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 6.1. Cycles in Permutations Math 184A / Fall 2017 1 / 27 Notations for permutations Consider a permutation in 1-line
More informationCIS 2033 Lecture 6, Spring 2017
CIS 2033 Lecture 6, Spring 2017 Instructor: David Dobor February 2, 2017 In this lecture, we introduce the basic principle of counting, use it to count subsets, permutations, combinations, and partitions,
More informationPermutations of a Multiset Avoiding Permutations of Length 3
Europ. J. Combinatorics (2001 22, 1021 1031 doi:10.1006/eujc.2001.0538 Available online at http://www.idealibrary.com on Permutations of a Multiset Avoiding Permutations of Length 3 M. H. ALBERT, R. E.
More informationEnumeration 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
More informationON SOME PROPERTIES OF PERMUTATION TABLEAUX
ON SOME PROPERTIES OF PERMUTATION TABLEAUX ALEXANDER BURSTEIN Abstract. We consider the relation between various permutation statistics and properties of permutation tableaux. We answer some of the questions
More informationPin-Permutations and Structure in Permutation Classes
and Structure in Permutation Classes Frédérique Bassino Dominique Rossin Journées de Combinatoire de Bordeaux, feb. 2009 liafa Main result of the talk Conjecture[Brignall, Ruškuc, Vatter]: The pin-permutation
More informationLECTURE 8: DETERMINANTS AND PERMUTATIONS
LECTURE 8: DETERMINANTS AND PERMUTATIONS MA1111: LINEAR ALGEBRA I, MICHAELMAS 2016 1 Determinants In the last lecture, we saw some applications of invertible matrices We would now like to describe how
More informationPRIMES 2017 final paper. NEW RESULTS ON PATTERN-REPLACEMENT EQUIVALENCES: GENERALIZING A CLASSICAL THEOREM AND REVISING A RECENT CONJECTURE Michael Ma
PRIMES 2017 final paper NEW RESULTS ON PATTERN-REPLACEMENT EQUIVALENCES: GENERALIZING A CLASSICAL THEOREM AND REVISING A RECENT CONJECTURE Michael Ma ABSTRACT. In this paper we study pattern-replacement
More informationPermutation Groups. Every permutation can be written as a product of disjoint cycles. This factorization is unique up to the order of the factors.
Permutation Groups 5-9-2013 A permutation of a set X is a bijective function σ : X X The set of permutations S X of a set X forms a group under function composition The group of permutations of {1,2,,n}
More informationarxiv: v1 [math.co] 8 Oct 2012
Flashcard games Joel Brewster Lewis and Nan Li November 9, 2018 arxiv:1210.2419v1 [math.co] 8 Oct 2012 Abstract We study a certain family of discrete dynamical processes introduced by Novikoff, Kleinberg
More informationA Coloring Problem. Ira M. Gessel 1 Department of Mathematics Brandeis University Waltham, MA Revised May 4, 1989
A Coloring Problem Ira M. Gessel Department of Mathematics Brandeis University Waltham, MA 02254 Revised May 4, 989 Introduction. Awell-known algorithm for coloring the vertices of a graph is the greedy
More informationGenerating trees and pattern avoidance in alternating permutations
Generating trees and pattern avoidance in alternating permutations Joel Brewster Lewis Massachusetts Institute of Technology jblewis@math.mit.edu Submitted: Aug 6, 2011; Accepted: Jan 10, 2012; Published:
More informationEQUIPOPULARITY CLASSES IN THE SEPARABLE PERMUTATIONS
EQUIPOPULARITY CLASSES IN THE SEPARABLE PERMUTATIONS Michael Albert, Cheyne Homberger, and Jay Pantone Abstract When two patterns occur equally often in a set of permutations, we say that these patterns
More informationLecture 2.3: Symmetric and alternating groups
Lecture 2.3: Symmetric and alternating groups Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson)
More informationDyck paths, standard Young tableaux, and pattern avoiding permutations
PU. M. A. Vol. 21 (2010), No.2, pp. 265 284 Dyck paths, standard Young tableaux, and pattern avoiding permutations Hilmar Haukur Gudmundsson The Mathematics Institute Reykjavik University Iceland e-mail:
More informationEXPLAINING THE SHAPE OF RSK
EXPLAINING THE SHAPE OF RSK SIMON RUBINSTEIN-SALZEDO 1. Introduction There is an algorithm, due to Robinson, Schensted, and Knuth (henceforth RSK), that gives a bijection between permutations σ S n and
More informationA STUDY OF EULERIAN NUMBERS FOR PERMUTATIONS IN THE ALTERNATING GROUP
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 6 (2006), #A31 A STUDY OF EULERIAN NUMBERS FOR PERMUTATIONS IN THE ALTERNATING GROUP Shinji Tanimoto Department of Mathematics, Kochi Joshi University
More informationConnected Permutations, Hypermaps and Weighted Dyck Words. Robert Cori Mini course, Maps Hypermaps february 2008
1 Connected Permutations, Hypermaps and Weighted Dyck Words 2 Why? Graph embeddings Nice bijection by Patrice Ossona de Mendez and Pierre Rosenstiehl. Deduce enumerative results. Extensions? 3 Cycles (or
More informationLecture 18 - Counting
Lecture 18 - Counting 6.0 - April, 003 One of the most common mathematical problems in computer science is counting the number of elements in a set. This is often the core difficulty in determining a program
More informationFinite homomorphism-homogeneous permutations via edge colourings of chains
Finite homomorphism-homogeneous permutations via edge colourings of chains Igor Dolinka dockie@dmi.uns.ac.rs Department of Mathematics and Informatics, University of Novi Sad First of all there is Blue.
More informationNON-OVERLAPPING PERMUTATION PATTERNS. To Doron Zeilberger, for his Sixtieth Birthday
NON-OVERLAPPING PERMUTATION PATTERNS MIKLÓS BÓNA Abstract. We show a way to compute, to a high level of precision, the probability that a randomly selected permutation of length n is nonoverlapping. As
More informationSimple permutations and pattern restricted permutations
Simple permutations and pattern restricted permutations M.H. Albert and M.D. Atkinson Department of Computer Science University of Otago, Dunedin, New Zealand. Abstract A simple permutation is one that
More informationKnow how to represent permutations in the two rowed notation, and how to multiply permutations using this notation.
The third exam will be on Monday, November 21, 2011. It will cover Sections 5.1-5.5. Of course, the material is cumulative, and the listed sections depend on earlier sections, which it is assumed that
More informationEquivalence classes of length-changing replacements of size-3 patterns
Equivalence classes of length-changing replacements of size-3 patterns Vahid Fazel-Rezai Mentor: Tanya Khovanova 2013 MIT-PRIMES Conference May 18, 2013 Vahid Fazel-Rezai Length-Changing Pattern Replacements
More informationHarmonic numbers, Catalan s triangle and mesh patterns
Harmonic numbers, Catalan s triangle and mesh patterns arxiv:1209.6423v1 [math.co] 28 Sep 2012 Sergey Kitaev Department of Computer and Information Sciences University of Strathclyde Glasgow G1 1XH, United
More informationSymmetric Permutations Avoiding Two Patterns
Symmetric Permutations Avoiding Two Patterns David Lonoff and Jonah Ostroff Carleton College Northfield, MN 55057 USA November 30, 2008 Abstract Symmetric pattern-avoiding permutations are restricted permutations
More informationTHE SIGN OF A PERMUTATION
THE SIGN OF A PERMUTATION KEITH CONRAD 1. Introduction Throughout this discussion, n 2. Any cycle in S n is a product of transpositions: the identity (1) is (12)(12), and a k-cycle with k 2 can be written
More informationRESTRICTED PERMUTATIONS AND POLYGONS. Ghassan Firro and Toufik Mansour Department of Mathematics, University of Haifa, Haifa, Israel
RESTRICTED PERMUTATIONS AND POLYGONS Ghassan Firro and Toufik Mansour Department of Mathematics, University of Haifa, 905 Haifa, Israel {gferro,toufik}@mathhaifaacil abstract Several authors have examined
More informationAvoiding consecutive patterns in permutations
Avoiding consecutive patterns in permutations R. E. L. Aldred M. D. Atkinson D. J. McCaughan January 3, 2009 Abstract The number of permutations that do not contain, as a factor (subword), a given set
More informationAlternating Permutations
Alternating Permutations p. Alternating Permutations Richard P. Stanley M.I.T. Alternating Permutations p. Basic definitions A sequence a 1, a 2,..., a k of distinct integers is alternating if a 1 > a
More informationMATH 433 Applied Algebra Lecture 12: Sign of a permutation (continued). Abstract groups.
MATH 433 Applied Algebra Lecture 12: Sign of a permutation (continued). Abstract groups. Permutations Let X be a finite set. A permutation of X is a bijection from X to itself. The set of all permutations
More informationWeek 3-4: Permutations and Combinations
Week 3-4: Permutations and Combinations February 20, 2017 1 Two Counting Principles Addition Principle. Let S 1, S 2,..., S m be disjoint subsets of a finite set S. If S = S 1 S 2 S m, then S = S 1 + S
More informationCrossings and patterns in signed permutations
Crossings and patterns in signed permutations Sylvie Corteel, Matthieu Josuat-Vergès, Jang-Soo Kim Université Paris-sud 11, Université Paris 7 Permutation Patterns 1/28 Introduction A crossing of a permutation
More informationInversions on Permutations Avoiding Consecutive Patterns
Inversions on Permutations Avoiding Consecutive Patterns Naiomi Cameron* 1 Kendra Killpatrick 2 12th International Permutation Patterns Conference 1 Lewis & Clark College 2 Pepperdine University July 11,
More informationPermutation Patterns and RNA Secondary Structure Prediction
Permutation Patterns and RNA Secondary Structure Prediction Jennifer R. Galovich St. John s University/College of St. Benedict Permutation Patterns 2017 27 June, 2017 Acknowledgments Robert S. Willenbring
More informationQuarter Turn Baxter Permutations
Quarter Turn Baxter Permutations Kevin Dilks May 29, 2017 Abstract Baxter permutations are known to be in bijection with a wide number of combinatorial objects. Previously, it was shown that each of these
More informationOn uniquely k-determined permutations
On uniquely k-determined permutations Sergey Avgustinovich and Sergey Kitaev 16th March 2007 Abstract Motivated by a new point of view to study occurrences of consecutive patterns in permutations, we introduce
More informationPermutation Groups. Definition and Notation
5 Permutation Groups Wigner s discovery about the electron permutation group was just the beginning. He and others found many similar applications and nowadays group theoretical methods especially those
More informationGenerating indecomposable permutations
Discrete Mathematics 306 (2006) 508 518 www.elsevier.com/locate/disc Generating indecomposable permutations Andrew King Department of Computer Science, McGill University, Montreal, Que., Canada Received
More informationThe Problem. Tom Davis December 19, 2016
The 1 2 3 4 Problem Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles December 19, 2016 Abstract The first paragraph in the main part of this article poses a problem that can be approached
More informationRemember that represents the set of all permutations of {1, 2,... n}
20180918 Remember that represents the set of all permutations of {1, 2,... n} There are some basic facts about that we need to have in hand: 1. Closure: If and then 2. Associativity: If and and then 3.
More informationTHE ERDŐS-KO-RADO THEOREM FOR INTERSECTING FAMILIES OF PERMUTATIONS
THE ERDŐS-KO-RADO THEOREM FOR INTERSECTING FAMILIES OF PERMUTATIONS A Thesis Submitted to the Faculty of Graduate Studies and Research In Partial Fulfillment of the Requirements for the Degree of Master
More information7.4 Permutations and Combinations
7.4 Permutations and Combinations The multiplication principle discussed in the preceding section can be used to develop two additional counting devices that are extremely useful in more complicated counting
More informationDomino Tilings of Aztec Diamonds, Baxter Permutations, and Snow Leopard Permutations
Domino Tilings of Aztec Diamonds, Baxter Permutations, and Snow Leopard Permutations Benjamin Caffrey 212 N. Blount St. Madison, WI 53703 bjc.caffrey@gmail.com Eric S. Egge Department of Mathematics and
More informationAsymptotic behaviour of permutations avoiding generalized patterns
Asymptotic behaviour of permutations avoiding generalized patterns Ashok Rajaraman 311176 arajaram@sfu.ca February 19, 1 Abstract Visualizing permutations as labelled trees allows us to to specify restricted
More information5 Symmetric and alternating groups
MTHM024/MTH714U Group Theory Notes 5 Autumn 2011 5 Symmetric and alternating groups In this section we examine the alternating groups A n (which are simple for n 5), prove that A 5 is the unique simple
More informationLaunchpad Maths. Arithmetic II
Launchpad Maths. Arithmetic II LAW OF DISTRIBUTION The Law of Distribution exploits the symmetries 1 of addition and multiplication to tell of how those operations behave when working together. Consider
More informationSolutions to Exercises Chapter 6: Latin squares and SDRs
Solutions to Exercises Chapter 6: Latin squares and SDRs 1 Show that the number of n n Latin squares is 1, 2, 12, 576 for n = 1, 2, 3, 4 respectively. (b) Prove that, up to permutations of the rows, columns,
More informationCombinatorics in the group of parity alternating permutations
Combinatorics in the group of parity alternating permutations Shinji Tanimoto (tanimoto@cc.kochi-wu.ac.jp) arxiv:081.1839v1 [math.co] 10 Dec 008 Department of Mathematics, Kochi Joshi University, Kochi
More informationPermutations with short monotone subsequences
Permutations with short monotone subsequences Dan Romik Abstract We consider permutations of 1, 2,..., n 2 whose longest monotone subsequence is of length n and are therefore extremal for the Erdős-Szekeres
More informationA Combinatorial Proof of the Log-Concavity of the Numbers of Permutations with k Runs
Journal of Combinatorial Theory, Series A 90, 293303 (2000) doi:10.1006jcta.1999.3040, available online at http:www.idealibrary.com on A Combinatorial Proof of the Log-Concavity of the Numbers of Permutations
More informationPATTERN AVOIDANCE IN PERMUTATIONS ON THE BOOLEAN LATTICE
PATTERN AVOIDANCE IN PERMUTATIONS ON THE BOOLEAN LATTICE SAM HOPKINS AND MORGAN WEILER Abstract. We extend the concept of pattern avoidance in permutations on a totally ordered set to pattern avoidance
More informationCycle-up-down permutations
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 5 (211, Pages 187 199 Cycle-up-down permutations Emeric Deutsch Polytechnic Institute of New York University Brooklyn, NY 1121 U.S.A. Sergi Elizalde Department
More informationUniversal Cycles for Permutations Theory and Applications
Universal Cycles for Permutations Theory and Applications Alexander Holroyd Microsoft Research Brett Stevens Carleton University Aaron Williams Carleton University Frank Ruskey University of Victoria Combinatorial
More informationON SOME PROPERTIES OF PERMUTATION TABLEAUX
ON SOME PROPERTIES OF PERMUTATION TABLEAUX ALEXANDER BURSTEIN Abstract. We consider the relation between various permutation statistics and properties of permutation tableaux. We answer some of the open
More informationTopics to be covered
Basic Counting 1 Topics to be covered Sum rule, product rule, generalized product rule Permutations, combinations Binomial coefficients, combinatorial proof Inclusion-exclusion principle Pigeon Hole Principle
More information132-avoiding Two-stack Sortable Permutations, Fibonacci Numbers, and Pell Numbers
132-avoiding Two-stack Sortable Permutations, Fibonacci Numbers, and Pell Numbers arxiv:math/0205206v1 [math.co] 19 May 2002 Eric S. Egge Department of Mathematics Gettysburg College Gettysburg, PA 17325
More informationA combinatorial proof for the enumeration of alternating permutations with given peak set
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 57 (2013), Pages 293 300 A combinatorial proof for the enumeration of alternating permutations with given peak set Alina F.Y. Zhao School of Mathematical Sciences
More informationLecture 3 Presentations and more Great Groups
Lecture Presentations and more Great Groups From last time: A subset of elements S G with the property that every element of G can be written as a finite product of elements of S and their inverses is
More informationm-partition Boards and Poly-Stirling Numbers
47 6 Journal of Integer Sequences, Vol. (00), Article 0.. m-partition Boards and Poly-Stirling Numbers Brian K. Miceli Department of Mathematics Trinity University One Trinity Place San Antonio, T 78-700
More informationTwo-person symmetric whist
Two-person symmetric whist Johan Wästlund Linköping studies in Mathematics, No. 4, February 21, 2005 Series editor: Bengt Ove Turesson The publishers will keep this document on-line on the Internet (or
More informationA NEW COMPUTATION OF THE CODIMENSION SEQUENCE OF THE GRASSMANN ALGEBRA
A NEW COMPUTATION OF THE CODIMENSION SEQUENCE OF THE GRASSMANN ALGEBRA JOEL LOUWSMA, ADILSON EDUARDO PRESOTO, AND ALAN TARR Abstract. Krakowski and Regev found a basis of polynomial identities satisfied
More informationNon-overlapping permutation patterns
PU. M. A. Vol. 22 (2011), No.2, pp. 99 105 Non-overlapping permutation patterns Miklós Bóna Department of Mathematics University of Florida 358 Little Hall, PO Box 118105 Gainesville, FL 326118105 (USA)
More informationMAT 115: Finite Math for Computer Science Problem Set 5
MAT 115: Finite Math for Computer Science Problem Set 5 Out: 04/10/2017 Due: 04/17/2017 Instructions: I leave plenty of space on each page for your computation. If you need more sheet, please attach your
More informationIntroduction to Combinatorial Mathematics
Introduction to Combinatorial Mathematics George Voutsadakis 1 1 Mathematics and Computer Science Lake Superior State University LSSU Math 300 George Voutsadakis (LSSU) Combinatorics April 2016 1 / 97
More informationYou ve seen them played in coffee shops, on planes, and
Every Sudoku variation you can think of comes with its own set of interesting open questions There is math to be had here. So get working! Taking Sudoku Seriously Laura Taalman James Madison University
More informationEquivalence Classes of Permutations Modulo Replacements Between 123 and Two-Integer Patterns
Equivalence Classes of Permutations Modulo Replacements Between 123 and Two-Integer Patterns Vahid Fazel-Rezai Phillips Exeter Academy Exeter, New Hampshire, U.S.A. vahid fazel@yahoo.com Submitted: Sep
More informationPattern Avoidance in Poset Permutations
Pattern Avoidance in Poset Permutations Sam Hopkins and Morgan Weiler Massachusetts Institute of Technology and University of California, Berkeley Permutation Patterns, Paris; July 5th, 2013 1 Definitions
More informationReading 14 : Counting
CS/Math 240: Introduction to Discrete Mathematics Fall 2015 Instructors: Beck Hasti, Gautam Prakriya Reading 14 : Counting In this reading we discuss counting. Often, we are interested in the cardinality
More informationGreedy Flipping of Pancakes and Burnt Pancakes
Greedy Flipping of Pancakes and Burnt Pancakes Joe Sawada a, Aaron Williams b a School of Computer Science, University of Guelph, Canada. Research supported by NSERC. b Department of Mathematics and Statistics,
More informationPermutations. = f 1 f = I A
Permutations. 1. Definition (Permutation). A permutation of a set A is a bijective function f : A A. The set of all permutations of A is denoted by Perm(A). 2. If A has cardinality n, then Perm(A) has
More informationFunctions of several variables
Chapter 6 Functions of several variables 6.1 Limits and continuity Definition 6.1 (Euclidean distance). Given two points P (x 1, y 1 ) and Q(x, y ) on the plane, we define their distance by the formula
More informationCombinatorics and Intuitive Probability
Chapter Combinatorics and Intuitive Probability The simplest probabilistic scenario is perhaps one where the set of possible outcomes is finite and these outcomes are all equally likely. A subset of the
More informationEdge-disjoint tree representation of three tree degree sequences
Edge-disjoint tree representation of three tree degree sequences Ian Min Gyu Seong Carleton College seongi@carleton.edu October 2, 208 Ian Min Gyu Seong (Carleton College) Trees October 2, 208 / 65 Trees
More information#A2 INTEGERS 18 (2018) ON PATTERN AVOIDING INDECOMPOSABLE PERMUTATIONS
#A INTEGERS 8 (08) ON PATTERN AVOIDING INDECOMPOSABLE PERMUTATIONS Alice L.L. Gao Department of Applied Mathematics, Northwestern Polytechnical University, Xi an, Shaani, P.R. China llgao@nwpu.edu.cn Sergey
More informationModular Arithmetic. Kieran Cooney - February 18, 2016
Modular Arithmetic Kieran Cooney - kieran.cooney@hotmail.com February 18, 2016 Sums and products in modular arithmetic Almost all of elementary number theory follows from one very basic theorem: Theorem.
More informationMa/CS 6a Class 16: Permutations
Ma/CS 6a Class 6: Permutations By Adam Sheffer The 5 Puzzle Problem. Start with the configuration on the left and move the tiles to obtain the configuration on the right. The 5 Puzzle (cont.) The game
More informationExploiting the disjoint cycle decomposition in genome rearrangements
Exploiting the disjoint cycle decomposition in genome rearrangements Jean-Paul Doignon Anthony Labarre 1 doignon@ulb.ac.be alabarre@ulb.ac.be Université Libre de Bruxelles June 7th, 2007 Ordinal and Symbolic
More informationThe Place of Group Theory in Decision-Making in Organizational Management A case of 16- Puzzle
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728,p-ISSN: 2319-765X, Volume 7, Issue 6 (Sep. - Oct. 2013), PP 17-22 The Place of Group Theory in Decision-Making in Organizational Management A case
More informationCARD GAMES AND CRYSTALS
CARD GAMES AND CRYSTALS This is the extended version of a talk I gave at KIDDIE (graduate student colloquium) in April 2011. I wish I could give this version, but there wasn t enough time, so I left out
More informationInteger Compositions Applied to the Probability Analysis of Blackjack and the Infinite Deck Assumption
arxiv:14038081v1 [mathco] 18 Mar 2014 Integer Compositions Applied to the Probability Analysis of Blackjack and the Infinite Deck Assumption Jonathan Marino and David G Taylor Abstract Composition theory
More informationOn Hultman Numbers. 1 Introduction
47 6 Journal of Integer Sequences, Vol 0 (007, Article 076 On Hultman Numbers Jean-Paul Doignon and Anthony Labarre Université Libre de Bruxelles Département de Mathématique, cp 6 Bd du Triomphe B-050
More informationDiscrete Mathematics with Applications MATH236
Discrete Mathematics with Applications MATH236 Dr. Hung P. Tong-Viet School of Mathematics, Statistics and Computer Science University of KwaZulu-Natal Pietermaritzburg Campus Semester 1, 2013 Tong-Viet
More informationCitation for published version (APA): Nutma, T. A. (2010). Kac-Moody Symmetries and Gauged Supergravity Groningen: s.n.
University of Groningen Kac-Moody Symmetries and Gauged Supergravity Nutma, Teake IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
More informationX = {1, 2,...,n} n 1f 2f 3f... nf
Section 11 Permutations Definition 11.1 Let X be a non-empty set. A bijective function f : X X will be called a permutation of X. Consider the case when X is the finite set with n elements: X {1, 2,...,n}.
More informationPostprint.
http://www.diva-portal.org Postprint This is the accepted version of a paper presented at 2th International Conference on Formal Power Series and Algebraic Combinatorics, FPSAC', Valparaiso, Chile, 23-2
More informationPermutation Generation Method on Evaluating Determinant of Matrices
Article International Journal of Modern Mathematical Sciences, 2013, 7(1): 12-25 International Journal of Modern Mathematical Sciences Journal homepage:www.modernscientificpress.com/journals/ijmms.aspx
More informationSee-Saw Swap Solitaire and Other Games on Permutations
See-Saw Swap Solitaire and Other Games on Permutations Tom ( sven ) Roby (UConn) Joint research with Steve Linton, James Propp, & Julian West Canada/USA Mathcamp Lewis & Clark College Portland, OR USA
More informationComputational aspects of two-player zero-sum games Course notes for Computational Game Theory Section 3 Fall 2010
Computational aspects of two-player zero-sum games Course notes for Computational Game Theory Section 3 Fall 21 Peter Bro Miltersen November 1, 21 Version 1.3 3 Extensive form games (Game Trees, Kuhn Trees)
More informationPermutation Tableaux and the Dashed Permutation Pattern 32 1
Permutation Tableaux and the Dashed Permutation Pattern William Y.C. Chen, Lewis H. Liu, Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 7, P.R. China chen@nankai.edu.cn, lewis@cfc.nankai.edu.cn
More informationarxiv: v1 [math.co] 16 Aug 2018
Two first-order logics of permutations arxiv:1808.05459v1 [math.co] 16 Aug 2018 Michael Albert, Mathilde Bouvel, Valentin Féray August 17, 2018 Abstract We consider two orthogonal points of view on finite
More informationWeighted Polya Theorem. Solitaire
Weighted Polya Theorem. Solitaire Sasha Patotski Cornell University ap744@cornell.edu December 15, 2015 Sasha Patotski (Cornell University) Weighted Polya Theorem. Solitaire December 15, 2015 1 / 15 Cosets
More information