{"id":"0c639079-2500-419c-8d2a-ee23523689b6","arxiv_id":"2411.09701","paper_version":4,"verdict":"REJECT","confidence":"LOW","novelty_score":8.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Explicit rank four Nahm sums that are modular have non-modular duals, refuting Zagier's duality conjecture.","lead":"This paper constructs explicit rank four Nahm sums that are modular while their duals under Zagier's involution are not, giving counterexamples to Zagier's duality conjecture from 2007. The result matters for the theory of q-series and modular forms, and for the classification of modular Nahm sums.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The counterexample construction is unsupported: Theorem 1.3 is proved from the false identities (1.14)–(1.17), so the modularity of the primal Nahm sums in Theorem 1.5 is not established.","rationale":"The reader's REJECT verdict is based on exactly the false Theorem 1.4, and I agree that this is the most load-bearing weakness. I independently verified the two coefficient discrepancies: for (1.14), the terms k = 0 and k = 1 give left side 1 + q + ... while the right-hand eta quotient gives 1 + 2q + ..., so the identity is incorrect; for (1.16), the constant term is 1 on the left but 2 on the right. The subsequent derivation of S0 and S1 in (3.6) and (3.7) also involves a non-formal manipulation of infinite products with negative powers of q, which compounds the problem. These are not cosmetic typos because Theorem 1.3, and therefore the modularity of the primal sums, depends on these identities. I also checked low-order coefficients of (1.12) and (1.13) directly; the q^1 coefficients match the claimed eta quotients, so the final counterexample might be salvageable. That is why the decisive test should be an independent expansion of the final identities (1.12)–(1.13), not merely the intermediate ones. The manuscript should not be accepted as it stands, and the reader's rejection is appropriate; if the final identities do pass a coefficient check, a corrected proof would justify reconsideration.","tokens_in":13034,"tokens_out":19922,"duration_ms":166869,"concrete_test":"Compute both sides of Theorem 1.3 identities (1.12) and (1.13) directly as triple sums to order q^20, for example by truncating i, j, k at 20 in Sage or Mathematica, and compare with the claimed eta quotients 3 J_2^3 / J_1^3 and J_2^3 / J_1^3. If any coefficient up to q^20 differs, the eta-quotient modularity in (3.13) fails and the counterexample collapses; if all coefficients match, the counterexample may be true, but a correct proof of (1.12)–(1.13) replacing the false Theorem 1.4 would still be required.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 1.5 is that two rank-4 Nahm sums are modular while their Zagier duals are not. The only bridge from the auxiliary single-sum identities to this claim is Theorem 1.3, whose proof in Section 3 applies (1.14)–(1.17). Those identities are false as stated: expanding (1.14) gives left side 1 + q + 3q^2 + ... while the right side is 1 + 2q + 2q^2 + ..., so the q-coefficient is 1 versus 2; similarly (1.16) has constant term 1 on the left but 2 on the right. Moreover, the manipulations in (3.5)–(3.7) factor (-q^{2-2k}; q^2)_infty as (-q^2; q^2)_infty times a finite product, and for k >= 2 this involves negative powers of q and is not valid as a formal power series. Since Theorem 1.3 is then used in (3.12)–(3.13) to derive the eta-quotient representations f_{A,B_i,1/16}(q^2) = 3 eta(2tau)^3 / eta(tau)^3 and eta(2tau)^3 / eta(tau)^3, the modularity of the primal sums, and hence the counterexample, is not proved in the current text. If the final identities (1.12)–(1.13) are nevertheless correct, a repaired proof may salvage the counterexample, but the manuscript as written is unsound.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to disprove Zagier's duality conjecture on Nahm sums by constructing rank-four Nahm sums whose primal sums are modular while their Zagier duals are claimed to be nonmodular. The main strategy is to prove two triple-sum identities (Theorem 1.3) using four auxiliary single-sum Rogers–Ramanujan type identities (Theorem 1.4), then convert the triple sums into Nahm sums via a known q-series identity (Theorem 1.5). The paper also derives several Bailey pairs (Lemma 2.1) and corollaries (Corollary 2.2).","tokens_in":13349,"tokens_out":30482,"duration_ms":226190,"significance":"A valid counterexample to Zagier's duality conjecture would be a notable advance in the theory of Nahm sums and q-series. The paper is explicit and contains many concrete q-series identities that could be verified independently. However, the central identities are not correct, and the claimed counterexample is therefore not established.","major_comments":[{"comment":"Theorem 1.4 is false. For the k=1 term, the left side of (1.14) equals 4q/((1-q^2)(1-q^4)) = 4q + O(q^2), while the right side expands as 1/2[3(1+O(q^2)) - (1-2q+O(q^2))] = 1 + q + O(q^2). The q-coefficient is therefore 4 on the left and 1 on the right. This contradicts the identity and undermines every subsequent use of (1.14).","section":"Theorem 1.4, Eq. (1.14)"},{"comment":"Theorem 1.3 is false already at the constant term. The left side at (i,j,k)=(0,0,0) equals 1, whereas the right side 3(q^2;q^2)_∞^3/(q;q)_∞^3 has constant term 3. This single coefficient contradiction invalidates (1.12).","section":"Theorem 1.3, Eq. (1.12)"},{"comment":"The proof of Theorem 1.3 uses the four identities (1.14)-(1.17) via (3.6), (3.7), (3.9), and (3.10). Since (1.14) is false and (1.12) is false, the derivation cannot establish the claimed identities. The modularity of the primal Nahm sums in Theorem 1.5, which rests on (1.12)-(1.13), is therefore unsupported. The nonmodularity half of Theorem 1.5 depends on the author's earlier result [21] for (1.9)-(1.10), but the new modularity half fails.","section":"Section 3, proof of Theorem 1.3"},{"comment":"The assertion that the expressions in (3.16)-(3.17) cannot be modular for any C' is not proved. Each is of the form q^{2C'+α} times a sum of two eta-quotients of different weights; the text does not rule out the possibility that a suitable shift of C' could make the combination a modular form with a multiplier system. This would require a short modular-transformation argument, which is absent.","section":"Theorem 1.5, Eqs. (3.16)-(3.17)"}],"minor_comments":[{"comment":"In both (3.16) and (3.17) the same subscript B⋆_1 is used; the second equation should refer to B⋆_2.","section":"Theorem 1.5, Eqs. (3.16)-(3.17)"},{"comment":"The factorization of infinite products in (3.5)-(3.7) introduces negative powers of q for individual terms; the negative powers cancel in the combination, but the text should state this to avoid confusion.","section":"Section 3, Eq. (3.5)-(3.7)"},{"comment":"There is a typographical error in the abstract: 'V agier' should be 'Zagier'.","section":"Abstract"}],"recommendation":"reject","confidential_remarks":"I recommend rejection. The false identities in Theorem 1.4 and Theorem 1.3 are readily checkable at low order, so the central claim of the paper is not established. The author may wish to re-examine the Bailey pair computations; however, as written, the errors are too fundamental for a minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe headline is that this paper's main claim is not proved as written. The construction is interesting—rank four Nahm sums with modular primal and nonmodular dual would indeed refute Zagier's duality conjecture—but the proof of Theorem 1.3, which gives the modularity of the primal sums, depends on four single-sum identities in Theorem 1.4, and those identities are false.\n\nI checked the low-order expansions. In (1.14) the constant terms match, but the q coefficient is 1 on the left and 4 on the right; in (1.16) the constant term is 1 on the left and 2 on the right. The stress-test note said 1 vs 2 for (1.14), which is off, but the conclusion stands. The proof of (1.14) in (3.1) equates the sum with a Bailey pair substitution that does not match the denominator: the left side of (1.14) has (q^2;q^2)_{2k} in the denominator, while the beta pair from (2.8) gives (q^2;q^2)_k^2. Those differ for k ≥ 2. So Theorem 1.4 is not a minor typo; the stated identities fail at order q.\n\nWhat the paper does well: the route from the rank three non-modular Nahm sums in earlier work to rank four modular primal/dual pairs is a genuinely new idea. The eta-quotient form of the final identities is concrete and checkable. The writing is clear, and the Bailey pair framework is appropriate.\n\nThe soft spots are the load-bearing ones. If Theorem 1.4 is false, Theorem 1.3's proof collapses, and with it the modularity of the primal sums in Theorem 1.5. The non-modularity of the duals seems to follow from the rank-three non-modular results in [21], so that half may be okay. There is also a typo in (3.16)-(3.17): the second displayed formula uses B_1^* instead of B_2^*. Minor.\n\nThe central question is whether the final identities (1.12)-(1.13) are true despite the bad proof. They might be. The paper would be worth a serious referee to do an independent check of those two identities and see if the Bailey pair argument can be repaired. I would not accept the current version, but I would not desk reject it either—the counterexample claim is significant enough that it deserves referee time.\n\nRecommendation: send it to peer review with a note that the proof of Theorem 1.4 has been flagged; a referee should verify the low-order expansions and either fix or reject the identities.\n\nBest.","headline":"Novel construction of putative counterexamples to Zagier's conjecture, but the proof rests on false identities and is currently unsound; worth a referee to check if the final identities can be repaired.","tokens_in":13883,"tokens_out":8578,"would_cite":false,"duration_ms":62326,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11P84","33D15","33D60","11F03"],"pacs":[],"model":"deepseek-v4-flash","headline":"Rank-four q-series break Zagier's duality conjecture","keywords":["Nahm sums","Zagier's duality conjecture","modular forms","Rogers-Ramanujan type identities","Bailey pairs","eta quotients","q-series","counterexample"],"falsifier":"Compute the $q$-expansions of the two primal Nahm sums in Theorem 1.5 and compare them, say through $q^{20}$, with the eta quotients $3\\eta^3(2\\tau)/\\eta^3(\\tau)$ and $\\eta^3(2\\tau)/\\eta^3(\\tau)$; any coefficient mismatch would disprove the modularity half of the counterexample. Then expand the dual sums and check whether, for any small rational $C'$, the expression in (3.16)-(3.17) can be renormalized to a single modular form; if it could, the counterexample would fail.","tokens_in":12796,"feed_emoji":"🔁","tokens_out":14301,"duration_ms":118839,"temperature":0.7,"pith_summary":"Zagier's duality conjecture asserted that if a Nahm sum -- a $q$-hypergeometric series indexed by an integer vector and controlled by a positive definite matrix $A$, a vector $B$, and a constant $C$ -- is modular, then its dual sum, with $A$ replaced by $A^{-1}$ and $C$ shifted by a fixed formula, should also be modular. This paper constructs explicit rank-four Nahm sums for which the original sum is modular while the dual sum is not modular for any constant $C'$. The same construction gives a rank-three counterexample to Mizuno's symmetrizable-matrix generalization of the conjecture. The result matters because modular Nahm sums are candidate characters in rational conformal field theory, and the duality was a standard way to propose new modular examples.","feed_headline":"Rank-four q-series break Zagier's duality conjecture","feed_subtitle":"Duality was supposed to preserve modularity; here the original is modular but the dual sum fails for every constant C'.","key_machinery":"The carrying device is a set of four new Bailey pairs (Lemma 2.1); a Bailey pair is two sequences $(\\alpha_n,\\beta_n)$ linked by the inversion (2.5), and Bailey's lemma converts such pairs into sum-to-product transformations. Substituting them into the transformations (2.6) and (2.7) yields the four single-sum Rogers-Ramanujan type identities of Theorem 1.4, whose right-hand sides are eta quotients. Those identities evaluate the triple sums that appear in Theorem 1.3, giving the modularity of the primal sums. Identity (3.11), a decomposition of $q^{n(n-1)/2}/(q;q)_n$, then converts the rank-three generalized Nahm sums into rank-four ordinary Nahm sums. The nonmodularity of the duals is carried by (3.16)-(3.17), which decompose the dual sums into a weight-zero plus a weight-one modular form; no single modular form can have this mixed-weight expansion.","core_discovery":"The central result, Theorem 1.5, is an explicit set of counterexamples. With the $4\\times 4$ matrix $A$ and vectors $B_1,B_2$ in (1.18), the Nahm sums $f_{A,B_1,1/16}(q)$ and $f_{A,B_2,1/16}(q)$ are modular, with $f_{A,B_1,1/16}(q^2)=3\\eta^3(2\\tau)/\\eta^3(\\tau)$ and $f_{A,B_2,1/16}(q^2)=\\eta^3(2\\tau)/\\eta^3(\\tau)$. Their duals $f_{A^\\ast,B_i^\\ast,C'}(q)$, with $A^\\ast=A^{-1}$ and the standard dual data, are not modular for any rational $C'$. The proof first establishes the two triple-sum identities of Theorem 1.3 for generalized Nahm sums with symmetrizer $D=\\operatorname{diag}(2,2,1)$; those dual sums are modular even though the corresponding original sums were known to be nonmodular, and identity (3.11) converts them into rank-four ordinary Nahm sums.","pith_inferences":["This paper does not say whether the two-weight decomposition is typical, but if it is, the right invariant for duality is the pair of weights rather than plain modularity.","A direct consequence the paper leaves implicit: the same q-expansion method applied to other symmetrizable matrices in the cited generalized examples could test whether the failure is generic.","The Bailey pairs in Lemma 2.1 are presented as tools for this proof, but they are standalone q-series identities and could be plugged into other Bailey-lemma transformations.","The explicit form of the nonmodular duals suggests they may fit into a vector-valued modular form of dimension two, which would give the duality a natural home."],"forward_implications":["Zagier's Conjecture 1.1 is false as stated: modularity of a Nahm sum does not imply modularity of its dual sum in rank four.","Mizuno's Conjecture 1.2 for symmetrizable matrices is also false, through the rank-three example with $D=\\operatorname{diag}(2,2,1)$.","The dual sums in these counterexamples are not modular, but they are controlled linear combinations of modular forms of weights $0$ and $1$, so a weaker duality statement may survive.","The paper supplies new Rogers-Ramanujan type identities and four new Bailey pairs that can be used to evaluate other Nahm sums.","The correct formulation of the duality conjecture, possibly with extra conditions or with mixed-weight modular objects as the target, is left as an open problem."],"supporting_citations":[{"why":"States the duality conjecture (Conjecture 1.1) that the paper disproves, and provides the Nahm problem background and modular triple search.","marker":"[24]"},{"why":"Proposes the generalized duality conjecture (Conjecture 1.2) for symmetrizable matrices, which the rank-three example refutes.","marker":"[13]"},{"why":"Proves identities (1.9)-(1.10) showing the original rank-three Nahm sums are nonmodular, used to prove nonmodularity of the dual rank-four sums.","marker":"[21]"},{"why":"Supplies identity (3.11), which converts three-variable generalized Nahm sums into four-variable ordinary Nahm sums.","marker":"[20]"},{"why":"Provides the Bailey-lemma transformation formulas (2.6)-(2.7) used to turn the Bailey pairs into single-sum identities.","marker":"[11]"},{"why":"Gives the q-series identities (2.12) and (2.18) from which the four Bailey pairs in Lemma 2.1 are derived.","marker":"[1]"}],"fun_headline_variants":["Explicit rank-four Nahm counterexamples to Zagier duality","Rank-four modular Nahm sums with nonmodular duals","Zagier duality conjecture fails at rank four","Counterexamples found for Zagier's Nahm duality","Dual Nahm sums need not preserve modularity at rank four"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the four single-sum identities in Theorem 1.4 are exactly correct, because the proof of modularity of the primal Nahm sums derives entirely from them.","fun_headline_variants_meta":{"raw":{"variants":["Explicit rank-four Nahm counterexamples to Zagier duality","Rank-four modular Nahm sums with nonmodular duals","Zagier duality conjecture fails at rank four","Counterexamples found for Zagier's Nahm duality","Dual Nahm sums need not preserve modularity at rank four"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00024,"raw_usage":{"total_tokens":1515,"prompt_tokens":936,"completion_tokens":579,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":552,"completion_tokens_details":{"reasoning_tokens":497}},"tokens_in":552,"tokens_out":579,"duration_ms":5071,"temperature":1.0,"reasoning_tokens":497,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T20:25:13.756722+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the $q$-expansions of the two primal Nahm sums in Theorem 1.5 and compare them, say through $q^{20}$, with the eta quotients $3\\eta^3(2\\tau)/\\eta^3(\\tau)$ and $\\eta^3(2\\tau)/\\eta^3(\\tau)$; any coefficient mismatch would disprove the modularity half of the counterexample. Then expand the dual sums and check whether, for any small rational $C'$, the expression in (3.16)-(3.17) can be renormalized to a single modular form; if it could, the counterexample would fail.","supporting_citations":[{"cited_title":"Zagier, The dilogarithm function, in Frontiers in Number Theor y, Physics and Geometry, II, Springer, 2007, 3–65","cited_arxiv_id":null,"evidence_quote":"States the duality conjecture (Conjecture 1.1) that the paper disproves, and provides the Nahm problem background and modular triple search."},{"cited_title":"Remarks on Nahm sums for symmetrizable matrices","cited_arxiv_id":"2305.02267","evidence_quote":"Proposes the generalized duality conjecture (Conjecture 1.2) for symmetrizable matrices, which the rank-three example refutes."},{"cited_title":"Proofs of Mizuno's Conjectures on Rank Three Nahm Sums of Index $(1,2,2)$","cited_arxiv_id":"2407.21725","evidence_quote":"Proves identities (1.9)-(1.10) showing the original rank-three Nahm sums are nonmodular, used to prove nonmodularity of the dual rank-four sums."},{"cited_title":"Mizuno's rank three Nahm sums I: identities of index $(1,1,2)$","cited_arxiv_id":"2402.06253","evidence_quote":"Supplies identity (3.11), which converts three-variable generalized Nahm sums into four-variable ordinary Nahm sums."},{"cited_title":"Mc Laughlin, A.V","cited_arxiv_id":null,"evidence_quote":"Provides the Bailey-lemma transformation formulas (2.6)-(2.7) used to turn the Bailey pairs into single-sum identities."},{"cited_title":"Andrews, Bressoud polynomials, Rogers–Ramanujan type id entities, and applications, Ramanujan J 41 (2016), 287–304","cited_arxiv_id":null,"evidence_quote":"Gives the q-series identities (2.12) and (2.18) from which the four Bailey pairs in Lemma 2.1 are derived."}],"review_version":1}