Kanade–Russell conjecture for the complete family of Andrews–Schilling–Warnaar identities

Let a,b,ka,b,k be integers such that 0a,bk0\leqslant a,b\leqslant k, let τ{1,0,1}\tau\in\{-1,0,1\}, and set

K:=3k+τ+3.K:=3k+\tau+3.

For weakly decreasing nonnegative integer sequences λ1λk0\lambda_1\geqslant\cdots\geqslant\lambda_k\geqslant0 and μ1μk0\mu_1\geqslant\cdots\geqslant\mu_k\geqslant0, with qλ0=qμ0:=0q^{\lambda_0}=q^{\mu_0}:=0, and with gλk,μk;τ(q)g_{\lambda_k,\mu_k;\tau}(q) as in the Andrews–Schilling–Warnaar identities, Kanade–Russell conjecture.

λ1λk0μ1μk01qλa+μb+11qqi=1k(λi2λiμi+μi2)+i=a+1kλi+i=b+1kμii=1k1(q;q)λiλi+1(q;q)μiμi+1gλk,μk;τ(q)=(qK;qK)2(q;q)3θ(qa+1,qb+1,qa+b+2;qK).\begin{aligned} &\sum_{\substack{\lambda_1\geqslant\cdots\geqslant\lambda_k\geqslant0\\ \mu_1\geqslant\cdots\geqslant\mu_k\geqslant0}} \frac{1-q^{\lambda_a+\mu_b+1}}{1-q} \frac{q^{\sum_{i=1}^k(\lambda_i^2-\lambda_i\mu_i+\mu_i^2)+\sum_{i=a+1}^k\lambda_i+\sum_{i=b+1}^k\mu_i}} {\prod_{i=1}^{k-1}(q;q)_{\lambda_i-\lambda_{i+1}}(q;q)_{\mu_i-\mu_{i+1}}} g_{\lambda_k,\mu_k;\tau}(q)\\ &\qquad=\frac{(q^K;q^K)_\infty^2}{(q;q)_\infty^3}\,\theta(q^{a+1},q^{b+1},q^{a+b+2};q^K). \end{aligned}

This conjecture completes the known ASW identities, providing the expected multisum and product identity for every pair of parameters a,ba,b with 0a,bk0\leqslant a,b\leqslant k. It has interpretations in terms of principally specialised characters of A2(1)\mathrm{A}_2^{(1)} and generating functions for cylindric partitions, but its general status is not established.

Sources & referencesView supporting material

Primary source

S. Ole Warnaar, “An A_2 Bailey tree and A_2^(1) Rogers-Ramanujan-type identities”, arXiv:2303.09069 (2025).

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.