{"id":"e25e396d-0a66-4b6c-ae98-1a28184adbab","arxiv_id":"2411.17699","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"The paper constructs explicit indefinite theta series solving the modular anomaly for rank 0 DT invariants, fixing these generating functions up to modular forms determined by polar terms.","lead":"This paper presents a method to solve the modular anomaly equations that govern the generating functions of D4-D2-D0 BPS indices, also known as rank 0 Donaldson-Thomas invariants, on one-parameter Calabi-Yau threefolds. The solution is built from indefinite theta series and reduces the remaining work to computing a finite set of polar Fourier coefficients.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Generic-n construction is conditional on unproved Conjecture 5.1; for n>3 the unrefined limit is never evaluated, so the claimed arbitrary-charge solution is not established.","rationale":"The reader and I identify the same load-bearing point: Conjecture 5.1. It is not peripheral; it is exactly the statement needed for the unrefined limit in (5.6) to exist, and without it the refined construction does not define the physical anomalous coefficients g^{(r)}_{µ,µ}. The paper itself acknowledges this gap in Section 6, so the manuscript is honest about the limitation, but the abstract's claim of a solution for arbitrary charges is therefore overstated. I also note that the generic construction is incomplete even assuming the conjecture: the unrefined limit is not evaluated in §5.6.3, so no explicit g^{(r)} is presented for n>3. The n=2 and n=3 results, the proof of Theorem 3.1, and the consistency checks in Appendix H are genuine, independent contributions; the weakness is specifically the extension to generic n. A concrete n=4 check would settle whether Conjecture 5.1 holds in the first non-trivial generic case, and would determine whether the conditional extension can be promoted to a theorem or fails. Since the reader's CONDITIONAL verdict already reflects this uncertainty, no change to the verdict is needed.","tokens_in":74604,"tokens_out":4488,"duration_ms":41010,"concrete_test":"Compute, for n=4 with r_i=κ=1 and the choice (5.18a) for t^{(r)}, the Laurent expansion in z of the symmetrized refined theta series (5.113) with ϕ^{(r)} chosen as in (5.125), using explicit zero-mode contributions analogous to (5.82)–(5.89). Verify that every contribution of zero-mode order ≤2 is O(z^3) and that the O(z^{-3}) pole from the maximal-order zero modes is exactly cancelled by c_r from (5.124). If any pole or O(z^0) term survives, Conjecture 5.1 fails and the generic construction is invalid for n>3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim — that the modular anomaly can be solved for arbitrary D4-charge r, reducing h_r to polar terms — is not actually established for n>3. Theorems 5.1 and 5.2 in Section 5.6 construct a refined solution on an extended lattice only under Conjecture 5.1, which asserts that all zero-mode contributions of order < n-1 to Sym{ϑ^{||}_{µ,A}} vanish to order z^{n-1}. As the authors state in Section 6, 'the existence of the unrefined limit of our solution for generic charges remains conjectural since it relies on Conjecture 5.1.' Moreover, in §5.6.3 the unrefined limit z→0 is not evaluated in general: the final function g^{(r)}_{µ,µ}(τ) is never written for n>3. The heuristic argument around (5.114)–(5.115) does not prove the required O(z^{n-1}) behavior; it only suggests that non-vanishing coefficients would have to be simultaneously modular and built from quasimodular E_2, which is asserted to be impossible without a proof. Additionally, the pole-cancelling coefficients c_r in (5.124) are verified only for n≤8, so the leading singularity cancellation also rests on numerical evidence. Consequently, for r≥4 the paper supplies a conditional Ansatz, not a solution. The explicit n=2 and n=3 results remain valid independently and are supported by consistency checks in Appendix H.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the generating functions h_r(τ) of D4-D2-D0 BPS indices, equivalently rank-zero Donaldson-Thomas invariants, for one-modulus Calabi-Yau threefolds. It aims to solve the modular anomaly equation for arbitrary D4-brane charge r, reducing the problem to fixing finitely many polar coefficients. The authors introduce 'anomalous coefficients' g^(r)_(µ,µ) and prove in Theorem 3.1 that they satisfy a recursive anomaly equation. They then give explicit solutions for the two-charge case using mock modular forms of optimal growth, and for the all-unit-charge case using Vafa-Witten invariants on P^2. The main construction expresses the anomalous coefficients through refined, multi-variable indefinite theta series on an extended lattice, with Theorems 5.1 and 5.2 providing the general solution of the refined anomaly equation. The unrefined limit z→0 is evaluated explicitly for two and three charges, but for more than three charges it is left unevaluated and its existence depends on Conjecture 5.1. Consistency with the optimal-growth and Vafa-Witten solutions is checked numerically for low charges in Appendix H.","tokens_in":75054,"tokens_out":6378,"duration_ms":59191,"significance":"If the generic construction were made fully rigorous, the paper would deliver a substantial simplification: the entire D4-D2-D0 generating function would be fixed by polar data. The explicit two- and three-charge formulas are concrete, checkable results, and the identification with Vafa-Witten invariants for unit charges is an appealing structural connection. The paper also demonstrates a nontrivial extension of the indefinite-theta-series technology of [51] to higher-depth anomaly equations, and Appendix H provides useful cross-checks between different solution methods. However, the arbitrary-charge statement is conditional on an unproved conjecture and on numerical verification of pole cancellations, so the full advertised result is not yet established. The explicit q-series in Appendix I can serve as falsifiable predictions for future computations.","major_comments":[{"comment":"The central claim of the paper, that the modular anomaly can be solved for arbitrary D4-charge r, is not established for n>3. The construction of the refined solution in Theorem 5.1 and the existence of the unrefined limit both depend on Conjecture 5.1, and the authors state in Section 6 that 'the existence of the unrefined limit of our solution for generic charges remains conjectural since it relies on Conjecture 5.1.' Moreover, Section 5.6.3 explicitly says that the unrefined limit cannot be evaluated analytically in full generality, and no closed formula for g^(r)_(µ,µ) is given for n>3. The abstract and Introduction should therefore not state the arbitrary-charge solution as a fait accompli; the paper currently presents a complete solution for n=2,3 and a conditional Ansatz for n>3.","section":"§5.6, Conjecture 5.1 and §5.6.3"},{"comment":"Two load-bearing cancellations are verified only numerically. The vanishing identity (5.91), which is used to fix the holomorphic ambiguity for three charges, is said to have been 'extensively checked on a computer' but no proof is supplied, and the proof promised for the general case in §5.6 depends on Conjecture 5.1. Similarly, the coefficients c_r solving the pole-cancellation system (5.123) are given by (5.124) and checked only up to n=8. Since these coefficients are essential for the unrefined limit to exist, the generic solution is not yet a theorem. Please either provide analytic proofs of these identities or explicitly mark them as conjectural and separate them from the proven statements.","section":"§5.5.2 and §5.6.2, Eqs. (5.91) and (5.124)"},{"comment":"The proof of Theorem 5.1 is not written out; the text says it is 'completely analogous' to Theorem 1 of [51] and refers to that paper. Given that the present setting involves arbitrary charges, a non-trivial lattice extension, and multi-variable refinement parameters, the analogy is not self-evident. The authors should either present the proof in detail or include a precise dictionary showing how the proof of [51, Theorem 1] adapts to the present equations.","section":"§5.6.1, Theorem 5.1"}],"minor_comments":[{"comment":"The prefactor τ^{3/2}_2 is typeset as 'τ 3/2', which is confusing; please correct the typography.","section":"Eq. (4.4)"},{"comment":"The operator L_{n-2} appearing in the heuristic argument for Conjecture 5.1 is not defined in the text; please define it explicitly.","section":"Eqs. (5.114)-(5.115)"},{"comment":"The q-series are presented without stating the order to which they have been checked; adding the number of terms used in each numerical verification would help the reader assess the consistency checks.","section":"Appendix I"},{"comment":"The original lattice Λ^(r) and the extended lattice Λ^(r) are distinguished only by font in the text; a more explicit notation or a remark in the index of notations would improve readability.","section":"Notation throughout"},{"comment":"The exponent 'q−4/2' appears to be a typo for q^{-2}; please correct.","section":"Eq. (I.9)"}],"recommendation":"major_revision","confidential_remarks":"This is a strong technical paper, but the advertised main result is ahead of what is actually proved. The n=2 and n=3 results are solid and worth publishing; the n>3 part is a promising conjecture. I would advise the editor to ask for a revision that either proves Conjecture 5.1 (or the needed special cases) or restricts the paper's claims accordingly. The numerical checks are extensive and useful, but they do not by themselves support the statement that the anomaly is solved for arbitrary charges."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: the two- and three-charge results are real and are the best part of this paper. The arbitrary-charge solution advertised in the abstract is conditional on Conjecture 5.1, and the authors admit this in Section 6. Read as a paper about small charge numbers, it is a substantial advance. Read as a solution for all charges, it is not there yet.\n\nWhat is actually new: Theorem 3.1, the anomalous-coefficient decomposition, is proven cleanly, and it reduces the problem of finding h_r to solving for the coefficients g^(r) plus a finite polar-term problem. The construction of g^(r) via indefinite theta series on an extended lattice with null vectors, with the pole in the unrefined limit cancelled by a Jacobi-like form built from E_2, is the real technical meat. For two charges they connect to the optimal-growth mock modular forms of Dabholkar-Murthy-Zagier, and for unit charges with kappa=1 to SU(n) Vafa-Witten invariants on P^2; both identifications are useful. The consistency checks in Appendix H are numerical but honest: they verify that differences of the two constructions are Jacobi forms of the right weight and index, and Appendix I gives explicit q-series. That is reproducible evidence and should count.\n\nWhere it is soft, in proportion: everything for n > 3 rests on Conjecture 5.1, which asserts that all sub-maximal zero-mode contributions vanish to the order needed for the unrefined limit. The heuristic argument around (5.114)-(5.115) is suggestive rather than a proof, the unrefined limit is never evaluated for n > 3 (stated in section 5.6.3), and the pole-cancelling coefficients c_r are checked only up to n = 8. So for r >= 4 the paper supplies a conditional Ansatz, not a solution. The abstract oversells this; the introduction and conclusion are appropriately hedged. One small additional gap: the claimed solution (5.124) of the system (5.123) is verified numerically, not proven. None of this undermines the two- and three-charge results, which stand on their own.\n\nWho it is for: people working on rank-0 DT invariants and mock modularity; the small-charge machinery is the part people will use. It deserves a serious referee, whose main job should be to hold the authors to either proving Conjecture 5.1 or rewriting the abstract to match what is actually established. I would engage with it.","headline":"Solid, well-checked results for two and three D4-charges; the arbitrary-charge claim is a conditional construction, and the authors say so.","tokens_in":75474,"tokens_out":3430,"would_cite":true,"duration_ms":32932,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F37","11F50","11F27","14N35","14J32"],"pacs":[],"model":"deepseek-v4-flash","headline":"The generating functions of D4-D2-D0 BPS indices on one-parameter Calabi-Yau threefolds are fixed, up to finitely many polar coefficients, by explicit indefinite theta series solving their modular anomaly equations.","keywords":["mock modular forms","indefinite theta series","D4-D2-D0 BPS indices","rank 0 Donaldson-Thomas invariants","Calabi-Yau threefolds","modular anomaly equation","Vafa-Witten invariants","higher depth mock modularity"],"falsifier":"Test the construction at $n=4$ with all charges $r_i=1$ and $\\kappa=1$: evaluate the unrefined limit $z\\to 0$ of the symmetrized $\\theta$ series in (5.111) to order $z^{n-2}=z^2$, or compare the resulting q-series with the known normalized SU$(4)$ Vafa-Witten generating function; a non-vanishing $z^{n-2}$ coefficient, a logarithmic divergence, or any mismatch at computed orders would falsify Conjecture 5.1 and invalidate the generic-$n$ solution.","tokens_in":74355,"feed_emoji":"🌀","tokens_out":7285,"duration_ms":63231,"temperature":0.7,"pith_summary":"This paper tackles the modular anomaly that governs the generating functions of D4-D2-D0 BPS indices, also known as rank 0 Donaldson-Thomas invariants, on one-parameter Calabi-Yau threefolds. It establishes that these generating functions, already known to be higher-depth mock modular forms, can be split into an anomalous part fixed by the anomaly equation and a modular ambiguity fixed by finitely many polar coefficients. The anomalous part is constructed explicitly from indefinite theta series: the construction is fully explicit for two and three D4-brane charges, and for arbitrary charges it is reduced to computing polar terms, conditional on a stated conjecture about the unrefined limit. A sympathetic reader would care because the result turns an infinite, recursively entangled system of modular anomaly equations into a finite computational problem.","feed_headline":"Theta series fix D4-D2-D0 counts up to polar terms","feed_subtitle":"Explicit theta series solve the anomaly equations for all charges; only polar coefficients remain to compute.","key_machinery":"The load-bearing object is the anomalous coefficient $g^{(r)}_{\\mu,\\boldsymbol{\\mu}}$, the coefficient in the decomposition of the redefined generating function into modular ambiguities of lower charges; Theorem 3.1 shows these coefficients satisfy their own anomaly equation (3.3), whose depth equals the number of constituent charges. The solution of that equation is an indefinite $\\theta$ series (Theorem 5.1) over an extended lattice $\\boldsymbol{\\Lambda}^{(r)} = \\Lambda^{(r)} \\oplus \\mathbb{Z}^{d_r}$, obtained by refining with an elliptic parameter $z$ and adding lattice directions so that null vectors $w_{ij}$ exist and make the $\\theta$ series convergent and holomorphic. A Jacobi-like form $\\phi^{(r)}$ chosen to cancel the leading pole at $z=0$ (Theorem 5.2) makes the unrefined limit well-defined and yields the physical anomalous coefficients. In short: refinement regularizes the divergent null-direction sums, lattice extension creates the needed null vectors, and Jacobi-like forms remove the poles.","core_discovery":"The paper's central claim is that the modular anomaly equation for the generating functions of D4-D2-D0 BPS indices admits an explicit solution for arbitrary D4-brane charge $r$, built from indefinite $\\theta$ series, so that every generating function is determined up to a modular form fixed by its polar terms. The proof introduces anomalous coefficients $g^{(r)}_{\\mu,\\boldsymbol{\\mu}}$ through the polynomial decomposition (3.2), shows in Theorem 3.1 that they satisfy their own anomaly equations, and then solves those equations using a refinement by an elliptic parameter, an extension of the charge lattice by auxiliary directions, and a Jacobi-like form that cancels the poles at zero refinement. For two and three charges the unrefined limit is evaluated explicitly, yielding closed formulas (5.71) and (5.99), and these are checked against the known two-charge mock modular forms of optimal growth and against the normalized generating functions of SU$(n)$ Vafa-Witten invariants on $\\mathbb{P}^2$. For a generic number of charges the solution is given by Theorems 5.1 and 5.2, provided Conjecture 5.1 holds.","pith_inferences":["Beyond the paper: the same refinement-lattice-extension machinery should apply to Calabi-Yau threefolds with several Kähler moduli, and elliptic or K3 fibrations may simplify the zero-mode analysis.","Beyond the paper: at $n=4$ with all charges and $\\kappa$ equal to 1, the generic construction can be tested against the known normalized SU$(4)$ Vafa-Witten generating function, giving a direct numerical check of Conjecture 5.1 before any analytic proof.","Beyond the paper: if polar terms for higher $r$ become computable from Gopakumar-Vafa or wall-crossing data, the result would yield fully explicit all-order predictions for rank-0 Donaldson-Thomas invariants on compact Calabi-Yau threefolds.","Beyond the paper: a failure of Conjecture 5.1 for some $n$ would not invalidate the two- and three-charge results, but would require additional Jacobi-like corrections to the generic solution."],"forward_implications":["Finding the full generating function $h_r$ for any D4-brane charge $r$ reduces to computing a finite number of polar Fourier coefficients, because the anomalous part is now explicit.","For two charges the indefinite-theta-series solution is consistent with the mock modular forms of optimal growth, so the two approaches can be used interchangeably.","For three charges the solution is consistent with the normalized SU$(3)$ Vafa-Witten generating function at unit charges and intersection number, extending the known Vafa-Witten connection to three constituents.","The explicit q-series of anomalous coefficients computed in the paper provide new data that can be used to obtain analytic expressions for the remaining seed functions $G^{(d)}$ appearing in the optimal-growth construction.","For any charge, the construction gives a concrete target that polar-term computations from wall-crossing and Donaldson-Thomas data would need to match, providing a sharp test of the predicted higher-depth mock modularity."],"supporting_citations":[{"why":"Establishes that D4-D2-D0 generating functions are higher-depth mock modular forms and gives the iterated-integral completion whose anomaly equation this paper solves.","marker":"[15]"},{"why":"Provides the simplified closed form of the completion (2.8) that the construction takes as its starting point.","marker":"[23]"},{"why":"Supplies the mock modular forms of optimal growth and Hecke-like operators used as the two-charge solution and as a consistency check.","marker":"[25]"},{"why":"Defines refined BPS generating functions and the refined completion coefficients $R^{(r)\\mathrm{ref}}$, justifying the refinement step.","marker":"[35]"},{"why":"Develops the indefinite-theta-series plus lattice-extension method for Vafa-Witten modular anomaly equations that Theorem 5.1 adapts to anomalous coefficients.","marker":"[51]"},{"why":"Introduces the generalized error functions that define the kernels $R_n$ and the modular completions of indefinite theta series.","marker":"[40, 41]"},{"why":"Gives rank-$N$ Vafa-Witten generating functions on $\\mathbb{P}^2$ and the blow-up techniques used to identify the unit-charge solutions.","marker":"[28]"},{"why":"Shows for the decantic and octic threefolds that the two-charge anomaly solution plus polar terms fixes $h_2$, motivating the reduction to polar terms.","marker":"[24]"}],"fun_headline_variants":["Indefinite theta series solve D4-D2-D0 anomaly equation for all charges","Explicit theta series determine BPS indices up to polar terms","All charges: mock modular forms from indefinite theta series","Anomaly equation solved: generating functions fixed by polar data","Mock modularity of Calabi-Yau: explicit solution for arbitrary D4 charge"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction for more than three charges assumes that the potentially divergent pieces of the refined theta series cancel automatically before the refinement parameter is set to zero; if any lower-order zero-mode contribution survives, the unrefined limit fails.","fun_headline_variants_meta":{"raw":{"variants":["Indefinite theta series solve D4-D2-D0 anomaly equation for all charges","Explicit theta series determine BPS indices up to polar terms","All charges: mock modular forms from indefinite theta series","Anomaly equation solved: generating functions fixed by polar data","Mock modularity of Calabi-Yau: explicit solution for arbitrary D4 charge"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000929,"raw_usage":{"total_tokens":3945,"prompt_tokens":878,"completion_tokens":3067,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":494,"completion_tokens_details":{"reasoning_tokens":2988}},"tokens_in":494,"tokens_out":3067,"duration_ms":18401,"temperature":1.0,"reasoning_tokens":2988,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:48:51.653766+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test the construction at $n=4$ with all charges $r_i=1$ and $\\kappa=1$: evaluate the unrefined limit $z\\to 0$ of the symmetrized $\\theta$ series in (5.111) to order $z^{n-2}=z^2$, or compare the resulting q-series with the known normalized SU$(4)$ Vafa-Witten generating function; a non-vanishing $z^{n-2}$ coefficient, a logarithmic divergence, or any mismatch at computed orders would falsify Conjecture 5.1 and invalidate the generic-$n$ solution.","supporting_citations":[],"review_version":1}