REVIEW 2 major objections 4 minor 1 cited by
Modularity of tadpole Nahm sums in ranks 4 and 5
T0 review · 2 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read Tadpole Nahm sums of ranks 4 and 5 are modular.
desk verdict Solid new proof of modularity for rank 4/5 tadpole Nahm sums, with a fixable rigor gap in the rank-reduction interchange and a transparency issue in the computational checks. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the pair of rank-reduction formulas in Theorem 1.2, identities (1.10) and (1.11). They decompose a generalized tadpole Nahm sum of even or odd rank into constant terms of products of theta functions and lower-rank $q$-hypergeometric sums; iterated use of the $q$-binomial theorem and Jacobi triple product then removes the constant-term operators. The resulting lower-rank sums are evaluated through new Rogers-Ramanujan type identities, with final conversion to the $J_{a,m}$ products verified by standard theta-function identity checking. These $J_{a,m}$ products are the target form because each is an infinite product whose modularity is immediate.
What would settle it
Compute the coefficient of $q^N$ on both sides of (1.20) and (1.25) for increasing $N$: the sum side is finite for each coefficient and the product side is a finite product, so the first $N$ with unequal coefficients would disprove the claimed modular product representation, and the theorem asserts no such $N$ exists.
Extended reading notes
Core claim
The central discovery is Corollary 1.6: Conjecture 1.1 holds for $r=4,5$. Concretely, the paper proves the explicit product identities (1.20) and (1.25), writing $\chi_4(1,1,1,1;q^2)$ and $\chi_5(1,1,1,1,1;q^4)$ as rational combinations of products of $J_{a,m}$ functions, where $J_{a,m}=(q^a,q^{m-a},q^m;q^m)_\infty$ is a Dedekind-eta-type infinite product. After multiplication by a suitable power of $q$, each side becomes a modular eta-product form. The paper also establishes five companion identities in rank four, nine modular specializations in rank five, and a unified new proof of the previously known rank-three case; one companion identity, Conjecture 1.4, remains open.
Load-bearing premise
The load-bearing premise is that the infinite sums in the rank-reduction derivation can be reordered and constant terms extracted freely; the paper's own Remark 1 shows the analogous triple sum for Conjecture 1.4 is not absolutely convergent, so a similar failure in the specializations used for ranks four and five would invalidate the product formulas.
Editorial extensions
If this is right
- The principal rank-four sum $\chi_4(1,1,1,1;q)$, after a rational power of $q$, becomes an explicit modular product, so Conjecture 1.1 is settled for $r=4$.
- The same conclusion holds for $r=5$ via the product formula for $\chi_5(1,1,1,1,1;q^4)$.
- Four further rank-four companion sums and nine rank-five specializations are also modular, giving new examples of modular Nahm triples.
- The rank-reduction formulas provide one uniform proof covering ranks three, four, and five, reproducing the known rank-three result as a special case.
- The companion identity (1.16) is left open, so modularity of the fifth rank-four companion sum (1.24) is conditional on Conjecture 1.4.
Reading between the lines
- A consequence left implicit is that the rank-reduction formulas could be iterated: once the lower-rank sums needed for ranks six and seven are evaluated, the same constant-term scaffolding would produce modular product formulas, with the current bottleneck being exactly those evaluations.
- The failure of absolute convergence for the companion triple sum in Remark 1 suggests the method has a natural boundary; proving Conjecture 1.4 would likely require a regularized summation or a different companion identity, not just additional computation.
- If the physical picture behind modular Nahm sums is correct, the explicit products for ranks four and five are concrete predictions for characters of rational conformal field theories associated with the tadpole diagram.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the Calinescu–Milas–Penn conjecture on the modularity of tadpole Nahm sums for ranks 4 and 5. The main new tool is a pair of rank-reduction formulas, Theorem 1.2, which express a rank-2r or rank-(2r+1) generalized tadpole Nahm sum in terms of lower-rank Nahm-type sums times theta functions. Using these formulas, the authors obtain Rogers–Ramanujan-type identities for certain rank-3 Nahm sums (Theorem 1.3), derive modular product representations for five specializations of rank-4 tadpole Nahm sums (Theorem 1.5), and give nine modular representations for rank-5 Nahm sums (Theorem 5.2). In particular, equations (1.20) and (1.25) show that q^C χ4(1,1,1,1;q^2) and q^C χ5(1,1,1,1,1;q^4) are eta-type products, yielding Corollary 1.6. One companion identity, Conjecture 1.4, is explicitly left conditional and is not used in the proof of the main corollary.
Significance. If the proof is fully rigorous, this is a substantial advance on an open problem in the theory of Nahm sums: it resolves the next two previously unknown ranks and introduces a rank-reduction method that is likely to be useful for higher ranks. The paper is refreshingly explicit: the derivations are parameter-free, the main rank-reduction formulas are proved in detail, convergence issues are discussed in Lemmas 2.1–2.2, and the authors honestly flag the point where their method breaks down (Remark 1 for Conjecture 1.4). The companion identities for rank 4 and 5 are new and are checked by a published automated method. The main reservations concern the rigor of the convergence/interchange arguments in the proof of Theorem 1.2 and the opacity of the automated verifications in Theorems 1.3 and 5.2.
major comments (2)
- [Section 3, Eqs. (3.4)–(3.9)] The proof of Theorem 1.2 interchanges the constant-term operator CT with infinite sums over n_i and over the theta lattices. Lemmas 2.1 and 2.2 control only the absolute convergence of the final q-series, not the intermediate expansions in the auxiliary variables z_i. In particular, applying the q-binomial theorem at (3.4) requires a condition such as |x_{m-1}x_m/z_1|<1, and the subsequent elimination of z_2,...,z_r requires a nested system of annuli; no such annuli are stated for the general theorem. This is not purely cosmetic: the applications in Theorem 1.5 and Theorem 5.2 specialize to x_i=q^{a_i} with negative a_i (e.g. Table 1, (a,b,c)=(0,-2,0)), where the naive convergence conditions fail, and Remark 1 shows that the method can genuinely break down at boundary exponents (a-b-c=1/2 for Conjecture 1.4). Please add either a formal-power-series justification (coefficient-wise finiteness of every intermediate expansion) or an explicit analytic-continuation argument with nonempty annuli for the specializations actually used. A high-order q-series check of (1.20) and (1.25) would also help to confirm that the final identities are unaffected.
- [Theorem 1.3 and Theorem 5.2, final simplifications] The derivation of the product forms (1.12)–(1.15) from Lemma 4.1, and of (5.29)–(5.34) from Lemma 5.1, is delegated to the automated method of Frye and Garvan [8] without displaying the reduced identity or the checker's output. These identities are load-bearing for Corollary 1.6, since the modular representations (1.20) and (1.25) are obtained by substituting them into (4.58)–(4.62) and the analogous rank-five formulas. As written, a reader cannot verify this step without independently reproducing the computation. Please include the machine-readable input and output for the checker, or at least state the order to which the identities were checked and give the precise theta identity that is certified.
minor comments (4)
- [Theorem 1.2, statement] Formula (1.10) uses x_0, but x_0 is not defined in the statement. The condition x_{2i}x_{2i+1}=1 for i=0 implicitly sets x_0=x_1^{-1}; please state this explicitly.
- [Section 3, Eq. (3.4)] In the third displayed line of (3.4), the factor (-q^{1/2}z_m;q)_\infty should presumably be (-q^{1/2}x_m;q)_\infty; please correct this typo.
- [Throughout] There are several typographical errors, e.g. 'modualr' in the introduction, 'poeple' in Section 1, and 'W ANG' in the header author line. A careful proofreading pass is needed.
- [Corollary 1.6] It would help to add a short remark explaining why the final products, which involve q^{1/2} or q^{1/4} after substituting q\mapsto q^{1/2} or q\mapsto q^{1/4}, are modular in the sense of Conjecture 1.1, i.e. on which congruence subgroup and with what multiplier they transform.
Circularity Check
No circular derivation: the rank-reduction formulas and product identities are proved from classical q-series identities, and the main caveat is a convergence justification gap, which is a correctness risk rather than circularity.
full rationale
The central results (Corollary 1.6 and formulas (1.20), (1.25)) are obtained by combining the rank-reduction formulas (Theorem 1.2) with independent evaluations of lower-rank Nahm-type sums (Theorem 1.3, Lemma 4.1, Lemma 5.1). Those evaluations use classical external identities: the q-binomial theorem, Euler's q-exponential identities, the Jacobi triple product, Heine's transformation, and Slater/Ramanujan sum-to-product identities. None of these assume Conjecture 1.1 or the modularity of tadpole Nahm sums. No parameter is fitted to any subset of the target data, and the claimed modularity is not used as an input anywhere in the proof. The unproved Conjecture 1.4 is explicitly labeled as open and is used only to derive the conditional formula (1.24); Corollary 1.6 does not depend on it. The self-citations to Milas-Wang [10] and Wang [19] are contextual references to previously proved rank-three results and dual-triple examples; they are not load-bearing for the new rank-four and rank-five proofs. The paper honestly flags convergence limitations in Remark 1 and in the statement of Conjecture 1.4; the skeptical reader's concern about intermediate annuli at negative exponents, such as (a,b,c)=(0,-2,0), is a genuine correctness gap to be checked, but a convergence gap is not a circularity. Similarly, delegating final theta-identity simplifications to the Frye-Garvan checker is a transparency issue, not circular input. Overall, the derivation chain is substantially self-contained and no claim reduces by construction to its own inputs.
Assumptions & free parameters
assumptions (6)
- standard math q-binomial theorem and its Euler q-exponential consequences, equations (2.1) through (2.3)
- standard math Jacobi triple product identity, equation (2.4)
- standard math Heine's transformation, equation (2.8)
- standard math Slater's Rogers-Ramanujan type identities, equations (2.30) through (2.40)
- domain assumption Frye-Garvan automatic theta-identity verification method [8]
- standard math Absolute convergence conditions in Lemmas 2.1 and 2.2 justify summation interchange
Cite this review
Pith. "Pith review of Modularity of tadpole Nahm sums in ranks 4 and 5." pith.science (2026). https://pith.science/paper/ZJPJ4VZR
@misc{pith2026250417737,
author = {Pith},
title = {Pith review of: Modularity of tadpole Nahm sums in ranks 4 and 5},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZJPJ4VZR}},
note = {Machine review of arXiv:2504.17737}
}
abstract
Around 2016, Calinescu, Milas and Penn conjectured that the rank $r$ Nahm sum associated with the $r\times r$ tadpole Cartan matrix is modular, and they provided a proof for $r=2$. The $r=3$ case was recently resolved by Milas and Wang. We prove this conjecture for the next cases $r=4,5$. We also prove the modularity of some companion Nahm sums by establishing the corresponding Rogers--Ramanujan type identities. A key new ingredient in our proofs is some rank reduction formulas which allow us to decompose higher rank tadpole Nahm sums to mixed products of some lower rank Nahm-type sums and theta functions.
Forward citations
Cited by 1 Pith paper
-
Some New Modular Rank Four Nahm Sums as Lift-dual of Rank Three Examples
Four new rank-four Nahm sums are proved modular by explicit product identities, and five further candidates are conjectured modular, all generated by a lift-dual construction.
Reference graph
Works this paper leans on
-
[8]
J. Frye and F.G. Garvan, Automatic proof of theta-function ide ntities, in Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory, Texts & M onographs in Symbolic Computation (Springer, Cham, 2019), pp. 195–258
work page 2019
-
[1]
Andrews, On the general Rogers–Ramanujan theorem, Pr ovidence, RI: Amer
G.E. Andrews, On the general Rogers–Ramanujan theorem, Pr ovidence, RI: Amer. Math. Soc., 1974
work page 1974
-
[2]
Andrews, The Theory of Partitions, Addison-Wesley, 1976; Reissued Cambridge, 1998
G.E. Andrews, The Theory of Partitions, Addison-Wesley, 1976; Reissued Cambridge, 1998
1976
-
[3]
G.E. Andrews and B.C. Berndt, Ramanujan’s Lost Notebook, Par t 2, Springer 2009
work page 2009
-
[4]
Calinescu, A
C. Calinescu, A. Milas and M. Penn, Vertex algebraic structure of principal subspaces of basic A(2) 2n -modules, J. Pure Appl. Algebra 220 (2016), 1752–1784
2016
-
[5]
Z. Cao, H. Rosengren and L. Wang, On some double Nahm sums of Z agier, J. Combin. Theory Ser. A 202 (2024), Paper No. 105819
2024
- [6]
-
[7]
Cherednik and B
I. Cherednik and B. Feigin, Rogers–Ramanujan type identities an d Nil-DAHA, Adv. Math. 248 (2013), 1050–1088
2013
Show all 21 references
-
[9]
Gordon, A combinatorial generalization of the Rogers–Raman ujan identities, Amer
B. Gordon, A combinatorial generalization of the Rogers–Raman ujan identities, Amer. J. Math. 83 (1961), 393–399
1961
-
[10]
Milas and L
A. Milas and L. Wang, Modularity of Nahm sums for the tadpole diag ram, Int. J. Number Theory 20(1) (2024), 73–101
2024
-
[11]
W. Nahm, Conformal field theory and the dilogarithm, In 11th In ternational Conference on Mathematical Physics (ICMP-11) (Satelite colloquia: New Problems in General Theory of Fields and Particles), Paris, 1994, 662–667
1994
-
[12]
Interface between Physics and Mathematics (Proceedings, Conference in Ha ngzhou, People’s Republic of China, September 1993)
W. Nahm, Conformal field theory, dilogarithms and three dimens ional manifold, in “Interface between Physics and Mathematics (Proceedings, Conference in Ha ngzhou, People’s Republic of China, September 1993)”, eds. W. Nahm and J.-M. Shen, World Sc ientific, Singapore, 1994, 154–165
1993
-
[13]
Frontiers in Number Theory, Physics and Geometry
W. Nahm, Conformal field theory and torsion elements of the Blo ch group, in “Frontiers in Number Theory, Physics and Geometry”, II, Springer, 2007, 67– 132
2007
-
[14]
Rogers, Second memoir on the expansion of certain infinite p roducts, Proc
L.J. Rogers, Second memoir on the expansion of certain infinite p roducts, Proc. London Math. Soc. 25 (1894), 318–343
-
[15]
Rogers, On two theorems of combinatory analysis and some allied identities, Proc
L.J. Rogers, On two theorems of combinatory analysis and some allied identities, Proc. London Math. Soc. 16 (1917), 315–336
1917
-
[16]
Slater, Further identities of the Rogers–Ramanujan type
L.J. Slater, Further identities of the Rogers–Ramanujan type . Proc. Lond. Math. Soc. (2) 54(1) (1952), 147–167
1952
-
[17]
Vlasenko and S
M. Vlasenko and S. Zwegers, Nahm’s conjecture: asymptotic c omputations and counterexam- ples, Commun. Number Theory Phys. 5(3) (2011), 617–642
2011
-
[18]
Wang, Identities on Zagier’s rank two examples for Nahm’s pro blem, Res
L. Wang, Identities on Zagier’s rank two examples for Nahm’s pro blem, Res. Math. Sci. (2024) 11:49
2024
-
[19]
Wang, Explicit forms and proofs of Zagier’s rank three examp les for Nahm’s problem, Adv
L. Wang, Explicit forms and proofs of Zagier’s rank three examp les for Nahm’s problem, Adv. Math. 450 (2024), 109743
2024
-
[20]
Wang, Counterexamples to Zagier’s duality conjecture on Na hm sums, arXiv:2411.09701
L. Wang, Counterexamples to Zagier’s duality conjecture on Na hm sums, arXiv:2411.09701
-
[21]
Zagier, The dilogarithm function, in Frontiers in Number Theor y, Physics and Geometry, II, Springer, 2007, 3–65
D. Zagier, The dilogarithm function, in Frontiers in Number Theor y, Physics and Geometry, II, Springer, 2007, 3–65. (C. Shi) School of Mathematics and Statistics, Wuhan University, Wu han 430072, Hubei, People’s Republic of China Email address : changsong@whu.edu.cn (L. Wang)...
2007
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.