A new proof of some identities of Bressoud (Q1854177): Difference between revisions

Summary: We provide a new proof of the following two identities due to Bressoud: \[ \sum_{m=0}^N q^{m^{2}} \left[\begin{matrix} N\\m \end{matrix}\right] = \sum_{m=-\infty}^{\infty} (-1)^m q^{m(5m+1)/2} \left[\begin{matrix} 2N\\N+2m \end{matrix}\right], \] \[ \sum_{m=0}^N q^{m^{2}+m} \left[\begin{matrix} N\\m \end{matrix}\right] = (1/ (1-q^{N+1})) \sum_{m=-\infty}^{\infty} (-1)^m\times q^{m(5m+3)/2} \left[\begin{matrix} 2N+2\\N+2m+2 \end{matrix}\right], \] which can be considered as finite versions of the Rogers-Ramanujan identities.