Spin-Ruijsenaars, q-Deformed Haldane–Shastry and Macdonald Polynomials

Abstract

We study the q-analogue of the Haldane–Shastry model, a partially isotropic (xxz-like) long-range spin chain that by construction enjoys quantum-affine (really: quantum-loop) symmetries at finite system size. We derive the pairwise form of the Hamiltonian, found by one of us building on work of D. Uglov, via ‘freezing’ from the affine Hecke algebra. To this end we first obtain explicit expressions for the spin-Macdonald operators of the (trigonometric) spin-Ruijsenaars model. Through freezing these give rise to the higher Hamiltonians of the spin chain, including another Hamiltonian of the opposite ‘chirality’. The sum of the two chiral Hamiltonians has a real spectrum also when |mathsf {q}|=1, so in particular when q is a root of unity. For generic mathsf {q} the eigenspaces are known to be labelled by ‘motifs’. We clarify the relation between these patterns and the corresponding degeneracies (multiplicities) in the crystal limit textsf {q}rightarrow infty . For each motif we obtain an explicit expression for the exact eigenvector, valid for generic q, that has (‘pseudo’ or ‘l-’) highest weight in the sense that, in terms of the operators from the monodromy matrix, it is an eigenvector of A and D and annihilated by C. It has a simple component featuring the ‘symmetric square’ of the q-Vandermonde polynomial times a Macdonald polynomial—or more precisely its quantum spherical zonal special case. All other components of the eigenvector are obtained from this through the action of the Hecke algebra, followed by ‘evaluation’ of the variables to roots of unity. We prove that our vectors have highest weight upon evaluation. Our description of the exact spectrum is complete. The entire model, including the quantum-loop action, can be reformulated in terms of polynomials. Our main tools are the Y-operators from the affine Hecke algebra. From a more mathematical perspective the key step in our diagonalisation is as follows. We show that on a subspace of suitable polynomials the first M ‘classical’ (i.e. no difference part) Y-operators in N variables reduce, upon evaluation as above, to Y-operators in M variables with parameters at the quantum zonal spherical point.