Andrews-Schur Identity

The Andrews-Schur identity states

 sum_(k=0)^nq^(k^2+ak)[2n-k+a; k]_q 
 =sum_(k=-infty)^inftyq^(10k^2+(4a-1)k)[2n+2a+2; n-5k]_q([10k+2a+2]_q)/([2n+2a+2]_q)

where [n; m]_q is a q-binomial coefficient and [n]_q is a q-bracket. It is a polynomial identity for a=0, 1 which implies the Rogers-Ramanujan identities by taking n->infty and applying the Jacobi triple product identity.

The limit as n->infty of the identity in (1) is


A variant of the identity is

 sum_(k=-|_a/2_|)^nq^(k^2+2ak)[n+k+a; n-k]_q 
 =sum_(-|_(n+2a+2)/5_|)^(|_n/5_|)q^(15k^2+(6a+1)k)[2n+2a+2; n-5k]_q([10k+2a+2]_q)/([2n+2a+2]_q),

where the symbol |_x_| in the sum limits is the floor function (Paule 1994). A related identity is given by


for a=0, 1 (Paule 1994). For q=1, equation (3) becomes

 sum_(k=-|_a/2_|)^n(n+k+a; n-k)=sum_(k=-|_(n+2a+2)/5_|)^(|_n/5_|)(2n+2a+2; n-5k)(5k+a+1)/(n+a+1).

See also

Rogers-Ramanujan Identities

Explore with Wolfram|Alpha


Andrews, G. E. "A Polynomial Identity which Implies the Rogers-Ramanujan Identities." Scripta Math. 28, 297-305, 1970.Paule, P. "Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type." Electronic J. Combinatorics 1, No. 1, R10, 1-9, 1994.

Referenced on Wolfram|Alpha

Andrews-Schur Identity

Cite this as:

Weisstein, Eric W. "Andrews-Schur Identity." From MathWorld--A Wolfram Web Resource.

Subject classifications