Pith. sign in

REVIEW 4 minor 1 cited by

Modular Nahm Sums for the Inverse Cartan Matrix of Type $D_r$

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

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

Pith's one-line read Bailey-pair identities prove floor((r+4)/2) modular Nahm sums for the inverse Cartan matrix of type D_r, confirming the zero-vector Rogers–Ramanujan conjecture.

desk verdict Solid Bailey-pair proof of the Sun–Wang zero-vector identity for C(D_r)^{-1}, plus roughly half the predicted modular companions; classical technique, clean execution. read the letter →

arxiv 2607.08606 v1 pith:DN77OQOP submitted 2026-07-09 math.NT math.CO

Liuquan Wang , Shangwen Wang This is my paper · ORCID
classification math.NTmath.CO MSC 05A3011P8433D1533D6011F03
keywords NahmsumsRogers–RamanujanidentitiesBaileypairsCartanmatrixoftypeD_rmodularformsq-series
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

Nahm sums are multi-variable q-series built from a positive-definite matrix, a linear vector and a constant; they are modular only for special choices of those data. For the inverse of the Cartan matrix of type D_r the paper produces an explicit family of floor((r+4)/2) vectors B such that the corresponding Nahm sums equal closed products of q-Pochhammer symbols, hence are modular forms of weight zero. The zero-vector member of the family recovers a Rogers–Ramanujan-type identity conjectured by Sun and Wang, and the remaining members supply companion modular sums. All proofs proceed by a change of variables that splits the sum into even and odd parity pieces, each of which is evaluated by iterating classical Bailey pairs until a bilateral series appears that is summed by the Jacobi triple-product identity. The result therefore settles one infinite family of the Cartan-matrix conjecture for modular Nahm sums and supplies concrete modular candidates for the remaining companion vectors.

What carries the argument

Bailey pairs relative to parameters 1 and q, transformed by the six standard maps (S1)–(S6) and the two parameter-shift formulae of Lovejoy and Warnaar; after a parity-splitting change of variables these pairs convert the multi-sum into a bilateral series that Jacobi’s triple product evaluates as an infinite product.

What would settle it

For a fixed small r (say r=3 or 4) expand both sides of identity (1.12) as power series up to degree 50 and check coefficient-wise equality; any mismatch falsifies the claimed product formula.

Watch

Extended reading notes

Core claim

For every r≥3 and every integer λ between 0 and floor(r/2) the Nahm sum associated with C(D_r)^{-1} and the explicit rational vector B_λ equals the three-term product formula (1.12); two further vectors B^{(0)} (even rank) and B^{(1)} (odd rank) likewise yield modular product formulae. In particular the λ=0 case confirms the conjectural identity of Sun and Wang.

Load-bearing premise

The argument rests on a short list of classical seed Bailey pairs and on the validity of their limiting transformations when half-integer quadratic exponents appear after the change of variables.

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 constructs floor((r+4)/2) modular Nahm sums associated with the inverse Cartan matrix C(D_r)^{-1} for r≥3. Theorem 1.2 gives an explicit product formula (1.12) for the family of vectors B_λ (λ=0,…,⌊r/2⌋), with the λ=0 case confirming the Sun–Wang conjectural identity (1.10) and thereby Conjecture 1.1 for the pair (T_1,D_r). Theorem 1.3 supplies two further modular families for the vectors B^{(0)} (even rank) and B^{(1)} (odd rank). Modularity of the resulting q-series follows from the classical weight-1/2 modularity of the Jacobi factors J_m and J_{a,m}. The proofs in §3 proceed by parity cases on n_{r-1}+n_r, linear changes of variables, insertion of classical Slater Bailey pairs, iterated application of the standard transformations (S2)–(S6) and the parameter-shift maps (2.18)–(2.19), and final evaluation via the Jacobi triple product.

Significance. The work settles a concrete infinite-family case of Nahm’s problem and of the folklore Cartan-matrix conjecture, while making substantial progress on the companion-vector conjecture of Sun–Wang. The proofs are fully explicit, rely only on classical Bailey-pair technology, and produce closed product formulae that immediately imply modularity. The confirmation of (1.10) is especially valuable because it links the Nahm sum to the fermionic characters of the effective N=1 supersymmetric Virasoro minimal model SM_eff(8r+4,2). The remaining open gap of roughly floor((r-3)/2) vectors is clearly stated and does not diminish the advance.

minor comments (4)
  1. In the statement of Theorem 1.2 the constant C_λ is written 8λ^{2}-4λ-r over 8(2r+1); a short parenthetical verification that this is exactly the modular weight-zero shift would help the reader.
  2. The seed Bailey pairs taken from Slater [22] are cited by catalogue labels (C(1), C(3), p. 469–470). Adding the explicit α_n formulae already written in (3.7), (3.16), (3.29) and (3.33) into a short appendix would make the paper self-contained for readers without immediate access to Slater.
  3. A few typographical inconsistencies appear: “TYPED r” in the running title, occasional missing spaces around q-Pochhammer symbols, and the mixed use of N versus Z_{≥0} for non-negative integers. These are easily cleaned.
  4. In the even-rank special case λ=k of Theorem 1.2 the limiting form of (S6) with a=q^{2} is invoked without an explicit reference; a one-line pointer to the corresponding identity in §2 would improve readability.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: modular product formulae are derived from classical Slater Bailey pairs and Jacobi triple product after standard transformations; self-citation supplies only a change-of-variable pattern.

  1. self citation load bearing [Section 3, opening paragraph of the proofs]
    "The initial steps of our proofs are inherited from our previous work [29]."

    The authors cite their own earlier D_k paper for the parity-split substitution and re-indexing that converts the Nahm sum into a multi-sum ready for Bailey iteration. While the subsequent Bailey reductions and Jacobi evaluations are independent and classical, this step is a pure self-citation of method; it is not load-bearing for the final modular identities, hence only a minor (score-1) circularity flag.

full rationale

The central claims (Theorems 1.2–1.3) equate Nahm sums f_{C(D_r)^{-1},B,0} to explicit infinite products that are known modular forms. The proofs in Section 3 begin from the quadratic form of C(D_r)^{-1}, perform the parity-split change of variables (3.2)–(3.4), insert classical Slater seed pairs (C(1), C(3), G(2) from [22]), apply the six standard Bailey maps (S1)–(S6) together with the parameter-shift identities (2.18)–(2.19), take n o∞ limits, and reduce the resulting bilateral series by the Jacobi triple product (2.1). None of the target product formulae is assumed as an input; they emerge term-by-term. The sole self-reference (“initial steps imes inherited from our previous work [29]”) merely re-uses a change-of-variable bookkeeping already standard for type-D Nahm sums and is not load-bearing for the modular evaluations. No parameters are fitted, no uniqueness theorem is imported from the authors’ own prior work to force the result, and no ansatz is smuggled in. The derivation is therefore self-contained against classical external identities.

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

The work rests entirely on standard q-series identities and the classical Bailey lemma; no free parameters are fitted and no new physical or algebraic entities are postulated. The only external inputs are Slater’s tabulated Bailey pairs and the six well-known Bailey transformations.

assumptions (4)
  • standard math Jacobi triple-product identity (2.1) and its finite analogues (2.2)–(2.3)
    Used to evaluate the innermost bilateral sums after the change of variables.
  • standard math Bailey lemma and the six standard transformations (S1)–(S6)
    The entire iterative construction of Bailey pairs in §3 relies on these classical maps.
  • standard math Slater’s Bailey pairs C(1), C(3) and the pair on p. 470 of [22]
    Seed pairs inserted at the beginning of each parity case; their correctness is taken from the literature.
  • domain assumption The matrix C(D_r)^{-1} admits the quadratic form written in (3.1)
    Standard fact about the inverse Cartan matrix of type D_r; used to rewrite the Nahm exponent.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Modular Nahm Sums for the Inverse Cartan Matrix of Type $D_r$." pith.science (2026). https://pith.science/paper/DN77OQOP

@misc{pith2026260708606,
  author       = {Pith},
  title        = {Pith review of: Modular Nahm Sums for the Inverse Cartan Matrix of Type $D_r$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DN77OQOP}},
  note         = {Machine review of arXiv:2607.08606}
}
abstract

For $r\geq 3$ we denote by $\mathcal{C}(D_r)$ the Cartan matrix of type $D_r$. Recently, Sun and Wang conjectured a Rogers--Ramanujan type identity for the Nahm sum associated with $\mathcal{C}(D_r)^{-1}$ and the zero vector. They further conjecture that there exist $r-1$ companion modular Nahm sums associated with nonzero vectors. We partially prove this conjecture by constructing $\lfloor (r+4)/2\rfloor$ modular Nahm sums for $\mathcal{C}(D_r)^{-1}$. To prove their modularity, we utilize the method of Bailey pairs to establish various Rogers--Ramanujan type identities. In particular, we confirm their conjectural identity.

Review history (2 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

34 extracted references · 34 canonical work pages · cited by 1 Pith paper

  1. [1]

    Andrews, An analytic generalization of the Rogers–Ramanujan identities for odd moduli, Proc

    G.E. Andrews, An analytic generalization of the Rogers–Ramanujan identities for odd moduli, Proc. Natl. Acad. Sci. USA 71(10) (1974), 4082–4085

    work page 1974

  2. [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

    work page 1976

  3. [3]

    Andrews, Bressoud polynomials, Rogers–Ramanujan type identities, and applications, Ra- manujan J

    G.E. Andrews, Bressoud polynomials, Rogers–Ramanujan type identities, and applications, Ra- manujan J. 41 (2016), 287–304

    work page 2016

  4. [4]

    Bressoud, M.E.H

    D.M. Bressoud, M.E.H. Ismail and D. Stanton, Change of base in Bailey pairs, Ramanujan J. 4 (2000), 435–453

    work page 2000

  5. [5]

    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

    work page 2016

  6. [6]

    Z. Cao, H. Rosengren and L. Wang, On some double Nahm sums of Zagier, J. Combin. Theory Ser. A 202 (2024), Paper No. 105819. 20 LIUQUAN W ANG AND SHANGWEN W ANG

    work page 2024

  7. [7]

    Some New Modular Rank Three Nahm Sums from a Lift-Dual Operation

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

    work page Pith review arXiv

  8. [8]

    Some New Modular Rank Four Nahm Sums as Lift-dual of Rank Three Examples

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

    work page Pith review arXiv

Show all 34 references
  1. [9]

    Cherednik and B

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

    2013

  2. [10]

    Creutzig and N

    T. Creutzig and N. Garner, A conjecture of Warnaar–Zudilin from deformations of Lie super- algebras, arXiv:2501.11509

    arXiv

  3. [11]

    Flohr, C

    M. Flohr, C. Grabow and M. Koehn, Fermionic expressions for the characters ofc p,1 logarithmic conformal field theories, Nucl. Phys. B 768 (2007), 263–276

    2007

  4. [12]

    Kedem, T.R

    R. Kedem, T.R. Klassen, B.M. McCoy and E. Melzer, Fermionic quasi-particle representations for characters of (G (1))1 ×(G (1))1/(G(1))2, Phys. Lett. B 304 (1993), 263–270

    1993

  5. [13]

    Kedem, T.R

    R. Kedem, T.R. Klassen, B.M. McCoy, and E. Melzer, Fermionic sum representations for con- formal field theory characters, Phys. Lett. B, 307(1) (1993), 68–76

    1993

  6. [14]

    Keegan and W

    S. Keegan and W. Nahm, Nahm’s conjecture and coset models: a systematic search for matching parameters, J. Phys. A, 44(50):505204, 13, 2011

    2011

  7. [15]

    C.-H. Lee. Algebraic Structures in Modularq-hypergeometric Series. ProQuest LLC, Ann Arbor, MI, 2012. Thesis (Ph.D.)-University of California, Berkeley

    2012

  8. [16]

    Lovejoy, A Bailey lattice, Proc

    J. Lovejoy, A Bailey lattice, Proc. Am. Math. Soc. 132 (2004), 1507–1516

    2004

  9. [17]

    Melzer, Supersymmetric analogs of the Gordon–Andrews identities, and related TBA sys- tems, arXiv:hep-th/9412154

    E. Melzer, Supersymmetric analogs of the Gordon–Andrews identities, and related TBA sys- tems, arXiv:hep-th/9412154

    arXiv

  10. [18]

    Milas and L

    A. Milas and L. Wang, Modularity of Nahm sums for the tadpole diagram, Int. J. Number Theory 20 (1) (2024), 73–101

    2024

  11. [19]

    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, 662–667

    1994

  12. [20]

    W. Nahm, Conformal field theory and torsion elements of the Bloch group, In Frontiers in Number Theory, Physics, and Geometry II: On Conformal Field Theories, Discrete Groups and Renormalization, pp. 67–132. Springer, 2007

    2007

  13. [21]

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

    L.J. Rogers, Second memoir on the expansion of certain infinite products, Proc. London Math. Soc. 25 (1894), 318–343

  14. [22]

    Slater, A new proof of Rogers’s transformations of infinite series, Proc

    L.J. Slater, A new proof of Rogers’s transformations of infinite series, Proc. London Math. Soc. (2), 1951, 53: 460–475

    1951

  15. [23]

    Shi and L

    C. Shi and L. Wang, Modularity of tadpole Nahm sums in ranks 4 and 5, J. Number Theory, (284) (2026), 214–245

    2026

  16. [24]

    Stembridge, Hall–Littlewood functions, plane partitions, and the Rogers–Ramanujan iden- tities, Trans

    J.R. Stembridge, Hall–Littlewood functions, plane partitions, and the Rogers–Ramanujan iden- tities, Trans. Amer. Math. Soc. 319 (1990), no. 2, 469–498

    1990

  17. [25]

    Sun and H

    K. Sun and H. Wang, Dynkin diagrams, generalized Nahm sums and 2d CFTs, preprint, arXiv:2604.00847

  18. [26]

    Vlasenko and S

    M. Vlasenko and S. Zwegers, Nahm’s conjecture: asymptotic computations and counterexam- ples, Commun. Number Theory Phys. 5(3) (2011), 617–642

    2011

  19. [27]

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

    L. Wang, Identities on Zagier’s rank two examples for Nahm’s problem, Res. Math. Sci. 11, 49 (2024)

    2024

  20. [28]

    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), 109743

    2024

  21. [29]

    Wang and S

    L. Wang and S. Wang, Nahm sum identities for Cartan matrices of typeD k, arXiv: 2512.07790v1

  22. [30]

    Warnaar, 50 years of Bailey’s lemma, In: Betten, A., Kohnert, A., Laue, R., Wassermann, A

    S.O. Warnaar, 50 years of Bailey’s lemma, In: Betten, A., Kohnert, A., Laue, R., Wassermann, A. (eds) Algebraic Combinatorics and Applications. Springer, Berlin, Heidelberg, 2001

    2001

  23. [31]

    Warnaar, The generalized Borwein conjecture

    S.O. Warnaar, The generalized Borwein conjecture. II. Refinedq-trinomial coefficients, Discrete Math. 272 (2-3) (2003), 215–258

    2003

  24. [32]

    Warnaar, Proof of the Flohr–Grabow–Koehn conjectures for characters of logarithmic conformal field theory, J

    S.O. Warnaar, Proof of the Flohr–Grabow–Koehn conjectures for characters of logarithmic conformal field theory, J. Phys. A: Math. Theor. 40 (2007), 12243–12254. MODULAR NAHM SUMS FOR THE INVERSE CARTAN MATRIX OF TYPED r 21

    2007

  25. [33]

    Warnaar and W

    S.O. Warnaar and W. Zudilin, Dedekind’sη-function and Rogers–Ramanujan identities, Bull. Lond. Math. Soc. 44 (2012), no. 1, 1–11

    2012

  26. [34]

    Zagier, The dilogarithm function, in Frontiers in Number Theory, Physics and Geometry, II, Springer, 2007, 3–65

    D. Zagier, The dilogarithm function, in Frontiers in Number Theory, Physics and Geometry, II, Springer, 2007, 3–65. (L. Wang)School of Mathematics and Statistics, Wuhan University, Wuhan 430072, Hubei, People’s Republic of China Email address:wanglq@whu.edu.cn;mathlqwang@163.c...

    2007

Pith tools

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