arXiv++ Combinatorics

We prove that the normalisation of the stationary state of the multi-species asymmetric simple exclusion process (mASEP) is a specialisation of a Koornwinder polynomial. As a corollary we obtain that the normalisation of mASEP factorises as a product over multiple copies of the two-species ASEP.

We present a new, explicit sum formula for symmetric Macdonald polynomials $P_λ$ and show that they can be written as a trace over a product of (infinite dimensional) matrices. These matrices satisfy the Zamolodchikov--Faddeev (ZF) algebra. We construct solutions of the ZF algebra from a rank-reduced version of the Yang--Baxter algebra. As a corollary, we find that the normalization of the stationary measure of the multi-species asymmetric exclusion process is a Macdonald polynomial with all variables set equal to one.

We derive a matrix product formula for symmetric Macdonald polynomials. Our results are obtained by constructing polynomial solutions of deformed Knizhnik--Zamolodchikov equations, which arise by considering representations of the Zamolodchikov--Faddeev and Yang--Baxter algebras in terms of $t$-deformed bosonic operators. These solutions form a basis of the ring of polynomials in $n$ variables, whose elements are indexed by compositions. For weakly increasing compositions (anti-dominant weights), these basis elements coincide with non-symmetric Macdonald polynomials. Our formulas imply a natural combinatorial interpretation in terms of solvable lattice models. They also imply that normalisations of stationary states of multi-species exclusion processes are obtained as Macdonald polynomials at $q=1$.

We introduce and prove a one-parameter refinement of the Razumov-Stroganov correspondence. This is achieved for fully-packed loop configurations (FPL) on domains which generalize the square domain, and which are endowed with the gyration operation. We consider one given side of the domain, and FPLs such that the only straight-line tile on this side is black. We show that the enumeration vector associated to such FPLs, weighted according to the position of the straight line and refined according to the link pattern for the black boundary points, is the ground state of the scattering matrix, an integrable one-parameter deformation of the O(1) Dense Loop Model Hamiltonian. We show how the original Razumov-Stroganov correspondence, and a conjecture formulated by Di Francesco in 2004, follow from our results.

In this paper we compute the Emptiness Formation Probability of a (twisted-) periodic XXZ spin chain of finite length at $Δ=-1/2$, thus proving the formulae conjectured by Razumov and Stroganov \cite{raz-strog1, raz-strog2}. The result is obtained by exploiting the fact that the ground state of the inhomogeneous XXZ spin chain at $Δ=-1/2$ satisfies a set of qKZ equations associated to $\displaystyle{U_q(\hat{sl_2})}$.

We prove a determinantal identity concerning Schur functions for 2-staircase diagrams lambda=(ln+l',ln,l(n-1)+l',l(n-1),...,l+l',l,l',0). When l=1 and l'=0 these functions are related to the partition function of the 6-vertex model at the combinatorial point and hence to enumerations of Alternating Sign Matrices. A consequence of our result is an identity concerning the doubly-refined enumerations of Alternating Sign Matrices.

The Razumov-Stroganov conjecture relates the ground-state coefficients in the even-length dense O(1) loop model to the enumeration of fully-packed loop configuration on the square, with alternating boundary conditions, refined according to the link pattern for the boundary points. Here we prove this conjecture, by mean of purely combinatorial methods. The main ingredient is a generalization of the Wieland proof technique for the dihedral symmetry of these classes, based on the `gyration' operation, whose full strength we will investigate in a companion paper.

In this paper we study the Rotor Model of Martins and Nienhuis. After introducing spectral parameters, a combined use of integrability, polynomiality of the ground state wave function and a mapping into the fully-packed O(1)-model allows us to determine the sum rule and a family of maximally nested components for different boundary conditions. We see in this way the appearance of 3-enumerations of Alternating Sign Matrices.