Product identities for the four dual Nahm sums of Zagier's Example 12

For q<1|q|<1, define Jm=(qm;qm)J_m=(q^m;q^m)_\infty and Ja,m=(qa,qma,qm;qm)J_{a,m}=(q^a,q^{m-a},q^m;q^m)_\infty. Let the two dual Nahm sums be the two triple sums displayed below, with denominator factors (q5;q5)i(q5;q5)j(q5;q5)k(q^5;q^5)_i(q^5;q^5)_j(q^5;q^5)_k. Example 12 dual identity conjecture. The two displayed Nahm sums equal the stated combinations of infinite-product quotients:

the first displayed triple sum=2J5011J5,504J10,50J15,503J20,502J25+qJ5011J10,50J5,505J15,502J20,504J25+4q2J5012J5,503J10,502J15,503J20,50J253,\text{the first displayed triple sum}=2\frac{J_{50}^{11}}{J_{5,50}^4J_{10,50}J_{15,50}^3J_{20,50}^2J_{25}}+q\frac{J_{50}^{11}J_{10,50}}{J_{5,50}^5J_{15,50}^2J_{20,50}^4J_{25}}+4q^2\frac{J_{50}^{12}}{J_{5,50}^3J_{10,50}^2J_{15,50}^3J_{20,50}J_{25}^3}, the second displayed triple sum=J20,50J5011J5,502J10,504J15,505J25+2qJ5011J5,503J10,502J15,504J20,50J25+4q4J5012J5,503J10,50J15,503J20,502J253.\text{the second displayed triple sum}=\frac{J_{20,50}J_{50}^{11}}{J_{5,50}^2J_{10,50}^4J_{15,50}^5J_{25}}+2q\frac{J_{50}^{11}}{J_{5,50}^3J_{10,50}^2J_{15,50}^4J_{20,50}J_{25}}+4q^4\frac{J_{50}^{12}}{J_{5,50}^3J_{10,50}J_{15,50}^3J_{20,50}^2J_{25}^3}.

These product representations are proposed to justify modularity of the dual of Zagier's Example 12; the source does not report a proof.

Sources & referencesView supporting material

Primary source

Changsong Shi and Liuquan Wang, “Modularity of Nahm Sums Dual to Zagier's Rank-Three Examples”, arXiv:2607.23257 (2026).

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.