arXiv++ Combinatorics

The set of n by n upper-triangular nilpotent matrices with entries in a finite field F_q has Jordan canonical forms indexed by partitions lambda of n. We present a combinatorial formula for computing the number F_λ(q) of matrices of Jordan type lambda as a weighted sum over standard Young tableaux. We also study a connection between these matrices and non-attacking rook placements, which leads to a refinement of the formula for F_λ(q).

This paper studies the generalizations of the Stirling numbers of both kinds and the Lah numbers in association with the normal order problem in the Weyl algebra $W=\langle x,D|Dx-xD=1\rangle$. Any word $ω\in W$ with $m$ $x$'s and $n$ $D$'s can be expressed in the normally ordered form $ω=x^{m-n}\sum_{k\ge 0} {ω\brace {k}} x^{k}D^{k}$, where ${ω\brace {k}}$ is known as the Stirling number of the second kind for the word $ω$. This study considers the expansions of restricted words $ω$ in $W$ over the sequences $\{(xD)^{k}\}_{k\ge 0}$ and $\{xD^{k}x^{k-1}\}_{k\ge 0}$. Interestingly, the coefficients in individual expansions turn out to be generalizations of the Stirling numbers of the first kind and the Lah numbers. The coefficients will be determined through enumerations of some combinatorial structures linked to the words $ω$, involving decreasing forest decompositions of quasi-threshold graphs and non-attacking rook placements on Ferrers boards. Extended to $q$-analogues, weighted refinements of the combinatorial interpretations are also investigated for words in the $q$-deformed Weyl algebra.

We define and enumerate two new two-parameter permutation families, namely, placements of a maximum number of non-attacking rooks on $k$ chained-together $n\times n$ chessboards, in either a circular or linear configuration. The linear case with $k=1$ corresponds to standard permutations of $n$, and the circular case with $n=4$ and $k=6$ corresponds to a three-person chessboard. We give bijections of these rook placements to matrix form, one-line notation, and matchings on certain graphs. Finally, we define chained linear and circular alternating sign matrices, enumerate them for certain values of $n$ and $k$, and give bijections to analogues of monotone triangles, square ice configurations, and fully-packed loop configurations.

We study a family of polynomials associated with ascent-descent statistics on labeled rooted plane k-ary trees introduced by Gessel, from a rook-theoretic perspective. We generalize the excedance statistic on permutations to maximal nonattacking rook placements on certain rectangular boards by decomposing them into boards of staircase shape. We then relate the number of maximal nonattacking rook placements on certain skew boards to the number of regions in extended Linial arrangements by establishing a relation between the factorial polynomial of those boards to the characteristic polynomial of extended Linial arrangements. Furthermore, we give a combinatorial interpretation of the number of bounded regions in extended Linial arrangements in the setting of labeled rooted plane k-ary trees. Finally, using the work of Goldman-Joichi-White, we identify graphs whose chromatic polynomials equal the characteristic polynomials of extended Linial arrangements upto a straightforward normalization.

The PASEP (Partially Asymmetric Simple Exclusion Process) is a probabilistic model of moving particles, which is of great interest in combinatorics, since it appeared that its partition function counts some tableaux. These tableaux have several variants such as permutations tableaux, alternative tableaux, tree- like tableaux, Dyck tableaux, etc. We introduce in this context certain excursions in Young's lattice, that we call stammering tableaux (by analogy with oscillating tableaux, vacillating tableaux, hesitating tableaux). Some natural bijections make a link with rook placements in a double staircase, chains of Dyck paths obtained by successive addition of ribbons, Laguerre histories, Dyck tableaux, etc.

Suppose the rows of a board are partitioned into sets of m rows called levels. An m-level rook placement is a subset of the board where no two squares are in the same column or the same level. We construct explicit bijections to prove three theorems about such placements. We start with two bijections between Ferrers boards having the same number of m-level rook placements. The first generalizes a map by Foata and Sch\"utzenberger and our proof applies to any Ferrers board. This bijection also preserves the m-inversion number statistic of an m-level rook placement, defined by Briggs and Remmel. The second generalizes work of Loehr and Remmel. This construction only works for a special class of Ferrers boards, but it yields a formula for calculating the rook numbers of these boards in terms of elementary symmetric functions. Finally we generalize another result of Loehr and Remmel giving a bijection between boards with the same hit numbers. The second and third bijections involve the Involution Principle of Garsia and Milne.

We consider a generalization of Eulerian numbers which count the number of placements of $cn$ "rooks" on an $n\times n$ board where there are exactly $c$ rooks in each row and each column, and exactly $k$ rooks below the main diagonal. The standard Eulerian numbers correspond to the case $c=1$. We show that for any $c$ the resulting numbers are symmetric and give generating functions of these numbers for small values of $k$.

In 1986 Harer and Zagier computed a certain matrix integral to determine an influential closed-form formula for the number of (orientable) one-face maps on n vertices colored from N colors. Kerov (1997) provided a proof which computed the same matrix integral differently, which gave an interpretation of these numbers as also counting the number of placements of non-attacking rooks on Young diagrams. Bernardi (2010) provided a bijective proof of this formula by putting one-face maps in bijection with tree-rooted maps, which are orientable maps with a designated spanning tree. In the first part of the paper, we explore the connection between these rook placements and tree-rooted maps by developing a bijection between these objects. Rook placements on Young diagrams have a q-analogue due to Garsia and Remmel (1986). In the second part of the paper, we propose a statistic on rook placements that leads to a conjectured identity which is a q-analogue of part of the Harer-Zagier formula. This identity is also expressed in terms of moments of orthogonal polynomials which are rescaling of q-Hermite polynomials. We then use these moments to give a recurrence for the proposed q-analogue.

We use rook placements to prove Spivey's Bell number formula and other identities related to it, in particular, some convolution identities involving Stirling numbers and relations involving Bell numbers. To cover as many special cases as possible, we work on the generalized Stirling numbers that arise from the rook model of Goldman and Haglund. An alternative combinatorial interpretation for the Type II generalized $q$-Stirling numbers of Remmel and Wachs is also introduced in which the method used to obtain the earlier identities can be adapted easily.

There are numerous combinatorial objects associated to a Grassmannian permutation $w_λ$ that index cells of the totally nonnegative Grassmannian. We study several of these objects and their $q$-analogues in the case of permutations $w$ that are not necessarily Grassmannian. We give two main results: first, we show that certain acyclic orientations, rook placements avoiding a diagram of $w$, and fillings of a diagram of $w$ are equinumerous for all permutations $w$. Second, we give a $q$-analogue of a result of Hultman-Linusson-Shareshian-Sjöstrand by showing that under a certain pattern condition the Poincaré polynomial for the Bruhat interval of $w$ essentially counts invertible matrices avoiding a diagram of $w$ over a finite field. In addition to our main results, we include at the end a number of open questions.

Using bijections between pattern-avoiding permutations and certain full rook placements on Ferrers boards, we give short proofs of two enumerative results. The first is a simplified enumeration of the 3124, 1234-avoiding permutations, obtained recently by Callan via a complicated decomposition. The second is a streamlined bijection between 1342-avoiding permutations and permutations which can be sorted by two increasing stacks in series, originally due to Atkinson, Murphy, and Ruškuc.

We derive a combinatorial equilibrium for bounded juggling patterns with a random, $q$-geometric throw distribution. The dynamics are analyzed via rook placements on staircase Ferrers boards, which leads to a steady-state distribution containing $q$-rook polynomial coefficients and $q$-Stirling numbers of the second kind. We show that the equilibrium probabilities of the bounded model can be uniformly approximated with the equilibrium probabilities of a corresponding unbounded model. This observation leads to new limit formulae for $q$-analogues. Keywords: juggling pattern; $q$-Stirling number of the second kind; Ferrers board; Markov process; combinatorial equilibrium

Goldman, Joichi, and White proved a beautiful theorem showing that the falling factorial generating function for the rook numbers of a Ferrers board factors over the integers. Briggs and Remmel studied an analogue of rook placements where rows are replaced by sets of $m$ rows called levels. They proved a version of the factorization theorem in that setting, but only for certain Ferrers boards. We generalize this result to any Ferrers board as well as giving a p,q-analogue. We also consider a dual situation involving weighted file placements which permit more than one rook in the same row. In both settings, we discuss properties of the resulting equivalence classes such as the number of elements in a class. In addition, we prove analogues of a theorem of Foata and Schützenberger giving a distinguished representative in each class as well as make connections with the q,t-Catalan numbers. We end with some open questions raised by this work.

Extending the notion of pattern avoidance in permutations, we study matchings and set partitions whose arc diagram representation avoids a given configuration of three arcs. These configurations, which generalize 3-crossings and 3-nestings, have an interpretation, in the case of matchings, in terms of patterns in full rook placements on Ferrers boards. We enumerate 312-avoiding matchings and partitions, obtaining algebraic generating functions, in contrast with the known D-finite generating functions for the 321-avoiding (i.e., 3-noncrossing) case. Our approach also provides a more direct proof of a formula of Bóna for the number of 1342-avoiding permutations. Additionally, we give a bijection proving the shape-Wilf-equivalence of the patterns 321 and 213 which greatly simplifies existing proofs by Backelin--West--Xin and Jelínek, and provides an extension of work of Gouyou-Beauchamps for matchings with fixed points. Finally, we classify pairs of patterns of length 3 according to shape-Wilf-equivalence, and enumerate matchings and partitions avoiding a pair in most of the resulting equivalence classes.

We consider the problem of finding the number of matrices over a finite field with a certain rank and with support that avoids a subset of the entries. These matrices are a q-analogue of permutations with restricted positions (i.e., rook placements). For general sets of entries these numbers of matrices are not polynomials in q (Stembridge 98); however, when the set of entries is a Young diagram, the numbers, up to a power of q-1, are polynomials with nonnegative coefficients (Haglund 98). In this paper, we give a number of conditions under which these numbers are polynomials in q, or even polynomials with nonnegative integer coefficients. We extend Haglund's result to complements of skew Young diagrams, and we apply this result to the case when the set of entries is the Rothe diagram of a permutation. In particular, we give a necessary and sufficient condition on the permutation for its Rothe diagram to be the complement of a skew Young diagram up to rearrangement of rows and columns. We end by giving conjectures connecting invertible matrices whose support avoids a Rothe diagram and Poincaré polynomials of the strong Bruhat order.

Stankova and West proved in 2002 that the patterns 231 and 312 are shape-Wilf-equivalent. Their proof was nonbijective and fairly complicated. We give a new characterization of 231 and 312 avoiding full rook placements and use this to give a simple bijective proof of the shape-Wilf- equivalence.

In their paper [1] on Wilf-equivalence for singleton classes, Backelin, Xin, and West introduce a transformation $φ^*$, defined by an iterative process and operating on (all) full rook placements on Ferrers boards. In [3], Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson prove the analogue of the main result of [1] in the context of involutions, and in so doing they must prove that $φ^*$ commutes with the operation of taking inverses. The proof of this commutation result is long and difficult, and Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson ask if $φ^*$ might be reformulated in such a way as to make this result obvious. In the present paper we provide such a reformulation of $φ^*$, by modifying the growth diagram algorithm of Fomin [4,5]. This also answers a question of Krattenthaler [6, problem 4], who notes that a bijection defined by the unmodified Fomin algorithm obviously commutes with inverses, and asks what the connection is between this bijection and $φ^*$.

Let $B$ be the group of invertible upper-triangular complex $n\times n$ matrices, $\mathfrak{u}$ the space of upper-triangular complex matrices with zeroes on the diagonal and $\mathfrak{u}^*$ its dual space. The group $B$ acts on $\mathfrak{u}^*$ by $(g.f)(x)=f(gxg^{-1})$, $g\in B$, $f\in\mathfrak{u}^*$, $x\in\mathfrak{u}$. To each involution $σ$ in $S_n$, the symmetric group on $n$ letters, one can assign the $B$-orbit $Ω_σ\in\mathfrak{u}^*$. We present a combinatorial description of the partial order on the set of involutions induced by the orbit closures. The answer is given in terms of rook placements and is dual to A. Melnikov's results on $B$-orbits on $\mathfrak{u}$. Using results of F. Incitti, we also prove that this partial order coincides with the restriction of the Bruhat--Chevalley order to the set of involutions.

We study the simplicial complex that arises from non-attacking rook placements on a subclass of Ferrers boards that have $a_i$ rows of length $i$ where $a_i>0$ and $i\leq n$ for some positive integer $n$. In particular, we will investigate enumerative properties of their facets, their homotopy type, and homology.

Let $Π_n$ denote the set of all set partitions of $\{1,2,\ldots,n\}$. We consider two subsets of $Π_n$, one connected to rook theory and one associated with symmetric functions in noncommuting variables. Let $\cE_n\sbeΠ_n$ be the subset of all partitions corresponding to an extendable rook (placement) on the upper-triangular board, $\cT_{n-1}$. Given $π\inΠ_m$ and $\si\inΠ_n$, define their {\it slash product\/} to be $π|\si=π\cup(\si+m)\inΠ_{m+n}$ where $\si+m$ is the partition obtained by adding $m$ to every element of every block of $\si$. Call $τ$ {\it atomic\/} if it can not be written as a nontrivial slash product and let $\cA_n\sbeΠ_n$ denote the subset of atomic partitions. Atomic partitions were first defined by Bergeron, Hohlweg, Rosas, and Zabrocki during their study of $NCSym$, the symmetric functions in noncommuting variables. We show that, despite their very different definitions, $\cE_n=\cA_n$ for all $n\ge0$. Furthermore, we put an algebra structure on the formal vector space generated by all rook placements on upper triangular boards which makes it isomorphic to $NCSym$. We end with some remarks and an open problem.