arXiv++ Combinatorics

Pak and Panova recently proved that the $q$-binomial coefficient ${m+n \choose m}_q$ is a strictly unimodal polynomial in $q$ for $m,n \geq 8$, via the representation theory of the symmetric group. We give a direct combinatorial proof of their result by characterizing when a product of chains is strictly unimodal and then applying O'Hara's structure theorem for the partition lattice $L(m,n)$. In fact, we prove a stronger result: if $m, n \geq 8d$, and $2d \leq r \leq mn/2$, then the $r$-th rank of $L(m,n)$ has at least $d$ more elements that the next lower rank.

Young's lattice $L(m,n)$ consists of partitions having $m$ parts of size at most $n$, ordered by inclusion of the corresponding Ferrers diagrams. K. O'Hara gave the first constructive proof of the unimodality of the Gaussian polynomials by expressing the underlying ranked set of $L(m,n)$ as a disjoint union of products of centered rank-unimodal subsets. We construct a finer decomposition which is compatible with the partial order on Young's lattice, at the cost of replacing the cartesian product with a more general poset extension. As a corollary, we obtain an explicit chain decomposition which exhibits the rank-unimodality of $L(m,n)$. Moreover, this set of chains is closed under the natural rank-flipping involution given by taking complements of Ferrers diagrams.

Young's partition lattice $L(m,n)$ consists of unordered partitions having $m$ parts where each part is at most $n$. Using methods from complex algebraic geometry, R. Stanley proved that $L(m,n)$ is rank-symmetric, unimodal, and strongly Sperner. Moreover, he conjectured that $L(m,n)$ has a stronger property called symmetric chain decomposition. Despite many efforts, this conjecture has only been proved for $\min(m,n)\leq 4$. In this paper, we decompose $L(m,n)$ into level sets for certain tropical polynomials derived from the secant varieties of the rational normal curve in projective space, and we find that the resulting subposets have an elementary raising and lowering algorithm. As a corollary, we obtain a symmetric chain decomposition for the subposet of $L(m,n)$ consisting of "sufficiently generic" partitions.

A finite ranked poset is called a symmetric chain order if it can be written as a disjoint union of rank-symmetric, saturated chains. If $P$ is any symmetric chain order, we prove that $P^n/\mathbb{Z}_n$ is also a symmetric chain order, where $\mathbb{Z}_n$ acts on $P^n$ by cyclic permutation of the factors.