Rank-four tadpole Rogers–Ramanujan companion identity

Let qq be a formal variable, and for n0n\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,n30q4n12+4n1n2+3n222n2n3+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.

Sources & referencesView supporting material

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.