{"id":"0a4eaa04-3dfa-4666-85ea-063aee8d4f42","arxiv_id":"2502.05518","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper extends the Hattab and Palti contour integral representation to refined topological strings and verifies that it reproduces the known trans-series and Stokes jumps.","lead":"This paper writes down a new integral formula for the full nonperturbative free energy of refined topological string theory, which is a tool for counting BPS states in string theory. The formula is checked against known perturbative and nonperturbative results, showing that it is consistent with earlier expectations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed reproduction of the AMP24 Stokes automorphisms is off by a sign: Eq. (69) gives +i sum log Phi while Eq. (33)/(35) require -i sum log Phi, so the central agreement is not established as written.","rationale":"The reader's weakest assumption was the trace formula in Eq. (47), and that is indeed an unsupported step in the derivation. However, Eq. (47) is a standard SU(2) character identity whose sign can be checked and corrected. The more directly load-bearing issue is the sign mismatch in Eq. (69), because it is an explicit, internal discrepancy between the paper's main comparison and the reference result in Eqs. (33) and (35). The paper's advertised result is exact reproduction of the trans-series and Stokes structure; an inverse jump is a different physical statement. The perturbative check in Eq. (62) is clean and gives real support, but it does not test the nonperturbative sector where the sign appears. A favourable resolution would be to exhibit a convention in which the sign discrepancy disappears; until then the claim should remain conditional. This does not move the reader's verdict, which already requires clarification, so I recommend UNCHANGED.","tokens_in":10838,"tokens_out":6374,"duration_ms":76189,"concrete_test":"Recompute the residues of the integrand in Eq. (60) at u = 2pi b l / lambda and u = 2pi l / (lambda b), keeping every sign factor: the derivative of sin(u b lambda / 2) sin(u lambda / (2b)), the factor 1/u, the factor 1/(1 - e^{-2pi i u}), the exponential, and the orientation of the contours C and C_lambda. Compare the resulting sum term-by-term with Eq. (33). If it evaluates to +i sum Omega log Phi rather than -i sum Omega log Phi, check whether reversing the contour orientation or replacing y_b with 1/y_b and ytilde_b with 1/ytilde_b flips the sign consistently. If no convention choice flips it, Eq. (60) as written produces the opposite Stokes jump to AMP24, and the paper must be revised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing problem is the sign discrepancy the paper itself records just before Eq. (69): the residue computation 'coincides with the trans-series solutions in [AMP24], up to a minus sign.' In Eq. (69), the nonperturbative poles of the proposed formula contribute +i times the sum of Omega[j](d) log Phi[j]_b(-A_{d,n}/(2pi lambda)) to the free energy. The AMP24 trans-series quoted in Eq. (33) has -i times that same sum, and the Stokes automorphism in Eq. (35) acts on the partition function by multiplication by Phi^{-Omega}. These differ by a sign. Because the Stokes jump is an exponentiated quantity, this is not a harmless overall minus: a contribution +i log Phi where -i log Phi is required produces the inverse of the claimed discontinuity. Since the abstract's central assertion is that formula (60) 'captures the Stokes automorphisms,' this mismatch means the central claim is not verified as written. The unproven trace formula in Eq. (47) is a plausible source of the sign, but the sign mismatch itself is the minimal well-posed defect to resolve.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a contour-integral formula, Eq. (60), for the full nonperturbative refined topological string free energy, extending the Hattab-Palti formula to the refined setting. The derivation starts from an integrating-out computation of M2-branes in the Omega background, with a trace over the (jL, jR) BPS multiplet stated in Eq. (47). The paper then shows that the perturbative residues of the integral reproduce the refined Gopakumar-Vafa expansion, Eq. (62), and that the additional poles are located at the Borel singularities identified in [AMP24]. The main claim is that the formula reproduces the trans-series structure and Stokes automorphisms of the refined topological string. The comparison is carried out in §4.2, where the residue sum is matched to the AMP24 trans-series up to a sign.","tokens_in":11068,"tokens_out":4728,"duration_ms":49430,"significance":"If correct, Eq. (60) would provide a compact, all-orders nonperturbative definition of the refined topological string free energy in terms of refined BPS invariants, and would connect the BPS/DT data to the resurgence structure in a direct way. The perturbative check in Eq. (62) is a genuine and useful consistency test, and the identification of the nonperturbative pole locations with the Borel singularities of [AMP24] is a nontrivial structural match. However, the central claim that the formula captures the Stokes automorphisms is not established as written because of the sign discrepancy recorded in §4.2, and the physical input in Eq. (47) is assumed without derivation. These issues are local and potentially fixable, so they warrant a major revision rather than rejection.","major_comments":[{"comment":"The central comparison with [AMP24] has a sign mismatch. The residue computation in Eq. (69) gives +i sum_{d,j} Omega[j](d) log Phi[j]_b(-A_{d,n}/(2 pi lambda)), whereas the trans-series in Eq. (33) is -i times the same expression, and the Stokes automorphism in Eq. (35) acts by multiplication by Phi^{-Omega}. Because the Stokes factor is exponentiated, replacing -i log Phi by +i log Phi gives the inverse of the claimed discontinuity. The manuscript itself states at the end of §4.2 that the result coincides with [AMP24] 'up to a minus sign,' but the abstract and §5 assert that the Stokes automorphisms are reproduced. Please correct the sign, either in the residue evaluation, in the contour orientation in Eq. (59), or in the normalization of F_ref,full, and then re-derive the jump; alternatively, state explicitly a convention under which Eq. (35) has the opposite sign.","section":"§4.2, Eq. (69)"},{"comment":"Equation (47), the trace over the (jL, jR) multiplet in the Omega background, is stated without derivation and is the physical input on which the whole integrand (48) rests. The formula fixes the coupling of the graviphoton to the two SU(2) factors, namely e tilde H ~ i z (b + b^{-1}) lambda J_L + (b - b^{-1}) lambda J_R, as well as the overall sign (-1)^{jL+jR}. A different coupling or fermion-number assignment would change the poles and hence the trans-series. Please provide either a derivation of this trace from the Omega-background/M2-brane computation or a precise reference where this refined trace is computed, and explain why the fermion number is 2(J_L + J_R).","section":"§3, Eq. (47)"},{"comment":"The assertion that formula (60) is valid 'even if the coupling constant lambda is not real' is not justified in the text. The contour manipulations leading to Eq. (59) use lambda in R_+ so that the poles lie on the positive real axis. The later discussion in §4.2 rotates the nonperturbative poles by taking lambda complex, which requires an analytic-continuation argument, such as a precise definition of the integration contour for complex lambda and a demonstration that no other contributions appear. Please supply this argument or restrict the claim to the value obtained by analytic continuation of the real-lambda contour integral.","section":"§4.1, after Eq. (60)"}],"minor_comments":[{"comment":"The abstract and the conclusion state that Eq. (60) 'captures the Stokes automorphisms' and 'reproduces the trans-series structure,' but §4.2 explicitly records a minus-sign discrepancy. Please qualify these statements until the sign issue is resolved.","section":"Abstract and §5"},{"comment":"There is a typo: 'grviphoton' should be 'graviphoton'.","section":"§3, before Eq. (46)"},{"comment":"'zero convergence radius' should be 'zero radius of convergence'.","section":"§1, Eq. (1)"},{"comment":"The angles theta_{n_d dot B + k} are used before they are defined. Please state how these angles are determined from the arguments of e^{-(d dot t - 2 pi i n_d dot B) u} for the relevant values of n.","section":"§4.2, Eq. (64)"},{"comment":"The equality between the logarithmic expansion of Phi[j]_b(z) and the integral representation in Eq. (29) is stated without derivation; a brief indication of how the character enters the integral would improve readability.","section":"§2.3, Eq. (29)"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on Chuang's paper.\n\nThe new thing is the contour integral formula (60) for the full nonperturbative refined topological string free energy. That's a real extension: Hattab-Palti treated the unrefined case, and AMP24 gave trans-series but not an integral representation. The paper's residue computation at u = 2πik reproduces the refined GV expansion (62) cleanly, and the nonperturbative poles land exactly on the Borel singularities identified in AMP24. That part is solid, and the derivation from the M2-brane integrating-out calculation, with the Omega-background graviphoton turned on via (44), is a natural and mostly convincing extension.\n\nThe problem is the sign. The paper itself notes just before (69) that the trans-series it gets from the nonperturbative poles coincides with AMP24 'up to a minus sign'. Eq (69) gives +i Σ Ω[j] log Φ[j] to the free energy, while the AMP24 trans-series (33) has −i times that sum, and the Stokes automorphism (35) acts by Φ^{-Ω}. Since these appear in exponentiated form, the sign difference is not immaterial: it produces the inverse of the claimed discontinuity. As written, the central assertion that (60) captures the Stokes automorphisms is not verified. This is the load-bearing defect.\n\nA likely source is the trace formula (47) for the (jL,jR) multiplet, which is stated without derivation. If the graviphoton couples differently to the two SU(2) factors, the pole structure and hence the trans-series would change. The extension to complex λ in (60) is also a proposal rather than a derivation, though that is less worrying; the structure is plausible.\n\nThese are fixable issues. The main formula is new and the perturbative consistency check is genuinely a check, not a fitting exercise. The author is transparent about the sign mismatch, which is more than many papers do. I think the paper deserves a serious referee: it is exactly the kind of proposal where a referee can point at the sign and the trace formula and the author can either fix them or show that the sign convention of Φ in this paper differs from AMP24. After that, it would be a useful contribution.\n\nFor a reading group, it would be a good case study in how integral representations meet resurgence. I would not cite it in its current form, but I would revisit it after revision.\n\nRecommendation: send it to peer review, but make clear the sign issue must be resolved before publication. Serious thinker: yes.","headline":"A new integral formula for the refined nonperturbative free energy that passes the perturbative check but misses the sign of the Stokes jump, so the central claim needs revision.","tokens_in":11576,"tokens_out":2689,"would_cite":false,"duration_ms":25644,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14N35","81T30"],"pacs":[],"model":"deepseek-v4-flash","headline":"A single contour integral is proposed for the full nonperturbative refined topological string free energy, with BPS counts as the only input.","keywords":["topological strings","refined topological string","nonperturbative free energy","trans-series","Stokes automorphisms","resurgence","BPS invariants","Donaldson-Thomas invariants"],"falsifier":"Compute the trace in Eq. (47) directly from a microscopic $\\Omega$-background or M2-brane index calculation and compare the character combination with the paper's expression; a mismatch would change the pole structure and the trans-series. Alternatively, for a local toric Calabi-Yau with $b\\neq 1$, numerically Borel-resum the perturbative refined free energy to high genus and check that the discontinuities across the two Stokes rays agree term by term with the residues of (60).","tokens_in":10616,"feed_emoji":"","tokens_out":12547,"duration_ms":111464,"temperature":0.7,"pith_summary":"The perturbative refined topological string free energy is an asymptotic series, so the exact free energy must contain exponentially small nonperturbative corrections. This paper proposes that the full nonperturbative free energy of the refined topological string is a single contour integral, Eq. (60), built from refined BPS degeneracies (counts of supersymmetric states) and SU(2) characters, with the parameter $b$ controlling the refinement. Evaluating the residues at different families of poles reproduces both the usual perturbative expansion and the nonperturbative trans-series terms. Rotating the coupling into the complex plane makes the contour pick up exactly the Stokes jumps that resurgence theory predicts. If this is right, the resurgent structure of the refined string is not extra input: it is a residue computation from the same BPS data that gives the perturbative series.","feed_headline":"One contour integral gives the full refined topological string","feed_subtitle":"Its residues match the perturbative series and the Stokes jumps of resurgence theory.","key_machinery":"The load-bearing object is the meromorphic integrand $$\\frac{1}{u}\\frac{1}{1-$e^{{-2\\pi iu}}$}$e^{{-(d\\cdot t-2\\pi i n_{d\\cdot B}}$)u}\\frac{\\chi_{j_L}($e^{{iu\\lambda(b+b^{-1}}$)/2})\\chi_{j_R}($e^{{iu\\lambda(b-b^{-1}}$)/2})}{4\\sin(ub\\$\\lambda$/2)\\sin(u\\$\\lambda$/2b)}.$$ The factor $1/(1-e^{-2\\pi iu})$ encodes an infinite geometric sum over the integer D0-brane charge; the sine denominators encode the two $\\Omega$-background graviphoton couplings $b\\lambda$ and $-\\lambda/b$; the characters $\\chi_j$ encode the spin of the BPS multiplet. The mechanism is to evaluate the contour integral by residues and to group the poles by family: the integer-$u$ family gives the perturbative refined expansion, while the families at $u=2\\pi b\\ell/\\lambda$ and $u=2\\pi\\ell/(\\lambda b)$ give the trans-series. When $\\lambda$ is moved into the complex plane, the contour picks up extra residue contributions that are the Stokes automorphisms.","core_discovery":"The paper argues that the full nonperturbative refined topological string free energy on a Calabi-Yau threefold is $$F_{\\mathrm{ref,full}}=\\sum_{d,j_L,j_R} N^d_{j_L,j_R}\\oint_C \\frac{du}{u}\\frac{1}{1-$e^{{-2\\pi iu}}$}$e^{{-(d\\cdot t-2\\pi i n_{d\\cdot B}}$)u}\\frac{\\chi_{j_L}($e^{{iu\\lambda(b+b^{-1}}$)/2})\\chi_{j_R}($e^{{iu\\lambda(b-b^{-1}}$)/2})}{4\\sin(ub\\$\\lambda$/2)\\sin(u\\$\\lambda$/2b)},$$ where $N^d_{j_L,j_R}$ counts BPS states with class $d$ and spin quantum numbers $(j_L,j_R)$, $\\chi_j(y)=(y^{2j+1}-y^{-2j-1})/(y-y^{-1})$ is the spin-$j$ SU(2) character, and $b$ is the refinement parameter with $b=1$ recovering the unrefined string. The factor $1/(1-e^{-2\\pi iu})$ sums over the D0-brane charge $n$, and the contour $C$ is chosen to circle the poles on the positive real axis. Residues at integer $u$ give the perturbative refined expansion (62); residues at $u=(2\\pi b/\\lambda)\\ell$ and $u=2\\pi\\ell/(\\lambda b)$ give the nonperturbative trans-series; complexifying $\\lambda$ and letting the contour cross Stokes rays gives the Stokes automorphisms of [AMP24].","pith_inferences":["A direct reading of (60) is that the perturbative and exponential terms are residues of one integrand, so any construction that adds independent nonperturbative data to the refined string would be redundant.","The pole structure suggests that crossing a Stokes ray in the coupling is equivalent to crossing a wall in the BPS state space, tying refined resurgence to Donaldson-Thomas wall-crossing.","Inserting a mass parameter or Wilson line into the integrand would predict deformed trans-series from the new pole locations; comparing those predictions with the dual partition function or tau-function constructions would be a test of the formula beyond the cases treated here."],"forward_implications":["The full refined free energy is determined by the refined BPS degeneracies $N^d_{j_L,j_R}$ alone; no separate nonperturbative constants are introduced.","Setting $b=1$ reduces the contour formula to the unrefined full free energy, recovering ordinary topological string theory as a special case.","The Borel singularities at $\\ell b^{\\pm1}A_{d,n}$ and their Stokes constants are identified with pole residues, so resurgence data become geometric data of the integrand.","The perturbative part matches the refined topological vertex / refined BPS expansion, providing a consistency check with existing A-model computations.","The trans-series sum (69) equals the logarithm of the quantum dilogarithm appearing in the Stokes automorphism, confirming the wall-crossing interpretation of the jumps."],"supporting_citations":[{"why":"Proposed the unrefined contour integral for the full nonperturbative free energy; the present paper's formula is its refined analogue.","marker":"[HP24a]"},{"why":"Provides the careful integrating-out calculation of wrapped M2-branes whose Omega-background modification yields the refined integrand.","marker":"[HP24b]"},{"why":"Establishes the trans-series and Stokes automorphisms of refined topological strings that the new formula must reproduce.","marker":"[AMP24]"},{"why":"Original M2-brane integrating-out computation that underlies the whole approach.","marker":"[GV]"},{"why":"Supplies details of the Gopakumar-Vafa and Ooguri-Vafa trace computations invoked in the derivation.","marker":"[DW16]"},{"why":"Defines the refined topological vertex and the refined perturbative expansion with which the formula's perturbative part is compared.","marker":"[IKV09]"},{"why":"Provides an independent index computation that is cited as a consistency check for the refined perturbative expansion.","marker":"[NO16]"}],"fun_headline_variants":["One contour integral yields full nonperturbative refined string","Refined string free energy: all orders from a single residue sum","Stokes automorphisms from a contour integral in refined string theory","Nonperturbative refined string from one residue structure","Full refined string free energy captured by a single contour"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole formula rests on one assumed trace: how a BPS multiplet with two spin labels responds to the background field, stated in Eq. (47) without derivation; if that response differed, the pole locations and the nonperturbative corrections would change.","fun_headline_variants_meta":{"raw":{"variants":["One contour integral yields full nonperturbative refined string","Refined string free energy: all orders from a single residue sum","Stokes automorphisms from a contour integral in refined string theory","Nonperturbative refined string from one residue structure","Full refined string free energy captured by a single contour"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000618,"raw_usage":{"total_tokens":2863,"prompt_tokens":933,"completion_tokens":1930,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":549,"completion_tokens_details":{"reasoning_tokens":1857}},"tokens_in":549,"tokens_out":1930,"duration_ms":14779,"temperature":1.0,"reasoning_tokens":1857,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T19:00:27.992460+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the trace in Eq. (47) directly from a microscopic $\\Omega$-background or M2-brane index calculation and compare the character combination with the paper's expression; a mismatch would change the pole structure and the trans-series. Alternatively, for a local toric Calabi-Yau with $b\\neq 1$, numerically Borel-resum the perturbative refined free energy to high genus and check that the discontinuities across the two Stokes rays agree term by term with the residues of (60).","supporting_citations":[],"review_version":1}