The u-deformed Macdonald Littlewood identity

Throughout this subsection, let N=2nN=2n, and let Pλ(x1,,xN;q,t)P_\lambda(x_1,\dots,x_N;q,t) denote Macdonald polynomials, with bλel(q,t)b^{\rm el}_\lambda(q,t) the even-columns Littlewood coefficient. Write λ\lambda' even when every column length of the partition λ\lambda is even. Let Pf\operatorname{Pf} denote the Pfaffian of the displayed skew-symmetric matrix. The uu-deformed Macdonald Littlewood conjecture.

λ even i evenN(1uqλitNi)bλel(q,t)Pλ(x1,,xN;q,t)=1i<jN(txixj;q)(xixj;q)1i<jN(1xixj)(xixj)Pf1i<jN[(xixj)(1u+(ut)xixj)(1xixj)(1txixj)].\sum_{\lambda'\ {\rm even}} \ \prod_{i\ {\rm even}}^{N} (1-u q^{\lambda_i} t^{N-i} ) b^{\rm el}_{\lambda}(q,t) P_{\lambda}(x_1,\dots,x_{N};q,t) = \prod_{1 \leqslant i<j \leqslant N} \frac{(t x_i x_j;q)}{(x_i x_j;q)} \prod_{1 \leqslant i<j \leqslant N} \frac{(1-x_i x_j)}{(x_i - x_j)} \operatorname{Pf}_{1\leqslant i < j \leqslant N} \left[ \frac{(x_i - x_j) (1 - u + (u-t) x_i x_j)} {(1-x_i x_j) (1-t x_i x_j)} \right].

This conjecture is a one-parameter refinement of the even-columns Littlewood identity for Macdonald polynomials. It was supported by extensive numerical testing, but the source explicitly states that no proof is known; a possible approach is via suitable difference operators.

Sources & referencesView supporting material

Primary source

D. Betea, M. Wheeler and P. Zinn-Justin, “Refined Cauchy/Littlewood identities and six-vertex model partition functions: II. Proofs and new conjectures”, arXiv:1405.7035 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.