Rank-four tadpole Rogers–Ramanujan companion identity

About 1 year old · traced to

Let qq be a formal variable, and for n≥0n\geq0 let (q4;q4)n(q^4;q^4)_n and (qm;qm)∞(q^m;q^m)_\infty denote the usual finite and infinite qq-Pochhammer products; products with several arguments are understood multiplicatively. Rank-four tadpole companion identity. The following identity is conjectured:

∑n1,n2,n3≥0q4n12+4n1n2+3n22−2n2n3+n32+4n1+2n2(q4;q4)n1(q4;q4)n2(q4;q4)n3=(q6;q6)∞(q8;q8)∞(q2,q10;q12)∞(q4;q4)∞2(q,q11;q12)∞(q5,q7;q12)∞.\sum_{n_1,n_2,n_3\geq0}\frac{q^{4n_1^2+4n_1n_2+3n_2^2-2n_2n_3+n_3^2+4n_1+2n_2}}{(q^4;q^4)_{n_1}(q^4;q^4)_{n_2}(q^4;q^4)_{n_3}}=\frac{(q^6;q^6)_{\infty}(q^8;q^8)_{\infty}(q^2,q^{10};q^{12})_{\infty}}{(q^4;q^4)_{\infty}^2(q,q^{11};q^{12})_{\infty}(q^5,q^7;q^{12})_{\infty}}.

The identity is intended as a companion to the proved rank-four Rogers–Ramanujan-type identities in the paper, but the authors state that they cannot prove it at present and leave it as an open problem.

References

Primary source

Changsong Shi and Liuquan Wang, “Modularity of tadpole Nahm sums in ranks 4 and 5”, arXiv:2504.17737 (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.