arXiv++ Combinatorics

Borel's triangle is an array of integers closely related to the classical Catalan numbers. In this paper we study combinatorial statistics counted by Borel's triangle. We present various combinatorial interpretations of Borel's triangle in terms of lattice paths, binary trees, and pattern avoiding permutations and matchings, and derive a functional equation that is useful in analyzing the involved structures.

We give combinatorial proofs of $q$-Stirling identities using restricted growth words. This includes a poset theoretic proof of Carlitz's identity, a new proof of the $q$-Frobenius identity of Garsia and Remmel and of Ehrenborg's Hankel $q$-Stirling determinantal identity. We also develop a two parameter generalization to unify identities of Mercier and include a symmetric function version.

We show the classical $q$-Stirling numbers of the second kind can be expressed compactly as a pair of statistics on a subset of restricted growth words. The resulting expressions are polynomials in $q$ and $1+q$. We extend this enumerative result via a decomposition of a new poset $Π(n,k)$ which we call the Stirling poset of the second kind. Its rank generating function is the $q$-Stirling number $S_q[n,k]$. The Stirling poset of the second kind supports an algebraic complex and a basis for integer homology is determined. A parallel enumerative, poset theoretic and homological study for the $q$-Stirling numbers of the first kind is done. Letting $t = 1+q$ we give a bijective argument showing the $(q,t)$-Stirling numbers of the first and second kind are orthogonal.