The hard-hexagon model and Rogers-Ramanujan type identities

Proc Natl Acad Sci U S A. 1981 Sep;78(9):5290-2. doi: 10.1073/pnas.78.9.5290.

Abstract

In regime II of Baxter's solution of the hard-hexagon model [Baxter, R. J. (1980) J. Phys. A 13, L61-L70], he presents six conjectures identifying certain one-dimensional partition functions with infinite products. An outline of the proof of these conjectures is given here.