arxiv: v1 [math.co] 5 Oct 2007

Transcription

1 SOME BIJECTIONS ON SET PARTITIONS ROBERT PARVIAINEN Abstract We study three similar bijections on set partitions The first is an involution defined by Kasraoui and Zeng which proves the symmetry of the distribution of crossings and nestings We show that a stronger result can be deduced The second gives a bijective proof of the equivalence of two statistics with a q-stirling distribution The third proves the equivalence of a multivariate block size distribution to a covering statistic arxiv:07032v [mathco] 5 Oct 2007 Introduction In a recent paper Chen et al [2] investigated crossings and nestings in matchings and partitions They showed that the crossing and nesting numbers have a symmetric joint distribution, even on subsets with fixed minimal and maximal block elements The proof used a bijection between partitions and vacillating tableaux, the RSK correspondence and Shenstedt s theorem While the connection with tableaux certainly is very interesting, such an elegant result calls for bijcetive proof Using a simple involution on partitions, Kasraoui and Zeng, [5], gave such a proof for the case of the total number of crossings and the total number of nestings However, using the same involution, it can be shown that the full multivariate distribution of k-crossings and m-nestings, k, m {0,, 2, } is symmetric under the exchange of crossing for nesting, on the min-max block element division The proof of this is given in Section 3, where for completeness we also define and prove that the involution in fact is an involution Kasraoui and Zeng, [5], also gives the generating function for crossings and nestings in set partitions as a continued fraction We show how this can be used to prove rationality of (and derive) generating functions for set partitions with fixed number of crossings and nestings Similar results have been given by Klazar, [6], and Bóna, [], for related crossing statistics In Section 4 we use a similar mapping to bijectively prove equivalence of two statistics with the q-stirling numbers of the second kind These are the intertwining number of Ehrenborg and Readdy, [4], and Milne s statistic, also known as the dual major index and the left smaller statistic [7, 0, 2] Another variant is used in Section 5 to bijectively prove equivalence of a new statistic with a statistic on block sizes The new statistic generalises the notion of doubles of Riordan, [9] Riordan showed that the number of doubles, to be defined, in a set partition has the same distribution as the size of the block including, minus We give a multivariate statistic that is equivalent to the distribution of (b, b 2, ), where b i is the size of the ith block when blocks are ordered in the normal fashion 2 Common definitions A (set) partition of [n] = {, 2,, n} is a collection of non-empty, mutually disjoint subsets, or blocks, with union [n] Elements in the blocks will be ordered in increasing order, and blocks ordered by their minimal elements Write P = B /B 2 / /B k for the partition of [n] into the k blocks B, B 2,, B k, where min B < min B 2 < < min B k Let Π k n denote the set of partitions of [n] with k blocks, and Π n all partitions of [n] It is common to represent a partition as a graph on the vertex set [n], where the edge set are arcs that connects consecutive elements in blocks The edge set {(i, j ),, (i m, j m )} is called Date: February 26, Mathematics Subject Classification Primary 05A8; Secondary 05A30, 05A5 Key words and phrases Set partition, crossing, nesting, q-stirling numbers, bijective

2 the standard representation The special embedding when the vertices are the points, 2,, n on the real line, and the edges are drawn as arcs above the line, will be called the diagram of the partition Partition diagrams are shown in Figures to 5 below In what follows we will always consider the edge set in the standard representation to be ordered by the second co-ordinate, so that j < j 2 < < j m, and such that i k < j k We remark that if n = 2m is even, matchings of [2m] are the special case where all blocks have size or 2, and if there are m blocks, the matching is complete Let O(P ) be the set {i, i m } of origins, and T (P ) the set {j, j m } of termini of arcs We say that (O(P ), T (P )) is the division of P Let max(p ) be the set of maximal block elements of P, and min(p ) the set of minimal block elements We say that (min(p ), max(p )) is the minmax division of P Note that divisions and min-max divisions are equivalent in the following sense: Two partitions have the same division if and only if they have the same min-max division This claim is easily verified by the definitions (eg i min(p ) i O(P )) 3 Crossings and nestings A crossing is an occurrence of two arcs (i, j) and (ĩ, j) in the standard representation such that i < ĩ < j < j In the partition diagram this means that the two arcs cross For k 2, a weak k-crossing is a k-subset {(i l, j l ),, (i lk, j lk )} of the standard representation such that i l < i l2 < < i lk < j l < j l2 < < j lk If a weak k-crossing is not part of any weak m-crossing with m > k, we simply call it a k-crossing If a given arc (i lr, j lr ) is part of a k-crossing i l < < i lr < < i lk < j l < < j lr < < j lk, we say that it is m-crossed, where m = k + r Example In the partition (complete matching in fact) {(, 5), (3, 6), (4, 7), (2, 8)} the arc (, 5) is -crossed once and 2-crossed once The arc (3, 6) is -crossed once See Figure A nesting is an occurrence of two arcs (i, j) and (ĩ, j) in the standard representation such that i < ĩ < j < j In the partition diagram this means that the first arc covers the second For k 2, a weak k-nesting is a k-subset {(i l, j l ),, (i lk, j lk )} of the standard representation such that i l < i l2 < < i lk < j lk < j lk < < j l If a weak nesting is maximal, ie it is not part of a larger weak nesting, we drop the epithet weak For a given arc (i, j), disregard for the moment any arcs nested by (i, j) (ie arcs (ĩ, j) with i < ĩ < j < j) If (i, j) is the innermost arc in a k-nesting, we say that it is k-nested Note that an arc may be k-nested by several different nestings Example 2 In the partition {(6, 7), (5, 8), (2, 9), (, 0), (4, ), (3, 2)} the arc (5, 8) is 2-nested twice, once by (2, 9) and (, 0), and once by (4, ) and (3, 2) Similarly, the arc (6, 7) is 3-nested twice, and the arcs (2, 9) and (4, ) are both -nested See the right drawing of Figure Figure To the left, the diagram of the partition 5/28/36/47, with standard representation {(, 5), (3, 6), (4, 7), (2, 8)} The partition has four crossings, one -crossing and one 2-crossing To the right, the diagram of a complete matching with standard representation {(6, 7), (5, 8), (2, 9), (, 0), (4, ), (3, 2)} It has nestings, one 5-nesting, one 4-nesting and two -nestings For a given partition P with division (O(P ), T (P )) define the weight sequence W (P ) to be the sequence of triplets (w j, o j, t j ) Let o j = if j O(P ) and zero otherwise, and t j = if j T (P ) and zero otherwise If there is an arc (i, j) terminating at j, w j = p r j q s j where 2

3 r j is the number of arcs (ĩ, j) with ĩ < i < j < j, and s j is the number of arcs (ĩ, j) with i < ĩ < j < j Thus r j counts the number of arcs covering (i, j) and s j the number of arcs with origin between i and j crossed by (i, j) If there is no arc terminating at j, put w j = An example is given in Figure 2 Of course the product n j= w j equals w = p r q s where r and s are the total number of nestings and crossings, respectively w k qp p 3 q 2 p p 3 p 2 q 2 p qp q o k t k 0 Figure 2 A partition P = {(2, 4), (5, 6), (7, 8), (6, 9), (4, 2), (0, 3), (, 4), (, 5)} and its weight sequence (w k, o k, t k ) The weights w k count the number of arcs crossing and nesting the arc ending at vertex k, o k indicates whether the vertex is the origin of an arc, and t k indicates whether the vertex is the terminus of an arc A crucial fact is that the information in the weight sequence is enough to reconstruct the partition: Lemma The partition P is uniquely determined by W (P ) Proof The following procedure recovers P Pass a vertical line over the diagram, from left to right, revealing the diagram one vertex at a time Arcs crossing the line are called half-arcs, as they are only half revealed If we pass vertex k with weight triplet (,, 0): Extend all existing half-arcs to the line, and add a new half-arc below the existing ones (The weight triplet implies that the vertex passed is origin for an arc, but not the terminus) (, 0, 0): Extend all existing half-arcs to the line (The weight triplet implies that the vertex passed is an isolated vertex) (p r q s, o, ): The arc terminating at k must cross s arcs These must be the s lowest of the half-arcs Thus, connect half-arc s + from the bottom to vertex k, and extend the other half-arcs to the line If o = add a new half-arc below the others The procedure is illustrated in Figure 3 Now define an involution φ on weight sequences For a weight sequence W (P ), let φ (W (P )) be the sequence of triplets ( w k, o k, t k ) where w k = p s kq r k if w k = p r kq s k That is, swap q and p in the weights and leave the division unchanged We have to show that there exists a partition with the new weight sequence Lemma 2 If W (P ) is the weight sequence for the partition P, then there exists a partition with weight sequence φ (W (P )) Proof of Lemma 2 We use the same procedure as in Lemma on W (P ), but if we pass vertex k with weight triplet (p r q s, o, ), we connect half-arc r + instead of half-arc s + to vertex k This is always possible since there are r + s + arcs passing over the vertex The partition produced has the demanded weight sequence φ (W (P )) Therefore φ defines an involution on partitions: with slight abuse of notation, let φ (P ) be the partition with weight sequence φ (W (P )) This is the involution of Kasraoui and Zeng, [5] It is clear that the image φ (P ) has the same number of crossings as the preimage P has nestings, and vice versa, and that both has the same division However, with some extra work, 3

4 w k pq q 3 p 2 q q 3 q 2 p 2 q pq p o k t k 0 Figure 3 The image φ (P ), where P is the partition in Figure 2 The drawing also illustrates the procedure of recovering the partition from its weight sequence The line is moved forward twice starting from between vertices 6 and 7 The first time, the vertex being passed has weight triplet (p 2 q,, ), so we connect the vertex to second lowest half-arc, and add a new half-arc below the existing ones The second time, the weight triplet is (q 3, 0, ), so we connect the vertex to the 4th lowest arc, not adding a new arc we can show that the involution maps each occurrence of a k-crossing to a k-nesting, and vice versa Lemma 3 If an arc (i, j) in the standard representation of P is k-crossed and l-nested, then the arc ending at j in φ (P ) is k-nested and l-crossed Proof It is enough to consider a reduced diagram involving only the arcs that cross or cover (i, j) More precisely, the arcs (ĩ, j) with i < ĩ < j < j or ĩ < i < j < j Suppose there are r arcs of the first type, and s of the second Let A be the reduced diagram It has 2(r+s)+2 = 2m vertices, which we rename, 2,, 2m It has m arcs (i, m + ), (i 2, m + 2),, (i m, 2m) and the original arc (i, j) is arc (i, m + ) in the new naming Assume vertices m+ to 2m have weights q r p s, q r 2 p s 2,, q rm p sm Consider now the reduced diagram φ (A) We claim that the arcs in this diagram are (m + i, m + ), (m + i 2, m + 2),, (m + i m, 2m) Indeed, consider the arc ending at vertex m + In A we infer from the weights that it originates at vertex i = s + = m r since it is covered by s arcs In φ (A), it originates at vertex ĩ = r + = m s = m + i, since now it is covered by r = m s arcs Considerations of the same type confirms the claim in general Now assume the arc (i, m + ) is k-crossed in A That means there is a k -subset {(i q2, m + q 2 ), (i q3, m + q 3 ),, (i qk, m + q k )} of {(i 2, m + 2),, (i m, 2m)} such that i < i q2 < < i qk < m+ < m+q 2 < < m+q k But this means that m+ i qk < < m+ i q < i < m + < m + q 2 < < m + q k, that is, the arc (m + i, m + ) is k-covered in φ (A) Applying φ to φ (A), it follows at once if an arc (i, j) is l-nested, then after the exchange, the arc ending at j is l-crossed Theorem 4 If a partition P has m k occurrences of k-crossings and l k occurrences of k-nestings, k =, 2,, then φ (P ) has m k occurrences of k-nestings and l k occurrences of k-crossings, k =, 2, Further, P and φ (P ) have the same division The crossing and nesting numbers of Chen et al are the largest k and m such that the partition has a k-crossing, respectively m-nesting Denote these numbers cr(p ) and ne(p ) They are clearly covered by Theorem 4, and the following result of Chen et al follows Corollary 5 (Theorem, [2]) f n,u,v (i, j) = f n,u,v (j, i), where f n,u,v (i, j) is the number of partitions P of [n] with min(p ) = U, max(p ) = V, cr(p ) = i and ne(p ) = j 4

5 3 Other definitions of crossings Klazar [6] and Bóna [] use slightly different definitions of crossings Bóna defines a crossing (here a B-crossing) as a 4-tuple i < ĩ < j < j such that i, j B r and ĩ, j B s and s r Note that with this definition 4/235 has two B-crossings ( < 2 < 4 < 5 and < 3 < 4 < 5) but only one -crossing Perhaps the first definition for a B-nesting that comes to mind is a 4 tuple i < ĩ < j < j such that i, j B r and ĩ, j B s and s r But with this definition B-crossings and B- nestings are not equi-distributed For the partition 5/234 has three B-nestings ( < 2 < 3 < 5, < 2 < 4 < 5, and < 3 < 4 < 5), and no partition of [5] has three B-crossings However, if we add the requirement that ĩ and j are adjacent in B s then it has only two B-nestings But this definition then fails for partitions of [6], for the partition 35/246 has 6 B-crossings, but there is no partition of [6] with that many B-nestings We have not found a reasonable, simple definition of B-nestings that gives a symmetric distribution Klazar [6, Section 5] studies partitions with a fixed number of pairs of crossing parts A partition has a pair of crossing parts if there is at least one crossing involving that pair Thus, 357/2468 has one pair of crossing parts Pairs of nesting parts may be defined likewise, by saying that there is a pair of nesting parts if there is at least one nesting involving that pair It is easy to see that φ maps a pair of crossing parts to a pair of nesting parts, so the joint distribution is symmetric 32 Ordinary generating functions Klazar and Bóna both show that with their respective definitions the ordinary generating functions for a fixed number of crossings are rational functions in z and 4z The corresponding fact for crossings can be derived from the continued fraction form of the generating function given in [5] Let [n] p,q = pn q n p q, and let crs(p ) and nes(p ) denote the total number of crossings, respectively nestings, in a set partition P Theorem 6 ([5] Corollary 42) The generating function F (p, q, z) = p nes(p ) q crs(p ) z n n 0 P Π n has the following continued fraction representation z ([] p,q + )z z 2 ([2] p,q + )z [2] p,q z 2 [3] p,q z 2 ([3] p,q + )z [4] p,qz 2 Assume we want the generating function for partitions with nes(p ) = m and crs(p ) = k, that is the coefficient of p m q k in F (p, q, z) (denoted [p m q k ]F (p, q, z) below) All [n] p,q with n > k m can be changed to [k] p,q (we assume without loss of generality that k m) The modified continued fraction F k (p, q, z) can be written as F k (p, q, z) := z ([] p,q + )z z 2 ([2] p,q + )z 5 [2] p,q z 2 ([k ] p,q + )z G k (p, q, z),

6 where Therefore G k (p, q, z) := = ( + [k] p,q )z G k (p, q, z) = G(a, z) = 2 [k] p,q z 2 ( + [k] p,q )z [k] p,q z 2 ( + [k] p,q )z G k (p, q, z) [k] p,q z 2 [k] p,q z 2 ( + [k] p,q )z ( ( + a)z 2( + a)z + ( a) 2 z 2 ), where a = [k] p,q This is the generating function for the Narayana numbers (sequence number A00286 in []) For example, the generating function for the number of set partitions avoiding crossings is [q 0 4z ]F (, q, z) = = c(z) := z G(, z) 2z This is of course the generating function for the ubiquitous Catalan numbers, (A00008 in []), a well known result The generating function for set partitions with exactly one crossing is [q ]F (, q, z) =[q ] z z 2 2z G( + q, z) z 4 c(z) = 7z + 4z 2 7z 3 zc(z)( 6z + 9z 2 2z 3 ) It can be shown that this is the generating function for ( 2n n 4 ) Theorem 7 The number of set partitions of [n] with one crossing is ( 2n n 4 ) Note that [q l ]F k (p, q, z) is a rational function in z and 2( + p k )z + ( p k ) 2 z 2 From this the rationality of the generating functions for a fixed number of crossings and nestings follows readily Theorem 8 The generating function [p m q k ]F (p, q, z) is a rational function in z, and [q k ]F (, q, z) is a rational function in z and 4z 4 The intertwining number and Milne s statistic Let b i be the size of block i Milne s, [7], statistic mil on a partition P with k blocks is mil(p ) = 0 b + b 2 + (k ) b k It can also be defined using the restricted growth function representation of set partitions A restricted growth function is a word of positive integers w w n such that w = and w i + max j<i w j If P = B /B 2 / /B k is a partition we can define a restricted growth function ω(p ) = w w n by letting w i = j if i B j This defines a bijection, as is easy to verify Then mil(ω(p )) = (w i ) i Milne s statistic was called the dual major index maj by Sagan, [0], and equals the ls (for left smaller) statistic of Wachs and White, [2] The distribution of mil is given by the q-stirling numbers of the second kind, S q (n, k) Another statistic with the same distribution is the intertwining number int defined by Ehrenborg and Readdy, [4] For two integers i and j let I(i, j) be the interval of integers from the smallest 6

7 to the largest of i and j, inclusively Now the definition of int goes like this For a partition P = B /B 2 / /B k, let int(p ) = i<j {(b r, b s ) B i B j : I(r, s) (B i B j )} An interesting property of int is that the ordering of block are irrelevant A more graphic way to define int is to count crossings in a modified diagram To all minimal elements add parallel infinite lines from the vertices leaving in say a 45 degree angle upwards and to the left To all maximal elements parallel infinite lines from the vertices leaving in a 45 degree angle upwards and to the right The intertwining number is the number of crossings in the new diagram An example is given Figure 4 c i Figure 4 The modified diagram of the set partition 4/28/3569/7 and its intertwining sequence The intertwining number of the partition is 4 Now we want to give each vertex in the diagram a weight (because the sequence of weights will, bar a triviality, be a restricted growth function) Note that each vertex has an arc or a line leaving in the leftward direction Starting with vertex and moving to the right, let c i be the number of crossings on that arc or line, that have not already been counted Figure 4 provides illustration Now n int(p ) = c i Define a mapping ψ by letting ψ(p ) be the word (c + )(c 2 + ) (c n + ) Lemma 9 The mapping ψ is a bijection from set partitions to restricted growth functions Proof First we show that ψ(p ) is a restricted growth function, that is, that c = 0 (obvious) and that c i + max j<i c j Induction is appropriate here Suppose c to c i fulfils the restricted growth condition and consider vertex i If vertex i is minimal, ie a line is leaving the vertex to the left, then the line or arc leaving vertex i to the left can produce at most c i + new crossings (with the same lines/arcs as the previous line, plus the one leaving vertex i to the right), so c i + c i If vertex i is not minimal, but vertex i 2 is, the line or arc leaving vertex i to the left can produce at most c i 2 + new crossings (with the same lines/arcs as the previous line, plus the ones leaving vertex i 2 and vertex i to the right, minus the one connecting to vertex i from the left) The general case where vertices i to i j are not minimal, but i j is follows similarly In each case, c i + max j<i c j We next describe the inverse Suppose know we are given a restricted growth function (c + ) (c n + ) First draw 2 lines from each vertex, one up to the left, one up to the right Go through the vertices in order For the first vertex do nothing For the second vertex, if c 2 = do nothing If c 2 = 0 draw an arc between vertices and 2, and erase the line from vertex to the right and the line from vertex 2 to the left For the ith vertex, if c i = +max{c, c 2, c i } do nothing Otherwise connect vertex i to the unique vertex j < i such that the arc crosses c i lines, and erase the line from vertex j to the right and the line from vertex i to the left 7 i=

8 This is always possible, because while at vertex i, there is exactly max{c, c 2, c i } lines passing over the vertex, from left to right This holds by induction From the description given above, it holds for i = and i = 2 Next, assume that there are max{c, c 2, c i } lines passing over vertex i If we do nothing at vertex i, that is if c i = + max{c, c 2, c i }, an extra line (from vertex i ) will pass over vertex i, bringing the total to max{c, c 2, c i }+ which equals max{c, c 2, c i } as required In the other case, the number of lines passing over vertex i is unchanged By construction the resulting diagram is the diagram of a partition with crossing weight sequence (c,, c n ) The two bijections between set partitions and restricted growth functions combines to form a bijection from and to set partitions This bijection preserves the number of blocks Lemma 0 The set partitions P and ω (ψ(p )) have the same set of minimal elements In particular, they have the same number of blocks Proof The number of blocks of P equals the number of distinct elements in the restricted growth function ω(p ) The minimal elements are the positions in ω(p ) where the k distinct elements occurs for the first time That is the set {i : w i = + max j<i w j } In the description of ψ in the proof of lemma 9, this is exactly the set of vertices which have a line, as opposed to an arc, leaving to the left But these are just the minimal elements Combining previous results gives the main result of this section Theorem The mapping φ 2 ( ) = ω (ψ( )) is bijection that preserves the number of blocks Further, int(p ) = mil(φ 2 (P )) Note that a somewhat artificial statistic also with distribution S q (n, k) can be defined by counting all crossings in the modified diagram except those between two arcs, and adding to that total the total number of nestings 4 Equivalence by the ECO-method We note that the equivalence can also be proved using the ECO-method, with the notions of weighted succession rules, generating trees and production matrices introduced in [8] In fact, that method even suggest the bijection, in the sense that it gives a suggestion as to which partition to map to which We do not give details here, but note that both structures, partitions weighted by the intertwining number and number of blocks, and partitions weighted by Milne s statistic and number of blocks, have the same weighted generating tree The production matrix (for both cases) is, with [n] q = +q+ +q n, P = q[] q t q[2] q t q[3] q t q[4] q The generating functions can be expressed using P, see [3] and [8] Theorem 2 The ordinary generating function F (q, t, z) for set partitions with respect to any statistic distributed as S q (n, k) where size is marked by z and number of blocks by t, is F (q, t, z) = (, 0, 0, 0, )(I zp) (,,,, ), where P is defined above and I is the identity matrix The exponential generating function G(q, t, z) is G(q, t, z) = (, 0, 0, 0, ) exp(zp)(,,,, ) 8

9 5 Block sizes and covers In [9] Riordan briefly consider the number of doubles (adjacent letters which agree) in restricted growth functions, and shows that it is equivalent to the number of s minus Here we generalise this to include all block sizes, not only the first The generalised statistic is most conveniently defined by the diagram Let cov i count the number of arcs with covers vertices from i different blocks That is the number pairs (i k, j k ) in the edge set {(i, j ),, (i m, j m )} such that the interval i k +,, j k contains elements from i different blocks Say that such an arc is an i-cover In the restricted growth function representation cov i are defined like this For word w let cov i (w) count the number of occurrences of av i a, where a is any letter and v i is a word with exactly i distinct letters, all different from a So cov 0 (w) counts the number of equalities of adjacent letters, and cov (w) counts the number of occurrences of two same letters separated by one or more occurrences of another letter For example, if w = then cov 0 (w) =, cov (w) = 2 and cov 2 (w) = 2 See also the right drawing in Figure 5 for the diagram version The main result is this, which will be proved by defining an appropriate bijection Theorem 3 The number of partitions P = B /B 2 / /B k of [n] with k blocks of sizes b, b 2,, b k equals the number of set partitions of [n] with k blocks and cov 0 = b, cov = b 2,, cov k = b k In the spirit of the previous bijections, we define two weight sequences on the vertices of the partition diagram These uniquely define the partition, and the recipes for this describe the bijection Examples of the two sequences are shown in Figure 5 First let the weight of vertex i be if it is the smallest element of its block Otherwise give it weight q j if it is in block j Denote this sequence x = (x, x 2, x n ), and say that it is the partition s x sequence We have x x n = q b q b k k A procedure to recover the partition from x goes like this Read x from left to right If x i = do nothing If x i = q j draw an arc to the next vertex on the left with weight q j, if such a vertex exists If not, draw an arc to the jth vertex on the left with weight Call this procedure recipe X Also define an y sequence Let the weight y i of vertex i be q j+ if it is the endpoint of an arc covering vertices from j different blocks, and if it is not the endpoint of an arc We have y y n = q cov 0 q cov k k The partition is recovered by reading y from left to right If y i = skip If y i = q j+ go left until we have passed vertices from j blocks different from i, stopping at the first vertex which is not already the starting point of an arc Draw an arc from this vertex to vertex i Call this procedure recipe Y x q q 2 q 3 q 2 q 3 y q q 2 q 3 q 2 q 3 Figure 5 To the left, the partition P = 3/257/369/8 and its x sequence To the right the partition P 2 = 69/2357/4/8 and its y sequence it is the image of P under bijection φ 3 The question is now, if a set partition has a given x (or y) sequence, is this valid as an y (or x) sequence? The answer is yes in both cases, as we now argue Assume we are given an y sequence, and use recipe X The only way X fails is if a vertex i has weight q j but there are less than j vertices with weight to the left of it But this cannot happen, because if i has y-weight y i = q j there are vertices from j blocks between vertex i and the starting point of the arc ending at i Each of these blocks plus the block vertex i belongs to has its smallest element to the left of i, and these all have weight The proof that we can use recipe Y on an x sequence is similar 9

10 Define a mapping φ 3 on partitions like this Let φ 3 (P ) be the partition produced by recipe Y on P s x-sequence It is clear from the arguments above that φ 3 is a bijection with the desired properties Theorem 4 The mapping φ 3 is a bijection such that if a set partition P = B /B 2 / /B k has k blocks with sizes b, b 2,, b k then φ 3 (P ) also has k blocks, and cov 0 = b, cov = b 2,, cov k = b k 5 A simple consequence Define a generating function F (q; t, z) = F (q, q 2, ; t, z) for set partitions where size of block i, or cov i+, is marked by q i and size is marked by z and number of blocks by t By considering partitions where the first m blocks are of size, the next result follows immediately Theorem 5 The number of partitions of [n + ] with no doubles into k + parts equals the number of partitions of [n] into k parts Further, the number of partitions of [n + 2] with no doubles and no -covers into k + 2 parts equals the number of partitions of [n] into k parts In general, m F ( 0,, 0, q }{{} m+, q m+2, ; t, z) = (tz) i + (tz) m F (q m+, q m+2, ; t, z) m zeroes i=0 52 Equivalence by the ECO-method Here too we can find a simple weighted succession rule common for both structures It is described by the following production matrix: q t q + q 2 t 0 P = 0 0 q + q 2 + q 3 t q + q 2 + q 3 + q 4 The generating functions can be expressed just as in Theorem 2 Theorem 6 The ordinary generating function F (q; t, z) for set partitions where size of block i, or cov i+, is marked by q i and size is marked by z and number of blocks by t, is F (q; t, z) = (, 0, 0, 0, )(I zp) (,,,, ), where P is defined above and I is the identity matrix The exponential generating function G(q; t, z) is G(q; t, z) = (, 0, 0, 0, ) exp(zp)(,,,, ) Acknowledgement The Author acknowledge the support received from the ARC Centre of Excellence for Mathematics and Statistics of Complex Systems (MASCOS) References [] M Bóna Partitions with k crossings The Ramanujan Journal, 3(2):25 220, June 999 [2] W Y C Chen, E Y P Deng, R R X Du, R P Stanley, and C H Yan Crossings and nestings of matchings and partitions Transactions of the American Mathematical Society, 359(4): , 2007 [3] E Deutsch, L Ferrari, and S Rinaldi Production matrices Advances in Applied Mathematics, 34:0 22, 2005 [4] R Ehrenbotg and M Readdy Juggling and applications to q-analogues Discrete Mathematics, 57( 3):07 25, 996 [5] A Kasraoui and J Zeng Distribution of crossings, nestings and alignments of two edges in matchings and partitions Electronic Journal of Combinatorics, 3:#R33, 2006 [6] M Klazar Counting pattern-free set partitions I: A generalization of Stirling numbers of the second kind European Journal of Combinatorics, 2(3): , March 2000 [7] S C Milne Restricted growth functions, rank row matchings of partition lattices, and q-stirling numbers Advances in Mathematics, 43:73 96, 982 0

11 [8] R Parviainen Parametric production matrices and weighted succession rules: a Dyck path example Journal of Integer Sequences, 0(6):Article 076, 2007 [9] J Riordan A budget of rhyme scheme counts Annals of the New York Academy of Sciences, 39(): , May 979 [0] B E Sagan A maj statistic for set partitions European Journal of Combinatorics, 2:69 79, 99 [] N J A Sloane The on-line encyclopedia of integer sequences Published electronically at njas/sequences/ [2] M Wachs and D White p, q-stirling numbers and set partition statistics Journal of Combinatorial Theory, Series A, 56:27 46, 99 ARC Centre of Excellence for Mathematics and Statistics of Complex Systems, 39 Barry Street, The University of Melbourne, Victoria, 300 address: robertp@msunimelbeduau