6
$\begingroup$

I was surprised to learn of Durfee squares, which can be visually explained as the largest square contained within a partition's Ferrers diagram.

Moreover, partition identities have always amused me by how complicated they appear at first to prove. Out of curiosity, can Durfee squares be used to prove either of the following partition identities?

$$ \prod_{i\geq 1}(1-qx^i)^{-1}=\sum_{j\geq 0}\frac{x^{j^2}q^j}{(1-x)\cdots(1-x^j)(1-qx)\cdots(1-qx^j)} $$ or $$ \prod_{i\geq 1}(1+qx^{2i-1})=\sum_{j\geq 0}\frac{x^{j^2}q^j}{(1-x^2)(1-x^4)\cdots(1-x^{2j})}? $$

In fact, in Andrews and Eriksson's Integer Partitions, Exercise 101 on page 77 suggests that Durfee squares can be used to determine these formulas. How can this method be employed? Thanks.

  • 0
    The idea is that the LHS of both identities count partitions based on number of rows (the coefficient of $q$) and number of squares (the coefficient of $x$) and the RHS counts those same partitions, but grouped together based on the size of their Durfee squares ($x^{j^2}$ refers to the number of squares in the Durfee square). When you remove a Durfee square from a partition, you get a pair of partitions, and... well, I'll let you fill in the details.2012-02-09
  • 0
    Thanks, I'll try to give it a shot.2012-02-09

1 Answers 1