Connection Coefficients Between Generalized Rising and Falling Factorial Bases
|
|
- Clinton Parrish
- 5 years ago
- Views:
Transcription
1 Trinity University Digital Trinity Mathematics Faculty Research Mathematics Department 6-05 Connection Coefficients Between Generalized Rising and Falling Factorial Bases Jeffrey Liese Brian K. Miceli Trinity University, bmiceli@trinity.edu Jeffrey Remmel Follow this and additional works at: Part of the Mathematics Commons Repository Citation Liese, J., Miceli, B. K., & Remmel, J. (05). Connection coefficients between generalized rising and falling factorial bases. Annals of Combinatorics, 9, 7-6. doi: 0.007/s This Article is brought to you for free and open access by the Mathematics Department at Digital Trinity. It has been accepted for inclusion in Mathematics Faculty Research by an authorized administrator of Digital Trinity. For more information, please contact jcostanz@trinity.edu.
2 Connection coefficients between generalized rising and falling factorial bases Jeffrey Liese Department of Mathematics California Polytechnic State University San Luis Obispo, CA USA Jeffrey Remmel Department of Mathematics University of California, San Diego La Jolla, CA USA Submitted: date; Accepted: date; MR Subject Classifications: 05A5, 05E05 Brian K. Miceli Department of Mathematics Trinity University One Trinity Place San Antonio, TX USA Abstract Let S = (s, s,...) be any seuence of nonnegative integers and let S k = k i= s i We then define the falling (rising) factorials relative to S by setting (x) k,s = (x S )(x S ) (x S k ) and (x) k,s = (x + S )(x + S ) (x + S k ) if k with (x) 0,S = (x) 0,S =. It follows that {(x) k,s } k 0 and {(x) k,s } k 0 are bases for the polynomial ring Q[x]. We use a rook theory model due to Miceli and Remmel to give combinatorial interpretations for the connection coefficients between any two of the bases {(x) k,s } k 0, {(x) k,s } k 0, {(x) k,t } k 0, and {(x) k,t } k 0 for any two seuences of nonnegative integers S = (s, s,...) and T = (t, t,...). We also give two different -analogues of such coefficients. Moreover, we use this rook model to give an alternative combinatorial interpretation of such coefficients in terms of certain pairs of colored permutations and set partitions with restricted insertion patterns. Keywords: rook theory, rook placements, connection coefficients, -analogues, Stirling numbers Supported in part by NSF grant DMS
3 Introduction Let S = (s, s,...) and T = (t, t,...) be any two seuences of nonnegative integers. For k, let S k = k i= s i be the k th partial sum of the s i s and T k = k i= t i be the k th partial sum of the t i s. We then define the falling (rising) factorials for S by setting (x) k,s = (x S )(x S ) (x S k ) ((x) k,s = (x + S )(x + S ) (x + S k )) if k and setting (x) 0,S = ((x) 0,S = ). These are natural generalizations of the usual falling and rising factorials. For example, if S = (0, j, j, j,...), then (x) n,s = x(x j) (x (n )j) is the usual falling factorial by j and (x) n,s = x(x + j) (x + (n )j) for n is the usual rising factorial by j. Note that {(x) k,s } k 0, {(x) k,s } k 0, {(x) k,t } k 0, and {(x) k,t } k 0 are bases for the polynomial ring Q[x]. In this paper, we shall study the combinatorics of the connection coefficients r T,S, r T,S, r T,S, and r T,S defined by the following euations: (x) n,t = (x) n,t = (x) n,t = (x) n,t = r T,S (x) k,s, (.) r T,S (x) k,s, (.) r T,S (x) k,s, and (.) r T,S (x) k,s. (.4) More generally, we shall consider two different -analogues of the connection coefficients r T,S, r T,S, r T,S, and r T,S. That is, there are two natural -analogues of euations (.), (.), (.), and (.4). First let [x] = x. If x is a positive integer, then [x] = x. Given a seuence of nonnegative integers S = (s, s,...), we then let x k,s = ([x] [S ] )([x] [S ] ) ([x] [S k ] ) and x k,s = ([x] + [S ] )([x] + [S ] ) ([x] + [S k ] ) if k, and we let x 0,S = x 0,S =. Here, { x n,s } k 0 and { x n,s } k 0 are bases for the polynomial ring Q()[ x ]. We define our first -analogue of the connection coefficients r T,S, r T,S, r T,S, and r T,S by the following euations:
4 x n,t = x n,t = x n,t = x n,t = r T,S () x k,s, (.5) r T,S () x k,s, (.6) r T,S () x k,s, and (.7) r T,S () x k,s. (.8) Similarly, we let [x] k,s = ([x S ] )([x S ] ) ([x S k ] ) and [x] k,s = ([x + S ] )([x + S ] ) ([x + S k ] ) if k and let [x] 0,S = [x] 0,S =. We define our second -analogue of the connection coefficients r T,S, r T,S, r T,S, and r T,S by the following euations: [x] n,t = [x] n,t = [x] n,t = [x] n,t = r T,S ()[x] k,s, (.9) r T,S ()[x] k,s, (.0) r T,S ()[x] k,s, and (.) r T,S ()[x] k,s. (.) The main goal of this paper is to give combinatorial interpretations of the connection coefficients r T,S (), r T,S (), r T,S (), and r T,S () for all 0 k n. We shall see that a rook theory model of Miceli and Remmel [0] provides a setting where we can essentially give a uniform combinatorial interpretation of these connection coefficients. We shall also show that a slight variation of that model will also allow us to give combinatorial interpretations of the connection coefficients r T,S (), r T,S (), r T,S (), and r T,S (). We should note that in certain special cases, rook theory interpretations of the coefficients r T,S (), r T,S (), r T,S (), and r T,S () have appeared in the literature. For example, a Ferrers board B = F (b,..., b n ) is a subset of an n m chessboard such that for i =,..., n, the lowest b i suares are in B and 0 b b n. Garsia
5 and Remmel [] defined -analogues of rook numbers r n k (B, ) for Ferrers boards B = F (b,..., b n ) and gave a rook theory proof of the identity n [x + b i (i )] = r n k (B, )[x] [x ] [x (k )]. (.) i= Remmel and Wachs [] defined a more restricted class of -analogues of rook numbers, r j k (B, ), in their j-attacking rook model and proved that for Ferrers boards B = F (b,..., b n ), where b i+ b i j if b i 0, n [x + b i j(i )] = r j n k (B, )[x] [x j] [x j] [x (k )j]. (.4) i= Goldman and Haglund [4] developed an i-creation rook theory model and an appropriate notion of rook numbers r (i) n k (B, ) for which the following identity holds for Ferrers boards: n [x + b j + (j )(i )] = r (i) n k (B, )[x] [x + (i )] [x + (k )(i )]. (.5) j= Thus, in the situation where the right-hand sides involve either rising factorials by j - [x] [x+j] [x+(k )j] - or falling factorials by j - [x] [x j] [x (k )j] - certain special cases of the coefficients r T,S (), r T,S (), r T,S (), and r T,S () have been given rook theory interpretations. These include various -analogues of the Stirling numbers of the first and second kind - see [], [], [], [5], [7], [8], [9], [], [], [4], [5] - and two -analogues of the Lah numbers - see [], [6]. However, none of these papers consider -analogues of the more general rising and falling factorial basis {(x) k,s } k 0 and {(x) k,s } k 0. The outline of this paper is as follows. In section, we shall describe the augmented rook model due to Miceli and Remmel [0]. In section, we shall use the Miceli- Remmel rook model to give direct combinatorial interpretations of r T,S (), r T,S (), r T,S (), and r T,S (). As r T,S () = r T,S, r T,S () = r T,S, r T,S () = r T,S, and r T,S () = r T,S, we will automatically obtain combinatorial interpretations of r T,S, r T,S, r T,S, and r T,S. Subseuently, we shall modify the aforementioned interpretations to obtain combinatorial interpretations of r T,S (), r T,S (), r T,S (), and r T,S (). Lastly, in section 4 we shall give alternative combinatorial interpretations of r T,S (), r T,S (), r T,S (), and r T,S () in terms of certain pairs, (σ, π), where σ is a colored permutation of {,,..., n} with certain restricted insertion patterns and π is a colored set partition of {,,..., n} with certain restricted insertion patterns. The Miceli-Remmel Rook Theory Model Let N 0 = {0,,,...}, and let [n] := {,,..., n} for any positive integer n. We let B n,m = [n] [m] be an n by m array of suares. We number the rows of B n,m from 4
6 Figure : A Ferrers board B = F (,,, 4) B 4,4. A B = B = 4 4 Figure : The Ferrers board B with B = (,,, ) and the augmented rook board, B A, with B = (,,, ) and A = (,,, ). bottom to top with the numbers,..., m and the columns of B n,m from left to right with the numbers,..., n and refer to the suare or cell in the i th row and j th column of B n,m as the (i, j) th cell of B n,m. A rook board B is any subset of B n,m. If B B n,m is a rook board consisting of the first b i cells of column i for i =,..., n, then we will write B = F (b,..., b n ) and refer to B as a skyline board. In the special case that 0 b b b n m, we will say that B = F (b, b,..., b n ) is a Ferrers board. For example, F (,,, 4) is a Ferrers board and is pictured in Figure. Suppose that we are given two seuences from N n 0, B = {b i } n i= and A = {a i } n i=. We let A i = a + a + + a i be the i th partial sum of the a i s and B = F (b, b,..., b n ). We will consider the augmented rook board, B A, which is constructed by starting with the board B and then adding A i cells on top of the i th column for i =,..., n. Thus B A can be thought of as the board F (b +A, b +A,..., b n +A n ). For example, if B = (,,, ) and A = (,,, ), then Figure pictures the board B and the board B A. We will refer to the part of the board consisting of the b i s as the base part of B A and the part which corresponds to the a i s as the augmented part of B A. Moreover, for each column i, we will refer to the cells in rows b i +,..., b i + a as the a th part of i th column, the cells in row b i + a +,..., b i + a + a as the a nd part of i th column, and so on in this fashion. In Figure, we have indicated the a th j part of each column by putting a j in those cells. Next we must define the appropriate notion of non-attacking rook placements in B A. We first consider placements P of rooks in B A where there is at most one rook in each column. The leftmost rook of P will cancel all the cells in the columns to its right 5
7 4 4 * X * * X Figure : A placement of two rooks in an augmented rook board, B A, with B = (,,, ) and A = (,,, ). which correspond to the a th j part of that column of highest index. Thus, if the leftmost rook is in column i, then it will cancel the a th j part of column j for j = i +,..., n. In general, each rook will cancel all the cells in the columns to its right which correspond to the a th j part of that column where j is the highest index such that the cells of a th j part of the column have not been canceled by any rook to its left. We then let N k (B A ) denote the set of placements of k rooks in the board B A such that. there is at most one rook per column, and. no rook lies in a cell which has been canceled by a rook to its left. For example, if B = (,,, ) and A = (,,, ), then we have illustrated in Figure a placement P N (B A ) where each rook is denoted by an X and we have placed a in all the cells canceled by the rook in column and a in all the cells canceled by the rook in column. We shall refer to a placement P N k (B A ) as a placement of k non-attacking rooks in B A. Miceli and Remmel also defined a general augmented rook board Bx A. Given two seuences of nonnegative integers B and A and a nonnegative integer x, the board Bx A will have three parts. First we start with the board B A which we will refer to as the upper part of Bx A. Here the part of the upper part that corresponds to the board B = F (b, b,..., b n ) will be called the base part of Bx A and the part which corresponds to the a i s will be called the upper augmented part of Bx A. Directly below B A, we will attach x-rows of length n which will be referred to as the x-part of Bx A. Finally, directly below the x-part, we will place the flip of the Ferrers board F (A,..., A n ) which will be called the lower augmented part of Bx A. We will say that x-part is separated from the upper part of Bx A by the high bar and from the lower augmented part of Bx A by the low bar. For example, Figure 4 pictures the board Bx A where B = (,,, 4), A = (,,, ), and x = 4. Much like we did for the upper augmented part of Bx A, we will refer to the first a cells of the lower augmented part in column i, reading from top to bottom, as the a st part of the i th column of the lower augmented part, the next a cells, reading from top to bottom, as the a nd part of the i th column of the lower augmented part, etc.. 6
8 We now define the set of placements of n non-attacking rooks for the board Bx A. We will consider placements of n rooks on Bx A where there is exactly one rook in each column. The cancelation rules for each rook are the following:. A rook placed above the high bar in the i th column of Bx A will cancel all of the cells in columns i +, i +,..., n, in both the upper and lower augmented parts, which belong to the a th j part of highest subscript in that column which are not canceled by a rook to the left of column i.. Rooks placed below the high bar do not cancel anything. We then let N n (B A x ) denote the set of all placements of n rooks in B A x for which there is exactly one rook in each column and no rook lies in a cell which is canceled by a rook to its left. An example of a placement P N n (B A x ) can be seen in the righthand side Figure 4. Here we have indicated the cells canceled by the rook in the first column by placing a in those cells and the cells canceled by the rook in the third column by placing an in those cells. The rooks placed in the second and fourth columns do not cancel any cells since they are placed below the high bar. For any positive integer n, define [ n] := [n] where [n] = n, and define [0] = 0. Now fix two seuences B = (b,..., b n ) and A = (a,..., a n ) and two sign functions Sgn : [n] {, } and Sgn : [n] {, }. Let A i := i j= Sgn(j)a j. Given this terminology, Miceli and Remmel define the -weight, µ Sgn,Sgn (c), of each,bx A cell c in Bx A, and for the exact weighting scheme, we refer the reader to [0]. From there, the -weight of a placement on the general augmented board ˆP N n (Bx A ), which has rooks in cells c,..., c n, is given by µ Sgn,Sgn (ˆP) =,Bx A n i= µ Sgn,Sgn (c,bx A i ). (.) By passing this -weight to the underlying augmented board, the -weight of a placement on the augmented board P N k (B A ), which has rooks in cells c,..., c k, is given by µ Sgn,Sgn,B A (P) = k i= µ Sgn,Sgn (c,bx A i ). (.) Using this -weight of placements in an augmented board, we obtain the definition of the -augmented rook numbers: r k (B A, Sgn, Sgn, ) = µ Sgn,Sgn (P). (.),B A P N k (B A ) An example of the -weights of the cells in Bx A is given on the left-hand side of Figure 4 in the case where x = 4, B = (,,, 4), A = (,,, ), { + if i =,, 4, Sgn(i) = if i = 7
9 . X... X * high bar X X low bar... * *. Figure 4: The weighting of cells in placements in B A x and Sgn(i) = { + if i =, if i =,, 4. If we consider the placement, P, pictured on the right-hand side of Figure 4, then the rooks are placed in cells with -weights,,,, reading from left to right. Thus µ Sgn,Sgn (P) = ()( )()( ) =.,Bx A Finally, Miceli and Remmel proved the following -theorem by -counting placements in N n (Bx A ) in two ways. For the details of this proof, we again refer the reader to Theorem 4. in [0]. Slight modifications of that proof will be used when altering our combinatorial interpretations of r T,S combinatorial interpretations of r T,S (), r T,S (), r T,S (), r T,S (), r T,S (), and r T,S (), and r T,S () to produce our (). Theorem.. Let B = {b i } n i= and A = {a i } n i= be any two seuences from N n 0 and let Sgn, Sgn : [n] {, }. Then n ([x] + Sgn(i)[b i ] ) = i= k r n k (B A, Sgn, Sgn, ) ([x] + [A s ] ). (.4) s= 8
10 Rook Theory Interpretations. First -Analogues In this section, we shall give combinatorial interpretations of the connection coefficients r T,S (), r T,S (), r T,S (), and r T,S () for any two seuences of nonnegative integers S = (s, s,...) and T = (t, t,...). Recall that S k = k i= s i is the k th partial sum of the s i s and T k = k i= t i is the k th partial sum of the t i s. Also, define B = {T i } n i= and A = {s i } n i=. Now consider euations (.5), (.6), (.7), and (.8). Each of these formulas are special cases of (.4) for a particular general augmented board, namely Bx A for a fixed n, and particular choices of the sign functions. That is, if we want to produce a rising factorial x n,t on the left-hand side of (.4), we must have Sgn(i) = for all i and if we want to produce a falling factorial x n,t on the left-hand side of (.4), we must have Sgn(i) =. Similarly, if we want to produce rising factorials x k,s on the right-hand side of (.4), we must have Sgn(i) = for all i and if we want to produce falling factorials x k,s on the right-hand side of (.4), we must have Sgn(i) =. In this situation, the resulting augmented board that lies above the high bar is B A where B and A are defined for a fixed n above. The -weights µ Sgn,Sgn (c) assigned to the cells,b A in B A of course depend on the sign functions Sgn, Sgn : [n] {, }. However the weights ν,b A(c) = µ Sgn,Sgn (c) depend only on B A. That is, in the i th column the -,Bx A weights of the cells in the base part of B A are,,,..., Ti, reading from bottom to top, and the -weights of the cells in the augmented part are,,,..., Si, reading from bottom to top. For example, if n = 5, T = (0,,,...) and S = (0,,,...), then the weights on the board B A are pictured on the left of Figure 5. If T = (0,,,...) and S = (0,,,...) then the weights on the board B A are pictured on the right of Figure 5. If P is a rook placement with rooks in cells c,..., c k, then we let ν,b A(P) = k ν,b A(c i ). (.) i= r T,S We now are in a position to give our combinatorial interpretations of r T,S (), (), r T,S (), and r T,S (). We shall consider each case separately. Case I: A combinatorial interpretation of r T,S (). If we let Sgn(i) = and Sgn(i) = for all i, then (.4) becomes x n,t = r n k (B A, Sgn, Sgn, ) x k,s. (.) Comparing (.5) and (.), we see that r T,S () = r n k (B A, Sgn, Sgn, ) in the case where B = {T,..., T n }, A = {s,..., s n }, Sgn(i) =, and Sgn(i) = for all i. Note 9
11 Figure 5: For n = 5, the weights ν,b A(c) when T = (0,,,,...), S = (0,,,,...) and T = (0,,,,...), S = (0,,,,...) that in this case, the sign of each cell in B A is positive so that r T,S () = r n k (B A, Sgn, Sgn, ) = ν,b A(P). (.) P N n k (B A ) Case II: A combinatorial interpretation of r T,S (). Now if we let Sgn(i) = and Sgn(i) = for all i, then (.4) becomes x n,t = r n k (B A, Sgn, Sgn, ) x k,s. (.4) Comparing (.6) and (.4), we see that r T,S () = r n k (B A, Sgn, Sgn, ) in the case where B = {T,..., T n }, A = {s,..., s n }, Sgn(i) =, and Sgn(i) = for all i. Note that in this case, the sign of all cells in B A is so that r T,S () = r n k (B A, Sgn, Sgn, ) = ( ) n k ν,b A(P). (.5) P N n k (B A ) Case III: A combinatorial interpretation of r T,S (). Next consider the case where Sgn(i) = and Sgn(i) = for all i. Then (.4) becomes x n,t = r n k (B A, Sgn, Sgn, ) x k,s. (.6) 0
12 Comparing (.7) and (.6), we see that r T,S () = r n k (B A, Sgn, Sgn, ) in the case where B = {T,..., T n }, A = {s,..., s n }, Sgn(i) =, and Sgn(i) = for all i. Now in this case, the sign of the cells in the base part of B A is and the sign of the cells in the augmented part of B A is. Unlike the situation with r T,S () and r T,S (), there is cancelation among the weights of the rook placements in N n k (B A ). However in this case, we can construct a simple involution to eliminate many such cancelations. Fix a placement P r n k (B A, Sgn, Sgn, ). Fix a column i of B A and suppose that there are f i rooks to the left of column i in P. Then the number of cells in the base part of B A is T i and the number of uncanceled cells in the augmented part of B A is S i fi. Now if T i S i fi, then we shall refer to the base part of column i as the primary part of column i for P and the first T i cells of the augmented part of B A in column i, reading from bottom to top, as the mirror image of the primary part of column i for P. Similarly, if T i > S i fi, then we shall refer to first S i fi cells, reading from bottom to top, of the augmented part of column i as the primary part of column i for P and the first S i fi cells of the base part of B A in column i, reading from bottom to top, as the mirror image of the primary part of column i for P. Note that in each column i, the corresponding weights ν,b A(c) of the cell in the j th row of the primary part of B A, reading from bottom to top, and the cell in the j th row of the mirror image of the primary part of B A, reading from bottom to top are the same, namely, j. This observation about these weights will be necessary to prove that our proposed involution is actually weight preserving. For example, if T = (,,,,,,...) and S = (,,,,...), then for n = 5, we picture the board B A in Figure 6 on the left. Moreover, in Figure 6, we inserted the corresponding -weights, ν,b A(P) = µ Sgn,Sgn (P), of each cell. On the right, we have,b A pictured a rook placement P and we have indicated the primary part of each column for P by the darkly shaded cells and mirror image of the primary part for P by the lightly shaded cells. The cells which are blank are the cells that lie neither in the primary part nor in the mirror image of the primary part in their column. We define I : N n k (B A ) N n k (B A ) as follows. If a placement P N n k (B A ) has a rook that lies either in the primary part or the mirror image for P of the primary part of some column j in B A, then let i be the leftmost column that contains such a rook. Then the involution I is very simple, namely, if r is a rook in column i and r is in the j th row of the primary part for P in column i, reading from bottom to top, then I(P) is defined to be the rook placement that results by moving r to the j th row of the mirror image of the primary part for P, reading from bottom to top. Vice versa, if r is in the j th row of the mirror image of the primary part for P in column i, reading from bottom to top, then I(P) is defined to be the rook placement that results by moving r to the j th row of the primary part for P in column i, reading from bottom to top. By our observation about the weights of these cells being the same, it follows that µ Sgn,Sgn (P) = µ Sgn,Sgn (I(P)).,B A,B A Finally if P does not have a rook that lies in the primary part for P or in the mirror image of primary part for P in any column, then we set I(P) = P. For example, in the case where T = (,,,,...) and S = (,,,,...), Figure 7 demonstrates the involution I(P) for P N (B A ) when n = 5.
13 x x Figure 6: The board B A when n = 5, T = (,,,,...) and S = (,,,,...). P = I(P) = x x x x x x Figure 7: An example of the involution I for B A where n = 5, T = (,,,,...) and S = (,,,,...).
14 We see from our definitions that I is the identity. Thus, I is a sign-reversing, weight-preserving involution, so that if we let FN n k (B A ) denote the set of all P N n k (B A ) such that I(P) = P, then I shows that r T,S () = P N n k (B A ) µ Sgn,Sgn,B A (P) = P FN n k (B A ) µ Sgn,Sgn (P). (.7),(B A ) In some special cases, the involution I has eliminated all the possible cancelations. For example, consider the following two cases. Case III.a T i S i for all i =,..., n. In this case, we see that all the uncanceled cells that lie in the augmented part of the board B A for some rook placement P in B A must lie either in the primary part or the mirror images of the primary part for P. This means that if I(P) = P, then all the rooks in P must lie in the base part of B A. Since the signs of each cell in the base part of B A is positive in this case, it follows that r T,S () = P FN n k (B A ) ν,b A(P). (.8) Case III.b T i S for all i =,..., n. In this case, we see that for any rook placement P, there will be at least S uncanceled cells in B A. Hence it will be that case that the primary part of each column i is the base part of column i. This means that if I(P) = P, then all the rooks in P must lie the augmented part of B A. Since the signs of each cell in the augmented part of B A is negative in this case, it follows that r T,S () = ( ) n k P FN n k (B A ) ν,b A(P). (.9) However, in general, elements of FN n k (B A ) can still have rooks in both the base part and the augmented part of B A. For example, if n = 5, T = (,,,,,,...), S = (,,,,...), and we consider the rook placement P pictured on the right in Figure 6, then it is easy to see that P FN (B A ) has rooks in the both the base part and the augmented part of B A. () have the same sign. For example, if n =, T = (,,,,...) and S = (,,,,...), then in Figure 8, we have pictured the primary and the mirror image of the primary parts of the columns depending whether one has no rook in column, one rook in column that does not lie in the either the primary part or the mirror image of the primary part column, and two rooks in columns and where no rook lies in the either the primary parts or the mirror image of the primary parts columns and. Again, in each column, we have used the darkly shaded cells to represent the primary part of the column for In fact, in general it is not the case that the terms in r T,S
15 x x x Figure 8: Placements in FN (B A ) where n =, T = (,,,,...) and S = (,,,,...). P and the lightly shaded cells to represent the mirror image of the primary part for P. The connection coefficient r T,S, () = since it corresponds to the placement of no rooks in B A. Next, the connection coefficient r T,S, () corresponds to the placement of one rook in B A. If we do not place a rook in either the primary part or the mirror image of the primary part, then either the rook must go in cell (,) so that its weight is or, if there no rook in column, then we cannot place a rook in column so that the only other possibility is to place the rook in cell (7,) which has weight 6. Thus r T,S, () = 6. The connection coefficient r T,S, () corresponds to the placement of two rooks in B A. We cannot place the two rooks in columns and because if we do not place a rook in column, there are no suares in column which are not in either the primary or the mirror image of the primary part. It then is easy to see that from the middle diagram in Figure 8 that if we place a rook in the only possible cell in column, namely cell (,) which has weight, then we can either place the second rook in cells (,), (4,), (5,), (6,), or (7,) which have weights,, 4, 5, 6, respectively, so that r T,S, () = ( ). Finally, it is easy to see from the third diagram in Figure 8 that if we place a rook in the only possible cell in column, namely cell (,) which has weight, then we can place the second rook in either cell (,) or (4,) which have weights and, respectively, and the third rook in either cells (,), (4,), (5,), (6,), or (7,) which have weights,, 4, 5, and 6, respectively, so that r T,S,0 () = ( + )( ). Case IV: A combinatorial interpretation of r T,S (). Next consider the case where Sgn(i) = and Sgn(i) = for all i. Then (.4) becomes 4
16 x n,t = r n k (B A, Sgn, Sgn, ) x k,s. (.0) Comparing (.8) and (.0), we see that r T,S () = r n k (B A, Sgn, Sgn, ) in the case where B = {T,..., T n }, A = {s,..., s n }, Sgn(i) =, and Sgn(i) = for all i. Now in this case, the sign of the cells in the base part B A is and the sign of the cells in augmented part of B A is. Hence, the involution I defined in Case III is still a sign-reversing, weight-preserving involution. Thus I shows that r T,S () = P N n k (B A ) µ Sgn,Sgn,B A (P) = P FN n k (B A ) µ Sgn,Sgn,B A (P). (.) Again, in some special cases, the involution I has eliminated all the possible cancelations. For example, we obtain the following two cases which are similar to CaseIII.a and CaseIII.b. Case IV.a T i S i for all i =,..., n. In this case, Case IV.b T i S for all i =,..., n. In this case, r T,S () = ( ) n k r T,S () = P FN n k (B A ) P FN n k (B A ) ν,b A(P). (.) ν,b A(P). (.). Modified -Analogues We note that in our -analogue of the general product formula (.4), we have taken the -analogue of (x+a) to be [x] +[a] and the -analogue of (x a) to be [x] [a] if x and a are nonnegative integers. Miceli and Remmel, see section 4. in [0], showed that one could modify the -weights of the cells in Bx A in order to produce a -analogue of the general product formula where the -analogue of (x + a) is [x + a] and the -analogue of (x a) is [x a]. The basic idea of Miceli and Remmel was to modify (.4) by using the following simple identities which hold when x and a are nonnegative integers with x a: [x] [a] = a [x a] (.4) 5
17 and [x] + x [a] = [x + a]. (.5) Throughout this section, we shall fix two seuences of nonnegative integers S = (s, s,...) and T = (t, t,...) and again we set S k = k i= s i and T k = k i= t i for i. We then let B = (T,..., T n ) and A = (s,..., s n ). For our purposes, we need only recall how Miceli and Remmel modified the -rook numbers to prove such -analogues of our general product formula in the case where Sgn and Sgn are each constant on [n]. This is simply because only in this situation does (.4) specialize to an expression relating generalized rising and falling factorial bases. Thus, there are only four cases to consider. As this is thoroughly explained in [0], we will only demonstrate how to modify the weights in one of the cases and will state the result for the remaining three. We will consider the case where Sgn(i) = Sgn(i) = (this is actually Case III in [0]). Case I: Sgn(i) = Sgn(i) =. In this case, (.4) becomes n ([x] + [T i ] ) = i= k r n k (B A, Sgn, Sgn, ) ([x] + [S r ] ). (.6) r= We would like to replace the factors ([x] + [T i ] ) by ([x] + x [T i ] ) = [x + T i ] and the factors ([x] + [S r ] ) by ([x] + x [S r ] ) = [x + S r ]. To do this, Miceli and Remmel observed from their proof of Theorem. that we need only weight each cell in the base part of Bx A and each cell in both the lower and the upper augmented parts of Bx A with an extra factor of x. Thus, for any P N k (B A ), we set µ Sgn,Sgn (P) = x(base(p)+uaug(p)+laug(p)) µ Sgn,Sgn (P), (.7),B A,B A where Base(P), UAug(P), and LAug(P) are the number of rooks of P which lie in the base part, the upper augmented part, and the lower augmented part of the board B A, respectively. Define r n k (B A, ) = µ Sgn,Sgn (P). (.8),B A P N n k (B A ) Then Miceli and Remmel (euation 4.9 in [0]) proved that n ([x + T i ] ) = i= r A n k(b A, )([x + S ] )([x + S ] ) ([x + S k ] ), (.9) giving that (.9) becomes [x] T,n = r n k(b A A, )[x] S,k. (.0) k= 6
18 Comparing (.) and (.0), it follows that r T,S () = r n k(b A A, ) = (n k)x r T,S (). (.) Case II: Sgn(i) = Sgn(i) =. In this case, we obtain that r T,S n k () = (S +S + +S k ) (T + +T n) r T,S n k (). (.) Case III: Sgn(i) = +, Sgn(i) =. In this case, for any P N k (B A ), set and ˆµ Sgn,Sgn (P) = x(base(p)) µ Sgn,Sgn (P), (.),B A,B A ˆr n k (B A, ) = We then obtain that if x S n, n ([x + T i ] ) = i= Therefore, P N n k (B A ) S + +Sk ˆµ Sgn,Sgn,B A (P). (.4) ˆr n k (B A, )([x S ] )([x S ] ) ([x S k ] ). (.5) r T,S () = ˆr n k (B A, ). (.6) Case IV: Sgn(i) =, Sgn(i) = +. In this case, for any P N k (B A ), set and ˆµ Sgn,Sgn (P) = x(uaug(p)+laug(p)) µ Sgn,Sgn (P), (.7),B A,B A ˆr n k (B A, ) = We then obtain that if x S n, n ([x + T i ] ) = i= P N n k (B A ) S + +S k ˆµ Sgn,Sgn,B A (P). (.8) ˆr n k (B A, )([x S ] )([x S ] ) ([x S k ] ). (.9) 7
19 Therefore, r T,S () = ˆr n k (B A, ). (.0) It is worth noting that in Case III, (.4) becomes n ([x] + [T i ] ) = i= k r n k (B A, Sgn, Sgn, ) ([x] [S r ] ). (.) r= This in turn gives [x] T,n = ˆr n k (B A, )[x] S,k. (.) In the special case where T = S = (0,,..., ), (.) becomes k= n [x + i ] = i= k= r T,S ()[x] [x ] [x k + ] (.) and if we replace [x] by x in (.), then we obtain that n (x + [i ] ) = i= r T,S ()x(x [] )(x [] ) (x [k ] ). (.4) These euations are two different -analogues of the euation that define the Lah numbers L. It follows that r T,S () = L () where L (), is the -analog of the Lah number L defined by Garsia and Remmel [] who interpreted L () a -counting configurations of balls and tubes. Similarly, r T,S () = L (n, k) where L (n, k), is the -analog of the Lah number L defined by Lindsay, Mansour, and Shattuck [6], who also interpreted L (n, k) as -counting configurations of balls and tubes, but in a different way from Garsia and Remmel. Remark. It is possible to use the ideas of Miceli and Remmel to find combinatorial interpretations of the connection coefficients between more general rising and falling factorial bases of the form (x ± S )(x ± S ) (x ± S k ) where S = (s, s,...) is any seuence of nonnegative integers, Sgn : N 0 {, }, and S k = k i= Sgn(i)s i. Similarly, Miceli and Remmel indicated how to find p, -analogues with their theory and, hence, we could find p, -analogues of the results of this paper. In both cases, the combinatorial interpretations are necessarily more complicated than the ones presented in this paper and one can no longer give the type of uniform proofs that characterize our results here. 8
20 4 Connections with permutations and set partitions Recall that for any positive integer n, [n] := {,,..., n}. We note that in the special case where T = (0, 0, 0, 0...) and S = (0,,,,...), (.) becomes x n = k= r T,S (x) k, (4.) where (x) k = x(x ) (x k + ) so that r T,S euals the classical Stirling number of the second kind, S, which counts the number of unordered set partitions of [n] into k nonempty parts. Similarly, (.) yields (x) n = k= r S,T x k, (4.) so that r S,T euals the classical signed Stirling number of the first kind, s, which is eual to ( ) n k times the number of permutations of [n] with k cycles. Thus, it is natural to ask whether we can give combinatorial interpretations of r T,S r T,S (), r T,S (), and r T,S () in terms of permutations and set partitions. As in the previous section, we shall fix finite seuences T = (t,..., t n ) and S = (s,..., s n ) from N n 0 and consider the augmented board B A where B = (T,..., T n ), T k = k i= t i for k =,..., n, and A = (s,..., s n ). The main goal of this section is to show that we can give combinatorial interpretations of r T,S (), r T,S (), r T,S (), and r T,S () in terms of -counting certain pairs (σ, π), where σ is colored permutation and π is a colored set partition of [n]. Here we will use the colors 0,,,... and indicate that a number i is colored with color j by writing i j. In such a situation, we shall talk about the absolute value of i j as just being the number i and write i j = i. Then a colored permutation σ = σ... σ n of [n] is a seuence of colored numbers so that σ = σ... σ n is a permutation in the symmetric group S n. Similarly a colored set partition of [n] is a set partition of colored numbers such that if we replace each colored number by its absolute value, then we obtain a set partition of [n]. For example, σ = is a colored permutation of [7] such that σ = and π = { 0,, 4 }, {, 5 }, {6, 7 } is a colored set partition of [7] such that π = {,, 4}, {, 5}, {6, 7}. We let CP erm denote the set of colored permutations σ of [n] such that σ is a permutation with k cycles. We shall always order the cycles of σ so that the smallest element in each cycle is on the left and the cycles are ordered by increasing smallest elements. We let SM(σ) denote the set of smallest elements in the cycles of σ. For example, if σ = (, 4, )(, 7, 5 )(6 ), then SM(σ) = {,, 6}. We let CSP tn denote the set of colored set partitions π of [n] such that π is a set partition with k nonempty parts. We shall always order the parts of π by increasing smallest elements. We let SM(π) denote the set of smallest elements in the parts of π. For example, if π = {, 4, 5 }, {,, 6 }, {7 }, then SM(π) = {,, 7}. 9 (),
21 Next we give a key definition which will be used to map placements in N n k (B A ) onto certain pairs (σ, π) CP erm CSP tn CP erm + CSP tn +. Definition.. Given an element σ CP erm, suppose that τ CP erm n+,k is the result of inserting the colored number n + j immediately after some colored number i s in σ. Then we say n + was inserted if the 0-th place of σ if i = and j = 0. In fact, this will be the only place where we shall insert n + 0 in our map. If j, then we say that n+ is inserted in (j )n+i-th place in σ. For example, if σ = (, 4, )(, 7, 5 )(6 ), then τ = (, 8 0, 4, )(, 7, 5 )(6 ) is the result of inserting 8 into the 0-th place in σ and τ = (, 4, )(, 8, 7, 5 )(6 ) is the result of inserting 8 in the ( )7 + = 6-th place in σ.. Given an element π CSP tn, suppose that δ CSP tn n+,k is the result of inserting the colored number n + j into the r-th part of π where we order the parts by the increasing smallest elements in π. Then we say n + was inserted in the 0-th place of π if j = 0 and r =. Again, this will be the only place where we shall insert n + 0 in our map. If j, then we say that n + is inserted in (j )k + r-th place in π. For example, if π = {, 4, 5 }, {,, 6 }, {7 }, then δ = {, 4, 5, 8 0 }, {,, 6 }, {7 } is the result of inserting 8 into the 0-th place in π and δ = {, 4, 5, }, {,, 6, }, {7, 8 } is the result of inserting 8 in the ( ) + = 6-th place in π. Let U 0 denote the set of pairs (σ, π) where σ is a colored permutation of [n] and π is a colored set partition of [n] such that. SM(σ) = SM(π), and. there are exactly k elements i SM(σ) = SM(π) which are colored 0 in both σ and π. Note that Un,0 0 is the set of pairs (σ, π) where σ is a colored permutation of [n] and π is a colored set partition of [n] such that SM(σ) = SM(π) and there are no i SM(σ) = SM(π) which are colored 0 in both σ and π. Next we define a map Γ T,S : N n k(b A ) U 0. Given P N n k(b A ), we construct Γ T,S (P) = (σ, π) by constructing a seuence of pairs (σ(), π () ),..., (σ (n), π (n) ) = (σ, π) in stages as follows. Stage. We have three cases. Case I. There is no rook in the first column of P. Then σ () = ( 0 ) and π () = { 0 }. Thus (σ (), π () ) U,. 0 Case II. There is a rook in the first column in the i-th suare of the augmented part of B A reading from bottom to top. Then σ () = ( 0 ) and π () = { i }. Thus (σ (), π () ) U 0,0. 0
22 X () () (σ, π ) () () (σ, π ) () () (σ, π ) (4) (4) (σ, π ) (5) (5) (σ, π ) = ( ( ), { } ) 0 = ( ( ) ( ), { } { } ) = ( ( ) (, ), {, } { } ) = ( ( ) (, ) (4 ), {, } { } {4 } ) = ( ( ) (, ) (4, 5 ), {,, 5 } { } {4 } ) X X Figure 9: An example of the map Γ. Case III. There is a rook in the first column in the i-th suare of the base part of B A reading from bottom to top. Then σ () = ( i ) and π () = { 0 }. Thus (σ (), π () ) U 0,0. Stage s+. Assume we have constructed (σ (s), π (s) ) so that if P has s r rooks in the first r columns, then (σ (s), π (s) ) U 0 s,r. Then again we have three cases. Case I. There is no rook in the (s + )-st column of P. Then σ (s+) is the result of adding a new cycle ((s+) 0 ) to σ (s) and π (s+) is the result of adding a new part {(s+) 0 } to π (s). Case II. There is a rook in the (s + )-st column in the i-th suare of the augmented part of B A reading from bottom to top. Then σ (s+) is the result of inserting s + in the 0-th position of σ (s) and π (s+) is the result of inserting s+ in the i-th position of π (s). Case III. There is a rook in the (s + )-st column in the i-th suare of the base part of B A reading from bottom to top. Then σ (s+) is the result of inserting s + in the i-th position of σ (s) and π (s+) is the result of inserting s + in the 0-th position of π (s). For example, suppose that n = 5, S = (,,,, ), and T = (,,,, ). Then in Figure 9, we have pictured a placement P N (B A ) and its corresponding seuence (σ (), π () ),..., (σ (5), π (5) ) = (σ, π). Note that σ (i) is the permutation whose cycle structure is constructed from σ by removing all elements with absolute value greater than i and π (i) is the set partition of [i] which is the result of removing all elements with absolute value greater than i in π.
23 Accordingly, given a pair (σ, π) in the range of Γ T,S, we can reconstruct the seuence (σ (), π () ),..., (σ (n), π (n) ) = (σ, π). Going the other way, given the seuence (σ (), π () ),..., (σ (n), π (n) ), we can decode which case of the above construction was used at each stage so that we can reconstruct the placement P such that Γ T,S,S (P) = (σ, τ). Thus ΓT is one-to-one. Moreover, it is not difficult to characterize the range of Γ T,S,S. That is, (σ, π) is in the range of ΓT if and only if. (σ, π) U 0 and for all i < n, the number of cycles of σ(i) euals the number of parts of π (i),. SM(σ) = SM(π),. either (a) is colored 0 in both σ and π, (b) is colored s for some s T in σ and is colored 0 in π, or is colored s for some s S in π and is colored 0 in σ, 4. if i >, then i SM(σ) = SM(π) if and only if i is colored 0 in σ and π so that σ has k cycles and π has k parts if is colored 0 in both σ and π and σ has k + cycles and π has k + parts if is not colored 0 in both σ and π, 5. if i >, i / SM(π), π (i ) has r parts, and i is inserted in position s in π (i ) where s > 0, then i is inserted in position 0 in σ and s S r+ if has color 0 in both σ and π and s S r if does not have color 0 in both σ and π, and 6. if i >, i / SM(σ), and i is inserted in position s in σ (i ) where s > 0, then i is inserted in position 0 in π and s T i. Here for condition (5.), note that if the first column of P is empty so that is colored 0 in both σ and π, then when π (i ) has r parts, there must be r empty columns in the first i columns of P. Hence there are i r rooks in the first i columns of P and these rooks cancel the s m -th part of the augmented part of the board for m = i, i,..., i (i r ) = r+. So, we can only put rooks in the first s + +s r+ = S r+ cells in column i. Similarly, if there is a rook in the first column of P so that it cannot be the case that is colored 0 in both σ and π, then when π (i ) has r parts, there must be r empty columns in the first i columns of P. Hence there are i (r ) rooks in the first i columns of P and these rooks cancel the s m -th part of the augmented part of the board for m = i, i,..., i (i r ) = r +. Thus, we can only put rooks in the first s + + s r = S r cells in column i. This given, we let H T,S all pairs (σ, π) U 0,S satisfying the six conditions above. Thus, ΓT N n k (B A ) onto H T,S. denote the set of is a bijection from Given (σ, π) H T,S, let σ(i) be the permutation whose cycle structure is the result of eliminating the elements of absolute value greater than i in the cycle structure of
24 σ. Similarly, let π (i) be the set partition that is the result of eliminating the elements of absolute value greater than i in π. Then if (σ (), π () ) = (( s ), { t }, then we define the weight of in (σ, π), W (σ,π) (), to be s + t. If < k n, then we define the weight of k in (σ, π), W (σ,π) (k), to be s + t where k is inserted in s-th position in σ (k ) and k is inserted in the t-th position in π (k ). We then define the weight of (σ, π), W (σ, π), by setting n W (σ, π) = W (σ,π)(i), (4.) and it is straightforward to check that we have defined the map Γ T,S (σ, π), then Finally, we observe that if (σ, π) H T,S i= so that if ΓT,S (P) = ν,b A(P) = W (σ, π). (4.4),S and ΓT (P) = (σ, π), then the number of rooks of P which lie in the base part of B A is i, such that i is inserted in position s in σ (i ) where s > 0. Similarly, the number of rooks of P which lie in the augmented part of B A is i, such that i is inserted in position s in π (i ) where s > 0. Let Pos(σ) and Pos(π) eual the number of i such that i is inserted in position s in σ (i ) or π (i ) respectively, where s > 0. It then immediately follows from our combinatorial interpretations r T,S (), r T,S (), r T,S (.5), (.7), and (.) that we have the following theorem. (), and r T,S () in terms of r n k (B A ) given in (.), Theorem 4.. For any seuences S = (s, s,...) and T = (t, t,...) of non-negative integers,. r T,S () = W (σ, π), (σ,π) H T,S. r T,S () = ( ) n k. r T,S () = (σ,π) H T,S 4. r T,S () = (σ,π) H T,S (σ,π) H T,S W (σ, π), ( ) Pos(π) W (σ, π), and ( ) Pos(σ) W (σ, π). We note that if S = (0, 0, 0,...), then it must be the case that for all (σ, π) H T,S, Pos(π) = 0. This means that if (σ, π) H T,S, then π is completely determined by σ. That is, we are forced to have SM(σ) = SM(π) and every element of π must be colored with 0. If i / SM(π), then the element i 0 must lie in the first part of π. For example, if σ = (, 4, )( 0, 8, 7, 5 )(6 0 ), then it must be the case that π = { 0, 0, 4 0, 5 0, 7 0, 8 0 }, { 0 }, {6 0 }. Thus, in such a situation, π carries no information nor does it contribute to W (σ, π), and so we are reduced to considering only colored
25 permutations with certain restricted insertion patterns. That is, let G T denote the set of colored permutations σ of [n] such that. exactly k elements of SM(σ) are colored 0,. is colored s for some 0 s T,. if i SM(σ) {}, then i is colored with 0 so that σ has k cycles if is colored 0 and σ has k + cycles if is not colored 0, and 4. if i > and i / SM(σ), then i is inserted in position s in σ (i ) where s T i. This gives us the following corollary. Corollary. If S = (0, 0, 0,...) and T = (t, t, t,...) is a seuence of non-negative integers, then. r T,S () = r T,S () = W (σ), and σ G T. r T,S () = r T,S () = ( ) n k W (σ), σ G T where W (σ) = a + + a n if the color of is a and i is inserted into position a i in σ (i ) for i =,..., n. It is easy to check that if, in addition, T i i for all i, then it will be the case that the color of is 0 and the color of any i / SM(σ) will be. Thus the minimal elements of SM(σ) must have color 0 and all other elements of σ must have color. Clearly, in such a situation, the colors on the elements of σ are completely determined so that we can just drop the colors. It then follows that the corresponding rook numbers can be described by -counting permutations with certain restricted cycle structures. That is, given any permutation σ S n, organize the cycles of σ so that the smallest element of each cycle is the leftmost. Now, for any i n, define c σ (i) = 0 if i is the smallest element in its cycle and if i is not the smallest element in its cycle, define c σ (i) as the rightmost element in the cycle containing i that is both to the left of i and smaller than i. Note that in the latter case, this means i was inserted in position c σ (i) according to our definitions. We then let RP erm T denote the set of permutations σ S n with k cycles such that for all i n, either i is the smallest element in its cycle or c σ (i) T i if i is not the smallest element in its cycle. Then we have the following corollary. Corollary. If S = (0, 0, 0,...) and T = (t, t, t,...) is a seuence of non-negative integers such that for all i, t + + t i i, then. r T,S () = r T,S () = W (σ), and σ RP erm T 4
26 . r T,S () = r T,S () = ( ) n k W (σ), where W (σ) = n i= c σ(i). σ RP erm T For example, suppose that T = (0,, 0,, 0,,...) so that T = 0 and for i, T i = T i+ = i. Then RP erm T is the set of all permutations σ S n such that σ has k cycles and for all i, c σ (i) i if i is not the smallest element in its cycle. We can make a similar argument if T = (0, 0, 0,...). In this situation, it must be the case that for all (σ, π) H T,S,S, Pos(σ) = 0. This means that if (σ, π) HT, then σ is completely determined by π. That is, we are forced to have SM(σ) = SM(π) and every element of σ must be colored with 0. So if i / SM(σ), then the element i 0 must be inserted directly after in σ (i ). This will force the first cycle of σ to consist of the element 0 followed by all elements of the set [n] SM(π) in decreasing order colored by 0. For example, if π = {,, 4 }, { 0, 5, 8 }, {6 0, 7 }, then it must be the case that σ = ( 0, 8 0, 7 0, 5 0, 4 0, 0 )( 0 )(6 0 ). Thus, in such a situation, σ carries no information nor does it contribute to W (σ, π), and so we are reduced to considering only colored set partitions with certain restricted insertion patterns. That is, let K T denote the set of colored set partitions π of [n] such that. exactly k elements of SM(π) are colored 0,. is colored s for some 0 s S,. if i SM(π) {}, then i is colored with 0 so that π has k parts if is colored 0 and π has k + parts if is not colored with 0, and 4. if i >, i / SM(π), and π (i ) has r parts, then i is inserted in position s in π (i ) where s S r+ if is colored with 0 in π and where s S r if is not colored 0 in π. This gives us the following corollary. Corollary. If T = (0, 0, 0,...) and S = (s, s, s,...) is a seuence of non-negative integers, then. r T,S () = r T,S () = W (π), and π K S. r T,S () = r T,S () = ( ) n k W (π), π K T where W (π) = a + + a n if the color of is a and i is inserted into position a i in π (i ) for i =,..., n. 5
27 If, in addition, we assume that S i i for all i, then it will be the case that the color of is 0 in both σ and π since s = 0 in that case. It follows that if π (i ) has r parts, then we must place i in one of the positions,..., S r+ = r if i does not start a new part in π. But since we have r parts in which to place i, we can always do this with an element colored. Thus the minimal elements of SM(π) must have color 0 and all other elements of π must have color. Clearly, in such a situation, the colors of the elements of π are completely determined so that we can just drop the colors. It then follows that the corresponding rook numbers can be described as counting set partitions with certain restricted part structures. For any i, we define c π (i) = 0 if i is the smallest element in its part. If i is not the smallest element in its part, we define c π (i) = j when i is in the j-th part of π. We then let RSP tn S denote the set of all set partitions of [n] with k parts such that for all i =,..., n, either i is the smallest element in its part or c π (i) S r+ if i is not the smallest element in its cycle and π (i+) has r parts. Then we have the following corollary. Corollary 4. If T = (0, 0, 0,...) and S = (s, s, s,...) is a seuence of non-negative integers such that for all i, s + + s i i, then. r T,S () = r T,S () = W (π), and π RSP tn S. r T,S () = r T,S () = ( ) n k W (π), π RSP tn S where W (π) = n i= c π(i). References [] K. S. Briggs and J. B. Remmel, A p, -analogue of a formula of Frobenius, Electron. J. Combin. 0() (00), #R9. [] K. S. Briggs and J. B. Remmel, m-rook numbers and a generalization of a formula of Frobenius to C m S n, J. Combin. Theory Ser. A (006), 8-7 [] A. M. Garsia and J. B. Remmel, Q-counting rook configurations and a formula of Frobenius, J. Combin. Theory Ser. A 4 (986), [4] J. Goldman and J. Haglund Generalized rook polynomials, J. Combin. Theory Ser. A 9 (000), [5] H. W. Gould, The -Stirling numbers of the first and second kinds, Duke Math. J. 8 (96), [6] J. Lindsay, T. Mansour, and M Shattuck, A new combinatorial interpretation of a -analogue of the Lah numbers, J. Comb. : (0),
A Rook Theory Model for the Generalized p, q-stirling Numbers of the First and Second Kind
Formal Power Series Algebraic Combinatorics Séries Formelles et Combinatoire Algébriue San Diego, California 2006 A Rook Theory Model for the Generalized p, -Stirling Numbers of the First Second Kind Karen
More informationp-rook Numbers and Cycle Counting in C p S n
p-rook Numbers and Cycle Counting in C p S n James Haglund Department of Mathematics University of Pennsylvania, Philadelphia, PA 19104. USA jhaglund@math.upenn.edu Jeffrey Remmel Department of Mathematics
More informationRook theory and simplicial complexes
Rook theory and simplicial complexes Ira M. Gessel Department of Mathematics Brandeis University A Conference to Celebrate The Mathematics of Michelle Wachs University of Miami, Coral Gables, Florida January
More informationarxiv: v1 [math.co] 25 Jan 2017
Q-analogues of the Fibo-Stirling numbers arxiv:70.0755v [math.co] 5 Jan 07 Quang T. Bach Department of Mathematics University of California, San Diego La Jolla, CA 909-0. USA qtbach@ucsd.edu Jeffrey B.
More informationQUADRANT MARKED MESH PATTERNS IN 132-AVOIDING PERMUTATIONS III
#A39 INTEGERS 5 (05) QUADRANT MARKED MESH PATTERNS IN 3-AVOIDING PERMUTATIONS III Sergey Kitaev Department of Computer and Information Sciences, University of Strathclyde, Glasgow, United Kingdom sergey.kitaev@cis.strath.ac.uk
More informationBasic counting techniques. Periklis A. Papakonstantinou Rutgers Business School
Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED
More informationRook Polynomials In Higher Dimensions
Grand Valley State University ScholarWors@GVSU Student Summer Scholars Undergraduate Research and Creative Practice 2009 Roo Polynomials In Higher Dimensions Nicholas Krzywonos Grand Valley State University
More informationA proof of the Square Paths Conjecture
A proof of the Square Paths Conjecture Emily Sergel Leven October 7, 08 arxiv:60.069v [math.co] Jan 06 Abstract The modified Macdonald polynomials, introduced by Garsia and Haiman (996), have many astounding
More informationMULTI-RESTRAINED STIRLING NUMBERS
MULTI-RESTRAINED STIRLING NUMBERS JI YOUNG CHOI DEPARTMENT OF MATHEMATICS SHIPPENSBURG UNIVERSITY SHIPPENSBURG, PA 17257, U.S.A. Abstract. Given positive integers n, k, and m, the (n, k)-th m- restrained
More informationA quasisymmetric function generalization of the chromatic symmetric function
A quasisymmetric function generalization of the chromatic symmetric function Brandon Humpert University of Kansas Lawrence, KS bhumpert@math.ku.edu Submitted: May 5, 2010; Accepted: Feb 3, 2011; Published:
More informationThe complexity of recursive constraint satisfaction problems.
The complexity of recursive constraint satisfaction problems. Victor W. Marek Department of Computer Science University of Kentucky Lexington, KY 40506, USA marek@cs.uky.edu Jeffrey B. Remmel Department
More informationMULTI-ORDERED POSETS. Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A06 MULTI-ORDERED POSETS Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States lbishop@oxy.edu
More informationA DECOMPOSITION OF SCHUR FUNCTIONS AND AN ANALOGUE OF THE ROBINSON-SCHENSTED-KNUTH ALGORITHM
A DECOMPOSITION OF SCHUR FUNCTIONS AND AN ANALOGUE OF THE ROBINSON-SCHENSTED-KNUTH ALGORITHM S. MASON Abstract. We exhibit a weight-preserving bijection between semi-standard Young tableaux and semi-skyline
More informationThe Gaussian coefficient revisited
The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial
More informationChapter 5: Integer Compositions and Partitions and Set Partitions
Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Winter 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Winter 2017 1 / 32 5.1. Compositions A strict
More informationRow-strict quasisymmetric Schur functions
Row-strict quasisymmetric Schur functions Sarah Mason and Jeffrey Remmel Mathematics Subject Classification (010). 05E05. Keywords. quasisymmetric functions, Schur functions, omega transform. Abstract.
More informationChapter 5: Integer Compositions and Partitions and Set Partitions
Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Fall 2017 1 / 46 5.1. Compositions A strict
More informationCombinatorial Structures
Combinatorial Structures Contents 1 Permutations 1 Partitions.1 Ferrers diagrams....................................... Skew diagrams........................................ Dominance order......................................
More informationQuadrant marked mesh patterns in alternating permutations
Quadrant marked mesh patterns in alternating permutations arxiv:1205.0570v1 [math.co] 2 May 2012 Sergey Kitaev School of Computer and Information Sciences University of Strathclyde Glasgow G1 1XH, United
More informationA Formula for the Specialization of Skew Schur Functions
A Formula for the Specialization of Skew Schur Functions The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher
More information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationPattern Popularity in 132-Avoiding Permutations
Pattern Popularity in 132-Avoiding Permutations The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Rudolph,
More informationCompositions, Bijections, and Enumerations
Georgia Southern University Digital Commons@Georgia Southern Electronic Theses & Dissertations COGS- Jack N. Averitt College of Graduate Studies Fall 2012 Compositions, Bijections, and Enumerations Charles
More informationRook Placements on Young Diagrams: Towards a q-analogue of the Harer-Zagier Formula SPUR Final Paper Summer 2012
Rook Placements on Young Diagrams: Towards a -Analogue of the Harer-Zagier Formula SPUR Final Paper Summer 202 Max Wimberley (MIT) February 22, 203 Abstract In 986 Harer and Zagier computed a certain matrix
More informationEquality of P-partition Generating Functions
Bucknell University Bucknell Digital Commons Honors Theses Student Theses 2011 Equality of P-partition Generating Functions Ryan Ward Bucknell University Follow this and additional works at: https://digitalcommons.bucknell.edu/honors_theses
More informationAsymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shapes, and column strict arrays
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 8:, 06, #6 arxiv:50.0890v4 [math.co] 6 May 06 Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard
More informationThe Catalan matroid.
The Catalan matroid. arxiv:math.co/0209354v1 25 Sep 2002 Federico Ardila fardila@math.mit.edu September 4, 2002 Abstract We show how the set of Dyck paths of length 2n naturally gives rise to a matroid,
More informationarxiv: v1 [math.co] 25 May 2011
arxiv:1105.4986v1 [math.co] 25 May 2011 Gog and Magog triangles, and the Schützenberger involution Hayat Cheballah and Philippe Biane Abstract. We describe an approach to finding a bijection between Alternating
More informationarxiv: v1 [math.co] 10 Sep 2010
Ranking and unranking trees with a given number or a given set of leaves arxiv:1009.2060v1 [math.co] 10 Sep 2010 Jeffery B. Remmel Department of Mathematics U.C.S.D., La Jolla, CA, 92093-0112 jremmel@ucsd.edu
More informationm-level rook placements
m-level rook placements Kenneth Barrese Department of Mathematics, Michigan State University, East Lansing, MI 48824-1027 baressek@math.msu.edu Nicholas Loehr Department of Mathematics, Virginia Tech Blacksburg,
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationTILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX
#A05 INTEGERS 9 (2009), 53-64 TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX Mark Shattuck Department of Mathematics, University of Tennessee, Knoxville, TN 37996-1300 shattuck@math.utk.edu
More informationCombinatorial Unification of Binomial-Like Arrays
University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange Doctoral Dissertations Graduate School 5-2010 Combinatorial Unification of Binomial-Lie Arrays James Stephen Lindsay University
More informationInvolutions by Descents/Ascents and Symmetric Integral Matrices. Alan Hoffman Fest - my hero Rutgers University September 2014
by Descents/Ascents and Symmetric Integral Matrices Richard A. Brualdi University of Wisconsin-Madison Joint work with Shi-Mei Ma: European J. Combins. (to appear) Alan Hoffman Fest - my hero Rutgers University
More informationd-regular SET PARTITIONS AND ROOK PLACEMENTS
Séminaire Lotharingien de Combinatoire 62 (2009), Article B62a d-egula SET PATITIONS AND OOK PLACEMENTS ANISSE KASAOUI Université de Lyon; Université Claude Bernard Lyon 1 Institut Camille Jordan CNS UM
More informationUnbounded Regions of Infinitely Logconcave Sequences
The University of San Francisco USF Scholarship: a digital repository @ Gleeson Library Geschke Center Mathematics College of Arts and Sciences 007 Unbounded Regions of Infinitely Logconcave Sequences
More informationPartitions, rooks, and symmetric functions in noncommuting variables
Partitions, rooks, and symmetric functions in noncommuting variables Mahir Bilen Can Department of Mathematics, Tulane University New Orleans, LA 70118, USA, mcan@tulane.edu and Bruce E. Sagan Department
More informationA combinatorial approach to the q, t-symmetry relation in Macdonald polynomials
A combinatorial approach to the q, t-symmetry relation in Macdonald polynomials Maria Monks Gillespie Department of Mathematics University of California, Berkeley Berkeley, CA, U.S.A. monks@math.berkeley.edu
More informationarxiv: v1 [math.co] 10 Dec 2014
Towards a -analogue of the Harer-Zagier formula via rook placements Max Wimberley (MIT) arxiv:42.382v [math.co] 0 Dec 204 October 4, 208 Abstract In 986 Harer and Zagier computed a certain matrix integral
More informationDUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS
DUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS EDWARD E. ALLEN, JOSHUA HALLAM, AND SARAH K. MASON Abstract. We describe a combinatorial formula for
More informationDIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO
DIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO Abstract. In this paper, we give a sampling of the theory of differential posets, including various topics that excited me. Most of the material is taken from
More informationComputability Theoretic Properties of Injection Structures
Computability Theoretic Properties of Injection Structures Douglas Cenzer 1, Valentina Harizanov 2 and Jeffrey B. Remmel 3 Abstract We study computability theoretic properties of computable injection structures
More informationCOUNTING NONINTERSECTING LATTICE PATHS WITH TURNS
COUNTING NONINTERSECTING LATTICE PATHS WITH TURNS C. Krattenthaler Institut für Mathematik der Universität Wien, Strudlhofgasse 4, A-1090 Wien, Austria. e-mail: KRATT@Pap.Univie.Ac.At Abstract. We derive
More informationDiscrete Mathematics & Mathematical Reasoning Chapter 6: Counting
Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 39 Chapter Summary The Basics
More informationTwo-boundary lattice paths and parking functions
Two-boundary lattice paths and parking functions Joseph PS Kung 1, Xinyu Sun 2, and Catherine Yan 3,4 1 Department of Mathematics, University of North Texas, Denton, TX 76203 2,3 Department of Mathematics
More informationDiscrete Mathematics, Spring 2004 Homework 4 Sample Solutions
Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions 4.2 #77. Let s n,k denote the number of ways to seat n persons at k round tables, with at least one person at each table. (The numbers s n,k
More informationA Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.2.3 A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)! Ira M. Gessel 1 and Guoce Xin Department of Mathematics Brandeis
More informationCombinatorics of Tableau Inversions
Combinatorics of Tableau Inversions Jonathan E. Beagley Paul Drube Department of Mathematics and Statistics Valparaiso University Valparaiso, IN 46383-6493, U.S.A. {jon.beagley, paul.drube}@valpo.edu Submitted:
More informationTableau models for Schubert polynomials
Séminaire Lotharingien de Combinatoire 78B (07) Article #, pp. Proceedings of the 9 th Conference on Formal Power Series and Algebraic Combinatorics (London) Tableau models for Schubert polynomials Sami
More informationCOMBINATORIAL PROOFS OF GENERATING FUNCTION IDENTITIES FOR F-PARTITIONS
COMBINATORIAL PROOFS OF GENERATING FUNCTION IDENTITIES FOR F-PARTITIONS AE JA YEE 1 Abstract In his memoir in 1984 George E Andrews introduces many general classes of Frobenius partitions (simply F-partitions)
More informationAn Erdős-Ko-Rado problem on the strip
An Erdős-Ko-Rado problem on the strip Steve Butler 1 1 Department of Mathematics University of California, San Diego www.math.ucsd.edu/~sbutler GSCC 2008 12 April 2008 Extremal set theory We will consider
More informationINEQUALITIES OF SYMMETRIC FUNCTIONS. 1. Introduction to Symmetric Functions [?] Definition 1.1. A symmetric function in n variables is a function, f,
INEQUALITIES OF SMMETRIC FUNCTIONS JONATHAN D. LIMA Abstract. We prove several symmetric function inequalities and conjecture a partially proved comprehensive theorem. We also introduce the condition of
More informationThe initial involution patterns of permutations
The initial involution patterns of permutations Dongsu Kim Department of Mathematics Korea Advanced Institute of Science and Technology Daejeon 305-701, Korea dskim@math.kaist.ac.kr and Jang Soo Kim Department
More informationA proof of the Square Paths Conjecture
A proof of the Square Paths Conjecture Emily Sergel Leven arxiv:60.069v [math.co] Mar 06 March, 06 Abstract The modified Macdonald polynomials, introduced by Garsia and Haiman (996), have many astounding
More informationCounting permutations by cyclic peaks and valleys
Annales Mathematicae et Informaticae 43 (2014) pp. 43 54 http://ami.ektf.hu Counting permutations by cyclic peaks and valleys Chak-On Chow a, Shi-Mei Ma b, Toufik Mansour c Mark Shattuck d a Division of
More informationApplications of Chromatic Polynomials Involving Stirling Numbers
Applications of Chromatic Polynomials Involving Stirling Numbers A. Mohr and T.D. Porter Department of Mathematics Southern Illinois University Carbondale, IL 6290 tporter@math.siu.edu June 23, 2008 The
More informationCovering a Chessboard with Staircase Walks
Covering a Chessboard with Staircase Walks Eyal Ackerman Rom Pinchasi July 22, 2013 Abstract An ascending (resp., descending) staircase walk on a chessboard is a rook s path that goes either right or up
More informationSelf-dual interval orders and row-fishburn matrices
Self-dual interval orders and row-fishburn matrices Sherry H. F. Yan Department of Mathematics Zhejiang Normal University Jinhua 321004, P.R. China huifangyan@hotmail.com Yuexiao Xu Department of Mathematics
More informationSpanning Trees in Grid Graphs
Spanning Trees in Grid Graphs Paul Raff arxiv:0809.2551v1 [math.co] 15 Sep 2008 July 25, 2008 Abstract A general method is obtained for finding recurrences involving the number of spanning trees of grid
More informationPartitions, permutations and posets Péter Csikvári
Partitions, permutations and posets Péter Csivári In this note I only collect those things which are not discussed in R Stanley s Algebraic Combinatorics boo Partitions For the definition of (number) partition,
More informationLARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS
Bull. Korean Math. Soc. 51 (2014), No. 4, pp. 1229 1240 http://dx.doi.org/10.4134/bkms.2014.51.4.1229 LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Su Hyung An, Sen-Peng Eu, and Sangwook Kim Abstract.
More informationLecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya
BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya Resources: Kenneth
More information1 Introduction. Σ 0 1 and Π 0 1 equivalence structures
Σ 0 1 and Π 0 1 equivalence structures Douglas Cenzer, Department of Mathematics University of Florida, Gainesville, FL 32611 email: cenzer@math.ufl.edu Valentina Harizanov, Department of Mathematics George
More informationCounting Peaks and Valleys in a Partition of a Set
1 47 6 11 Journal of Integer Sequences Vol. 1 010 Article 10.6.8 Counting Peas and Valleys in a Partition of a Set Toufi Mansour Department of Mathematics University of Haifa 1905 Haifa Israel toufi@math.haifa.ac.il
More informationReconstructing integer sets from their representation functions
Reconstructing integer sets from their representation functions Vsevolod F. Lev Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel seva@math.haifa.ac.il Submitted: Oct 5, 2004;
More informationON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,
More informationThe Inclusion Exclusion Principle
The Inclusion Exclusion Principle 1 / 29 Outline Basic Instances of The Inclusion Exclusion Principle The General Inclusion Exclusion Principle Counting Derangements Counting Functions Stirling Numbers
More informationSets. A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set.
Sets A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set. If A and B are sets, then the set of ordered pairs each
More informationIsomorphisms between pattern classes
Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.
More informationPostorder Preimages. arxiv: v3 [math.co] 2 Feb Colin Defant 1. 1 Introduction
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 19:1, 2017, #3 Postorder Preimages arxiv:1604.01723v3 [math.co] 2 Feb 2017 1 University of Florida Colin Defant 1 received 7 th Apr. 2016,
More informationWhat you learned in Math 28. Rosa C. Orellana
What you learned in Math 28 Rosa C. Orellana Chapter 1 - Basic Counting Techniques Sum Principle If we have a partition of a finite set S, then the size of S is the sum of the sizes of the blocks of the
More informationCitation Osaka Journal of Mathematics. 43(2)
TitleIrreducible representations of the Author(s) Kosuda, Masashi Citation Osaka Journal of Mathematics. 43(2) Issue 2006-06 Date Text Version publisher URL http://hdl.handle.net/094/0396 DOI Rights Osaka
More informationAn Involution for the Gauss Identity
An Involution for the Gauss Identity William Y. C. Chen Center for Combinatorics Nankai University, Tianjin 300071, P. R. China Email: chenstation@yahoo.com Qing-Hu Hou Center for Combinatorics Nankai
More informationProbabilistic Aspects of the Integer-Polynomial Analogy
Probabilistic Aspects of the Integer-Polynomial Analogy Kent E. Morrison Department of Mathematics California Polytechnic State University San Luis Obispo, CA 93407 kmorriso@calpoly.edu Zhou Dong Department
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationMATH 580, midterm exam SOLUTIONS
MATH 580, midterm exam SOLUTIONS Solve the problems in the spaces provided on the question sheets. If you run out of room for an answer, continue on the back of the page or use the Extra space empty page
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationIdentifying an m-ary Partition Identity through an m-ary Tree
Bridgewater State University Virtual Commons - Bridgewater State University Mathematics Faculty Publications Mathematics Department 06 Identifying an m-ary Partition Identity through an m-ary Tree Timothy
More informationA combinatorial bijection on k-noncrossing partitions
A combinatorial bijection on k-noncrossing partitions KAIST Korea Advanced Institute of Science and Technology 2018 JMM Special Session in honor of Dennis Stanton January 10, 09:30 09:50 I would like to
More informationarxiv: v1 [math.co] 24 Jul 2013
BIJECTIONS FOR THE SHI AND ISH ARRANGEMENTS EMILY LEVEN, BRENDON RHOADES, AND ANDREW TIMOTHY WILSON arxiv:07.65v [math.co] 4 Jul 0 Abstract. The Shi hyperplane arrangement Shi(n) was introduced by Shi
More informationq-pell Sequences and Two Identities of V. A. Lebesgue
-Pell Seuences and Two Identities of V. A. Lebesgue José Plínio O. Santos IMECC, UNICAMP C.P. 6065, 13081-970, Campinas, Sao Paulo, Brazil Andrew V. Sills Department of Mathematics, Pennsylvania State
More informationOn Certain Sums of Stirling Numbers with Binomial Coefficients
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 18 (2015, Article 15.9.6 On Certain Sums of Stirling Numbers with Binomial Coefficients H. W. Gould Department of Mathematics West Virginia University
More informationGeometry of Jump Systems
Trinity University Digital Commons @ Trinity Mathematics Faculty Research Mathematics Department 2005 Geometry of Jump Systems Vadim Lyubashevsky Chad Newell Vadim Ponomarenko Trinity University Follow
More informationA Schröder Generalization of Haglund s Statistic on Catalan Paths
A Schröder Generalization of Haglund s Statistic on Catalan Paths Eric S Egge Department of Mathematics Gettysburg College, Gettysburg, PA 17325 eggee@memberamsorg James Haglund Department of Mathematics
More informationNetwork Augmentation and the Multigraph Conjecture
Network Augmentation and the Multigraph Conjecture Nathan Kahl Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 e-mail: nkahl@stevens-tech.edu Abstract Let Γ(n, m)
More informationTHE RADIO NUMBERS OF ALL GRAPHS OF ORDER n AND DIAMETER n 2
LE MATEMATICHE Vol LXVIII (2013) Fasc II, pp 167 190 doi: 104418/201368213 THE RADIO NUMBERS OF ALL GRAPHS OF ORDER n AND DIAMETER n 2 K F BENSON - M PORTER - M TOMOVA A radio labeling of a simple connected
More informationUniversal Juggling Cycles
Universal Juggling Cycles Fan Chung y Ron Graham z Abstract During the past several decades, it has become popular among jugglers (and juggling mathematicians) to represent certain periodic juggling patterns
More informationarxiv: v1 [math.co] 17 Dec 2007
arxiv:07.79v [math.co] 7 Dec 007 The copies of any permutation pattern are asymptotically normal Milós Bóna Department of Mathematics University of Florida Gainesville FL 36-805 bona@math.ufl.edu Abstract
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
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 / 57
More informationCOMPOSITIONS WITH A FIXED NUMBER OF INVERSIONS
COMPOSITIONS WITH A FIXED NUMBER OF INVERSIONS A. KNOPFMACHER, M. E. MAYS, AND S. WAGNER Abstract. A composition of the positive integer n is a representation of n as an ordered sum of positive integers
More informationAdjoint Representations of the Symmetric Group
Adjoint Representations of the Symmetric Group Mahir Bilen Can 1 and Miles Jones 2 1 mahirbilencan@gmail.com 2 mej016@ucsd.edu Abstract We study the restriction to the symmetric group, S n of the adjoint
More informationEigenvalues of Random Matrices over Finite Fields
Eigenvalues of Random Matrices over Finite Fields Kent Morrison Department of Mathematics California Polytechnic State University San Luis Obispo, CA 93407 kmorriso@calpoly.edu September 5, 999 Abstract
More informationIra M. Gessel Department of Mathematics, Brandeis University, P.O. Box 9110, Waltham, MA Revised September 30, 1988
GENERALIZED ROOK POLYNOMIALS AND ORTHOGONAL POLYNOMIALS Ira M. Gessel Department of Mathematics, Brandeis University, P.O. Box 9110, Waltham, MA 02254-9110 Revised September 30, 1988 Abstract. We consider
More informationBilateral truncated Jacobi s identity
Bilateral truncated Jacobi s identity Thomas Y He, Kathy Q Ji and Wenston JT Zang 3,3 Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 30007, PR China Center for Applied Mathematics Tianjin
More informationThe (q, t)-catalan Numbers and the Space of Diagonal Harmonics. James Haglund. University of Pennsylvania
The (q, t)-catalan Numbers and the Space of Diagonal Harmonics James Haglund University of Pennsylvania Outline Intro to q-analogues inv and maj q-catalan Numbers MacMahon s q-analogue The Carlitz-Riordan
More informationA New Variation of Hat Guessing Games
A New Variation of Hat Guessing Games Tengyu Ma 1, Xiaoming Sun 1, and Huacheng Yu 1 Institute for Theoretical Computer Science Tsinghua University, Beijing, China Abstract. Several variations of hat guessing
More informationPattern avoidance in partial permutations
Pattern avoidance in partial permutations Anders Claesson Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK anders.claesson@cis.strath.ac.uk Vít Jelínek Fakultät
More informationAhlswede Khachatrian Theorems: Weighted, Infinite, and Hamming
Ahlswede Khachatrian Theorems: Weighted, Infinite, and Hamming Yuval Filmus April 4, 2017 Abstract The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of
More informationCYCLE-COUNTING Q-ROOK THEORY AND OTHER GENERALIZATIONS OF CLASSICAL ROOK THEORY. Frederick Michael Butler A DISSERTATION.
CYCLE-COUNTING Q-ROOK THEORY AND OTHER GENERALIZATIONS OF CLASSICAL ROOK THEORY Frederick Michael Butler A DISSERTATION in Mathematics Presented to the Faculties of the University of Pennsylvania in Partial
More information