Pith. sign in

REVIEW 4 minor 1 cited by

Proofs of five conjectural identities on modular rank four Nahm sums

T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Four conjectural rank-four Nahm sums equal explicit infinite products, proved by reducing them to tadpole sums and classical theta evaluations.

desk verdict Solid classical proofs of four Cao–Wang rank-four Nahm identities, plus a clean reduction of the fifth to an open Shi–Wang sum. read the letter →

arxiv 2606.25866 v3 pith:F5K7PJLT submitted 2026-06-24 math.NT math.CO

Haijun Li This is my paper · ORCID
classification math.NTmath.CO MSC 05A3011P8433D1511F03
keywords NahmsumsRogers–Ramanujanidentitiesmodulartriplesrank-fourq-seriestadpoleCartanmatrixDurfeereductionJacobitripleproduct
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper settles four open Rogers–Ramanujan-type identities for modular rank-four Nahm sums that had been proposed by Cao and Wang. Each multi-sum is shown to equal a simple product of q-Pochhammer symbols by first applying a rank-reduction formula that collapses the four-fold sum to a three-fold sum involving a bilateral theta series, then evaluating the remaining sums with classical identities (Jacobi triple product, Lebesgue, finite Durfee rectangles, and two external cubic-theta evaluations). The same reduction technique shows that a fifth, still-open Cao–Wang conjecture is equivalent to an open triple-sum conjecture of Shi and Wang. The results enlarge the short list of rigorously verified modular triples in rank four and make the link between the two families of conjectures explicit.

What carries the argument

The rank-four tadpole Nahm sum χ₄ together with its rank-reduction formula (Lemma 2.3) that converts a four-fold sum into a three-fold sum involving a bilateral theta series; the reduced sums are then evaluated by Jacobi triple product, Lebesgue identity, and two external cubic-theta identities.

What would settle it

Direct numerical comparison of both sides of any of (1.3)–(1.6) for a fixed |q|<1 (e.g., q=1/2) to machine precision; a discrepancy larger than truncation error would refute the corresponding claim.

Watch

Extended reading notes

Core claim

The four multi-sum identities (1.3)–(1.6) hold for |q|<1: each left-hand Nahm sum equals the stated infinite product of q-Pochhammer symbols. The proofs proceed by substituting the sum into a generalized tadpole Nahm sum, applying a finite Durfee-rectangle identity to reduce rank, and finishing with classical q-series evaluations.

Load-bearing premise

The proof of the fourth identity rests on two external evaluations (a cubic theta series and a triple-sum identity) that are taken as already established; if either of those citations is wrong, that identity falls.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper supplies analytic proofs of four conjectural Rogers–Ramanujan-type identities for modular rank-four Nahm sums proposed by Cao and Wang (Theorems 1.1 and 1.2, identities (1.3)–(1.6)). The proofs proceed by a rank-reduction formula for the generalized tadpole Nahm sum χ₄ (Lemma 2.3), followed by Durfee-rectangle summation (Lemma 2.2), the Lebesgue identity, and six elementary 2φ₂ / q-Gauss evaluations (Lemma 2.5). For (1.6) two external results are invoked: a triple-sum identity of Shi–Wang and the Borwein–Borwein–Garvan cubic theta evaluation. Section 5 reduces the remaining open Cao–Wang conjecture to an open Shi–Wang conjecture, thereby clarifying the relation between the two families of conjectures.

Significance. The work settles four previously open modular identities for rank-four Nahm sums that arise from the lift-dual construction of Cao–Wang, thereby completing a concrete portion of the higher-rank Nahm problem. The derivations are fully classical q-series manipulations that terminate at standard product identities; the only non-classical inputs are two already-published lemmas whose status is transparent. The explicit reduction of the remaining Cao–Wang conjecture to the Shi–Wang conjecture is a useful structural observation that organizes future work. The paper therefore makes a solid, self-contained contribution to the literature on modular Nahm sums.

minor comments (4)
  1. Title and abstract claim “five” conjectural identities, while the body proves four and reduces a fifth; the abstract should be aligned with the actual content (or the fifth identity should be stated as a conditional theorem).
  2. In the proofs of (1.3) and (1.4) several intermediate steps are omitted with the remark that they are “similar” to the fully written proof of (1.5). A short appendix or a few additional displayed equations would make the paper more self-contained for readers who wish to check every parity split.
  3. Notation for the auxiliary theta series θ₀,θ₁,θ₂,γ₃ and the products P,H,R is introduced only in Section 3; a brief summary table at the beginning of that section would improve readability.
  4. The arXiv identifier of the Cao–Wang source paper appears as arXiv:2508.12468v1; once that paper is published the reference should be updated to the journal version.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: classical q-series reductions terminate at independent external product identities; remaining Cao–Wang conjecture is reduced one-way to an open Shi–Wang conjecture.

full rationale

The four proved identities (1.3)–(1.6) are obtained by fully explicit manipulations (rank-reduction Lemma 2.3, Durfee rectangle Lemma 2.2, Lebesgue, the six evaluations of Lemma 2.5, and Jacobi triple product) that convert the multi-sums into classical infinite products. The only external inputs for (1.6) are the already-published Shi–Wang triple-sum identity (Lemma 4.1) and the Borwein–Borwein–Garvan cubic theta evaluation (Lemma 4.2); both are independent of the present author and of the target identities. Section 5 shows only that Conjecture 5.1 would follow from Conjecture 5.2; this is a one-directional implication, not a definitional equivalence or a self-justifying loop. Self-citations are limited to ambient literature and do not carry the load of any proved claim. Consequently the derivation chain is self-contained against external benchmarks and exhibits no circular reduction.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper is a pure-identity proof in classical q-series. It imports standard hypergeometric summation formulas and two recent but published triple-sum identities; it introduces no free numerical parameters and no new physical or mathematical entities beyond a convenient re-indexing of an already-defined tadpole Nahm sum.

assumptions (4)
  • standard math Jacobi triple-product identity f(a,b)=(-a,-b,ab;ab)_∞
    Invoked repeatedly to convert bilateral theta series into infinite products (e.g., (3.1), (4.13)).
  • standard math Lebesgue identity and its q-shifted form
    Used to sum the innermost geometric series after Durfee reduction (Lemma 2.4).
  • standard math Finite Durfee-rectangle decomposition (Lemma 2.2)
    Proved in the paper by induction on the q-Pascal identity; treated as background once established.
  • domain assumption Shi–Wang triple-sum identity (Lemma 4.1) and Borwein cubic theta evaluation (Lemma 4.2)
    Taken as established external theorems; both are load-bearing for the proof of (1.6).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Proofs of five conjectural identities on modular rank four Nahm sums." pith.science (2026). https://pith.science/paper/F5K7PJLT

@misc{pith2026260625866,
  author       = {Pith},
  title        = {Pith review of: Proofs of five conjectural identities on modular rank four Nahm sums},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F5K7PJLT}},
  note         = {Machine review of arXiv:2606.25866}
}
read the original abstract

Nahm sums and Rogers-Ramanujan type identities have attracted considerable attention in recent years. In this paper, we provide analytic proofs of five conjectural identities on modular rank four Nahm sums that were proposed by Cao and Wang. Moreover, we reveal that the conjectures of Shi-Wang and Cao-Wang are closely related.

Review history (3 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Nahm Sums Dual to Zagier's Rank-Three Examples and Related Identities

    math.NT 2026-07 conditional novelty 6.0 of 10

    Duals of Zagier's rank-three modular Nahm sums are proved modular for Examples 7, 8, 10, and 11; Example 9 is conditional on Conjecture 3.4, and Example 12 remains conjectural.

Reference graph

Works this paper leans on

22 extracted references · 2 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Andrews,The theory of partitions, Addison-Wesley, Reading, MA, 1976; reissued: Cambridge University Press, Cambridge, 1998

    G.E. Andrews,The theory of partitions, Addison-Wesley, Reading, MA, 1976; reissued: Cambridge University Press, Cambridge, 1998. 3, 14

    1976

  2. [2]

    Berndt,Number theory in the spirit of Ramanujan, American Mathematical Society, Providence, RI,

    B.C. Berndt,Number theory in the spirit of Ramanujan, American Mathematical Society, Providence, RI,

  3. [3]

    Borwein, P.B

    J.M. Borwein, P.B. Borwein and F.G. Garvan, Some cubic modular identities of Ramanujan, Trans. Amer. Math. Soc.343(1994), 35–47. 10

    1994

  4. [4]

    Calinescu, A

    C. Calinescu, A. Milas and M. Penn, Vertex algebraic structure of principal subspaces of basicAp2q 2n-modules, J. Pure Appl. Algebra220(2016), 1752–1784. 4

    2016

  5. [5]

    Z. Cao, H. Rosengren and L. Wang, On some double Nahm sums of Zagier, J. Combin. Theory Ser. A202 (2024), Paper No. 105819, 13 pp. 2

    2024

  6. [6]

    Cao and L

    Z. Cao and L. Wang,Some new modular rank three Nahm sums from a lift-dual operation, arXiv:2412.15767v1. 2

    arXiv

  7. [7]

    Cao and L

    Z. Cao and L. Wang,Some new modular rank four Nahm sums as lift-dual of rank three examples, arXiv:2508.12468v1. 2, 12

    arXiv

  8. [8]

    Cherednik and B

    I. Cherednik and B. Feigin, Rogers-Ramanujan type identities and Nil-DAHA, Adv. Math.248(2013), 1050–

    2013

Show all 22 references
  1. [9]

    Gasper and M

    G. Gasper and M. Rahman,Basic hypergeometric series, Encyclopedia of Mathematics and its applications 35, Cambridge University Press, Cambridge, 1990. 1, 3, 5

    1990

  2. [10]

    W. Nahm, Conformal field theory and the dilogarithm, in: 11th International Conference on Mathematical Physics (ICMP-11) (Satelite Colloquia: New Problems in General Theory of Fields and Particles), Paris, 1994, pp. 662–667. 1

    1994

  3. [11]

    Nahm, Conformal field theory, dilogarithm and three dimensional manifold, in: W

    W. Nahm, Conformal field theory, dilogarithm and three dimensional manifold, in: W. Nahm, J.-M. Shen (Eds.), Interface Between Physics and Mathematics, Proceedings, Conference in Hangzhou, People’s Republic of China, September 1993, World Scientific, Singapore, 1994, pp. 154–165. 1

    1993

  4. [12]

    Nahm, Conformal field theory and torsion elements of the Bloch group, in: Frontiers in Number Theory, Physics and Geometry, II, Springer, 2007, pp

    W. Nahm, Conformal field theory and torsion elements of the Bloch group, in: Frontiers in Number Theory, Physics and Geometry, II, Springer, 2007, pp. 67–132. 1

    2007

  5. [13]

    Ramanujan, Problem 584, J

    S. Ramanujan, Problem 584, J. Indian Math. Soc.6(1914), 199–200. 1

    1914

  6. [14]

    Ramanujan, Proof of certain identities in combinatory analysis, Proc

    S. Ramanujan, Proof of certain identities in combinatory analysis, Proc. Camb, Philos. Soc.19(1919), 214–216. 1

    1919

  7. [15]

    Rogers, Third memoir on the expansion of certain infinite products, Proc

    L.J. Rogers, Third memoir on the expansion of certain infinite products, Proc. Lond. Math. Soc.26(1894), 15–32. 1

  8. [16]

    Schur, Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbrüche, Sitzungsber

    I. Schur, Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbrüche, Sitzungsber. Preuss. Akad. Wiss. Phys.-Math. Klasse (1917), 302–321. 1

    1917

  9. [17]

    Shi and L

    C. Shi and L. Wang, Modularity of tadpole Nahm sums in ranks 4 and 5, J. Number Theory284(2026), 214–245. 2, 10, 12, 13

    2026

  10. [18]

    Sills,An invitation to the Rogers-Ramanujan identities, CRC Press, Boca Raton (2018)

    A.V. Sills,An invitation to the Rogers-Ramanujan identities, CRC Press, Boca Raton (2018). 1

    2018

  11. [19]

    Vlasenko and S

    M. Vlasenko and S. Zwegers, Nahm’s conjecture: asymptotic computations and counterexamples, Commun. Number Theory Phys.5(3) (2011), 542–617. 2

    2011

  12. [20]

    Wang, Identities on Zagier’s rank two examples for Nahm’s conjecture, Res

    L. Wang, Identities on Zagier’s rank two examples for Nahm’s conjecture, Res. Math. Sci.11(3) (2024), Paper No. 49, 34 pp. 2 PROOFS OF FOUR CONJECTURAL IDENTITIES ON MODULAR RANK FOUR NAHM SUMS 15

    2024

  13. [21]

    Wang, Explicit forms and proofs of Zagier’s rank three examples for Nahm’s problem, Adv

    L. Wang, Explicit forms and proofs of Zagier’s rank three examples for Nahm’s problem, Adv. Math.450 (2024), Paper No. 109743, 46 pp. 2

    2024

  14. [22]

    Zagier, The dilogarithm function, in: Frontiers in Number Theory, Physics and Geometry, II, Springer- Verlag, 2007, pp

    D. Zagier, The dilogarithm function, in: Frontiers in Number Theory, Physics and Geometry, II, Springer- Verlag, 2007, pp. 3–65. 2 (Haijun Li)College of Mathematics and Statistics, Chongqing University, Chongqing 401331, P.R. China Email address:lihaijun@cqu.edu.cn; lihaijune@163.com

    2007

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.