The hard-hexagon model and Rogers—Ramanujan type identities
The hard-hexagon model and Rogers—Ramanujan type identities
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.