Pad a partition in a rectangle with zero rows until it has entries, and put . The complementary rotated diagram has row lengths . This is again a partition in a rectangle, and its size is . Repeating the operation recovers the original integer partition, so it gives a bijection between diagrams of size and diagrams of size . Consequently the coefficients of the Gaussian polynomial read the same in either direction. The displayed identity can be interpreted as an identity of Laurent polynomials; it does not require substituting at .
For the two-by-two rectangle, the empty diagram pairs with , and pairs with ; and each map to themselves. This establishes symmetry, while unimodality of Gaussian binomial coefficients is a stronger statement about the growth and decrease of successive coefficients.

Articles by others on the same topic (0)

There are currently no matching articles.