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

About 3 years old · traced to

Let a,b,ka,b,k be integers such that 0⩽a,b⩽k0\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⩾⋯⩾λk⩾0\lambda_1\geqslant\cdots\geqslant\lambda_k\geqslant0 and μ1⩾⋯⩾μk⩾0\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⩾⋯⩾λk⩾0μ1⩾⋯⩾μk⩾01−qλa+μb+11−qq∑i=1k(λi2−λiμi+μi2)+∑i=a+1kλi+∑i=b+1kμi∏i=1k−1(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 0⩽a,b⩽k0\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.

References

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.